Publications associées à Arrondi (mathématiques)

A mixed precision LOBPCG algorithm

The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mix ...

SPRINGER2023

On the possibility of extending the service life of winter roads using renewable energy sources

Elizaveta Sharaborova

It is hard to overestimate the role of winter roads in the land logistics of the northern regions. In recent years, climate change has not only significantly reduced the service life of winter roads, but also made them less predictable. This forces transpo ...

2023

Orthros: A Low-Latency PRF

Subhadeep Banik

We present Orthros, a 128-bit block pseudorandom function. It is designed with primary focus on latency of fully unrolled circuits. For this purpose, we adopt a parallel structure comprising two keyed permutations. The round function of each permutation is ...

2021

The Area-Latency Symbiosis: Towards Improved Serial Encryption Circuits

Subhadeep Banik, Muhammed Fatih Balli, Andrea Felice Caforio

The bit-sliding paper of Jean et al. (CHES 2017) showed that the smallest-size circuit for SPN based block ciphers such as AES, SKINNY and PRESENT can be achieved via bit-serial implementations. Their technique decreases the bit size of the datapath and na ...

2020

A multiphase CMAQ version 5.0 adjoint

Athanasios Nenes

We present the development of a multiphase adjoint for the Community Multiscale Air Quality (CMAQ) model, a widely used chemical transport model. The adjoint model provides location- and time-specific gradients that can be used in various applications such ...

2020

Survey of Precision-Scalable Multiply-Accumulate Units for Neural-Network Processing

Christian Enz, Vincent Frédéric Camus

The current trend for deep learning has come with an enormous computational need for billions of Multiply-Accumulate (MAC) operations per inference. Fortunately, reduced precision has demonstrated large benefits with low impact on accuracy, paving the way ...

IEEE2019

Numerical Modelling of Two-Phase Flow with Moving Boundary Fitted Meshes

Erik Gros

In this thesis, a computational approach is used to study two-phase flow including phase change by direct numerical simulation. This approach follows the interface with an adaptive moving mesh. The incompressible Navier-Stokes equations are solved, in tw ...

EPFL2018

Interface-fitted moving mesh method for axisymmetric two-phase flow in microchannels

John Richard Thome, Gustavo Rabello Dos Anjos, Erik Gros

A boundary-fitted moving mesh scheme is presented for the simulation of two-phase flow in two-dimensional and axisymmetric geometries. The incompressible Navier-Stokes equations are solved using the finite element method, and the mini element is used to sa ...

Wiley2018

Lonely Runner Polyhedra

Matthias Schymura

We study the Lonely Runner Conjecture, conceived by Jörg M. Wills in the 1960's: Given positive integers n_1, n_2, ... , n_k, there exists a positive real number t such that for all 1 \le j \le k the distance of t n_j to the nearest integer is at least 1 / ...

2019

Generic Round-Function-Recovery Attacks for Feistel Networks over Small Domains

Serge Vaudenay, Fatma Betül Durak

Feistel Networks (FN) are now being used massively to encrypt credit card numbers through format-preserving encryption. In our work, we focus on FN with two branches, entirely unknown round functions, modular additions (or other group operations), and when ...

2018

Generic Round-Function-Recovery Attacks for Feistel Networks over Small Domains

Serge Vaudenay, Fatma Betül Durak

Feistel Networks (FN) are now being used massively to encrypt credit card numbers through format-preserving encryption. In our work, we focus on FN with two branches, entirely unknown round functions, modular additions (or other group operations), and when ...

ePrint2018

Modelling of plasmonic systems : advanced numerical methods and applications

Raziman Thottungal Valapu

Metallic nanostructures interact in complex ways with light, forming the subject of plasmonics and bringing novel physical phenomena and practical applications. The fundamental and practical importance of plasmonics necessitates the development of a multit ...

EPFL2016

Better Algorithms for LWE and LWR

Serge Vaudenay, Alexandre Raphaël Duc, Florian Tramèr

The Learning With Error problem (LWE) is becoming more and more used in cryptography, for instance, in the design of some fully homomorphic encryption schemes. It is thus of primordial importance to find the best algorithms that might solve this problem so ...

Springer2015

Aggressively Truncated Taylor Series Method For Accurate Computation Of Exponentials Of Essentially Nonnegative Matrices

Meiyue Shao

Small relative perturbations to the entries of an essentially nonnegative matrix introduce small relative errors to entries of its exponential. It is thus desirable to compute the exponential with high componentwise relative accuracy. Taylor series approxi ...

Siam Publications2014

Coding Structure and Replication Optimization for Interactive Multiview Video Streaming

Pascal Frossard

Multiview video refers to videos of the same dynamic 3-D scene captured simultaneously by multiple closely spaced cameras from different viewpoints. We study interactive streaming of pre-encoded multiview videos, where, at any time, a client can request an ...

Ieee-Inst Electrical Electronics Engineers Inc2014

On the use of inexact, pruned hardware in atmospheric modelling

Giovanni De Micheli, Jaime Joven Murillo, Avinash Lingamneni

Inexact hardware design, which advocates trading the accuracy of computations in exchange for significant savings in area, power and/or performance of computing hardware, has received increasing prominence in several error-tolerant application domains, par ...

Royal Soc2014

Multi-Objective Quality-Driven Service Selection-A Fully Polynomial Time Approximation Scheme

Boi Faltings, Immanuel Trummer

The goal of multi-objective quality-driven service selection (QDSS) is to find service selections for a workflow whose quality-of-service (QoS) values are Pareto-optimal. We consider multiple QoS attributes such as response time, cost, and reliability. A s ...

Institute of Electrical and Electronics Engineers2014

Randomized recovery for boolean compressed sensing

Martin Vetterli, Mitra Fatemi

We consider the problem of boolean compressed sensing, which is alternatively known as group testing. The goal is to recover a small number of defective items in a large set from a few collective binary tests. This problem can be formulated as a binary lin ...

2013

Testing additive integrality gaps

Friedrich Eisenbrand, Gennady Shmonin, Nicolai Hähnle

We consider the problem of testing whether the maximum additive integrality gap of a family of integer programs in standard form is bounded by a given constant. This can be viewed as a generalization of the integer rounding property, which can be tested in ...

Springer Berlin Heidelberg2013

Al2O3 particle rounding in molten copper and Cu8wt%Al

Andreas Mortensen

We investigate processing-microstructure relationships in the production of Al2O3 particle reinforced copper composites by solidification processing. We show that during production of the composites by gas-pressure infiltration of packed Al2O3 particle pre ...

Springer US2012