Search for dissertations about: "Mac"

Showing result 11 - 15 of 128 swedish dissertations containing the word Mac.

  2. 11. Design, Implementation and Validation of Resource-Aware and Resilient Wireless Networked Control Systems

    Author : José Araújo; Karl H. Johansson; Jan Lunze; KTH; []
    Keywords : wireless networked control systems; NCS; wireless communications; control; distributed reconfiguration; resilient; fault-tolerant control; IEEE 802.15.4; resource-aware; WNCS; aperiodic control; event-triggered; self-triggered; event-based; co-simulator; estimation; GISOO; MAC; scheduling; routing; RPL; delay; out-of-order communications; CPS; Cyber Physical Systems; Wireless Cyber Physical Systems; Wireless Cyber Physical Control Systems; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Networked control over wireless networks is of growing importance in many application domains such as industrial control, building automation and transportation systems. Wide deployment however, requires systematic design tools to enable efficient resource usage while guaranteeing close-loop control performance. READ MORE

  4. 12. Architectures and Protocols for Performance Improvements of Real-Time Networks

    Author : Kristina Kunert; Magnus Jonsson; Elisabeth Uhlemann; Eduardo Tovar; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Real-time communication; predictable deadline guarantees; real-time scheduling analysis; timing analysis; admission control; deterministic medium access; MAC; Quality of Service parameters; reliability; redundancy; retransmission scheme; ARQ; truncated ARQ; Automatic Repeat Request; wireless networks; IEEE 802.11; IEEE 802.15.4; fibre-optic networks; AWG; multichannel networks; industrial communications; embedded systems; Computer engineering; Datorteknik;

    Abstract : When designing architectures and protocols for data traffic requiring real-time services, one of the major design goals is to guarantee that traffic deadlines can be met. However, many real-time applications also have additional requirements such as high throughput, high reliability, or energy efficiency. READ MORE

  5. 13. MAC, A Verified Information-Flow Control Library

    Author : Marco Vassena; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

    Abstract : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. READ MORE

  6. 14. An ALF proof of Mac Lane's coherence theorem

    Author : Ilya Beylin; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Martin-Löf type theory; coherence theorem; monoidal categories; ALF;

    Abstract : .... READ MORE

  7. 15. Selenoproteins in the Bovine Mammary Gland. Regulation of mRNA and Protein Expression

    Author : Katharina Bruzelius; Tillämpad biokemi; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Livsmedelsteknik; Food and drink technology; metabolism; Biokemi; Metabolism; Biochemistry; Naturvetenskap; milk; Natural science; cancer; prolactin; insulin; hydrocortisone; retinoic acid; MAC-T; northern blot; two-dimensional electrophoresis; bovine mammary gland; selenium; selenoprotein;

    Abstract : Selenium is a micronutrient that is essential for many important life processes due to the action of the specific selenoproteins containing one or more of the 21st amino acid, selenocysteine. Twenty-five selenoprotein genes have been found in the human genome but the function of many of them is not yet known. READ MORE