Evaluation of platelet number and function and fibrinogen level in patients bitten by snakes of the Bothrops genus

Platelet function and plasma fibrinogen levels were evaluated in 14 patients, 10 males and 4females, aged 13-59years bitten by Bothrops genus snakes. There was a statistical difference (p < 0.05) among plasma fibrinogen levels evaluated 24 and 48 hours after envenomation. There was a tendency towards normalization after 48 hours of treatment. The low platelet number was clear in 24-48 hour evaluations with a tendency towards normalization after 48 hours of treatment (p<0.05). Fibrinogen levels and fibrin degradation product (FDP) levels appeared to be altered in 83.33% of patients evaluated. The authors suggest that platelet hypoaggregation is related to decreased fibrinogen and increased FDP levels.

Data-centric concurrency control on the java programming language

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

Multiresponsive supramolecular systems for information processing at the molecular level

Dissertação para obtenção do Grau de Doutor em Química Sustentável

Cost efficiency in the Portuguese water sector: The case of multimunicipal systems operating at the bulk level

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics 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.

Seasonal profile and level of CD4+ lymphocytes in the occurrence of cryptosporidiosis and cystoisosporidiosis in HIV/AIDS patients in the Triângulo Mineiro region, Brazil

Patients with AIDS are particularly susceptible to infection with intestinal coccidia. In this study the prevalence of infections with Cryptosporidium sp and Cystoisospora belli were evaluated among HIV/AIDS patients in the Triângulo Mineiro region, Brazil. Between July 1993 and June 2003 faecal samples from 359 patients were collected and stained by a modified Ziehl-Neelsen method, resulting in 19.7% of positivity for coccidian (8.6% with Cryptosporidium sp, 10.3% with Cystoisospora belli and 0.8% with both coccidian). Patients with diarrhoea and T CD4+ lymphocyte levels < 200 cells/mm3 presented higher frequency of these protozoans, demonstrating the opportunistic profile of these infections and its relationship with the immunological status of the individual. It was not possible to determine the influence of HAART, since only 8.5% of the patients positive for coccidian received this therapy regularly. Parasitism by Cryptosporidium sp was more frequent between December and February and thus was characterised by a seasonal pattern of infection, which was not observed with Cystoisospora belli.

Clinical and radiographic features of HIV-related pulmonary tuberculosis according to the level of immunosuppression

Medical charts and radiographs from 38 HIV-infected patients with positive cultures for Mycobacterium tuberculosis from sputum or bronchoalveolar lavage were reviewed in order to compare the clinical, radiographic, and sputum bacilloscopy characteristics of HIV-infected patients with pulmonary tuberculosis according to CD4+ lymphocyte count (CD4). The mean age of the patients was 32 years and 76% were male. The median CD4 was 106 cells/mm³ and 71% had CD4 < 200 cells/mm³. Sputum bacilloscopy was positive in 45% of the patients. Patients with CD4 < 200 cells/mm³ showed significantly less post-primary pattern (7% vs. 63%; p = 0.02) and more frequently reported weight loss (p = 0.04). Although not statistically significant, patients with lower CD4 showed lower positivity of sputum bacilloscopy (37% vs. 64%; p = 0.18). HIV-infected patients with culture-confirmed pulmonary tuberculosis had a high proportion of non-post-primary pattern in thoracic radiographs. Patients with CD4 lower than 200 cells/mm³ showed post-primary patterns less frequently and reported weight loss more frequently.

Achieving better service level results, through improvements in procedures

This project aims to prepare Worten Empresas (WE) fulfilling the increasing market demand through process changings, focusing on the Portuguese market, particularly on internal B2B clients1. Several methods were used to measure the current service level provided - process mapping, resources assessment, benchmark and a survey. The results were then used to compare against service level actually desired by WE’s customer, and then to identify the performance gaps in response times and quality of the follow-up during the sales process. To bridge the identified gaps, both a set of recommendations and an implementation plan were suggested to improve and monitor customer experience. This study concluded that it is possible to fulfill the increasing level of demand and at the same time improve customer satisfaction by implementing changes at the operations level.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Level of behavior and knowledge concerning human papillomavirus among university students of a nursing college

INTRODUCTION: Human pappilomavirus is one of the most common sexually transmitted diseases, and persistent HPV infection is considered the most important cause of cervical cancer. It is detected in more than 98% of this type of cancer. This study aimed to determine the level of knowledge concerning human papillomavirus among nursing college students of a private educational institution located in the City of Bauru, SP, and correlate their knowledge according to the course year. METHODS: A descriptive study with a quantitative approach, performed with a questionnaire that permitted the quantification of data and opinions, thus guaranteeing the precision of the results without distortions in analysis or interpretation. The survey was applied to randomly selected 1st, 2nd, 3rd, and 4th-year nursing college students. Twenty students from each level were selected during August 2009, totaling 80 students of both genders. RESULTS: Observation revealed that 4th-year students had greater knowledge than 1st-year students, reflecting the greater period of study, the lack of knowledge of 1st-year students was due to the low level of information acquired before entering college. CONCLUSIONS: The need for complementary studies which determine the profile and knowledge of a larger number of teenagers in relation to HPV was established. The need for educational programs that can overcome this lack of information is undeniable, especially those aimed at making adolescents less susceptible to HPV and other STDs.

40 K Liquid Neon Energy Storage Unit

A thermal Energy Storage Unit (ESU) could be used to attenuate inherent temperature fluctuations of a cold finger, either from a cryocooler working or due to sudden income heat bursts. An ESU directly coupled to the cold source acts as a thermal buffer temporarily increasing its cooling capacity and providing a better thermal stability of the cold finger (“Power Booster mode”). The energy storage units presented here use an enthalpy reservoir based on the high latent heat of the liquid-vapour transition of neon in the temperature range 38 - 44 K to store up to 900 J, and that uses a 6 liters expansion volume at RT in order to work as a closed system. Experimental results in the power booster mode will be described: in this case, the liquid neon cell was directly coupled to the cold finger of the working cryocooler, its volume (12 cm3) allowing it to store 450 J at around 40 K. 10 W heat bursts were applied, leading to liquid evaporation, with quite reduced temperature changes. The liquid neon reservoir can also work as a temporary cold source to be used after stopping the cryocooler, allowing for a vibration-free environment. In this case the enthalpy reservoir implemented (24 cm3) was linked to the cryocooler cold finger through a gas gap heat switch for thermal coupling/decoupling of the cold finger. We will show that, by controlling the enthalpy reservoir’s pressure, 900 J can be stored at a constant temperature of 40 K as in a triple-point ESU.

40 K Neon liquid energy storage unit

Cryocoolers have been progressively replacing the use of the stored cryogens in cryogenic chains used for detector cooling, thanks to their higher and higher reliability. However, the mechanical vibrations, the electromagnetic interferences and the temperature fluctuations inherent to their functioning could reduce the sensor’s sensitivity. In order to minimize this problem, compact thermal energy storage units (ESU) are studied, devices able to store thermal energy without significant temperature increase. These devices can be used as a temporary cold source making it possible to turn the cryocooler OFF providing a proper environment for the sensor. A heat switch is responsible for the thermal decoupling of the ESU from the cryocooler’s temperature that increases when turned OFF. In this work, several prototypes working around 40 K were designed, built and characterized. They consist in a low temperature cell that contains the liquid neon connected to an expansion volume at room temperature for gas storage during the liquid evaporation phase. To turn this system insensitive to the gravity direction, the liquid is retained in the low temperature cell by capillary effect in a porous material. Thanks to pressure regulation of the liquid neon bath, 900 J were stored at 40K. The higher latent heat of the liquid and the inexistence of triple point transitions at 40 K turn the pressure control during the evaporation a versatile and compact alternative to an ESU working at the triple point transitions. A quite compact second prototype ESU directly connected to the cryocooler cold finger was tested as a temperature stabilizer. This device was able to stabilize the cryocooler temperature ((≈ 40K ±1 K) despite sudden heat bursts corresponding to twice the cooling power of the cryocooler. This thesis describes the construction of these devices as well as the tests performed. It is also shown that the thermal model developed to predict the thermal behaviour of these devices, implemented as a software,describes quite well the experimental results. Solutions to improve these devices are also proposed.

40 K neon liquid energy storage unit

Cryocoolers have been progressively replacing the use of the stored cryogens in cryogenic chains used for detector cooling, thanks to their higher and higher reliability. However, the mechanical vibrations, the electromagnetic interferences and the temperature fluctuations inherent to their functioning could reduce the sensor’s sensitivity. In order to minimize this problem, compact thermal energy storage units (ESU) are studied, devices able to store thermal energy without significant temperature increase. These devices can be used as a temporary cold source making it possible to turn the cryocooler OFF providing a proper environment for the sensor. A heat switch is responsible for the thermal decoupling of the ESU from the cryocooler’s temperature that increases when turned OFF. In this work, several prototypes working around 40 K were designed, built and characterized. They consist in a low temperature cell that contains the liquid neon connected to an expansion volume at room temperature for gas storage during the liquid evaporation phase. To turn this system insensitive to the gravity direction, the liquid is retained in the low temperature cell by capillary effect in a porous material. Thanks to pressure regulation of the liquid neon bath, 900 J were stored at 40K. The higher latent heat of the liquid and the inexistence of triple point transitions at 40 K turn the pressure control during the evaporation a versatile and compact alternative to an ESU working at the triple point transitions. A quite compact second prototype ESU directly connected to the cryocooler cold finger was tested as a temperature stabilizer. This device was able to stabilize the cryocooler temperature ((≈ 40K ±1 K) despite sudden heat bursts corresponding to twice the cooling power of the cryocooler. This thesis describes the construction of these devices as well as the tests performed. It is also shown that the thermal model developed to predict the thermal behaviour of these devices,implemented as a software, describes quite well the experimental results. Solutions to improve these devices are also proposed.

Fair value measurement: Is the debate around level II and level III assets and liabilities relevant

Double Degree. A Work Project presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA- School of Business and Economics and a Masters Degree in Business Engineering from Louvain school of Management