Search for dissertations about: "problem specification"

Showing result 1 - 5 of 124 swedish dissertations containing the words problem specification.

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

    Author : Malin Åkerblom; Molekylär neurogenetik; []
    Keywords : 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;

    Abstract : 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. READ MORE

  4. 2. Transformative Decision Rules : Foundations and Applications

    Author : Martin Peterson; KTH; []
    Keywords : HUMANIORA; HUMANITIES; transformative decision rule; problem specification; framing; expected utility; decision theory; Philosophy subjects; Filosofiämnen;

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

  6. 4. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

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

    Abstract : 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. READ MORE

  7. 5. Contributions to program- and specification-based test data generation

    Author : Jon Edvardsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In the first part of this thesis we consider a framework by Gupta et al. for generating tests from programs. READ MORE