Sökning: "logical frameworks"

Visar resultat 6 - 10 av 17 avhandlingar innehållade orden logical frameworks.

1. 6. Model-based execution monitoring

   Författare :Marcus Bjäreland; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual effects of control actions and the effects predicted by a model, is the topic of this thesis. Model-based execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process controllers, and of controllers operating in complex and unpredictable environments (such as unmanned aerial vehicles). LÄS MER

3. 7. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems

   Författare :Simin Cai; Cristina Seceleanu; Barbara Gallina; Dag Nyström; Marieke Huisman; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). LÄS MER

4. 8. Person-centered care in nurse-led outpatient rheumatology clinics. From experience to measurement

   Författare :Sidona-Valentina Bala; Lunds universitet; []
   Nyckelord :lived experience; measurement instrument; nurse-led rheumatology clinics; outpatient framework; person-centered care; rheumatoid arthritis; patient perspective; personcentrerad vård; mätinstrument; reumatologisk öppenvård; sjuksköterskemottagning;

   Sammanfattning : AbstractAim: To describe and understand patients’ experiences as a means to conceptualize and evaluate outpatient person-centered care (PCC) in nurse-led rheumatoid arthritis (RA) clinics.Methods: Persons with RA were interviewed about how they experienced their nurse-led outpatient care and about the meaning of living with persistent RA. LÄS MER

5. 9. Automating Black-Box Property Based Testing

   Författare :Jonas Almström Duregård; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. LÄS MER

7. 10. Conceptual and empirical issues of technological change in the health care sector : Innovation and diffusion of hemodialysis and renal transplantation

   Författare :Ann Bonair; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Medical technology; innovation; diffusion; determinants of diffusion; ESRD treatment; ESRD costs; regional variations; INTERDISCIPLINARY RESEARCH AREAS; TVÄRVETENSKAPLIGA FORSKNINGSOMRÅDEN;

   Sammanfattning : The present study focuses on one instance of technological change in medical practice; the innovation and diffusion of hemodialysis and renal transplantation (ESRD treatment)- two therapeutic innovations aimed at the treatment of patients suffering from chronic renal failure. The purpose of the thesis is to study the processes by which medical technology is developed imd disseminated. LÄS MER