Sökning: "EPFL"
Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet EPFL.
1. Advanced Fluorescence Microscopy to Study Plasma Membrane Protein Dynamics
Sammanfattning : 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. LÄS MER
2. Coping with Misbehavior in Mobile Ad-hoc Networks
Sammanfattning : 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. LÄS MER
3. Equivalences and Calculi for Formal Verification of Cryptographic Protocols
Sammanfattning : 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. LÄS MER
4. Ensembles for sequence learning
Sammanfattning : .... LÄS MER
5. Route choice analysis : data, models, algorithms and applications
Sammanfattning : .... LÄS MER