Sökning: "problem specification"

Visar resultat 1 - 5 av 130 avhandlingar innehållade orden problem specification.

  1. 1. The Role of miRNA in Neurogenesis and Cell Specification

    Författare :Malin Åkerblom; Molekylär neurogenetik; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; miRNA; microRNA; miR-124; miR-9; miR-125; adult neurogenesis; neural stem cells; cell specification; microglia; lentiviral vectors; olfactory bulb; olfactory bulb interneurons;

    Sammanfattning : Only a few decades ago, it was generally believed that gene expression was controlled in a unidirectional way, i.e. DNA was transcribed into RNA, which simply acted as a messenger molecule used to produce the protein that executed cellular functions. LÄS MER

  3. 2. Transformative Decision Rules : Foundations and Applications

    Författare :Martin Peterson; KTH; []
    Nyckelord :HUMANIORA; HUMANITIES; transformative decision rule; problem specification; framing; expected utility; decision theory; Philosophy subjects; Filosofiämnen;

    Sammanfattning : A transformative decision rule alters the representation of a decisionproblem, either by changing the sets of acts and states taken intoconsideration, or by modifying the probability or value assignments.Examples of decision rules belonging to this class are the principleof insufficient reason, Isaac Levi’s condition of E-admissibility, Luceand Raiffa’s merger of states-rule, and the de minimis principle. LÄS MER

  4. 3. Mapping and integration of schema representations of component specefications

    Författare :Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

    Sammanfattning : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. LÄS MER

  5. 4. Es-Clefts und det-Clefts : Zur Syntax, Semantik und Informationsstruktur von Spaltsätzen im Deutschen und Schwedischen

    Författare :Stefan Huber; Tyska; []
    Nyckelord :HUMANIORA; HUMANITIES; generative grammar; German sentence structure; Swedish sentence structure; split CP; relative clauses; expletives; extraposition; connectivity; predication; specification; identification.; topic-comment; projection of focus; background-focus; It-cleft constructions; copular constructions; pseudo-cleft constructions; German language and literatur; Tyska språk och litteratur ;

    Sammanfattning : This study investigates the syntax, semantics and information structure of it-cleft constructions in German and Swedish. The syntactic analysis is presented within a standard framework of generative theory. In defining genuine cleft constructions, both the syntactic and the semantic structures of clefts are taken into consideration. LÄS MER

  7. 5. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

    Författare :Predrag Filipovikj; Cristina Seceleanu; Guillermo Rodriguez-Navas; Stefania Gnesi; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

    Sammanfattning : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. LÄS MER