Sökning: "CONCISE"

Visar resultat 6 - 10 av 64 avhandlingar innehållade ordet CONCISE.

  1. 6. 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

  2. 7. Talspråk i skrift : om muntlighetens utveckling i svensk sakprosa 1800-1997

    Författare :Per Lagerholm; tolkning i offentlig sektor och översättning danska och isländska Avdelningen för svenska; []
    Nyckelord :HUMANIORA; HUMANITIES; Scandinavian languages and literature; non-fiction; genres; functions; dimensions; factor analysis; co-occurrence; linguistic features; style; orality; spoken and written language; Nordiska språk språk och litteratur ;

    Sammanfattning : This dissertation is based on three questions:What is orality, how has orality developed during the last 200 years in Swedish non-fiction, and what is the cause of this development? Orality is treated here as the linguistic consequence of a certain communicative function. The basis is the different conditions of speech and writing and the different styles and features that are determined by these conditions. LÄS MER

  3. 8. Protein Mixture Inference as Hitting Set Variants and Linear Algebra Problems

    Författare :Leonid Molokov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Union Editing; Shotgun proteomics; Parameterized complexity; Protein Inference; Shared Peptides; Set Cover; Hypergraph; Hitting Set; Fixed Parameter Tractable; Protein Quan- ti; Star Editing;

    Sammanfattning : This work is dedicated to the problems of protein inference and quantification in bottom-up proteomics, and, in particular, in shotgun proteomics. We adopt a rather classical approach of representing inference problem as a set cover, where proteins are understood as sets of their observations: peptides' masses or sequences. LÄS MER

  4. 9. Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems

    Författare :Fereidoun Moradi; Fereidoun Moradi; Sara Abbaspour Asadollah; Massimo Merro; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : The combination of physical assets with cyber computational entities, known as Cyber-Physical Systems (CPS), is becoming more common. These systems are used in various sectors such as manufacturing, energy production, and transportation. LÄS MER

  5. 10. Rearrangements to vinyl substituted hetero- and carbocycles : Total synthesis of siphonazole B and otherapplications in oxazole and saturated ringsynthesis

    Författare :Filip Paulsen; Centrum för analys och syntes; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The aim of this thesis is to explore and develop new reactions for rapid generation of molecular complexity. Byenabling access to important molecules in a less wasteful and more cost-efficient manner such developmentbenefits the whole modern society, where increasingly complex molecules are needed to solve problems withinfields ranging from medicine, to materials sciences and the perfume industry. LÄS MER