Search for dissertations about: "Philipp"

Showing result 16 - 20 of 77 swedish dissertations containing the word Philipp.

  2. 16. Genetic Sex Differences in Early Human Neuronal Development : An Investigation in Embryo Tissue and Embryonic Stem Cells

    Author : Philipp Pottmeier; Elena Jazin; Armin Raznahan; Uppsala universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; sex chromosome; gametolog; x y homolog; male; female; sex differences; sex bias; embryonic stem cells; neurodevelopment; neuronal differentiation; neural stem cells; genetics; neurodevelopmental disorders; Biology with specialization in Evolutionary Organismal Biology; Biologi med inriktning mot evolutionär organismbiologi; Neuroscience; Neurovetenskap; Medicinsk genetik; Medical Genetics;

    Abstract : Sex differences in the human body affect many different organs and tissues, some of them have an effect on the human brain and its development. In the developing nervous system, sex differences can bias the number or functionality of neurons, glial cells or synapses. As a result, neural networks might develop with a sex-specific bias. READ MORE

  4. 17. Calculi for Program Incorrectness and Arithmetic

    Author : Philipp Rümmer; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. READ MORE

  5. 18. Proving and Disproving in Dynamic Logic for Java

    Author : Philipp Rümmer; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; theorem proving; disproving; dynamic logic; program verification; testing;

    Abstract : This thesis is about proving the functional correctness and incorrectness of imperative, object-oriented programs. One of the main approaches for the first item is deductive program verification, whereas the second item is traditionally handled by techniques like testing. READ MORE

  6. 19. Simple Question, Complex Answer : Pathways Towards a 50% Decrease in Building Energy Use

    Author : Philipp Weiss; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Buildings; Regional energy policy; Energy efficiency; Rebound effect; Community-Based Social Marketing; Teknisk fysik; Engineering Science; Energy and Built Environments;

    Abstract : Addressing building energy use is a pressing issue for building sector decisionmakers across Europe. In Sweden, some regions have adopted a target of reducingenergy use in buildings by 50% until 2050. READ MORE

  7. 20. The Jovian Plasma Dynamics and Composition Analyzer (JDC) for ESA's JUICE Mission

    Author : Philipp Wittmann; Martin Wieser; Stas Barabash; Krister Wiklund; Frédéric Allegrini; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; JUICE mission; positive ions; negative ions; electrons; time-of-flight; time-of-arrival; PEP; JDC; CEM; channel electron multiplier; pressure; instrument development; calibration; TOF; TOA; fysik; Physics; rymd- och plasmafysik; Space and Plasma Physics;

    Abstract : This dissertation covers the development and calibration of the Jovian plasma Dynamics and Composition analyzer (JDC). JDC is together with five other sensors a part of the Particle Environment Package (PEP), one of the payloads of the European Space Agency's JUpiter ICy moons Explorer (JUICE) mission. READ MORE