Sökning: "double use"

Visar resultat 21 - 25 av 542 avhandlingar innehållade orden double use.

1. 21. A Natural Interpretation of Classical Proofs

   Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

   Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

3. 22. Nonlinear response in engineered optical materials

   Författare :Gustav Strömqvist; Valdas Pasiskevicius; Peter Smith; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; nonlinear optics; nonlinear index of refraction; double tungstates; periodic poling; KTiOPO4; quasi-phase matching; parametric down-conversion; mirrorless optical parametric oscillators;

   Sammanfattning : Material and structure engineering are increasingly employed in active optical media,in this context defined as media capable of providing laser or/and optical parametric gain. For laser materials, the main aim of the engineering is to tailor the absorption and emission cross sections in order to optimise the laser performance. LÄS MER

4. 23. Planning in Interplace? On Time, Power and Learning in Local Activities Aiming at Social Inclusion and Sustainable Development

   Författare :Jenny Stenberg; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; sustainable development; triggers for learning; suburban; phronesis; time; communicative planning; double-loop; social exclusion; interplace; power;

   Sammanfattning : SUBURBAN METROPOLITAN areas in Sweden built in the sixties and seventies are often considered exposed areas and are consequently involved in interventions aimed at dealing with problems such as unemployment, poverty and social exclusion. This thesis focusses on how urban planning is related to this social problem. LÄS MER

5. 24. Cohomologies for String Amplitudes

   Författare :Carlos Rodriguez; Oliver Schlotterer; Lionel Mason; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; string theory; string amplitudes; hypergeometric functions; double copy; polylogarithms; Theoretical Physics; Teoretisk fysik;

   Sammanfattning : In this thesis we cover methods useful for the low-energy-expansion, or α’-expansion of string amplitudes. The task of α’-expanding a string amplitude can be divided into two steps: decomposing your string amplitude into a family of integrals, and figuring out how to α’-expand each integral in these families. LÄS MER

7. 25. Epidemiology of food hypersensitivity in school children : validation with double-blind placebo-controlled food challenges and biomarkers

   Författare :Anna Winberg; Christina West; Eva Rönmark; Sibylle Koletzko; Umeå universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; food hypersensitivity; schoolchildren; epidemiology; food challenges; biomarkers;

   Sammanfattning : Background: This thesis focuses on the incidence and remission of reported food hypersensitivity in schoolchildren followed from 8 to 12 -years of age and the prevalence of hypersensitivity to milk, egg, cod and wheat among 12-year olds investigated by reported data, clinical investigation and double-blind placebo-controlled food challenges and biomarkers.Methods: The studies are mainly based on a population based cohort recruited in 2006 from three municipalities in Northern Sweden. LÄS MER