Publications related to Communication Predicates: A high-level abstraction for coping with transient and dynamic faults

Wind-Topo_Model

Michael Lehning, Jérôme François Sylvain Dujardin

Model and Data: Dujardin, J.; Lehning, M. Wind-Topo_model. EnviDat 2022 ...

EPFL Infoscience2022

Automated Design: A Journey Across Modelling, Optimization, and Education

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

EPFL2021

A data-driven perspective on the colours of metal-organic frameworks

Berend Smit, Luc Patiny, Seyedmohamad Moosavi, Kevin Maik Jablonka, Mehrdad Asgari, Christopher Patrick Ireland

Colour is at the core of chemistry and has been fascinating humans since ancient times. It is also a key descriptor of optoelectronic properties of materials and is often used to assess the success of a synthesis. However, predicting the colour of a materi ...

2021

A double-structure hydromechanical constitutive model for compacted bentonite.

Lyesse Laloui, Yafei Qiao

This paper presents a double-structure elastoplastic constitutive model that can describe the hydromechanical behavior of compacted bentonite. The model is formulated based on a new developed double-structure hydromechanical framework that consists of four ...

2019

Methods and systems for secure data exchange

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias

The present invention concerns a computer-implemented method for secure data exchange between a sender (A) and a recipient (B), wherein the method is performed by the sender (A) and comprises encrypting data using a symmetric key k, creating a write transa ...

2019

Dynamic Modeling of Trip Completion Rate in Urban Areas with MFD Representations

Nikolaos Geroliminis, Anastasios Kouvelas, Raphael Ali Francis Lamotte, Mikhail Murashkin

A large part of the research utilizing the concept of Macroscopic Fundamental Diagram (MFD) relies heavily on the PL model, an approximation of the trip completion rate derived for steady states. There exists an alternative method to the PL approximation. ...

2018

Implications of Position in Cryptography

Handan Kilinç Alper

In our daily lives, people or devices frequently need to learn their location for many reasons as some services depend on the absolute location or the proximity. The outcomes of positioning systems can have critical effects e.g., on military, emergency. Th ...

EPFL2018

Provably Secure Authenticated Encryption

Damian Vizár

Authenticated Encryption (AE) is a symmetric key cryptographic primitive that ensures confidentiality and authenticity of processed messages at the same time. The research of AE as a primitive in its own right started in 2000. The security goals of AE wer ...

EPFL2018

Efficient Public-Key Distance Bounding Protocol

Serge Vaudenay, Handan Kilinç Alper

Distance bounding protocols become more and more important because they are the most accurate solution to defeat relay attacks. They consist of two parties: a verifier and a prover. The prover shows that (s)he is close enough to the verifier. In some appli ...

Springer-Verlag Berlin2016

Optimal polynomial blow up range for critical wave maps

Can Gao

We prove that the critical Wave Maps equation with target

S^2

and origin ℝ

^{2+1}

admits energy class blow up solutions of the form [ u(t, r) = Q(\lambda(t)r) + \epsilon(t, r) ] where

Q:ℝ²\rightarrow S^2

is the ground state harmonic map and $\lambda ...

EPFL2015

Communication Predicates: A high-level abstraction for coping with transient and dynamic faults

Graph Chatbot

Chat with Graph Search

Wind-Topo_Model

Automated Design: A Journey Across Modelling, Optimization, and Education

A data-driven perspective on the colours of metal-organic frameworks

A double-structure hydromechanical constitutive model for compacted bentonite.

Methods and systems for secure data exchange

Dynamic Modeling of Trip Completion Rate in Urban Areas with MFD Representations

Implications of Position in Cryptography

Provably Secure Authenticated Encryption

Efficient Public-Key Distance Bounding Protocol

Optimal polynomial blow up range for critical wave maps

A data-driven perspective on the colours of metal-organic frameworks

Automated Design: A Journey Across Modelling, Optimization, and Education

Wind-Topo_Model

Implications of Position in Cryptography

Methods and systems for secure data exchange

A double-structure hydromechanical constitutive model for compacted bentonite.

Dynamic Modeling of Trip Completion Rate in Urban Areas with MFD Representations

Efficient Public-Key Distance Bounding Protocol

Provably Secure Authenticated Encryption

Optimal polynomial blow up range for critical wave maps