342 resultados para ASM
Resumo:
"May 1969."
Resumo:
"April 1965."
Resumo:
"March 1968."
Resumo:
"February 1966."
Resumo:
A work on prophetic medicine (or the Prophet's medicine) by al-Maqdisī (d.1245) preceded by a short treatise of uncertain authorship on the beautiful names of God.
Resumo:
In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstract State Machine) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM specifications, then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models. We support this work with a case study of an Island Tunnel Controller, which behavior and structure were specified in ASM then using our ASM-MDG tool successfully verified within the MDG tool.
Resumo:
In this paper we describe an approach to interface Abstract State Machines (ASM) with Multiway Decision Graphs (MDG) to enable tool support for the formal verification of ASM descriptions. ASM is a specification method for software and hardware providing a powerful means of modeling various kinds of systems. MDGs are decision diagrams based on abstract representation of data and axe used primarily for modeling hardware systems. The notions of ASM and MDG axe hence closely related to each other, making it appealing to link these two concepts. The proposed interface between ASM and MDG uses two steps: first, the ASM model is transformed into a flat, simple transition system as an intermediate model. Second, this intermediate model is transformed into the syntax of the input language of the MDG tool, MDG-HDL. We have successfully applied this transformation scheme on a case study, the Island Tunnel Controller, where we automatically generated the corresponding MDG-HDL models from ASM specifications.
Resumo:
Summary: In 1984, children presented to the emergency department of a hospital in the small town of Promissão, São Paulo State, Brazil, with an acute febrile illness that rapidly progressed to death. Local clinicians and public health officials recognized that these children had an unusual illness, which led to outbreak investigations conducted by Brazilian health officials in collaboration with the U.S. Centers for Disease Control and Prevention. The studies that followed are an excellent example of the coordinated and parallel studies that are used to investigate outbreaks of a new disease, which became known as Brazilian purpuric fever (BPF). In the first outbreak investigation, a case-control study confirmed an association between BPF and antecedent conjunctivitis but the etiology of the disease could not be determined. In a subsequent outbreak, children with BPF were found to have bacteremia caused by Haemophilus influenzae biogroup aegyptius (H. aegyptius), an organism previously known mainly to cause self-limited purulent conjunctivitis. Molecular characterization of blood and other isolates demonstrated the clonal nature of the H. aegyptius strains that caused BPF, which were genetically distant from the diverse strains that cause only conjunctivitis. This led to an intense effort to identify the factors causing the unusual invasiveness of the BPF clone, which has yet to definitively identify the virulence factor or factors involved. After a series of outbreaks and sporadic cases through 1993, no additional cases of BPF have been reported
Resumo:
In order to assess the prevalence of and risk factors for aminoglycoside-associated nephrotoxicity in intensive care units (ICUs), we evaluated 360 consecutive patients starting aminoglycoside therapy in an ICU. The patients had a baseline calculated glomerular filtration rate (cGFR) of ?30 ml/min/1.73 m2. Among these patients, 209 (58 per cent) developed aminoglycoside-associated nephrotoxicity (the acute kidney injury [AKI] group, which consisted of individuals with a decrease in cGFR of >20 per cent from the baseline cGFR), while 151 did not (non-AKI group). Both groups had similar baseline cGFRs. The AKI group developed a lower cGFR nadir (45 ± 27 versus 79 ± 39 ml/min/1.73 m2 for the non-AKI group; P < 0.001); was older (56 ± 18 years versus 52 ± 19 years for the non-AKI group; P = 0.033); had a higher prevalence of diabetes (19.6 per cent versus 9.3 per cent for the non-AKI group; P = 0.007); was more frequently treated with other nephrotoxic drugs (51 per cent versus 38 per cent for the non-AKI group; P = 0.024); used iodinated contrast more frequently (18 per cent versus 8 per cent for the non-AKI group; P = 0.0054); and showed a higher prevalence of hypotension (63 per cent versus 44 per cent for the non-AKI group; P = 0.0003), shock (56 per cent versus 31 per cent for the non-AKI group; P < 0.0001), and jaundice (19 per cent versus 8 per cent for the non-AKI group; P = 0.0036). The mortality rate was 44.5 per cent for the AKI group and 29.1 per cent for the non-AKI group (P = 0.0031). A logistic regression model identified as significant (P < 0.05) the following independent factors that affected aminoglycoside-associated nephrotoxicity: a baseline cGFR of <60 ml/min/1.73 m2 (odds ratio [OR], 0.42), diabetes (OR, 2.13), treatment with other nephrotoxins (OR, 1.61) or iodinated contrast (OR, 2.13), and hypotension (OR, 1.83). (To continue) In conclusion, AKI was frequent among ICU patients receiving an aminoglycoside, and it was associated with a high rate of mortality. The presence of diabetes or hypotension and the use of other nephrotoxic drugs and iodinated contrast were independent risk factors for the development of aminoglycoside-associated nephrotoxicity
Resumo:
Forty-nine typical and atypical enteropathogenic Escherichia coli (EPEC) strains belonging to different serotypes and isolated from humans, pets (cats and dogs), farm animals (bovines, sheep, and rabbits), and wild animals (monkeys) were investigated for virulence markers and clonal similarity by pulsed-field gel electrophoresis (PFGE) and multilocus sequence typing (MLST). The virulence markers analyzed revealed that atypical EPEC strains isolated from animals have the potential to cause diarrhea in humans. A close clonal relationship between human and animal isolates was found by MLST and PFGE. These results indicate that these animals act as atypical EPEC reservoirs and may represent sources of infection for humans. Since humans also act as a reservoir of atypical EPEC strains, the cycle of mutual infection of atypical EPEC between animals and humans, mainly pets and their owners, cannot be ruled out since the transmission dynamics between the reservoirs are not yet clearly understood.
Resumo:
Chitinase and peroxidase activity in different stages of eucalypt leaves after inoculation with Puccinia psidii and acibenzolar-S-metil To elucidate some biochemical processes during infection in the pathosystem Puccinia psidii x eucalyptus, the defense metabolism in different-stage leaves was compared between rust-resistant and susceptible clones, respectively. In addition, chitinase and peroxidase activities were assayed. Each treatment consisted of 4 replicates, in a completely randomized design: 2 clones, inoculated and not inoculated with P. psidii; sprayed with acibenzolar-S-methyl (ASM) and distilled water; and represented by the 1(st) leaf pair (size equivalent to 1/5 total leaf development), 2(nd) pair (2/5 total development), and 4(th) pair (4/5 total leaf length). Leaves were harvested in 4 periods: 0, 24, 72 and 96 hours after inoculation. Results indicated that ASM treatment or P. psidii action led to higher chitinase and peroxidase activity level but did not alter the expression of these activities in developed leaves (4(th) pair) during the experiment. Alterations in enzyme levels after inoculation were only observed in developing leaves (1(st) and 2(nd) pairs), which suggests that the response to infection was concomitant to chitinase and peroxidase synthesis. The highest increases in enzymatic activities were observed in resistant clones at 72 hours after inoculation and in susceptible ones previously treated with ASM and later inoculated with the pathogen.
Resumo:
Tree defence mechanisms against the fungus Puccinia psidii were examined by comparing the activities of defence-related enzymes (chitinase, peroxidase and phenylalanine ammonia-lyase) of two Eucalyptus grandis x E. urophylla (urograndis) hybrids, previously classified as either susceptible to rust (VR hybrid) or moderately resistant to rust (C0 hybrid). Furthermore, the potential of disease control by artificial activation of host defences using either acibenzolar-S-methyl (ASM) or Saccharomyces cerevisiae extract was also investigated. Greenhouse inoculation trials revealed that the C0 hybrid had lower disease severity than the VR hybrid but following foliar applications of either ASM or S. cerevisiae extract treatment, disease severity (evaluated at 15 days after inoculation) was reduced in both hybrids. This enhanced resistance was associated with the induction of a hypersensitive reaction which appeared to be effective in controlling rust in both clones. The activity of all enzymes differed between clones and inducer treatment. The role of the defence-related enzymes in imparting resistance to eucalypt hybrids against rust is discussed.
Resumo:
There is an intimate relationship between the extracellular matrix (ECM) and smooth muscle cells within the airways. Few studies have comprehensively assessed the composition of different ECM components and its regulators within the airway smooth muscle (ASM) in asthma. With the aid of image analysis, the fractional areas of total collagen and elastic fibres were quantified within the ASM of 35 subjects with fatal asthma (FA) and compared with 10 nonfatal asthma (NFA) patients and 22 nonasthmatic control cases. Expression of collagen I and III, fibronectin, versican, matrix metalloproteinase (MMP)-1, -2, -9 and -12 and tissue inhibitor of metalloproteinase-1 and -2 was quantified within the ASM in 22 FA and 10 control cases. In the large airways of FA cases, the fractional area of elastic fibres within the ASM was increased compared with NFA and controls. Similarly, fibronectin, MMP-9 and MMP-12 were increased within the ASM in large airways of FA cases compared with controls. Elastic fibres were increased in small airways in FA only in comparison with NFA cases. There is altered extracellular matrix composition and a degradative environment within the airway smooth muscle in fatal asthma patients, which may have important consequences for the mechanical and synthetic functions of airway smooth muscle.
Resumo:
Asthma is characterised by an increased airway smooth muscle (ASM) area (ASMarea) within the airway wall. The present study examined the relationship of factors including severity and duration of asthma to ASMarea. The perimeter of the basement membrane (PBM) and ASMarea were measured on transverse sections of large and small airways from post mortem cases of fatal (n=107) and nonfatal asthma (n=37) and from control subjects (n=69). The thickness of ASM (ASMarea/PBM) was compared between asthma groups using multivariate linear regression. When all airways were considered together, ASMarea/PBM (in millimetres) was increased in nonfatal (median 0.04; interquartile range 0.013-0.051; p=0.034) and fatal cases of asthma (0.048; 0.025-0.078; p<0.001) compared with controls (0.036; 0.024-0.042). Compared with cases of nonfatal asthma, ASMarea/PBM was greater in cases of fatal asthma in large (p<0.001) and medium (p<0.001), but not small, airways. ASMarea/PBM was not related to duration of asthma, age of onset of asthma, sex or smoking. No effect due to study centre, other than that due to sampling strategy, was found. The thickness of the ASM layer is increased in asthma and is related to the severity of asthma but not its duration.