Sökning: "interactive function"

Visar resultat 21 - 25 av 113 avhandlingar innehållade orden interactive function.

1. 21. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

   Sammanfattning : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. LÄS MER

3. 22. Touching the Essence of Life : Haptic Virtual Proteins for Learning

   Författare :Petter Bivall; Anders Ynnerman; Lena A. E. Tibell; Matthew D. Cooper; Miriam Reiner; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haptics; Educational Research; Biomolecular Education; Life Science; JND; Just Noticeable Difference; Protein-ligand Docking; Haptic docking; Visualization; Haptic Transfer Functions; Volume Data Haptics; History Dependent Transfer Function; Log file analysis; Molecular Recognition; Force Feedback; Virtual Reality; Other information technology; Övrig informationsteknik;

   Sammanfattning : This dissertation presents research in the development and use of a multi-modal visual and haptic virtual model in higher education. The model, named Chemical Force Feedback (CFF), represents molecular recognition through the example of protein-ligand docking, and enables students to simultaneously see and feel representations of the protein and ligand molecules and their force interactions. LÄS MER

4. 23. Quality of care and quality of life in coronary artery disease

   Författare :Anna Kiessling; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :Coronary artery disease; secondary prevention; health related quality of life; quality of care; case method learning; cost-effectiveness; chest pain; perceived cognitive function;

   Sammanfattning : The aim was to study the efficacy in primary care of Case method learning (CML) in secondary prevention of patients with coronary artery disease (CAD). A further aim was to explore the structure of health related quality of life (HRQL) in these patients and its relations to chest pain and ill health. LÄS MER

5. 24. Quantification of pulmonary scintigraphy

   Författare :Jiahua Xu; Göteborgs universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Emphysema; Inhomogeneity; Perfusion; scintigraphy; SPECT; 99mTc-Technegas; Ventilation; V Q;

   Sammanfattning : Modern nuclear medicine techniques, such as SPECT (single photon emission computed tomography), enable quantification and localisation of lung function in small lung elements, but appropriate methods are not yet available. The aim of the present project was therefore to develop and evaluate methods for mapping lung function in planar scintigrams and in SPECT. LÄS MER

7. 25. Cognitively inspired design : Rethink the wheel for self-driving cars

   Författare :Sara Mahmoud; Serge Thill; Henrik Svensson; Erik Billing; Alessandro Di Nuovo; Högskolan i Skövde; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Artificial cognitive systems; AI; self-driving cars; cognitive paradigms; emergent paradigm; curriculum learning; embodiment; enaction; Interaction Lab ILAB ; Interaction Lab ILAB ;

   Sammanfattning : This thesis examines Cognitively Inspired Design (CID), which is the process of transferring cognitive science frameworks and theories to intelligent systems in an application context. The thesis studies the relation between cognitive science and the traditional approach to developing systems. LÄS MER