نتایج جستجو برای: hospital actions
تعداد نتایج: 545923 فیلتر نتایج به سال:
background: the incidence of caustic ingestion injuries in developed countries has been decreasing, while it still remains a great concern in developing countries including iran. in this study we focused on alkali esophageal injuries in children which occur frequently in southern iran, due to both, unsafe products and unfamiliarity of families with the alkali consumption hazards. methods : in a...
conclusions the frequency of nis in this hospital was lower in comparison with other worldwide studies. however, low incidence of health care-associated infections in our study may be due to under diagnosis and underreporting of such infections by health care staff. results the incidence of nis was low (i.e. < 2%). among 16936 admitted patients in this hospital, 174 patients (79 males and 95 fe...
The development of in vitro cytotoxicity assays is currently essential to evaluate the potential human and environmental health risks associated to chemical exposure, and to limit animal experimentation whenever possible. However, cytotoxicity assessments have been limited by their inability to measure morphological alterations, that can reveal subtle but extremely vital aspects of cell injury....
Abs t rac t . Previous works on assumption/guarantee specifications typically reason about relevant properties at the semantic level or define a special-purpose logic. We feel it is beneficial to formulate such specifications in a more widely used formalism. Specifically, we adopt the lineartime temporal logic (LTL) of Manna and Pnueli. We find that, with past temporal operators, LTL admits a s...
This paper defines a generalization of Lamport’s Temporal Logic of Actions. We prove that our logic is stuttering-invariant and give an axiomatization of its propositional fragment. We also show that standard TLA is as expressive as our extension once quantification over flexible propositions is added.
Several lines of evidence indicate that amyloid β (Aβ), particularly Aβ oligomers (AβOs), plays a causative role in Alzheimer's disease. However, the mechanisms underlying the action of an anti-AβO antibody to clarify the toxic action of AβOs remain elusive. Here, we showed that the anti-AβO antibody (monoclonal 72D9) can modify the Aβ aggregation pathway. We also found that 72D9 directly seque...
Mice lacking suppressor of cytokine signaling-1 (SOCS1) develop a complex fatal neonatal disease. In this study, SOCS1-/- mice were shown to exhibit excessive responses typical of those induced by interferon gamma (IFNgamma), were hyperresponsive to viral infection, and yielded macrophages with an enhanced IFNgamma-dependent capacity to kill L. major parasites. The complex disease in SOCS1-/- m...
TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, with the intent to facilitate the communication between domain and solution experts in the design of reactive systems.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید