El presente trabajo busca documentar el potencial de los modelos VAR Bayesianos (BVAR) para la predicción de índices de tipos de cambio reales efectivos. Para esto, se prueban distintas especificaciones de modelos predictivos utilizando la base angosta de índices de tipos de cambio reales efectivos de BIS que incluye datos para 27 economías. En primera instancia se prueban modelos univariados simples para realizar las predicciones y tener un punto de referencia para las estimaciones BVAR. El análisis de los resultados de las predicciones de los modelos BVAR tradicionales muestran que estos por sí solos no tienen un mejor desempeño que los modelos univariados. Estos resultados son robustos a la ventana de estimación, y a la especificación de los priors del BVAR.

[pt] Linguagens de programação tem tradicionalmente sido classificadas como estaticamente tipadas ou dinamicamente tipadas, estas últimas também sendo conhecidas como linguagens de scripting. Linguagens com tipagem dinâmica são bastante populares para a escrita de programas menores, um cenário onde a facilidade de uso e flexibilidade da linguagem são altamente valorizados. No entanto, com o passar do tempo, pequenos scripts podem se tornar grandes sistemas e a flexibilidade da linguagem pode passar a ser uma fonte de defeitos no programa. Para estes sistemas maiores, a tipagem estática, que oferece detecção de erros em tempo de compilação, melhor documentação e oportunidades de otimização, passa a ser mais atrativa. Como reescrever todo o sistema em uma linguagem estática não é ideal do ponto de um vista da engenharia de software, encontrar formas de adicionar tipos estáticos em programas dinamicamente tipados já existentes tem sido uma área de pesquisa bem rica. Nesse trabalho, nós apresentamos uma perspectiva histórica dessa pesquisa. Nos focamos em abordagens que não são específicas para uma única linguagem de programação, como as Type Hints de Common LISP, o Soft Typing de Fagan et al e o Gradual Typing de Siek et al, contrastando essas diferentes soluções a partir de uma perspectiva moderna. / [en] Programming languages have traditionally been classified as either statically typed or dynamically typed, the latter often being known as scripting languages. Dynamically typed languages are very popular for writing smaller programs, a setting where ease of use and flexibility of the language are highly valued. However, with time, small scripts tend to evolve into large systems and the flexibility of the dynamic language may become a source of program defects. For these larger systems, static typing, which offers compile-time error detection, improved documentation and optimization opportunities, becomes more attractive. Since rewriting the whole system in a statically typed language is not ideal from a software engineering point of view, investigating ways of adding static types to existing dynamically typed programs has been a thriving research area. In this work, we present a historical overview of this research. We focus on general approaches that apply to multiple programming languages, such as the Type Hints of Common LISP, the Soft Typing of Fagan et al and the Gradual Typing of Siek et al, contrasting these different solutions from a modern perspective.

Tipos móveis de metal da Funtimod: contribuições para história tipográfica brasileira A fundição de tipos móveis de metal foi uma atividade primordial para o funcionamento das artes gráficas desde seu desenvolvimento, no século 15, até meados do século 20. Entretanto, as primeiras casas fundidoras foram instaladas no Brasil apenas no começo dos anos oitocentistas - quando a técnica ainda era realizada com procedimentos manuais -, poucos anos depois da corte portuguesa ter permitido a reprodução de impressos em território nacional. Inovações tecnológicas do século 19, principalmente máquinas fundidoras e equipamentos para gravar punções e matrizes, transformaram as oficinas de fundição em indústrias. Dentro deste contexto industrial, a Funtimod, objeto de estudo desta pesquisa de doutorado, operou durante quase todo o século 20. A empresa, que pode ser considerada a maior fundição de tipos brasileira, foi fundada na cidade de São Paulo, em 1932, por uma colaboração entre os alemães Karl H. Klingspor e Josef Tscherkassky, a empresa alemã-brasileira Sociedade Técnica Bremensis e a fundição suíça Haas, que estava representando a fundição alemã D. Stempel. Com filiais em Belo Horizonte, Curitiba, Porto Alegre, Recife e Rio de Janeiro, a Funtimod serviu a indústria gráfica nos quatro cantos do País, comercializando máquinas e todo tipo de material tipográfico. Embora os tipos móveis de metal fundidos pela empresa sejam o foco desta investigação, o estudo de caso Funtimod também abordou sua trajetória histórica e a fábrica de tipos, por intermédio de coleta de dados em cinco fontes de evidência diferentes: registros, documentos, entrevistas, observações não-participantes e artefatos físicos. Desse modo, foi possível salientar a dependência de empresas alemãs para o desenvolvimento dos negócios no que tange aos produtos comercializados. Se a Funtimod estava aparelhada, nos moldes das fundições europeias, para manufaturar um tipo desde o desenho até a fundição, definitivamente, o design das faces não foi uma etapa valorizada. Grande parte dos tipos encontrados em nove catálogos da Funtimod, com repertórios tipográficos diferentes, foi identificada como sendo de origem alemã, principalmente das firmas D. Stempel e Klingspor. E, apesar de algumas faces não terem sido identificadas em outras fundições brasileiras ou estrangeiras, não foram encontradas evidências de que a Funtimod tenha lançado no Brasil alguma face com desenho original. A coleção de tipos Funtimod, por outro lado, é formada por faces representativas do começo do século 20, como Futura, Kabel, Memphis e Mondial, assim como revivals da Bodoni e Garamond. Análises comparativas dos tipos móveis de metal da Funtimod revelaram práticas singulares realizadas na fábrica de tipos brasileira. No meio de designs internacionalmente conhecidos, por exemplo, alguns caracteres, em especial os conjugados com os diacríticos til e cedilha, apresentam variações de forma, posicionamento, peso e tamanho na mesma face. As considerações desta investigação contribuem para a história tipográfica brasileira de uma forma particular, numa relação intrínseca com a Alemanha, que, sobretudo, levaram-me a questionar o quão brasileira a Funtimod realmente foi. / Type founding was one of the most important activities for the graphic arts since its beginning in the fifteenth century until the middle of twentieth century. However, the first type foundries were only installed in Brazil in the beginning of 1800s a few years after the Portuguese Court allowed printing in Brazilian lands, and when the technique was still performed with manual methods. Technical innovations developed in the nineteenth century, mainly, typecasting machines and pantograph punchcutting machines, which transformed type foundries into industries. Within this industrial context, Funtimod, the subject of this doctoral research and the largest Brazilian type foundry, operated during almost the entire twentieth century. Funtimod was founded in 1932 in São Paulo by a collaboration of two Germans (Karl H. Klingspor and Josef Tscherkassky), the German-Brazilian company Sociedade Técnica Bremensis, and the Swiss type foundry Haas. With branches in Belo Horizonte, Curitiba, Porto Alegre, Recife e Rio de Janeiro, Funtimod supplied the graphic industry across the four corners of the country, selling all kinds of typographic materials as well as machines. Although the movable metal types cast by the company were the focus of this investigation, the case study of Funtimod also explored its historic development and the factory, through data gathered from multiple sources: specimens, documents, interviews, non-participant observations, and physical artefacts. Thereby, the evidence suggests Funtimod\'s reliance on German companies for its business development in respect to the products manufactured in Brazil. Seeing that Funtimod was equipped, like European foundries, to manufacture types from the design until the casting phases, definitely, the originality of the typeface\'s design was not considered valuable by the factory. The majority of faces, which were found in nine specimens with different typographic collections, were identified as being German, especially from D. Stempel and Klingspor foundries. Moreover, although some of the faces have not been identified in other foundries, evidence was not found that Funtimod had released in Brazil any face cast with an original design. Funtimod type collection, on the other hand, is composed with representative faces from the beginning of the twentieth century, such as Futura, Kabel, Memphis, Mondial, as well as revivals of Bodoni and Garamond. Comparative analysis of movable metal types from Funtimod revealed that singular practices were performed at the Brazilian type foundry. Among internationally well-known faces, for instance, some characters, especially the ones joined with the tilde and cedilla diacritics, presented variations in form, position, weight and size. The findings of this investigation contribute to the Brazilian typographic history in a particular way, in a intrinsic relationship with Germany, that, above all, led me to question how Brazilian Funtimod really was.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-13T19:12:35Z No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-13T20:49:48Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-13T20:49:48Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / By means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation. / A teoria intuicionista de tipos, de Martin-Löf, alega, à luz da correspondência Curry- Howard, que definir uma proposição por meio do estabelecimento de como as suas provas canônicas são formadas é o mesmo que definir um conjunto por meio do estabelecimento de como os seus elementos canônicos são formados, fazendo com que uma proposição possa ser vista como o conjunto de suas provas. Por outro lado, encontramos nessa mesma teoria uma distinção entre as noções de conjunto e tipo, sendo que a diferença deste em relação àquele consiste no fato de que para se formar um tipo não é preciso apresentar uma prescrição exaustiva da formação de seus objetos, basta se ter uma noção geral do que seria um objeto arbitrário que o habita. Tendo isso em conta, argumentamos que podemos extrair da teoria intuicionista de tipos duas concepções de proposição distintas, uma que considera proposições como tipos e outra que considera proposições como conjuntos. Tal distinção implicará em algumas considerações envolvendo questões sobre demonstrações hipotéticas e a formação de conjecturas.

Tipos móveis de metal da Funtimod: contribuições para história tipográfica brasileira A fundição de tipos móveis de metal foi uma atividade primordial para o funcionamento das artes gráficas desde seu desenvolvimento, no século 15, até meados do século 20. Entretanto, as primeiras casas fundidoras foram instaladas no Brasil apenas no começo dos anos oitocentistas - quando a técnica ainda era realizada com procedimentos manuais -, poucos anos depois da corte portuguesa ter permitido a reprodução de impressos em território nacional. Inovações tecnológicas do século 19, principalmente máquinas fundidoras e equipamentos para gravar punções e matrizes, transformaram as oficinas de fundição em indústrias. Dentro deste contexto industrial, a Funtimod, objeto de estudo desta pesquisa de doutorado, operou durante quase todo o século 20. A empresa, que pode ser considerada a maior fundição de tipos brasileira, foi fundada na cidade de São Paulo, em 1932, por uma colaboração entre os alemães Karl H. Klingspor e Josef Tscherkassky, a empresa alemã-brasileira Sociedade Técnica Bremensis e a fundição suíça Haas, que estava representando a fundição alemã D. Stempel. Com filiais em Belo Horizonte, Curitiba, Porto Alegre, Recife e Rio de Janeiro, a Funtimod serviu a indústria gráfica nos quatro cantos do País, comercializando máquinas e todo tipo de material tipográfico. Embora os tipos móveis de metal fundidos pela empresa sejam o foco desta investigação, o estudo de caso Funtimod também abordou sua trajetória histórica e a fábrica de tipos, por intermédio de coleta de dados em cinco fontes de evidência diferentes: registros, documentos, entrevistas, observações não-participantes e artefatos físicos. Desse modo, foi possível salientar a dependência de empresas alemãs para o desenvolvimento dos negócios no que tange aos produtos comercializados. Se a Funtimod estava aparelhada, nos moldes das fundições europeias, para manufaturar um tipo desde o desenho até a fundição, definitivamente, o design das faces não foi uma etapa valorizada. Grande parte dos tipos encontrados em nove catálogos da Funtimod, com repertórios tipográficos diferentes, foi identificada como sendo de origem alemã, principalmente das firmas D. Stempel e Klingspor. E, apesar de algumas faces não terem sido identificadas em outras fundições brasileiras ou estrangeiras, não foram encontradas evidências de que a Funtimod tenha lançado no Brasil alguma face com desenho original. A coleção de tipos Funtimod, por outro lado, é formada por faces representativas do começo do século 20, como Futura, Kabel, Memphis e Mondial, assim como revivals da Bodoni e Garamond. Análises comparativas dos tipos móveis de metal da Funtimod revelaram práticas singulares realizadas na fábrica de tipos brasileira. No meio de designs internacionalmente conhecidos, por exemplo, alguns caracteres, em especial os conjugados com os diacríticos til e cedilha, apresentam variações de forma, posicionamento, peso e tamanho na mesma face. As considerações desta investigação contribuem para a história tipográfica brasileira de uma forma particular, numa relação intrínseca com a Alemanha, que, sobretudo, levaram-me a questionar o quão brasileira a Funtimod realmente foi. / Type founding was one of the most important activities for the graphic arts since its beginning in the fifteenth century until the middle of twentieth century. However, the first type foundries were only installed in Brazil in the beginning of 1800s a few years after the Portuguese Court allowed printing in Brazilian lands, and when the technique was still performed with manual methods. Technical innovations developed in the nineteenth century, mainly, typecasting machines and pantograph punchcutting machines, which transformed type foundries into industries. Within this industrial context, Funtimod, the subject of this doctoral research and the largest Brazilian type foundry, operated during almost the entire twentieth century. Funtimod was founded in 1932 in São Paulo by a collaboration of two Germans (Karl H. Klingspor and Josef Tscherkassky), the German-Brazilian company Sociedade Técnica Bremensis, and the Swiss type foundry Haas. With branches in Belo Horizonte, Curitiba, Porto Alegre, Recife e Rio de Janeiro, Funtimod supplied the graphic industry across the four corners of the country, selling all kinds of typographic materials as well as machines. Although the movable metal types cast by the company were the focus of this investigation, the case study of Funtimod also explored its historic development and the factory, through data gathered from multiple sources: specimens, documents, interviews, non-participant observations, and physical artefacts. Thereby, the evidence suggests Funtimod\'s reliance on German companies for its business development in respect to the products manufactured in Brazil. Seeing that Funtimod was equipped, like European foundries, to manufacture types from the design until the casting phases, definitely, the originality of the typeface\'s design was not considered valuable by the factory. The majority of faces, which were found in nine specimens with different typographic collections, were identified as being German, especially from D. Stempel and Klingspor foundries. Moreover, although some of the faces have not been identified in other foundries, evidence was not found that Funtimod had released in Brazil any face cast with an original design. Funtimod type collection, on the other hand, is composed with representative faces from the beginning of the twentieth century, such as Futura, Kabel, Memphis, Mondial, as well as revivals of Bodoni and Garamond. Comparative analysis of movable metal types from Funtimod revealed that singular practices were performed at the Brazilian type foundry. Among internationally well-known faces, for instance, some characters, especially the ones joined with the tilde and cedilla diacritics, presented variations in form, position, weight and size. The findings of this investigation contribute to the Brazilian typographic history in a particular way, in a intrinsic relationship with Germany, that, above all, led me to question how Brazilian Funtimod really was.

Introdução. Fatores de risco para agravos à saúde se alteram no tempo e no espaço. No que diz respeito ao câncer de cabeça e pescoço (CCP), as associações com tabagismo e consumo de bebidas alcoólicas estão bem estabelecidas. Dados da literatura sugerem que os tipos mais prevalentes de tabaco e álcool numa população estão associados a riscos mais elevados de câncer. No Brasil, poucos estudos epidemiológicos investigaram o efeito de distintos tipos de tabaco e álcool no CCP. Objetivo. Mensurar a razão probabilística de risco para CCP por tipos de tabaco e álcool no consumo não exclusivo (uso de mais de um tipo de tabaco ou bebida alcoólica) e consumo exclusivo (uso de apenas um tipo de tabaco ou bebida alcoólica). Métodos. O presente estudo têm origem em três projetos multicêntricos: Latino-Americano, conduzido de 03/1999 a 12/2001; Genoma Clínico do Câncer realizado de 07/2000 a 08/2011; e o Temático Marcadores de Agressividade em Tumores de Cabeça e Pescoço (GENCAPO), conduzido de 07/2011 a 06/2015. Assim, constituiu-se um estudo caso-controle com dados provenientes de hospitais do Estado de São Paulo. Os casos foram diagnosticados com carcinoma espinocelular de cabeça e pescoço, confirmados histologicamente. Os controles, pacientes com outras doenças que não câncer, foram selecionados em alguns dos hospitais de procedência dos casos. Tanto os casos quanto os controles foram entrevistados por meio de questionários com informações sobre características e hábitos, bem como dados sobre educação e história ocupacional. As associações entre as variáveis tipo de tabaco e tipo de bebidas alcoólicas com CCP, foram estimadas pelo odds ratio (OR) e respectivo intervalo de 95% de confiança (IC 95%) via regressão logística não-condicional, ajustados pelas variáveis de confusão: sexo (feminino, masculino), idade (< 50 anos, 50-59 anos e &#8805; 60 anos), escolaridade (superior, intermediário, analfabeto), ocupação (manual qualificado, manual não qualificado e outros), estudos multicêntricos (Latino-Americano, Genoma Clínico do Câncer e GENCAPO), tabagismo (maços-anos total: Nunca fumaram, <20 maços-ano, &#8805; 20 e < 40 maços-anos e &#8805; 40 maços-anos, para ajuste do efeito do álcool) e consumo de etanol total (Nunca beberam, &#8804; 100 Kg, > 100 e &#8804; 900 e > 900 kg, para ajuste do efeito do tabaco). Resultados. Os riscos decorrentes do tabagismo foram mais expressivos para hipofaringe particularmente, no padrão não-exclusivo e consumo &#8805; 40 maços-ano OR 36,1 (IC95%11,1-117,6); para orofaringe, laringe e cavidade oral, os riscos foram, respectivamente: OR 16,1 (IC95%10,4-24,9); OR 14,2 (IC95% 9,6-21,0); OR 7,4 (IC95% 5,6-10,0). Na condição de consumo exclusivo, para a mesma categoria &#8805; 40 maços-ano para cigarro industrializado, os riscos foram discretamente menos intensos: OR 31,9 (IC95% 9,7-104,3); OR 15,4 (IC95% 9,9-24,0); OR 13,1 (IC95% 8,8-19,5) OR 7,1 (IC95% 5,3-9,6), respectivamente, para hipofaringe, orofaringe, laringe e cavidade oral. No consumo de álcool, foram observadas maiores associações de CCP com as bebidas destiladas. Na condição de consumo exclusivo, para orofaringe o nível de consumo de destilados &#8805; 2000 Kg induziu OR 39,1 (IC 95% 12,7-121,8) em comparação aos que nunca beberam. O uso simultâneo de tabaco e álcool fez aumentar sensivelmente o risco de CCP: OR 10,5 (IC95% 8,5-13,0). Conclusões. Entre os tabagistas com o padrão não-exclusivo de consumo, os maiores riscos foram observados para hipofaringe. Entre os consumidores de bebidas alcoólicas, os destilados conferiram maiores riscos nos dois padrões de consumo. No consumo de cerveja e vinho, as diferenças na intensidade das associações com CCP tornaram-se evidentes apenas nas categorias de maior consumo. / Introduction. Risk factors for health problems change over time and space. With regard to head and neck cancer (HNC), associations with smoking and alcohol consumption are well established. Literature data suggest that the most prevalent types of tobacco and alcohol in a population are associated with higher risks of cancer. In Brazil, few epidemiological studies have investigated the effect of different types of tobacco and alcohol on HNC. Objectives. Measure the probabilistic risks for HNC by tobacco and alcohol types in non-exclusive consumption (use of more than one type of tobacco or alcoholic beverage) and exclusive consumption (use of only one type of tobacco or alcoholic beverage). Methods. The present study has origin from three multicentric projects: Latin American, conducted from 03/1999 to 12/2001; Clinical Genome of Cancer performed from 07/2000 to 08/2011; and the Thematic Markers of Aggression in Head and Neck Tumors (GENCAPO), conducted from 07/2011 to 06/2015. Thus, it is a case-control study with data from hospitals in the State of São Paulo. The cases were diagnosed with squamous cell carcinoma of the head and neck, histologically confirmed. The controls, patients with diseases other than cancer, were selected in some of the hospitals where the cases originated. Both cases and controls were interviewed through questionnaires with information on characteristics and habits, as well as data on education and occupational history. Associations between the variables tobacco type and type of alcoholic beverages with HNC were estimated by the odds ratio (OR) and respective 95% confidence interval (CI 95%) through non-conditional logistic regression adjusted for confounding variables: sex (female, male), age (<50 years, 50-59 years and &#8805; 60 years), schooling (upper, intermediate and illiterate), occupation (qualified manual, unqualified manual and others), multicenter studies, smoking (Never smoked, <20 pack-years, &#8805; 20 and <40 pack-years and &#8805; 40 pack-years, to adjust the effect of alcohol) and total ethanol (Never drank, &#8804; 100 kg,> 100 and &#8804; 900 and > 900 kg, to adjust the effect of tobacco). Results. The risks due to smoking were more significant for the hypopharynx, particularly, in the non-exclusive pattern and consumption &#8805; 40 packs per year OR 36,1 (95% CI 11,1-117,6); for oropharynx, larynx and oral cavity, the risks were: OR 16,1 (95% CI, 10,4-24,9); OR 14,2 (95% CI 9,6-21,0); OR 7,4 (95% CI 5,6-10,0). In the exclusive consumption condition, for the same category &#8805; 40 packets per year for industrialized cigarettes, the risks were slightly less intense: OR 31,9 (95% CI 9,7-104,3); OR 15,4 (95% CI 9,9-24,0); OR 13,1 (IC95% 8,8-19,5); OR 7,1 (IC95% 5,3-9,6), respectively, for hypopharynx, oropharynx, larynx and oral cavity. In alcohol consumption, higher associations of HNC with distilled beverages were observed. In the exclusive consumption condition, consumption level of distilled &#8805; 2000 kg induced OR 39,1 (95% CI: 12,7-121,8) for oropharynx. Simultaneous use of tobacco and alcohol increased the risk of HNC: OR 10,5 (95% CI 8,5-13,0). Conclusions. Among smokers with the non-exclusive pattern of consumption, the greatest risks were observed for the hypopharynx. Among the consumers of alcoholic beverages, the distilled conferred greater risks in the two patterns of consumption. In beer and wine consumption, differences in intensity of associations with HNC became evident only in the higher consumption categories.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / Esta pesquisa se propôs investigar como surgiu e vem se constituindo o campo profissional do design brasileiro de tipos digitais. Foi estabelecido um mapeamento aberto desse processo, identificando os marcos, os agentes e as relações que os conectam na consolidação dessa área de atuação. São, inicialmente, abordadas delimitações e categorias relativas à tipografia e ao design de tipos em geral, e as particularidades desse campo frente ao paradigma das tecnologias digitais. Em seguida são abordadas as condições tecnológicas e sócioeconômicas que possibilitaram o crescimento da atividade em âmbito internacional e seu surgimento no Brasil, bem como os modos de colocação dos projetos na esfera de mercado e algumas tendências projetuais/estilísticas contemporâneas. São também indicados os eventos de promoção da atividade no Brasil a partir do início da década de 2000, bem como as principais publicações nacionais dedicadas ao assunto. São, então, apresentados os projetos identificados como mais relevantes dos designers de tipos brasileiros, a partir de meados da década de 1980 até o ano de 2009. Nessa etapa da pesquisa foram utilizadas referências bibliográficas já disponíveis sobre o assunto, bem como entrevistas realizadas com designers de tipos brasileiros. Por fim, são apontados os principais caminhos seguidos, alguns dilemas do presente e algumas perspectivas que se desenham para o futuro. / This research explores the constitution of Brazilian digital type design as a professional field, from its earliest days till the latest developments. Through an open mapping process, milestones, agents and relationships are identified as important steps in its consolidation. Initially categories related to typography and type design in general are defined, demarcating the specific characteristics of this area faced by the paradigm of digital technologies. Then follows a survey of the technological, social and economic conditions underpinning the growth of this field worldwide and particularly in Brazil, as well as ways of placing new designs on the market and some contemporary trends in style and project. Considering the Brazilian context, events promoting digital type design during the 2000 decade are listed, together with the most important Brazilian publications in this field. This is followed by an overview of Brazilian type designs from the mid-1980s through to year-end 2009, based on references in the literature, as well as interviews with Brazilian type designers. The final section indicates the main paths followed in this field, outlining current dilemmas and offering glimpses of possible future scenarios.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / Esta pesquisa se propôs investigar como surgiu e vem se constituindo o campo profissional do design brasileiro de tipos digitais. Foi estabelecido um mapeamento aberto desse processo, identificando os marcos, os agentes e as relações que os conectam na consolidação dessa área de atuação. São, inicialmente, abordadas delimitações e categorias relativas à tipografia e ao design de tipos em geral, e as particularidades desse campo frente ao paradigma das tecnologias digitais. Em seguida são abordadas as condições tecnológicas e sócioeconômicas que possibilitaram o crescimento da atividade em âmbito internacional e seu surgimento no Brasil, bem como os modos de colocação dos projetos na esfera de mercado e algumas tendências projetuais/estilísticas contemporâneas. São também indicados os eventos de promoção da atividade no Brasil a partir do início da década de 2000, bem como as principais publicações nacionais dedicadas ao assunto. São, então, apresentados os projetos identificados como mais relevantes dos designers de tipos brasileiros, a partir de meados da década de 1980 até o ano de 2009. Nessa etapa da pesquisa foram utilizadas referências bibliográficas já disponíveis sobre o assunto, bem como entrevistas realizadas com designers de tipos brasileiros. Por fim, são apontados os principais caminhos seguidos, alguns dilemas do presente e algumas perspectivas que se desenham para o futuro. / This research explores the constitution of Brazilian digital type design as a professional field, from its earliest days till the latest developments. Through an open mapping process, milestones, agents and relationships are identified as important steps in its consolidation. Initially categories related to typography and type design in general are defined, demarcating the specific characteristics of this area faced by the paradigm of digital technologies. Then follows a survey of the technological, social and economic conditions underpinning the growth of this field worldwide and particularly in Brazil, as well as ways of placing new designs on the market and some contemporary trends in style and project. Considering the Brazilian context, events promoting digital type design during the 2000 decade are listed, together with the most important Brazilian publications in this field. This is followed by an overview of Brazilian type designs from the mid-1980s through to year-end 2009, based on references in the literature, as well as interviews with Brazilian type designers. The final section indicates the main paths followed in this field, outlining current dilemmas and offering glimpses of possible future scenarios.

Introdução. Fatores de risco para agravos à saúde se alteram no tempo e no espaço. No que diz respeito ao câncer de cabeça e pescoço (CCP), as associações com tabagismo e consumo de bebidas alcoólicas estão bem estabelecidas. Dados da literatura sugerem que os tipos mais prevalentes de tabaco e álcool numa população estão associados a riscos mais elevados de câncer. No Brasil, poucos estudos epidemiológicos investigaram o efeito de distintos tipos de tabaco e álcool no CCP. Objetivo. Mensurar a razão probabilística de risco para CCP por tipos de tabaco e álcool no consumo não exclusivo (uso de mais de um tipo de tabaco ou bebida alcoólica) e consumo exclusivo (uso de apenas um tipo de tabaco ou bebida alcoólica). Métodos. O presente estudo têm origem em três projetos multicêntricos: Latino-Americano, conduzido de 03/1999 a 12/2001; Genoma Clínico do Câncer realizado de 07/2000 a 08/2011; e o Temático Marcadores de Agressividade em Tumores de Cabeça e Pescoço (GENCAPO), conduzido de 07/2011 a 06/2015. Assim, constituiu-se um estudo caso-controle com dados provenientes de hospitais do Estado de São Paulo. Os casos foram diagnosticados com carcinoma espinocelular de cabeça e pescoço, confirmados histologicamente. Os controles, pacientes com outras doenças que não câncer, foram selecionados em alguns dos hospitais de procedência dos casos. Tanto os casos quanto os controles foram entrevistados por meio de questionários com informações sobre características e hábitos, bem como dados sobre educação e história ocupacional. As associações entre as variáveis tipo de tabaco e tipo de bebidas alcoólicas com CCP, foram estimadas pelo odds ratio (OR) e respectivo intervalo de 95% de confiança (IC 95%) via regressão logística não-condicional, ajustados pelas variáveis de confusão: sexo (feminino, masculino), idade (< 50 anos, 50-59 anos e &#8805; 60 anos), escolaridade (superior, intermediário, analfabeto), ocupação (manual qualificado, manual não qualificado e outros), estudos multicêntricos (Latino-Americano, Genoma Clínico do Câncer e GENCAPO), tabagismo (maços-anos total: Nunca fumaram, <20 maços-ano, &#8805; 20 e < 40 maços-anos e &#8805; 40 maços-anos, para ajuste do efeito do álcool) e consumo de etanol total (Nunca beberam, &#8804; 100 Kg, > 100 e &#8804; 900 e > 900 kg, para ajuste do efeito do tabaco). Resultados. Os riscos decorrentes do tabagismo foram mais expressivos para hipofaringe particularmente, no padrão não-exclusivo e consumo &#8805; 40 maços-ano OR 36,1 (IC95%11,1-117,6); para orofaringe, laringe e cavidade oral, os riscos foram, respectivamente: OR 16,1 (IC95%10,4-24,9); OR 14,2 (IC95% 9,6-21,0); OR 7,4 (IC95% 5,6-10,0). Na condição de consumo exclusivo, para a mesma categoria &#8805; 40 maços-ano para cigarro industrializado, os riscos foram discretamente menos intensos: OR 31,9 (IC95% 9,7-104,3); OR 15,4 (IC95% 9,9-24,0); OR 13,1 (IC95% 8,8-19,5) OR 7,1 (IC95% 5,3-9,6), respectivamente, para hipofaringe, orofaringe, laringe e cavidade oral. No consumo de álcool, foram observadas maiores associações de CCP com as bebidas destiladas. Na condição de consumo exclusivo, para orofaringe o nível de consumo de destilados &#8805; 2000 Kg induziu OR 39,1 (IC 95% 12,7-121,8) em comparação aos que nunca beberam. O uso simultâneo de tabaco e álcool fez aumentar sensivelmente o risco de CCP: OR 10,5 (IC95% 8,5-13,0). Conclusões. Entre os tabagistas com o padrão não-exclusivo de consumo, os maiores riscos foram observados para hipofaringe. Entre os consumidores de bebidas alcoólicas, os destilados conferiram maiores riscos nos dois padrões de consumo. No consumo de cerveja e vinho, as diferenças na intensidade das associações com CCP tornaram-se evidentes apenas nas categorias de maior consumo. / Introduction. Risk factors for health problems change over time and space. With regard to head and neck cancer (HNC), associations with smoking and alcohol consumption are well established. Literature data suggest that the most prevalent types of tobacco and alcohol in a population are associated with higher risks of cancer. In Brazil, few epidemiological studies have investigated the effect of different types of tobacco and alcohol on HNC. Objectives. Measure the probabilistic risks for HNC by tobacco and alcohol types in non-exclusive consumption (use of more than one type of tobacco or alcoholic beverage) and exclusive consumption (use of only one type of tobacco or alcoholic beverage). Methods. The present study has origin from three multicentric projects: Latin American, conducted from 03/1999 to 12/2001; Clinical Genome of Cancer performed from 07/2000 to 08/2011; and the Thematic Markers of Aggression in Head and Neck Tumors (GENCAPO), conducted from 07/2011 to 06/2015. Thus, it is a case-control study with data from hospitals in the State of São Paulo. The cases were diagnosed with squamous cell carcinoma of the head and neck, histologically confirmed. The controls, patients with diseases other than cancer, were selected in some of the hospitals where the cases originated. Both cases and controls were interviewed through questionnaires with information on characteristics and habits, as well as data on education and occupational history. Associations between the variables tobacco type and type of alcoholic beverages with HNC were estimated by the odds ratio (OR) and respective 95% confidence interval (CI 95%) through non-conditional logistic regression adjusted for confounding variables: sex (female, male), age (<50 years, 50-59 years and &#8805; 60 years), schooling (upper, intermediate and illiterate), occupation (qualified manual, unqualified manual and others), multicenter studies, smoking (Never smoked, <20 pack-years, &#8805; 20 and <40 pack-years and &#8805; 40 pack-years, to adjust the effect of alcohol) and total ethanol (Never drank, &#8804; 100 kg,> 100 and &#8804; 900 and > 900 kg, to adjust the effect of tobacco). Results. The risks due to smoking were more significant for the hypopharynx, particularly, in the non-exclusive pattern and consumption &#8805; 40 packs per year OR 36,1 (95% CI 11,1-117,6); for oropharynx, larynx and oral cavity, the risks were: OR 16,1 (95% CI, 10,4-24,9); OR 14,2 (95% CI 9,6-21,0); OR 7,4 (95% CI 5,6-10,0). In the exclusive consumption condition, for the same category &#8805; 40 packets per year for industrialized cigarettes, the risks were slightly less intense: OR 31,9 (95% CI 9,7-104,3); OR 15,4 (95% CI 9,9-24,0); OR 13,1 (IC95% 8,8-19,5); OR 7,1 (IC95% 5,3-9,6), respectively, for hypopharynx, oropharynx, larynx and oral cavity. In alcohol consumption, higher associations of HNC with distilled beverages were observed. In the exclusive consumption condition, consumption level of distilled &#8805; 2000 kg induced OR 39,1 (95% CI: 12,7-121,8) for oropharynx. Simultaneous use of tobacco and alcohol increased the risk of HNC: OR 10,5 (95% CI 8,5-13,0). Conclusions. Among smokers with the non-exclusive pattern of consumption, the greatest risks were observed for the hypopharynx. Among the consumers of alcoholic beverages, the distilled conferred greater risks in the two patterns of consumption. In beer and wine consumption, differences in intensity of associations with HNC became evident only in the higher consumption categories.

[pt] Linguagens dinamicamente tipadas, tais como Lua, não usam tipos estáticos em favor de simplicidade e exibilidade, porque a ausência de tipos estáticos significa que programadores não precisam se preocupar em abstrair tipos que devem ser validados por um verificador de tipos. Por outro lado, linguagens estaticamente tipadas ajudam na detecção prévia de diversos bugs e também ajudam na estruturação de programas grandes. Tais pontos geralmente são vistos como duas vantagens que levam programadores a migrar de uma linguagem dinamicamente tipada para uma linguagem estaticamente tipada, quando os pequenos scripts deles evoluem para programas complexos. Sistemas de tipos opcionais nos permitem combinar tipagem dinâmica e estática na mesma linguagem, sem afetar a semântica original da linguagem, tornando mais fácil a evolução de código tipado dinamicamente para código tipado estaticamente. Desenvolver um sistema de tipos opcional para uma linguagem dinamicamente tipada é uma tarefa desafiadora, pois ele deve ser o mais natural possível para os programadores que já estão familiarizados com essa linguagem. Neste trabalho nós apresentamos e formalizamos Typed Lua, um sistema de tipos opcional para Lua, o qual introduz novas características para tipar estaticamente alguns idiomas e características de Lua. Embora Lua compartilhe várias características com outras linguagens dinamicamente tipadas, em particular JavaScript, Lua também possui várias características não usuais, as quais não estão presentes nos sistemas de tipos dessas linguagens. Essas características incluem funções com aridade flexível, atribuições múltiplas, funções que são sobrecarregadas no número de valores de retorno e a evolução incremental de registros e objetos. Nós discutimos como Typed Lua tipa estaticamente essas características e também discutimos nossas decisões de projeto. Finalmente, apresentamos uma avaliação de resultados, a qual obtivemos ao usar Typed Lua para tipar código Lua existente. / [en] Dynamically typed languages such as Lua avoid static types in favor of simplicity and exibility, because the absence of static types means that programmers do not need to bother with abstracting types that should be validated by a type checker. In contrast, statically typed languages provide the early detection of many bugs, and a better framework for structuring large programs. These are two advantages of static typing that may lead programmers to migrate from a dynamically typed to a statically typed language, when their simple scripts evolve into complex programs. Optional type systems allow combining dynamic and static typing in the same language, without affecting its original semantics, making easier this code evolution from dynamic to static typing. Designing an optional type system for a dynamically typed language is challenging, as it should feel natural to programmers that are already familiar with this language. In this work we present and formalize the design of Typed Lua, an optional type system for Lua that introduces novel features to statically type check some Lua idioms and features. Even though Lua shares several characteristics with other dynamically typed languages such as JavaScript, Lua also has several unusual features that are not present in the type system of these languages. These features include functions with exible arity, multiple assignment, functions that are overloaded on the number of return values, and the incremental evolution of record and object types. We discuss how Typed Lua handles these features and our design decisions. Finally, we present the evaluation results that we achieved while using Typed Lua to type existing Lua code.