Avancerad sökning

Visar resultat 1 - 5 av 1330 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Studie- och yrkesorientering i AMS yrkesinformerande texter 1940-1970

    Författare :Jan Mannberg; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Education; careers education; occupational information text; Swedish Labour Market Board; unjust; limiting; concealing; adjustable; invisible pedagogy; collective conscience; Pedagogik; Education; Pedagogik;

    Sammanfattning : Careers education was first established in Sweden at the beginning of the 1940s. At that time it was mainly the concern of the Swedish Labour Market Board. LÄS MER

  3. 2. Limiting factors in ATP synthesis

    Författare :Tatiana Kramarova; Barbara Cannon; Sharon Ackerman; Stockholms universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; ATP synthase; biosynthesis; assembly; uncoupling proteins; ATP ADP carrier; Physiology; Fysiologi;

    Sammanfattning : The aim of the present study was to investigate the biosynthesis of the ATP synthase in various tissues, and to test hypotheses about possible models of activation of several mitochondrial proteins, the ATP/ADP translocase and UCPs, that could utilize the proton gradient, thus bypassing the ATP synthase. We have examined the role of the expression of the P1 isoform of the c-Fo subunit in the biogenesis of ATP synthase in brown adipose tissue. LÄS MER

  4. 3. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER

  5. 4. Nonlinear Absorbing platinum(II) Acetylides for Optical Power Limiting Applications

    Författare :Robert Westlund; Eva Malmström; Sergei Vinogradov; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; optical power limiting; Polymer chemistry; Polymerkemi;

    Sammanfattning : During the past few decades, laser technology has had a strong impact on our society, providing important contributions to materials processing, data storage, communications, medicine, and defense applications. However, the progress in laser technology has also brought about the development of harmful portable high‐power lasers and tactical laser weapons. LÄS MER

  7. 5. Fighter Aircraft Maneuver Limiting Using MPC : Theory and Application

    Författare :Daniel Simon; Johan Löfberg; Torkel Glad; Jan Maciejowski; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model predictive control; flight control;

    Sammanfattning : Flight control design for modern fighter aircraft is a challenging task. Aircraft are dynamical systems, which naturally contain a variety of constraints and nonlinearities such as, e.g., maximum permissible load factor, angle of attack and control surface deflections. LÄS MER