Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Case-control study of an outbreak of acute toxoplasmosis in an industrial plant in the state of São Paulo, Brazil

Foodborne diseases represent operational risks in industrial restaurants. We described an outbreak of nine clustered cases of acute illness resembling acute toxoplasmosis in an industrial plant with 2300 employees. These patients and another 36 similar asymptomatic employees were diagnosed with anti-T. gondii IgG titer and avidity by ELISA. We excluded 14 patients based on high IgG avidity and chronic toxoplasmosis: 13 from controls and one from acute disease other than T. gondii infection. We also identified another three asymptomatic employees with T.gondii acute infection and also anti-T. gondii IgM positive as remaining acute cases. Case control study was conducted by interview in 11 acute infections and 20 negative controls. The ingestion of green vegetables, but not meat or water, was observed to be associated with the incidence of acute disease. These data reinforce the importance of sanitation control in industrial restaurants and also demonstrate the need for improvement in quality control regarding vegetables at risk for T. gondii oocyst contamination. We emphasized the accurate diagnosis of indexed cases and the detection of asymptomatic infections to determine the extent of the toxoplasmosis outbreak.

Geospatial data harmonization from regional level to european level: a usa case in forest fire data

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Urban land cover change detection analysis and modeling spatio-temporal Growth dynamics using Remote Sensing and GIS Techniques: A case study of Dhaka, Bangladesh

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Evaluation of a volunteered geographical information trust measure in the case of OpenStreetMap

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Location-based Marketing: the academic framework

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Analysing and visualising areal crime data. A case study of residential burglary in San Francisco, USA

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Evaluation of thermal remote sensing for detection of thermal anomalies as earthquake precursors: a case study for Malatya-Pütürge-Doganyol (Turkey) Earthquake, July 13, 2003

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

GI Systems for public health with an ontology based approach

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

A Web based geospatial application for disaster preparedness in Uganda

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Hypermedia-based Web Services as System Integrators

As we move more closely to the practical concept of the Internet of Things and, our reliance on public and private APIs increases, web services and their related topics have become utterly crucial to the informatics community. However, the question about which style of web services would best solve a particular problem, can raise signi cant and multifarious debates. There can be found two implementation styles that highlight themselves: the RPC-oriented style represented by the SOAP protocol’s implementations and the hypermedia style, which is represented by the REST architectural style’s implementations. As we search examples of already established web services, we can nd a handful of robust and reliable public and private SOAP APIs, nevertheless, it seems that RESTful services are gaining popularity in the enterprise community. For the current generation of developers that work on informatics solutions, REST seems to represent a fundamental and straightforward alternative and even, a more deep-rooted approach than SOAP. But are they comparable? Do both approaches have each speci c best suitable scenarios? Such study is brie y carried out in the present document’s chapters, starting with the respective background study, following an analysis of the hypermedia approach and an instantiation of its architecture, in a particular case study applied in a BPM context.

FIRST CASE OF HUMAN INFECTION BY Bertiella studeri (Blanchard, 1891) Stunkard,1940 (Cestoda; Anoplocephalidae) IN BRAZIL

SUMMARY Cestodes of the Bertiella genus are parasites of non-human primates found in Africa, Asia, Oceania and the Americas. Species Bertiella studeri and Bertiella mucronatacould, accidentally, infect human beings. The infection occurs from ingestion of mites from the Oribatida order containing cysticercoid larvae of the parasite. The objective of this report is to register the first case of human infection by Bertiella studeri in Brazil. Proglottids of the parasite, found in the stool sample of a two-and-a-half-year-old child, were fixed, stained and microscopically observed to evaluate its morphological characteristics. Eggs obtained from the proglottids were also studied. The gravid proglottids examined matched the description of the genus Bertiella. The eggs presented a round shape, with the average diameter of 43.7 µm, clearly showing the typical pyriform apparatus of B. studeri. The authors concluded that the child was infected with Bertiella studeri,based on Stunkard's (1940) description of the species. This is the fifth case of human Bertiellosis described in Brazil through morphometric analysis of the parasite, the third in Minas Gerais State and the first diagnosed case of Bertiella studeriin Brazil.

Gd(III) chelates as NMR probes of protein-protein interactions. Case study: rubredoxin and cytochrome c3

Inorganic Chemistry 50(21):10600-7

Context-aware personalization environment for mobile computing

Dissertação para obtenção do Grau de Mestre em Engenharia Informática