Sökning: "Induction"

Visar resultat 26 - 30 av 1754 avhandlingar innehållade ordet Induction.

1. 26. Immunological risk factors in heart transplantation

   Författare :David Ansari; Thoraxkirurgi; []
   Nyckelord :Heart Transplantation; induction; basiliximab; antithymocyte globulin; HLA; Human Leukocyte Antigen HLA ;

   Sammanfattning : .... LÄS MER

3. 27. Computerized Agents from a Linguistic Perspective

   Författare :Bertil Ekdahl; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Systems engineering; Anticipatory systems.; Autonomous Agents; Artificial Intelligence; Describability; Induction; computer technology; Data- och systemvetenskap;

   Sammanfattning : There are many fashion words in AI, such as introspection, reflection, metalanguage, belief and intention. The usual way of looking at such concepts is proof theoretical even if it is not at all clear that these concepts can be described in a formal language. LÄS MER

4. 28. Att se varandra i handling : En jämförande studie av kommunikativa arenor och yrkesblivande för nyblivna fänrikar och lärare

   Författare :Göran Fransson; Staffan Selander; Torlaug Løkensgard Hoel; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; communication; newly qualified; teachers; Second Lieutenants; Commissioned Officer; induction; professionalisation; professional development; the process of becoming; institution; sensemaking; organizational learning; Kommunikation; nyblivna; lärare; fänrik; officer; induction; yrkesintroduktion; professionalisering; professionell utveckling; yrkesblivande; institution; meningsskapande; organisatoriskt lärande; Education; Pedagogik;

   Sammanfattning : The aim of this thesis is to describe and analyse the process of professionalisation of newly commissioned second lieutenants and newly qualified school teachers. The professionalisation of these two occupational categories is examined from a comparative perspective and concentrates on the communicative conditions and institutional arenas that affect the professionalisation process. LÄS MER

5. 29. Guarded Recursive Types in Type Theory

   Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

   Sammanfattning : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. LÄS MER

7. 30. Aspects on Wind Turbine Protections and Induction Machine Fault Current Prediction

   Författare :Marcus Helmer; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; saturation; Induction generator; Short circuit currents; Slip ring Generator; skin effect;

   Sammanfattning : This thesis presents detailed modelling of the induction machine with the main objective being accurate fault current prediction. The thesis focus mainly on mains connected induction machines and the response due to severe disturbances in the supply voltage, such as three-phase short-circuit faults. LÄS MER