Search for dissertations about: "inclusion partition"

Showing result 1 - 5 of 6 swedish dissertations containing the words inclusion partition.

  1. 1. A Fair (Af)fair? On Subjectivation and Differentiation in Educational Capitalism

    Author : Martin Harling; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Marketization; partition of the sensible; investmentality;

    Abstract : In our time the school is organized with the market as a model and schools are operating on the basis of a marketized rationality, yet within normative frameworks of inclusion and “a school for all”. Then it becomes increasingly important to understand how markets and inclusion have been seen as relevant categories in education and what subjects and relations of power these categories assume and produce. READ MORE

  2. 2. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

    Author : Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
    Keywords : Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

    Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE

  3. 3. Nonlinear Mixed Effects Methods for Improved Estimation of Receptor Occupancy in PET Studies

    Author : Matts Kågedal; Mats Karlsson; Andrew C Hooker; Gitte Knudsen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; PET; positron emission tomography; receptor occupancy; nonlinear mixed effects; NONMEM; optimal design; dose finding; Pharmacokinetics and Drug Therapy; Farmakokinetik och läkemedelsterapi;

    Abstract : Receptor occupancy assessed by Positron Emission Tomography (PET) can provide important translational information to help bridge information from one drug to another or from animal to man. The aim of this thesis was to develop nonlinear mixed effects methods for estimation of the relationship between drug exposure and receptor occupancy for the two mGluR5 antagonists AZD9272 and AZD2066 and for the 5HT1B receptor antagonist AZD3783. READ MORE

  4. 4. Hardware/Software Partitioning Methodology for Embedded Applications using Multiple Criteria Decision Analysis

    Author : Sapienza Gaetana; Ivica Crnkovic; Petr Tuma; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : The new hardware technologies enable execution of embedded systems applications on heterogeneous execution platforms. These platforms consist of different execution processing units, for example of CPUs, and FPGAs, that enable the application execution of software (SW) components, typically implemented as C/C++ code, and hardware (HW) components, implemented as VHDL code. READ MORE

  5. 5. Taxonomy, phylogeny, and secondary sexual character evolution of diving beetles, focusing on the genus Acilius

    Author : Johannes Bergsten; Anders N. Nilsson; Jyrki Muona; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Biology; antagonistic coevolution; arms race; sexual conflict; diving beetle; Dytiscidae; Coleoptera; taxon sampling; long-branch attraction; parsimony; Bayesian analysis; taxonomic revision; Biologi; Biology; Biologi;

    Abstract : Sexual conflict can lead to antagonistic coevolution between the sexes, but empirical examples are few. In this thesis secondary sexual characters in diving beetles are interpreted in the light of sexual conflict theory. READ MORE