Sökning: "theorem"

Visar resultat 36 - 40 av 343 avhandlingar innehållade ordet theorem.

  1. 36. Cross-modal Imaging in Lung Research: From µCT dosimetry to synchrotron phase contrast microtomography biomechanical insights in preclinical lung injury models

    Författare :Richard Deyhle Jr; Malmö Medicinsk strålningsfysik; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Thermoluminescent Dosimetry; Optically stimulated luminescence OSL ; Computed tomography CT ; 4DCT; Phantoms; Imaging; X-rays; pre-clinical models; Pre-clinical; dosimetry: physical basis; biomedical strain; lung injury; mechanical ventilation; inflammation; lung function; synchrotron; histology; acute respiratory distress syndrome ARDS ; Ventilator Inudced Lung Injury VILI ; Histology; Forced Oscillation Technique FOT ; Divergence Theorem; Registration techniques;

    Sammanfattning : Lung diseases continue to present a large burden to public health, especially in industrialized countries. For abetter understanding of the underlying patho-mechanisms in lung related diseases as well as for testing theefficacy of novel therapies, preclinical studies in animal models are indispensable. LÄS MER

  3. 37. Theory Exploration for Programs and Proofs

    Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

    Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER

  4. 38. In the Air Gap of Linear Generators for Wave Power

    Författare :Anna E. Frost; Mats Leijon; Sandra Eriksson; Irina Temiz; John Ringwood; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Linear generator; Wave Power; Poynting s theorem; Partial stator overlap; Permanent-magnet synchronous generator PMSG ; Linear electrical machines; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

    Sammanfattning : Wave power conversion is one type of renewable electricity generation. Within wave power, there are many different concepts, whereof some utilizes linear generators for converting the energy in the ocean waves into electricity. LÄS MER

  5. 39. Topics on Harmonic analysis and Multilinear Algebra

    Författare :Mahdi Hormozi; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Generalized bounded variation; Helly s theorem; Modulus of variation; Generalized Wiener classes; Symmetry classes of tensors; Orthogonal basis; Brauer symmetry classes of tensors; Multilinear singular integrals; weighted norm inequalities; weighted bounds; local mean oscillation; Lerner s formula; Brauer symmetry classes of tensors;

    Sammanfattning : The present thesis consists of six different papers. Indeed, they treat three different research areas: function spaces, singular integrals and multilinear algebra. In paper I, a characterization of continuity of the $p$-$\Lambda$-variation function is given and Helly's selection principle for $\Lambda BV^{(p)}$ functions is established. LÄS MER

  7. 40. Computational Issues in Calculi of Partial Inductive Definitions

    Författare :Per Kreuger; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER