Search for dissertations about: "Specification"

Showing result 1 - 5 of 510 swedish dissertations containing the word Specification.

  1. 1. Specification of Dorsal and Intermediate Telencephalic Character

    Author : Matthew Marklund; Umeå universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Molecular biology; telencephalon; forebrain; dorsoventral patterning; WNT; FGF; RA; retinoid-mediated signaling; development; specification; cortex; striatal; intermediate; Molekylärbiologi; Molecular biology; Molekylärbiologi; molekylärbiologi; Molecular Biology;

    Abstract : The telencephalon is the most highly evolved region of the vertebrate central nervous system (CNS). The major structures of the telencephalon - the cortex and basal ganglia – derive from the dorsally positioned pallium and the ventrally positioned subpallium, respectively. READ MORE

  2. 2. Specification of Resource Allocation Systems; a STEP towards a unified framework

    Author : Petter Falkman; Chalmers University of Technology; []
    Keywords : Flexible manufacturing systems; supervisory control theory; supervis synthesis; specification; Resource allocation systems;

    Abstract : In recent years growing demands on flexibility and ability to decrease time to market has made it increasingly important for engineering companies to find ways of making information exchange between product design and manufacturing systems design more efficient. A much shortened iteration cycle could be obtained ifinformation about product design solutions could be made instantly available for engineers involved in manufacturing systems design. READ MORE

  3. 3. Specification of discrete event systems : with focus on resource allocation systems

    Author : Peter Falkman; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; information modeling; specification; resource allocation systems; discrete event systems;

    Abstract : .... READ MORE

  4. 4. Formal Specification and Verification of Safety-Critical Software

    Author : Daniel Larsson; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Abstract : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. READ MORE

  5. 5. Genetic mechanisms behind cell specification in the Drosophila CNS

    Author : Magnus Baumgardt; Stefan Thor; Angela Giangrande; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Drosophila melanogaster; nervous system development; cell specification; stem cells; cell proliferation; combinatorial coding; feedforward loop; Developmental biology; Utvecklingsbiologi;

    Abstract : The human central nervous system (CNS) contains a daunting number of cells and tremendous cellular diversity. A fundamental challenge of developmental neurobiology is to address the questions of how so many different types of neurons and glia can be generated at the precise time and place, making precisely the right connections. READ MORE