Publications associées (8)

Synthesis of Novel Integrated Actuators Powered by Shape Memory Alloys

Sean Thomas

In the modern age of miniaturisation, Smart Materials, a type of material that reacts mechanically to a certain stimulus, have become an integral part of this revolution. Among these materials, Shape Memory Alloys (SMAs), which have the highest volumetric ...
EPFL2022

The Dimension of the Body in Higher Education: Matrix of Meanings in Students’ Diaries

Simon Nessim Henein, Ramiro Tau

In this paper, we attempt to show some consequences of bringing the body back into higher education, through the use of performing arts in the curricular context of scientific programs. We start by arguing that dominant traditions in higher education repro ...
2021

Formal Analysis of Human-Assisted Smart City Emergency Services

The concept of IoT-based Smart Cities has gained momentum in recent years. The research in this domain has focused on modeling key characteristics of future smart cities along with exploring their design and implementation aspects from multiple perspective ...
2019

The Convergence of Systems and Reductionist Approaches in Complex Trait Analysis

Johan Auwerx, Evan Graehl Williams

Research into the genetic and environmental factors behind complex trait variation has traditionally been segregated into distinct scientific camps. The reductionist approach aims to decrypt phenotypic variability bit by bit, founded on the underlying hypo ...
2015

A Systemic Approach to Multi-Party Relationship Modeling

Alain Wegmann, Anshuman Bahadur Saxena

Socio-economic systems exist in a wide variety of activity domains and are composed of multiple stakeholder groups. These groups pursue objectives which are often entirely motivated from within their local context. Domain specificities in the form of insti ...
2012

Security observance throughout the life-cycle of embedded systems

Arjen Lenstra

Embedded systems are an established part of life. Their security requirements underline the importance of properly formulated, implemented, and enforced security policies throughout their life-cycle. Currently, security is just an afterthought, and most so ...
2008

Emergent semantics

Philippe Cudré-Mauroux

In the past, the problem of semantic interoperability in information systems was mostly solved by means of centralization, both at a system and at a logical level. This approach has been successful to a certain extent, but offers limited scalability and fl ...
EPFL2007

Logical concepts in cryptography

Simon Kramer

This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamen ...
EPFL2007

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.