Sökning: "Specification"

Visar resultat 1 - 5 av 598 avhandlingar innehållade ordet Specification.

  1. 1. Specification of Dorsal and Intermediate Telencephalic Character

    Författare :Matthew Marklund; Umeå universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Författare :Petter Falkman; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Flexible manufacturing systems; supervisory control theory; supervis synthesis; specification; Resource allocation systems;

    Sammanfattning : 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. LÄS MER

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

    Författare :Peter Falkman; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; information modeling; specification; resource allocation systems; discrete event systems;

    Sammanfattning : .... LÄS MER

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

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER