Sökning: "CONCISE"

Visar resultat 21 - 25 av 64 avhandlingar innehållade ordet CONCISE.

  1. 21. Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs

    Författare :Tord Alenljung; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; State Estimation; Fault Detection and Diagnosis; Process Modeling; Discrete Event Systems; Logic Controllers; Formal Verification; State Feedback Control;

    Sammanfattning : The design of control programs for manufacturing systemsis becoming more and more complex as the demands for flexibility,efficiency and reconfigurability increase, due tochanging consumer demands and fierce competition.There are methods stemming from academia that can assist the control programmersin facing these challenges. LÄS MER

  3. 22. Time- and size-efficient supercompilation

    Författare :Peter A. Jonsson; Taha Walid; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Sammanfattning : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. LÄS MER

  4. 23. Towards Improving Transparency, Intervenability, and Consent in HCI

    Författare :Farzaneh Karegar; Simone Fischer-Hübner; John Sören Pettersson; Kristin Skeide Fuglerud; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; GDPR; Informed Consent; Intervenability; Transparency; Usable Privacy; Computer Science; Datavetenskap;

    Sammanfattning : Transparency of personal data processing is enforced by most Western privacy laws, including the new General Data Protection Regulation (GDPR) which will be effective from May 2018. The GDPR specifies that personal data shall be processed lawfully, fairly, and in a transparent manner. LÄS MER

  5. 24. Automated Theorem Proving with Extensions of First-Order Logic

    Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; clausal normal form; Program Verification; automated theorem proving; program analysis; TPTP; Vampire; first-order logic;

    Sammanfattning : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. LÄS MER

  7. 25. Holistic approach in engineering design - controlling risks from accidental hazards in bridge design

    Författare :Ivar Björnsson; Avdelningen för Konstruktionsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; design; codes; accidental; extreme; bridges; holistic; approach; robustness; risk; reliability; uncertainty;

    Sammanfattning : Engineering design, in concise terms, is what engineers do using what they know. It is the underlying decision making activity that determines what is to be built and how it should be built. An ever present requirement in engineering design is that the structure should be safe. LÄS MER