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.

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.

Formal planning rationality in public sector professional work: between discourse and practice

Although rational models of formal planning have been seriously criticized by strategy literature, they not only remain a widely used organizational practice in private firms, but they have increasingly been entering public, professional organizations too, as part of public sector managerial reforms. This research addresses this apparent paradox, exploring the meaning of formal planning in public sector professional work. Curiously, this is an issue that remains under-investigated in the literature: the long debate on formal planning in strategy research devoted scant attention to its diffusion in the public sector, and public sector studies have scrutinized the introduction of other management tools in professional work, but very limitedly formal planning itself. In fact, little is known on the actual meaning of formal planning in public, professional services. This research is based upon a case of adoption of formal planning tools in a public hospital. Embracing a discourse analytical lens, it examines which formal planning discourse entered professional work, to what extent, and how professionals interpret it and engage with it in their practice. The analysis uncovers dynamics of social construction of meaning where, eventually, a formal planning discourse both shapes and is shaped by professional practice. In particular, it is found that formal planning rationality largely penetrated professional work, but not to the detriment of professional values. Morevover, formal planning ‘fails’ as a tool for rational decision making, but it takes up a knowledge work and a social value in professional work, as a tool for explicitation of action courses and for dialogue between otherwise more disconnected parts of the organization.

Marine biodiversity survey in the Northern Red Sea: a large-scale monitoring carried out in collaboration with volunteer divers

Concerns over global change and its effect on coral reef survivorship have highlighted the need for long-term datasets and proxy records, to interpret environmental trends and inform policymakers. Citizen science programs have showed to be a valid method for collecting data, reducing financial and time costs for institutions. This study is based on the elaboration of data collected by recreational divers and its main purpose is to evaluate changes in the state of coral reef biodiversity in the Red Sea over a long term period and validate the volunteer-based monitoring method. Volunteers recreational divers completed a questionnaire after each dive, recording the presence of 72 animal taxa and negative reef conditions. Comparisons were made between records from volunteers and independent records from a marine biologist who performed the same dive at the same time. A total of 500 volunteers were tested in 78 validation trials. Relative values of accuracy, reliability and similarity seem to be comparable to those performed by volunteer divers on precise transects in other projects, or in community-based terrestrial monitoring. 9301 recreational divers participated in the monitoring program, completing 23,059 survey questionnaires in a 5-year period. The volunteer-sightings-based index showed significant differences between the geographical areas. The area of Hurghada is distinguished by a medium-low biodiversity index, heavily damaged by a not controlled anthropic exploitation. Coral reefs along the Ras Mohammed National Park at Sharm el Sheikh, conversely showed high biodiversity index. The detected pattern seems to be correlated with the conservation measures adopted. In our experience and that of other research institutes, citizen science can integrate conventional methods and significantly reduce costs and time. Involving recreational divers we were able to build a large data set, covering a wide geographic area. The main limitation remains the difficulty of obtaining an homogeneous spatial sampling distribution.

Volunteer-based coral reef monitoring: reliability of data, environmental education and implications for conservation

Coral reefs are the most biodiverse ecosystems of the ocean and they provide notable ecosystem services. Nowadays, they are facing a number of local anthropogenic threats and environmental change is threatening their survivorship on a global scale. Large-scale monitoring is necessary to understand environmental changes and to perform useful conservation measurements. Governmental agencies are often underfunded and are not able of sustain the necessary spatial and temporal large-scale monitoring. To overcome the economic constrains, in some cases scientists can engage volunteers in environmental monitoring. Citizen Science enables the collection and analysis of scientific data at larger spatial and temporal scales than otherwise possible, addressing issues that are otherwise logistically or financially unfeasible. “STE: Scuba Tourism for the Environment” was a volunteer-based Red Sea coral reef biodiversity monitoring program. SCUBA divers and snorkelers were involved in the collection of data for 72 taxa, by completing survey questionnaires after their dives. In my thesis, I evaluated the reliability of the data collected by volunteers, comparing their questionnaires with those completed by professional scientists. Validation trials showed a sufficient level of reliability, indicating that non-specialists performed similarly to conservation volunteer divers on accurate transects. Using the data collected by volunteers, I developed a biodiversity index that revealed spatial trends across surveyed areas. The project results provided important feedbacks to the local authorities on the current health status of Red Sea coral reefs and on the effectiveness of the environmental management. I also analysed the spatial and temporal distribution of each surveyed taxa, identifying abundance trends related with anthropogenic impacts. Finally, I evaluated the effectiveness of the project to increase the environmental education of volunteers and showed that the participation in STEproject significantly increased both the knowledge on coral reef biology and ecology and the awareness of human behavioural impacts on the environment.

Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Gray matter volume differences specific to formal thought disorder in schizophrenia

Formal thought disorder (FTD) is one of the main symptoms of schizophrenia. To date there are no whole brain volumetric studies investigating gray matter (GM) differences specifically associated with FTD. Here, we studied 20 right-handed schizophrenia patients that differed in the severity of formal thought disorder and 20 matched healthy controls, using voxel-based morphometry (VBM). The severity of FTD was measured with the Scale for the Assessment of Thought, Language, and Communication. The severity was negatively correlated with the GM volume of the left superior temporal sulcus, the left temporal pole, the right middle orbital gyrus and the right cuneus/lingual gyrus. Structural abnormalities specific for FTD were found to be unrelated to GM differences associated with schizophrenia in general. The specific GM abnormalities within the left temporal lobe may help to explain language disturbances included in FTD.

Ultrasonographic guided axillary plexus blocks with low volumes of local anaesthetics: a crossover volunteer study

Our study group recently evaluated an ED(95) local anaesthetic volume of 0.11 ml.mm(-2) cross-sectional nerve area for the ulnar nerve. This prospective, randomised, double-blind crossover study investigated whether this volume is sufficient for brachial plexus blocks at the axillary level. Ten volunteers received an ultrasonographic guided axillary brachial plexus block either with 0.11 ('low' volume) or 0.4 ('high' volume) ml.mm(-2) cross-sectional nerve area with mepivacaine 1%. The mean (SD) volume was in the low volume group 4.0 (1.0) and 14.8 (3.8) ml in the high volume group. The success rate for the individual nerve blocks was 27 out of 30 in the low volume group (90%) and 30 out of 30 in the high volume group (100%), resulting in 8 out of 10 (80%) vs 10 out of 10 (100%) complete blocks in the low vs the high volume groups, respectively (NS). The mean (SD) sensory onset time was 25.0 (14.8) min in the low volume group and 15.8 (6.8) min in the high volume group (p < 0.01). The mean (SD) duration of sensory block was 125 (38) min in the low volume group and 152 (70) min in the high volume group (NS). This study confirms our previous published ED(95) volume for mepivacaine 1% to block peripheral nerves. The volume of local anaesthetic has some influence on the sensory onset time.

Semantic network disconnection in formal thought disorder

Structural and functional findings in schizophrenic patients with formal thought disorder (FTD) show abnormalities within left-side semantic areas. The present study investigate the network function of the involved brain regions as a function of FTD severity.