Vectorial capacity, basic reproduction number, force of infection and all that: formal notation to complete and adjust their classical concepts and equations

A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' threshold theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.

alpha,beta-Unsaturated Diazoketones as Platforms in the Asymmetric Synthesis of Hydroxylated Alkaloids. Total Synthesis of 1-Deoxy-8,8a-diepicastanospermine and 1,6-Dideoxyepicastanospermine and Formal Synthesis of Pumiliotoxin 251D

A versatile and concise approach for the stereoselective synthesis of mono-, di-, and trihydroxylated indolizidines is presented in four to six steps from Cbz-prolinal and a diazophosphonate. The key steps involved a Wolff rearrangement, followed by a stereoselective dihydroxylation/epoxidation reaction, from an alpha,beta-unsaturated diazoketone. The strategy also permits extension to the synthesis of many natural hydroxylated indolizidine alkaloids as demonstrated in the formal synthesis of pumiliotoxin 251D.

A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems

Abstract Background Recent medical and biological technology advances have stimulated the development of new testing systems that have been providing huge, varied amounts of molecular and clinical data. Growing data volumes pose significant challenges for information processing systems in research centers. Additionally, the routines of genomics laboratory are typically characterized by high parallelism in testing and constant procedure changes. Results This paper describes a formal approach to address this challenge through the implementation of a genetic testing management system applied to human genome laboratory. We introduced the Human Genome Research Center Information System (CEGH) in Brazil, a system that is able to support constant changes in human genome testing and can provide patients updated results based on the most recent and validated genetic knowledge. Our approach uses a common repository for process planning to ensure reusability, specification, instantiation, monitoring, and execution of processes, which are defined using a relational database and rigorous control flow specifications based on process algebra (ACP). The main difference between our approach and related works is that we were able to join two important aspects: 1) process scalability achieved through relational database implementation, and 2) correctness of processes using process algebra. Furthermore, the software allows end users to define genetic testing without requiring any knowledge about business process notation or process algebra. Conclusions This paper presents the CEGH information system that is a Laboratory Information Management System (LIMS) based on a formal framework to support genetic testing management for Mendelian disorder studies. We have proved the feasibility and showed usability benefits of a rigorous approach that is able to specify, validate, and perform genetic testing using easy end user interfaces.

Tigela, café e xícara: diversidade formal e dinâmicas de consumo na produção das louças brancas da cidade de São Paulo no começo do século XX

Este artigo apresenta algumas reflexões em torno das formas e volumes das louças em faiança fina produzidas, e consumidas, na cidade de São Paulo, durante o período de 1913 e 1937, relacionando-as a alguns hábitos levados a cabo na Paulicéia, como o crescente costume do "cafezinho". Para tal, parte-se das análises do acervo gerado pelo resgate do sítio arqueológico Petybon, localizado na zona metropolitana da cidade, no bairro da Lapa, região da Água Branca/Vila Romana. Aponta-se que a diversidade de formas das louças dialoga com os projetos de modernidade pensados para São Paulo e as demandas dos consumidores cujas diversas práticas culturais influenciaram na produção das faianças finas pela Fábrica de Louças Santa Catharina e Indústrias Reunidas Fábricas Matarazzo.

Elementos estruturais de um modelo formal dos esportes coletivos de invasão

O desenvolvimento de um modelo formal da estratégia e da dinâmica do jogo constitui uma contribuição científica original no contexto dos esportes coletivos de invasão. O procedimento construtivo de uma estratégia definido no modelo é composto de cinco conjuntos de elementos ordenados em níveis hierárquicos, que suportam o desenho de estratégias capazes de orientar adequadamente uma equipe em um jogo. Uma vez definido o modelo da estratégia, a formalização da dinâmica do jogo permite sua contextualização no momento de sua aplicação para orientar os jogadores no confronto. O jogo teve sua estrutura decomposta e suas propriedades dinâmicas fundamentais foram definidas. Dessa forma, a modelagem da dinâmica da oposição e da estratégia se complementam, pois definem os momentos nos quais a informação estratégica é utilizada pelos jogadores. A estrutura formal apresentada inaugura uma linha de pesquisa que poderá contribuir para limitar a subjetividade na definição dos critérios de análise de futuros desenhos experimentais, levando à interpretações e comparações mais acuradas dos resultados dos estudos.

O Recuo Brutalista

Em conformidade com a dúvida de seu título, o difundido livro The New Brutalism: Ethic or Aesthetic? de Reyner Banham não é possível explicar o Brutalismo como manifestação artística coesa, dotada de consistência e reprodutibilidade formal. A citação de arquitetos famosos, porém divergentes, parece associar e comparar obras ásperas com a pretensão de reerguer uma arquitetura moderna considerada ascética, monótona e insuficiente e gera um teoricismo da aparência crua e do moralismo dos objetos. Discurso que oculta, ou desvia a atenção do retorno artístico à sublimidade e construção artesanal. O Brutalismo é aceito como evolução natural dos estágios modernos anteriores e sanciona artefatos toscos, pesados e inacabados como se fossem filiados ao processo moderno desinfestado. Esconde contradições e disfarça seu rompimento com o moderno para prolongar a expressão Movimento moderno. Mas o objeto claro, econômico e preciso é repudiado pelo consumidor e, por ser pouco representativo, o artista faz sua maquiagem com episódios contrastantes e monumentais na informalidade das cidades espontâneas. No entanto, parece possível suspender a noção positiva e corretiva do Brutalismo para entendê-lo como um recuo artístico vulgarizador que despreza aperfeiçoamento e afronta a atitude moderna com banalização conceptiva, exagero, figuralidade, musculação estrutural, grandeza tectônica, rudimento e rudeza. Assim, moralismo, retorno rústico e originalidade desqualificam a expressão International Style entendida como a culminação da arquitetura moderna do pós-guerra, ao depreciá-la como decadente, como produto imobiliário, comercial e corporativo a serviço do capital. Essa interpretação desvela uma crítica anti-industrial, portanto antimodernista e diversa da pós-modernidade, porém contestadora e realista para fornecer imagens à cultura e aos insensíveis à estrutura da forma moderna. Diverso da pós-modernidade pela dependência ao moderno e ausência de apelo popular. Tornada insignificante a configuração oportuna do artefato, o arquiteto tenta reter sua notabilidade artística, ou o prestígio que parece enfraquecer na aparência símile da especificação de catálogo, no rigor modular. Indispõe-se e repudia componentes, Standards e acabamentos impessoais da indústria da construção para insistir em autoria e inspiração, mas repete cacoetes estilísticos de época e o inexplicável uso intensivo de concreto bruto e aparente para sentir-se engajado e atualizado. Porém, é necessário distinguir obras de aparência severa concebidas pela atitude moderna mais autêntica das de concreto aparente em tipos ou configurações aberrantes. Para avançar na discussão do Brutalismo propõe-se entender este fenômeno com a substituição do juízo estético moderno de sentido visual postulado por Immanuel Kant (1724-1804) por um sentimento estético fácil e relacionado com a sensação da empatia, com a Einfühlung de Robert Vischer (1847-1933). Na época da cultura de massas, admite-se o rebaixamento das exigências no artefato e a adaptação brutalista com a transfiguração dos processos de arquitetura moderna. Assim, a forma é substituída pela figura ou pelo resumo material; a estrutura formal subjacente pelo ritmo e exposição da estrutura física; o reconhecimento visual pelo entusiasmo psicológico ou pelo impulso dionisíaco; a concepção substituída pelo partido, ou, ainda, pelo conceito; a sistematização e a ordem pela moldagem e a organização; a abstração e síntese pela originalidade e essencialidade, o sentido construtivo pela honestidade material; a identidade das partes pela fundição ou pela unicidade objetal e a residência pela cabana primitiva.