Sökning: "Johan Lidén"

Visar resultat 6 - 10 av 19 avhandlingar innehållade orden Johan Lidén.

  1. 6. Ex Ibn el-Vardii libro, Margarita mirabilium inscripto, Caput tertium, quartum et quintum. E codice Upsaliensi ... p. p. Mag. Carolus Johannes Tornberg ... et Andreas Magnus Lidén V. D. M. Ostrog. In auditorio Gustav. die V Nov. MDCCCXLII. h. a. m. s. VII

    Författare :Carl Johan Tornberg; Carl Johan Tornberg; Carl Johan Tornberg; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER

  3. 7. Dissertatio symbolico-theologica sententiam ecclesiæ Romano-Catholicæ de ministerio ecclesiastico breviter exponens. Quam cons. max. ven. facult. theol. Upsal. præside Johanne Alberto Butsch ... pro candidatura theologica p. p. mag. Johannes Fredericus Loenbom Ostrogothus. Stip. Liden. In audit. Gustav. die X Dec. MDCCCXXXVI. H. a. m. s

    Författare :Johan Albert Butsch; Johan Fredrik Loenbom; Johan Albert Butsch; Uppsala universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  4. 8. Repression of transcription factor NF-[kappa]B by glucocorticoids : a molecular mechanism for their anti-inflammatory and immuno-modulatory effects

    Författare :Johan Lidén; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : It has been known since the late 1940s that glucocorticoids (GCs) possess anti-inflammatory activity. Their various uses in the clinic include treatment of, rheumatoid arthritis, asthma and AIM skin diseases and also as means for avoiding rejection during transplantation. LÄS MER

  5. 9. Falsification of Signal-Based Specifications for Cyber-Physical Systems

    Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation-Based Verification; Testing; Falsification; Cyber-Physical Systems;

    Sammanfattning : In the development of software for modern Cyber-Physical Systems, testing is an integral part that is rightfully given a lot of attention. Testing is done on many different abstraction levels, and especially for large-scale industrial systems, it can be difficult to know when the testing should conclude and the software can be considered correct enough for making its way into production. LÄS MER

  7. 10. On Falsification of Large-Scale Cyber-Physical Systems

    Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

    Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER