Search for dissertations about: "Epfl"

Showing result 1 - 5 of 9 swedish dissertations containing the word Epfl.

  2. 1. Advanced Fluorescence Microscopy to Study Plasma Membrane Protein Dynamics

    Author : Joachim Piguet; Horst Vogel; Ruud Hovius; Jerker Widengren; Antoine Triller; Switzerland Ecole Polytechnique Fédérale de Lausanne (EPFL); []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; fluorescence; microscopy; plasma membrane; membrane proteins; membrane proteins diffusion; single-molecule imaging; single-molecule tracking; pentameric ligand-gated ion channels; nicotinic acetylcholine receptor; serotonin receptor; synapse; neuromuscular junction; post-synaptic scaffold; rapsyn; myopathies; fluorescent proteins; Förster resonance energy transfer; FRET imaging; protein-protein interactions; protein trafficking; photo-activatable proteins; Biological Physics; Biologisk fysik;

    Abstract : Membrane protein dynamics is of great importance for living organisms. The precise localization of proteins composing a synapse on the membrane facing a nerve terminus is essential for proper functioning of the nervous system. In muscle fibers, the nicotinic acetylcholine is densely packed under the motor nerve termini. READ MORE

  4. 2. Coping with Misbehavior in Mobile Ad-hoc Networks

    Author : Sonja Buchegger; Jean-Yves Le Boudec; EPFL; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; mobile ad-hoc networks; incentives; cooperation; reputation systems; Bayes; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Abstract : n this work, we address the question of how to enable a system to operate despite the presence of misbehavior. Specifically, in a mobile ad-hoc network, how can we keep the network functional for normal nodes when other nodes do not route and forward correctly? Node misbehavior due to selfish or malicious reasons or faulty nodes can significantly degrade the performance of mobile ad-hoc networks. READ MORE

  5. 3. Equivalences and Calculi for Formal Verification of Cryptographic Protocols

    Author : Johannes Borgström; Uwe Nestmann; Thomas A Henzinger; Martin Odersky; Andrew D Gordon; Viktor Kuncak; Björn Victor; EPFL; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. READ MORE

  6. 4. Ensembles for sequence learning

    Author : Christos Dimitrakakis; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  7. 5. Route choice analysis : data, models, algorithms and applications

    Author : Emma Frejinger; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : .... READ MORE