Sökning: "Program Analysis"

Visar resultat 11 - 15 av 995 avhandlingar innehållade orden Program Analysis.

  1. 11. Template-Based Design Analysis : An Alternative Approach for the Engineering Designer to Perform Computer-Based Design Analysis

    Författare :Håkan Petersson; Robert Bjärnemo; Damien Motte; Kjell Andersson; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer-Based Design Analysis; Engineering Design process; Template; and Template-Based Design Analysis; Datorbaserad konstruktionsanalys; Konstruktionsprocess; undersökning; beräkningsstöd samt minskade ledtider; MallBaserad KonstruktionsAnalys; Computer-Based Design Analysis; Engineering Design process; Template; and Template-Based Design Analysis;

    Sammanfattning : The current trend in industry to encourage engineering designers to take an active part in the analysis of their own design solutions is apparent in many companies today, domestically as well as abroad.From a research project with the objective to develop a computer-based design system for the design of lightweight grippers, one of the major difficulties was to overcome the system users’ lack of knowledge and experience in the design of lightweight structures and Computer-Based Design Analysis (CBDA). LÄS MER

  3. 12. Collage induction : proving properties of logic programs by program synthesis

    Författare :Hans Olsén; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. LÄS MER

  4. 13. 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

  5. 14. Tracking Information Flows in Interactive and Object-Oriented Programs

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

    Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER

  7. 15. Exploring connections in social-ecological systems : The links between biodiversity, ecosystem services, and human well-being in South Africa

    Författare :Maike Hamann; Reinette (Oonsie) Biggs; Belinda Reyers; Thomas Elmqvist; Fabrice DeClerck; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; complex adaptive systems; mapping; ecosystem service bundles; multidimensional human well-being; biodiversity loss; inequality; research frameworks; interdisciplinarity; natural resource management; sustainable development; Sustainability Science; vetenskap om hållbar utveckling;

    Sammanfattning : A key challenge of the Anthropocene is to advance human development without undermining critical ecosystem services. Central to this challenge is a better understanding of the interactions and feedbacks between biodiversity, ecosystem services and human well-being, which interact in dynamic and complex social-ecological systems. LÄS MER