Sökning: "Partial Evaluation"

Visar resultat 11 - 15 av 208 avhandlingar innehållade orden Partial Evaluation.

  1. 11. Evaluation of Respiratory Mechanics by Flow Signal Analysis : With Emphasis on Detecting Partial Endotracheal Tube Obstruction During Mechanical Ventilation

    Författare :Rafael Kawati; Michael Lichtwarck-Aschoff; Ulf Sjöstrand; Anders Larsson; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Anaesthesiology and intensive care; Complication: obstructed endotracheal tube; Equipment:endotracheal tube; Heart: cardiogenic oscillation; Respiratory mechanics: respiratory mechanics; Ventilation: controlled mechanical; Anestesiologi och intensivvård; Anaesthetics and intensive care; Anestesiologi och intensivvård;

    Sammanfattning : Evaluating respiratory mechanics during dynamic conditions without interrupting ongoing ventilation and flow, adds to the information obtained from the mechanics derived from static (= no flow) conditions, i.e., the flow signal has the potential to provide information on the properties of the respiratory system (including the tubing system). LÄS MER

  3. 12. Diagnosis and evaluation of therapeutic response of bone metastases

    Författare :Ipek Çiray; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Oncology; Bone metastases; breast neoplasm; MR imaging; CT; diagnosis; therapy evaluation; Onkologi; Oncology; Onkologi; diagnostisk radiologi; Diagnostic Radiology;

    Sammanfattning : The aim of this study was to investigate different aspects of different imaging modalities in the diagnosis of bone metastases and in the assessment of their response to therapy. The role of CT, with and without clinical information, was investigated as compared to CT-guided bone biopsy in the evaluation of suspected bone metastases. LÄS MER

  4. 13. Towards a Deductive Compilation Approach

    Författare :Ran Ji; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Sammanfattning : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. LÄS MER

  5. 14. The Convaluation of Performance Art : A Study of Peer Recognition Among Performance Artists

    Författare :Edvin Sandström; Patrik Aspers; Anna Lund; Uppsala universitet; []
    Nyckelord :Convaluation; Valuation; Evaluation; Performance Art; Art Theory; Ethnography; Sociologi; Sociology;

    Sammanfattning : Processes and forms of valuation, evaluation and valorization are important for bringing contemporary social life in order. In this thesis, I study the values of the small and autonomous avant-garde of the art-world, performance art. LÄS MER

  7. 15. Querying RDF Schema Views of Relational Databases

    Författare :Johan Petrini; Tore Risch; Larry Kerschberg; Uppsala universitet; []
    Nyckelord :query processing; partial evaluation; rdf; rdf schema; view; relational databases; semantic web;

    Sammanfattning : The amount of data found on the web today and its lack of semantics makes it increasingly harder to retrieve a particular piece of information. With the Resource Description Framework (RDF) every piece of information can be annotated with properties describing its semantics. LÄS MER