Combining open and closed world reasoning for the semantic web

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

Coordinated Maneuver for Gradient Search Using Multiple AUV's

OCEANS 2003. Proceedings (Volume:1 )

Hybrid Maneuver for Gradient Search with Multiple Coordinated AUVs

This work presents a hybrid maneuver for gradient search with multiple AUV's. The mission consists in following a gradient field in order to locate the source of a hydrothermal vent or underwater freshwater source. The formation gradient search exploits the environment structuring by the phenomena to be studied. The ingredients for coordination are the payload data collected by each vehicle and their knowledge of the behaviour of other vehicles and detected formation distortions.

Screening for pulmonary tuberculosis in Teresópolis, RJ, Brazil: the search for respiratory symptomatic patients in emergency service of "Hospital das Clínicas de Teresópolis Costantino Ottaviano, Fundação Educacional Serra dos Órgãos"

The aim of the present study was to investigate the detection percentage of tuberculosis among patients that are respiratory symptomatic (TB suspects). In this work, we present the preliminary results of research carried out at "Hospital das Clínicas de Teresópolis Costantino Ottaviano da Fundação Educacional Serra dos Órgãos (FESO)" from November 2003 to April 2004. Among the 40 respiratory symptomatic individuals identified and referred to the Tuberculosis Control Program in Teresópolis, two (5.0%) were characterized as smear-positive. These results confirm reports in the literature and underscore the need for and importance of this strategy.

Development of an Unmanned Capsule for large-scale maritime search and rescue

This paper describes the development and testing of a robotic capsule for search and rescue operations at sea. This capsule is able to operate autonomously or remotely controlled, is transported and deployed by a larger USV into a determined disaster area and is used to carry a life raft and inflate it close to survivors in large-scale maritime disasters. The ultimate goal of this development is to endow search and rescue teams with tools that extend their operational capability in scenarios with adverse atmospheric or maritime conditions.

Active search for leprosy cases in Midwestern Brazil: a serological evaluation of asymptomatic household contacts before and after prophylaxis with bacillus Calmette-Guérin

Leprosy is a disease caused by Mycobacterium leprae that carries a high risk of disability, making early diagnosis mandatory. This study aimed to determine the applicability of anti-PGL-1 IgM antibody detection, using the ML FLOW technique, as an assistant tool for the detection of leprosy infection in asymptomatic household contacts (AHHC) of multibacillary leprosy index cases from Midwest Brazil. Serological changes induced by the prophylaxis of these household contacts with Bacillus Calmette-Guérin (BCG) were also verified. A total of 91 AHHC were assessed, among which, 18.68% (n = 17) presented both positive bacilloscopy and positive anti-PGL-1 IgM serology. Positivity concordance between these two laboratorial exams (Kappa Index = 1; p < 0.001) was indicated, however, one case did not demonstrate concordance between the semiquantitative assessment of anti-PGL-1 IgM and the bacilloscopy index (Kappa Index = 0.96; p < 0.001). Among the 17 AHHC with positive bacilloscopy, eight were reassessed after prophylaxis with BCG and two of them presented negative anti-PGL-1 IgM serology, being these patients who had presented a bacilloscopy index of < 2[+] in the initial assessment. This study shows that anti-PGL-1 IgM detection may be used as a tool to determine the bacillary load in AHHC and to detect immune changes related to prophylaxis by nonspecific vaccination.

Host-induced changes in the cell surface N-linked glycoproteins, from Aspergillus fumigatus. Search for specific targets with potential for clinical therapy and/or diagnosis.

This dissertation is presented to obtain a Master degree in Structural and Functional Biochemistry

Web competitive intelligence methodology

Master’s Degree Dissertation

Culture boundaries in semantic web

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

A framework for semantic checking of information systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Semantic web approach for dealing with administrative boundary revisions: a case study of Dhaka City

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

Facing unemployment after being at the top: impact, job search strategies and crucial competences

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Problems and perspectives for Chagas disease control: in search of a realistic analysis

Chagas disease was an important medical and social problem in almost all of Latin America throughout the twentieth century. It has been combated over a broad swath of this continent over recent decades, with very satisfactory results in terms of vector and transfusional transmission. Today, a surveillance stage still remains to be consolidated, in parallel with appropriate care required for some millions of infected individuals who are today living in endemic and non-endemic areas. Contradictorily, the good results attained have generated excessive optimism and even disregard among health authorities, in relation to this disease and its control. The loss of visibility and priority may be a logical consequence, particularly in Latin American healthcare systems that are still disorganized and overburdened due to insufficiencies of financial and human resources. Consolidation of the victories against Chagas disease is attainable but depends on political will and continual attention from the most consequential protagonists in this struggle, especially the Latin American scientific community.