Sökning: "short"

Visar resultat 21 - 25 av 5913 avhandlingar innehållade ordet short.

1. 21. Short Proofs May Be Spacious : Understanding Space in Resolution

   Författare :Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; resolution; space; length; width; separation; lower bound; pebble game; pebbling formula; Beviskomplexitet; resolution; minne; längd; bredd; separation; undre gräns; pebblingspel; pebblingformel; Theoretical computer science; Teoretisk datalogi;

   Sammanfattning : Om man ser på de bästa nu kända algoritmerna för att avgöra satisfierbarhet hos logiska formler så är de allra flesta baserade på den så kallade DPLL-metoden utökad med klausulinlärning. De två viktigaste gränssättande faktorerna för sådana algoritmer är hur mycket tid och minne de använder, och att förstå sig på detta är därför en fråga som har stor praktisk betydelse. LÄS MER

3. 22. Evaluation of an educational program on depressive disorders given to general practitioners on Gotland : Short and long-term effects

   Författare :Wolfgang Rutz; Linköpings universitet; []
   Nyckelord :PTD-Committee; Educational program; Evaluation; Depressive disorder; Suicide; Antidepressants; Cost-benefit; MEDICINE; MEDICIN;

   Sammanfattning : In the years 1983-1984, the Swedish Comittee for the Prevention and Treatment of Depression (PTD) offered an educational program to all general practitioners (GP:s) on the Swedish island of Gotland. 1982 was used as a baseline year. An evaluation of the short-term effects was made continuously until 1985. LÄS MER

4. 23. Health effects of heatwaves : short and long term predictions

   Författare :Christofer Åström; Bertil Forsberg; Kristie L. Ebi; Scott Sheridan; Umeå universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Heatwave; health impact assessment; early warning system; mortality; morbidity; climate change;

   Sammanfattning : Background: Climate change is defined by the Intergovernmental Panel on Climate Change as changes in the state of the climate associated with changes in the mean and/or the variability of its properties. Climate change will affect temperatures both as an increase in mean temperature as well as changes in the frequency of temperature extremes. LÄS MER

5. 24. Short-chain retinol dehydrogenases/reductases : Involvement in retinoid metabolism and expression in embryonic and adult mouse

   Författare :Paulina Tuvendal; Uppsala universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Pharmaceutical biosciences; -; Farmaceutisk biovetenskap; Biopharmacy; Biofarmaci; Toxicology; toxikologi;

   Sammanfattning : Retinoids are needed in the embryo to ensure proper development and in the adult forvision, maintenance of epithelia and sperm production. Retinol is oxidised within the cell generating retinal and, irreversibly, retinoic acid. LÄS MER

7. 25. Toughness of short fiber composites : an approach based on crack-bridging

   Författare :Patrik Fernberg; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymera konstruktionsmaterial; Polymeric Composite Materials;

   Sammanfattning : The presented work considers how to properly characterize fracture properties of short fiber composites (SFC). Associated with fracture of SFC is the creation of a comparably widespread fracture process zone. This zone develops since a number of inelastic failure mechanisms (e.g. LÄS MER