Sökning: "Program Models"

Visar resultat 1 - 5 av 348 avhandlingar innehållade orden Program Models.

  1. 1. Pharmacometric Models to Improve Treatment of Tuberculosis

    Författare :Elin M Svensson; Mats O Karlsson; Maria C Kjellsson; Ulrika S H Simonsson; N. L’Ntshotsholé (Shasha) Jumbe; Uppsala universitet; []
    Nyckelord :pharmacokinetics; pharmacodynamics; population approach; nonlinear mixed-effects models; multidrug-resistant tuberculosis; bedaquiline; antiretroviral; drug-drug interactions; time-to-event; albumin; Klinisk farmakologi; Clinical Pharmacology;

    Sammanfattning : Tuberculosis (TB) is the world’s most deadly infectious disease and causes enormous public health problems. The comorbidity with HIV and the rise of multidrug-resistant TB strains impede successful therapy through drug-drug interactions and the lack of efficient second-line treatments. LÄS MER

  2. 2. Automatic Extraction of Program Models for Formal Software Verification

    Författare :Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Datalogi; Computer Science;

    Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER

  3. 3. Bringing predictability into a geometallurgical program : An iron ore case study

    Författare :Viktor Lishchuk; Bertil Pålsson; Cecilia Lund; Lamberg Pertti; Jennifer Broadhurst; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; Additivity; Apatite iron ore; AIO; Block model; Change of support; Classification; Data integration; DT; Feed quality; Geometallurgical program; Geometallurgy; Iron ore; Iron recovery; Leveäniemi; Liberation; Machine learning; Magnetic separation; Malmberget; Mineralogical approach; Mineralogy; Prediction; Proxies; Proxies approach; Sampling; Simulation; Synthetic ore body; Traditional approach; WLIMS; Mineral Processing; Mineralteknik;

    Sammanfattning : The risks of starting, operating and closing mining projects have become higher than ever. In order to stay ahead of the competition, mining companies have to manage various risks: technical, environmental, legal, regulatory, political, cyber, financial and social. Some of these can be mitigated with the help of geometallurgy. LÄS MER

  4. 4. Converting CAD Drawings to Product Models

    Författare :Robert Noack; KTH; []
    Nyckelord :Shape recognition; shape interpretation; product models;

    Sammanfattning : The fundamental aim of this study is to examine whether itis possible to automatically convert vector-based drawings toproduct models. The reason fordoing this is that the newobject-based systems cannot make use of the information storedin CAD drawings, which limits the usability of thesesystems. LÄS MER

  5. 5. Caches, Transactions and Memories : Models, Coherence and Consistency

    Författare :Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Sammanfattning : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. LÄS MER