Concept

Formal proof

Related publications (116)

FCR: Fast and Consistent Controller-Replication in Software Defined Networking

Jean-Yves Le Boudec, Eleni Stai, Mia Primorac, Maaz Mashood Mohiuddin

We consider the problem of coordination among replicated SDN controllers, where the challenge is to ensure a consistent view of the network while reacting to network events in a prompt manner. Existing solutions are either consensus-based, which achieve co ...

2019

Convergence Of Variance-Reduced Learning Under Random Reshuffling

Ali H. Sayed, Bicheng Ying, Kun Yuan

Several useful variance-reduced stochastic gradient algorithms, such as SVRG, SAGA, Finito, and SAG, have been proposed to minimize empirical risks with linear convergence properties to the exact minimizers. The existing convergence results assume uniform ...

IEEE2018

Design and Evaluation of a Bowden-Cable-Based Remote Actuation System for Wearable Robotics

Roger Gassert, Olivier Lambercy

Wearable robots can assist motor-impaired individuals in activities of daily living, but weight is paramount for usability. Proximally placed actuators and remote actuation systems (RAS) minimize weight on users' extremities. State-of-the-art RAS employ pn ...

2018

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifi- cations and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 ...

2018

Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifications and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 in ...

IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG2018

Innovative methods to release fine sediments from seasonal reservoirs

Anton Schleiss, Giovanni De Cesare, Pedro Filipe De Almeida Manso, Azin Amini, Sabine Chamoun, Sebastián Guillén Ludeña

The papers present three innovative solutions for fine sediment manage- ments in seasonal reservoirs, which are at different stages of maturity. Operational reservoir stirring using jet-like inflows may facilitate sediment routing, at no addi- tional cost ...

CRC Press/Balkema2018

Variational Methods for Human Modeling

Timur Bagautdinov

A large part of computer vision research is devoted to building models and algorithms aimed at understanding human appearance and behaviour from images and videos. Ultimately, we want to build automated systems that are at least as capable as people when i ...

EPFL2018

In vivo imaging with microsphere-based super-resolution microscopy

Martinus Gijs, Gergely Huszka, Roger Philippe Krenger

Employing dielectric microspheres in a standard microscope setup is an alternative to image sub-diffraction features optically, however this method suffers from a limited field-of-view. Here, we show our microsphere-based optical super-resolution microscop ...

IEEE2018

The Industrial Ontologies Foundry Proof-of-Concept Project

The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide bene ...

SPRINGER-VERLAG BERLIN2018

Quantitative chemical biosensing by bacterial chemotaxis in microfluidic chips

Harald Van Lintel, Jan Roelof van der Meer, Clémence Roggo

Whole-cell bacterial bioreporters are proposed asalternatives to chemical analysis of, for example, pol-lutants in environmental compartments. Commonlybased on reporter gene induction, bioreporters pro-duce a detectable signal within 30 min to a few hoursa ...

Wiley-Blackwell2018

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.