Sökning: "Family Doctor System"

Visar resultat 1 - 5 av 12 avhandlingar innehållade orden Family Doctor System.

1. 1. Parameterized Systems : Generalizing and Simplifying Automatic Verification

   Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

3. 2. VanT, a central regulator of quorum sensing signalling in Vibrio anguillarum

   Författare :Antony Croxatto; Debra Milton; Edward G Ruby; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Vibriosis; Vibrio anguillarum; quorum sensing; two-component phosphorelay systems; Molecular biology; Molekylärbiologi;

   Sammanfattning : Many bacteria produce signal molecules that serve in a cell-to-cell communication system termed quorum sensing. This signalling system allows a bacterial population to co-ordinately regulate functions according to their cell number in a defined environment. LÄS MER

4. 3. Pesticides in coastal Tanzania : Management, policy and concerns for human health and the environment

   Författare :Nadja Stadlinger; Linda Kumblad; Anders Sjögren; Nils Kautsky; Kees Jansen; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sub-Saharan Africa; agrochemicals; legislation; farmer education; hazards; subsidies; marin ekotoxikologi; Marine Ecotoxicology;

   Sammanfattning : This thesis is the first major assessment of pesticide management in Zanzibar, Tanzania. It underlines the risks for human health and the environment that are likely under the current pesticide management regime. LÄS MER

5. 4. Integrated community-based management of severe acute child malnutrition : Studies from rural Southern Ethiopia

   Författare :Elazar Tadesse; Eva-Charlotte Ekström; Anders Hjern; Pia Olsson; Yemane Berehane; Tahmeed Ahmed; Uppsala universitet; []
   Nyckelord :Severe acute malnutrition; integrated outpatient therapeutic programme; programme outcome; recovery; Ethiopia;

   Sammanfattning : Background: The World Health Organization (WHO) recommends the community-based Outpatient Therapeutic Program (OTP) as a standard treatment protocol for the management of uncomplicated Severe Acute Malnutrition (SAM) at the community level. OTP has been scaled up and integrated into the existing grassroots level government health systems in several developing countries. LÄS MER

7. 5. Advanced Fluorescence Microscopy to Study Plasma Membrane Protein Dynamics

   Författare :Joachim Piguet; Horst Vogel; Ruud Hovius; Jerker Widengren; Antoine Triller; Switzerland Ecole Polytechnique Fédérale de Lausanne (EPFL); []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; fluorescence; microscopy; plasma membrane; membrane proteins; membrane proteins diffusion; single-molecule imaging; single-molecule tracking; pentameric ligand-gated ion channels; nicotinic acetylcholine receptor; serotonin receptor; synapse; neuromuscular junction; post-synaptic scaffold; rapsyn; myopathies; fluorescent proteins; Förster resonance energy transfer; FRET imaging; protein-protein interactions; protein trafficking; photo-activatable proteins; Biological Physics; Biologisk fysik;

   Sammanfattning : Membrane protein dynamics is of great importance for living organisms. The precise localization of proteins composing a synapse on the membrane facing a nerve terminus is essential for proper functioning of the nervous system. In muscle fibers, the nicotinic acetylcholine is densely packed under the motor nerve termini. LÄS MER