939 resultados para State-based reasoning


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Fundação de Medicina Tropical Dr. Heitor Vieira Dourado (FMT-HVD), located in Manaus, the capital of the State of Amazonas (Western Brazilian Amazon), is a pioneering institution in this region regarding the syndromic surveillance of acute febrile illness, including arboviral infections. Based on the data from patients at the FMT-HVD, we have detected recurrent outbreaks in Manaus by the four dengue serotypes in the past 15 years, with increasing severity of the disease. This endemicity has culminated in the simultaneous circulation of all four serotypes in 2011, the first time this has been reported in Brazil. Between 1996 and 2009, 42 cases of yellow fever (YF) were registered in the State of Amazonas, and 71.4% (30/42) were fatal. Since 2010, no cases have been reported. Because the introduction of the yellow fever virus into a large city such as Manaus, which is widely infested by Aedes mosquitoes, may pose a real risk of a yellow fever outbreak, efforts to maintain an appropriate immunization policy for the populace are critical. Manaus has also suffered silent outbreaks of Mayaro and Oropouche fevers lately, most of which were misdiagnosed as dengue fever. The tropical conditions of the State of Amazonas favor the existence of other arboviruses capable of producing human disease. Under this real threat, represented by at least 4 arboviruses producing human infections in Manaus and in other neighboring countries, it is important to develop an efficient public health surveillance strategy, including laboratories that are able to make proper diagnoses of arboviruses.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Abstract: INTRODUCTION: In Brazil, culling of seropositive dogs is one of the recommended strategies to control visceral leishmaniasis. Since infectiousness is correlated with clinical signs, control measures targeting symptomatic dogs could be more effective. METHODS: A cross-sectional study was carried out among 1,410 dogs, predictive models were developed based on clinical signs and an indirect immunofluorescence antibody test. RESULTS: The validated predictive model showed sensitivity and specificity of 86.5% and 70.0%, respectively. CONCLUSIONS: Predictive models could be used as tools to aid control programs in focusing on a smaller fraction of dogs contributing more to infection dissemination.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

All over the world, many earth buildings are deteriorating due to lack of maintenance and repair. Repairs on rammed earth walls are mainly done with mortars, by rendering application; however, often the repair is inadequate, resorting to the use of incompatible materials, including cement-based mortars. It has been observed that such interventions, in walls that until that day only had presented natural ageing issues, created new problems, much more dangerous for the building than the previous ones, causing serious deficiencies in this type of construction. One of the problems is that the detachment of the new cement-based mortar rendering only occurs after some time but, until that occurrence, degradations develop in the wall itself. When the render detaches, instead of needing only a new render, the surface has to be repaired in depth, with a repair mortar. Consequently, it has been stablished that the renders, and particularly repair mortars, should have physical, mechanical and chemical properties similar to those of the rammed earth walls. This article intends to contribute to a better knowledge of earth-based mortars used to repair the surface of rammed earth walls. The studied mortars are based on four types of earth: three of them were collected from non-deteriorated parts of walls of unstabilized rammed earth buildings located in Alentejo region, south of Portugal; the fourth is a commercial earth, consisting mainly of clay. Other components were also used, particularly: sand to control shrinkage; binders stabilizers such as dry hydrated air-lime, natural hydraulic lime, Portland cement and natural cement; as well as natural vegetal fibers (hemp fibers). The experimental analysis of the mortars in the fresh state consisted in determining the consistency by flow table and the bulk density. In the hardened state, the tests made it possible to evaluate the following properties: linear and volumetric shrinkage; capillary water absorption; drying capacity; dynamic modulus of elasticity; flexural and compressive strength.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A pictorial field guide to the 30 species of sandfly most commonly encountered in Pará State is presented, based on the easily recognised external characters of the length of the 5th palpal segment, thoracic infuscation, abdominal colour and head and body size. In most cases this allows identification to the species. In others, especially with females, it gives an indication of the species, which may then be confirmed with data from more detailed taxanomix studies. This type of field guide helps in teaching, rapid sorting of flies prior to dissection and in acquainting visitors with the variety of species present in a given area.A rapid technique for the taxonomic sorting of unmounted, freshly killed female sandflies is required, prior to the dissection of large numbers of a particular species. Such a method is useful in areas where numerous species occur in studies on natural flagellate infections, age determination and for ecological studies. With the above points in mind a pictorial field guide has been designed that enables the identification of unmounted, unmacerated specimens of the 30 more commonly encountered species of phleboto-mine sandflies (***) in Pará State, North Brazil. It is based on the easily recognised external characters of the length of the 5th palpal segment, thoracic infuscation, ad-dominal colour and proboscis and body size.Taxonomy of male phlebotomine sandflies is based on the structure of the genitalia and, as most of this is external, a wholly external character key is readily made. Female taxonomy, however, is based on the internal character of the cibarium, pharynx and sperma thecae. In order to produce an external character key we therefore return to an unso phisticated "phlebotometry" (see Martins et al., 1978 p. 3 for review), using relative lengths of the proboscis, palpal segments and body, along with the degree of infuscation. Ihis idea is not new; indeed many sandfly specialists presently use external characters to separate certain species (H. Fraiha, R. P. Lane, P. D. Ready, D. G. Young and R. D. Ward personal communications 1983 & 1984).A key used to separate five anthropophillic sandflies by Biagi (1966), in Mexico, was based mainly on palpal segment length and infuscation. Floch and Abonnenc (1952) stressed the use of relative lengths of palpal segments in their keys to the sandflies of French Guiana, and four members of the shannoni group have been similarly separated according to the degree of infuscation by Morales et al. (1982). The use of thoracic infuscation as a reliable character seems to be gaining favour, having been used by young & Fairchild (1974) and Ready & Fraiha (1981). Indeed Chariotis 1974) showed the usefulness of thoracic infuscation to sepenate 7 anthropophillic species, during studies onvesicular stomatitis in Panama. Identification using external characters is essential for work on viral isolations from sandflies, where bulk samples of whole sandflies are used.Perhaps the major advantage of a simple visual guide is for teaching purposes. Technical staff in this lnstitute are able to identify most of the species they encounter without having to use the standard, more unwieldly (and in many cases unavailable) internal character keys, and the guides presented below have allowed rapid species sorting prior to the dissection of sandflies in our leismaniasis study areas (Ryan et at. ,1985).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In the investigation and diagnosis of damages to historical masonry structures, the state of stress of the masonry is an important characteristic that must be determined with as much accuracy as possible. Flat-jack testing is a traditional method used to determine the state of stress in historical masonry structures. However, when irregular masonry is tested the method can cause damage to the masonry units and the accuracy of the method is reduced. An enhanced technique, called tube-jack testing, is being developed at the University of Minho to reduce the damage caused during testing and improve the accuracy when used on irregular masonry. This method uses multiple cylindrical jacks inserted in a line of holes drilled in the mortar joints of the masonry, avoiding damage to the masonry units. Concurrently with the development of tube-jack testing, the effect of stress state on sonic testing is being studied. Sonic testing is often used to determine locations of voids and damage in masonry. The focus of these studies was to determine if the state of stress is influencing the sonic test results. In this paper the results of tube-jack testing and sonic testing on masonry walls, built for the purpose of this study in the laboratory, loaded in compression is presented. The tube-jack testing is used to estimate the state of stress in the masonry and the sonic test results are evaluated based on the effect of the applied load on the wall. Future testing and study are suggested for continued development of these test methods.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Relatório de estágio de mestrado em Ensino de Informática

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The use of chemical analysis of microbial components, including proteins, became an important achievement in the 80’s of the last century to the microbial identification. This led a more objective microbial identification scheme, called chemotaxonomy, and the analytical tools used in the field are mainly 1D/2D gel electrophoresis, spectrophotometry, high-performance liquid chromatography, gas chromatography, and combined gas chromatography-mass spectrometry. The Edman degradation reaction was also applied to peptides sequence giving important insights to the microbial identification. The rapid development of these techniques, in association with knowledge generated by DNA sequencing and phylogeny based on rRNA gene and housekeeping genes sequences, boosted the microbial identification to an unparalleled scale. The recent results of mass spectrometry (MS), like Matrix-Assisted Laser Desorption/Ionisation Time-of-Flight (MALDI-TOF), for rapid and reliable microbial identification showed considerable promise. In addition, the technique is rapid, reliable and inexpensive in terms of labour and consumables when compared with other biological techniques. At present, MALDI-TOF MS adds an additional step for polyphasic identification which is essential when there is a paucity of characters or high DNA homologies for delimiting very close related species. The full impact of this approach is now being appreciated when more diverse species are studied in detail and successfully identified. However, even with the best polyphasic system, identification of some taxa remains time-consuming and determining what represents a species remains subjective. The possibilities opened with new and even more robust mass spectrometers combined with sound and reliable databases allow not only the microbial identification based on the proteome fingerprinting but also include de novo specific proteins sequencing as additional step. These approaches are pushing the boundaries in the microbial identification field.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A search for new charged massive gauge bosons, called W′, is performed with the ATLAS detector at the LHC, in proton--proton collisions at a centre-of-mass energy of s√ = 8 TeV, using a dataset corresponding to an integrated luminosity of 20.3 fb−1. This analysis searches for W′ bosons in the W′→tb¯ decay channel in final states with electrons or muons, using a multivariate method based on boosted decision trees. The search covers masses between 0.5 and 3.0 TeV, for right-handed or left-handed W′ bosons. No significant deviation from the Standard Model expectation is observed and limits are set on the W′→tb¯ cross-section times branching ratio and on the W′-boson effective couplings as a function of the W′-boson mass using the CLs procedure. For a left-handed (right-handed) W′ boson, masses below 1.70 (1.92) TeV are excluded at 95% confidence level.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A search for pair production of vector-like quarks, both up-type (T) and down-type (B), as well as for four-top-quark production, is presented. The search is based on pp collisions at s√=8 TeV recorded in 2012 with the ATLAS detector at the CERN Large Hadron Collider and corresponding to an integrated luminosity of 20.3 fb−1. Data are analysed in the lepton-plus-jets final state, characterised by an isolated electron or muon with high transverse momentum, large missing transverse momentum and multiple jets. Dedicated analyses are performed targeting three cases: a T quark with significant branching ratio to a W boson and a b-quark (TT¯→Wb+X), and both a T quark and a B quark with significant branching ratio to a Higgs boson and a third-generation quark (TT¯→Ht+X and BB¯→Hb+X respectively). No significant excess of events above the Standard Model expectation is observed, and 95% CL lower limits are derived on the masses of the vector-like T and B quarks under several branching ratio hypotheses assuming contributions from T→Wb, Zt, Ht and B→Wt, Zb, Hb decays. The 95% CL observed lower limits on the T quark mass range between 715 GeV and 950 GeV for all possible values of the branching ratios into the three decay modes, and are the most stringent constraints to date. Additionally, the most restrictive upper bounds on four-top-quark production are set in a number of new physics scenarios.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Maize (Zea mays) and guinea corn (Sorghum bicolor) are major food items in Plateau state, Nigeria. A multistage sampling technique was used to select the markets and store/warehouses used for this study; sample collection employed a simple random sampling method from different sampling points within designated areas. A total of 18 representative samples were collected and analyzed for the following mycotoxins: aflatoxins (Aflatoxin B1 - AFB1, Aflatoxin B2 - AFB2, Aflatoxin G1 - AFG1 and Aflatoxin G2 - AFG2), fumonisins (Fumonisin B1 - FB1 and Fumonisin B2 - FB2 ) and cyclopiazonic acid (CPA). Out of 12 samples analyzed for Aflatoxins, AFB1 was detected in 5, AFB2 in 1, AFG1 in 1 and AFG2 in 6 samples respectively. The highest concentration of AFB1 and AFG2 were found in maize samples from Pankshin market. Only maize samples from Mangu market were contaminated with AFB2 and also harboured the lowest concentration of AFG2. AFG1 contamination occurred in only guinea corn from Shendam market. and FB1 was detected in all 18 samples analyzed. The mycotoxin CPA was not detected in any of the samples. Aflatoxins levels in analyzed samples were regarded as safe based on Nigerian and European Union maximum permissible levels of 4g/kg. With the exception of two samples, FB1 levels in analyzed maize samples were within European Union maximum permissible levels of 1,000 to 3000g/kg. The health and food safety implications of these results for the human and animal population are further discussed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper aimed to evaluate the richness, abundance and frequency of sand fly occurrence in rural and urban areas American visceral Leishmaniasis -AVL is endemic in the study area of Santarém municipality, Pará state. Sand flies were collected during 1995-2000, using CDC light traps placed in neighborhoods and rural areas of the municipality. A total of 53.454 individuals and 26 species of sand flies were collected. The most abundant species in both urban and rural environments was Lutzomyia longipalpis, vector of AVL in the area. The highest species richness by capture was in rural area. In all years sampled, the largest number of species of sand fly collected was always in rural areas. The species of sand flies in urban and rural area were similar in 11 species. In the rural area other 11 species were found, a total of 22 species. Shannon-Wiener index ranged from 0.12 to 0.84 at rural areas and 0.08 to 0.34 at urban ones. In general, rural localities showed higher diversity (H') of phlebotomines than urban ones. Individual-based rarefaction curves for each area demonstrated that urban localities had the lowest expected number of phlebotomine species and the richest rural ones reach higher expected values with lower amount of individuals than urban sites. The most frequent species were Lutzomyia longipalpis, Evandromyia carmelinoi and Bichromomyia flaviscutellata.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The chemical composition of propolis is affected by environmental factors and harvest season, making it difficult to standardize its extracts for medicinal usage. By detecting a typical chemical profile associated with propolis from a specific production region or season, certain types of propolis may be used to obtain a specific pharmacological activity. In this study, propolis from three agroecological regions (plain, plateau, and highlands) from southern Brazil, collected over the four seasons of 2010, were investigated through a novel NMR-based metabolomics data analysis workflow. Chemometrics and machine learning algorithms (PLS-DA and RF), including methods to estimate variable importance in classification, were used in this study. The machine learning and feature selection methods permitted construction of models for propolis sample classification with high accuracy (>75%, reaching 90% in the best case), better discriminating samples regarding their collection seasons comparatively to the harvest regions. PLS-DA and RF allowed the identification of biomarkers for sample discrimination, expanding the set of discriminating features and adding relevant information for the identification of the class-determining metabolites. The NMR-based metabolomics analytical platform, coupled to bioinformatic tools, allowed characterization and classification of Brazilian propolis samples regarding the metabolite signature of important compounds, i.e., chemical fingerprint, harvest seasons, and production regions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Long pepper (Piper hispidinervum) is an Amazonian species of commercial interest due to the production of safrole. Drying long pepper biomass to extract safrole is a time consuming and costly process that can also result in the contamination of the material by microorganisms. The objective of this study was to analyze the yield of essential oil and safrole content of fresh and dried biomass of long pepper accessions maintained in the Active Germoplasm Bank of Embrapa Acre, in the state of Acre, Brazil, aiming at selecting genotypes with best performance on fresh biomass to recommend to the breeding program of the species. Yield of essential oil and safrole content were assessed in 15 long pepper accessions. The essential oil extraction was performed by hydrodistillation and analyzed by gas chromatography. A joint analysis of experiments was performed and the means of essential oil yield and safrole content for each biomass were compared by Student's t-test. There was variability in the essential oil yield and safrole content. There was no difference between the types of biomass for oil yield; however to the safrole content there was difference. Populations 9, 10, 12 and 15 had values of oil yield between 4.1 and 5.3%, and safrole content between 87.2 and 94.3%. The drying process does not interfere in oil productivity. These populations have potential for selection to the long pepper breeding program using oil extraction in the fresh biomass

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Biopolymer-based materials have been of particular interest as alternatives do synthetic polymers due to their low toxicity, biodegradability and biocompatibility. Among them, chitosan is one of the most studied ones and has recently been investigated for the application as solid state polymer electrolytes. Furthermore, it can serve as a host for luminescent species such as rare earth ions, giving rise to materials with increased functionality, of particular interest for electrochemical devices. In this study, we investigate chitosan based luminescent materials doped wit Eu3+ and Li+ triflate salts from the structural, photophysical and conductivity points of view. Because the host presents a broad emission band in the blue to green, while Eu3+ emits in the red, fine tuning of emission colour and/or generation of white light is possible by optimizing composition and excitation scheme. Europium lifetimes (5D0) are in the range 270 – 350 µs and quantum yields are as high as 2%. Although Li+ does not interfere with the luminescent properties, it grants ion-conducting properties to the material suggesting that a combination of both properties could be further explored in multifunctional device.