Publications associées à Effective method

Bias Cancellation of MixColumns

Francesco Regazzoni, Subhadeep Banik, Andrea Felice Caforio

At COSADE'2020, Carre et al. established a novel biascancelling property of the AES MixColumns matrix that effectively corrects any skewed output distribution of a state byte due to a faulty substitution box. Consequently, any effected byte is rendered uni ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Textual Explanations and Critiques in Recommendation Systems

Diego Matteo Antognini

Artificial intelligence and machine learning algorithms have become ubiquitous. Although they offer a wide range of benefits, their adoption in decision-critical fields is limited by their lack of interpretability, particularly with textual data. Moreover, ...

EPFL2022

Accelerating materials discovery for solid state electrolytes

Matthieu Gilles Mottet

The development of new solid-state electrolytes is a key step in improving the performance and safety of battery technology. Although the use of first-principle methods has proved invaluable in better understanding the process at play in these materials, ...

EPFL2020

Penalization and Bayesian numerical methods for multiscale inverse problems

Andrea Di Blasio

In this thesis we consider inverse problems involving multiscale elliptic partial differential equations. The name multiscale indicates that these models are characterized by the presence of parameters which vary on different spatial scales (macroscopic, m ...

EPFL2019

Bridging the gap between dataplanes and commodity operating systems

Georgios Prekas

The conventional wisdom is that aggressive networking requirements, such as high packet rates for small messages and microsecond-scale tail latency, are best addressed outside the kernel, in a user-level networking stack. In particular, dataplanes borrow d ...

EPFL2018

Exact Synthesis of Majority-Inverter Graphs and Its Applications

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

We propose effective algorithms for exact synthesis of Boolean logic networks using satisfiability modulo theories (SMT) solvers. Since exact synthesis is a difficult problem, it can only be applied efficiently to very small functions, having up to 6 varia ...

Ieee-Inst Electrical Electronics Engineers Inc2017

Compilation Techniques for Incremental Collection Processing

Daniel Lupei

Many map-reduce frameworks as well as NoSQL systems rely on collection programming as their interface of choice due to its rich semantics along with an easily parallelizable set of primitives. Unfortunately, the potential of collection programming is not ...

EPFL2017

Numerical Approximation of Flows in Random Porous Media

Francesco Tesei

The objective of this thesis is to develop efficient numerical schemes to successfully tackle problems arising from the study of groundwater flows in a porous saturated medium; we deal therefore with partial differential equations(PDE) having random coeffi ...

EPFL2016

A Multi Level Monte Carlo Method with Control Variate for elliptic PDEs with log-normal coefficients

Fabio Nobile, Francesco Tesei

We consider the numerical approximation of the stochastic Darcy problem with log-normal permeability field and propose a novel Multi Level Monte Carlo (MLMC) approach with a control variate variance reduction technique on each level. We model the log-perme ...

2015

Online Authenticated-Encryption and its Nonce-Reuse Misuse-Resistance

Damian Vizár, Reza Reyhanitabar

A definition of online authenticated-encryption (OAE), call it OAE1, was given by Fleischmann, Forler, and Lucks (2012). It has become a popular definitional target because, despite allowing encryption to be online, security is supposed to be maintained ev ...

Springer2015

A Primal-dual Framework For Mixtures Of Regularisers

Volkan Cevher, Cosimo Aprile, Quoc Tran Dinh, Luca Baldassarre, Baran Gözcü

Effectively solving many inverse problems in engineering requires to leverage all possible prior information about the structure of the signal to be estimated. This often leads to tackling constrained optimization problems with mixtures of regularizers. Pr ...

2015

Modelling and compensation of thermal effects on an Ironless Inductive Position Sensor

Yves Perriard, Alessandro Danisi, Alessandro Masi

The Ironless Inductive Position Sensor can be the ideal candidate for linear position sensing in harsh environment and in presence of external magnetic fields. Starting from the validated electromagnetic characteristics, this paper presents a model of ther ...

Institute of Electrical and Electronics Engineers2014

Adaptive reduced basis finite element heterogeneous multiscale method

Assyr Abdulle, Yun Bai

An adaptive reduced basis finite element heterogeneous multiscale method (RB-FE-HMM) is proposed for elliptic problems with multiple scales. The multiscale method is based on the RB-FE-HMM introduced in [A. Abdulle, Y. Bai, Reduced basis finite element het ...

Elsevier2013

Collaboration and abstract representations: towards predictive models based on raw speech and eye-tracking data

Pierre Dillenbourg, Patrick Jermann, Mirweis Sangin, Marc-Antoine Nüssli

This study aims to explore the possibility of using machine learning techniques to build predictive models of performance in collaborative induction tasks. More specifically, we explored how signal-level data, like eye-gaze data and raw speech may be used ...

International Society of the Learning Sciences2009

Grouping of contextual elements that affect vernier thresholds

Michael Herzog

To reveal the mechanisms of spatial interference in the fovea, we examined the capacity of a variety of lateral flanking configurations to interfere with alignment thresholds of a vertical vernier. A single line on each side of the vernier, at the optimal ...

Association for Research in Vision and Ophthalmology2007