Concept
Test de primalité AKS
Publications associées (22)
Results on Sparse Integer Programming and Geometric Independent Sets
An integer linear program is a problem of the form max{c^T x : Ax=b, x >= 0, x integer}, where A is in Z^(n x m), b in Z^m, and c in Z^n.Solving an integer linear program is NP-hard in general, but there are several assumptions for which it becomes fixed p ...
EPFL2023Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier
Interactive oracle proofs (IOPs) are a multi-round generalization of probabilistically checkable proofs that play a fundamental role in the construction of efficient cryptographic proofs. We present an IOP that simultaneously achieves the properties of zer ...
SPRINGER INTERNATIONAL PUBLISHING AG2022Monte Carlo Estimators for Differential Light Transport
Wenzel Alban Jakob, Tizian Lucien Zeltner, Sébastien Nicolas Speierer
Physically based differentiable rendering algorithms propagate derivatives through realistic light transport simulations and have applications in diverse areas including inverse reconstruction and machine learning. Recent progress has led to unbiased metho ...
ASSOC COMPUTING MACHINERY2021Light Path Gradients for Forward and Inverse Rendering
Physically based rendering is a process for photorealistic digital image synthesis and one of the core problems in computer graphics. It involves simulating the light transport, i.e. the emission, propagation, and scattering of light through a virtual scen ...
EPFL2021On the cortical connectivity in the macaque brain: A comparison of diffusion tractography and histological tracing data
Jean-Philippe Thiran, Gabriel Girard, Maxime Descoteaux, Giorgio Innocenti, Tim Bjørn Dyrby
Diffusion-weighted magnetic resonance imaging (DW-MRI) tractography is a non-invasive tool to probe neural connections and the structure of the white matter. It has been applied successfully in studies of neurological disorders and normal connectivity. Rec ...
2020Measurement and characterization of room impulse responses
Room acoustics refers to the audio capture of an enclosed room. It can be seen as its color and fully describes the characteristics of the room, including the shape, size or the population. The goal of the project is to set up a database of Room impulse re ...
2016Pro Free Will Priming Enhances "Risk-Taking" Behavior in the Iowa Gambling Task, but Not in the Balloon Analogue Risk Task: Two Independent Priming Studies
Christine Mohr, Noé Thomas Elie Ohana, Alessandro Tremea
Studies indicated that people behave less responsibly after exposure to information containing deterministic statements as compared to free will statements or neutral statements. Thus, deterministic primes should lead to enhanced risk-taking behavior. We t ...
Public Library Science2016Subspace Detection of DNN Posterior Probabilities via Sparse Representation for Query by Example Spoken Term Detection
Hervé Bourlard, Afsaneh Asaei, Dhananjay Ram
We cast the query by example spoken term detection (QbE-STD) problem as subspace detection where query and background subspaces are modeled as union of low-dimensional subspaces. The speech exemplars used for subspace modeling are class-conditional posteri ...
Idiap2016OpenBuild : An Integrated Simulation Environment for Building Control
Colin Neil Jones, Tomasz Tadeusz Gorecki, Faran Ahmed Qureshi
This paper introduces the OpenBuild toolbox for MATLAB. OpenBuild is a toolbox for advanced controller design for buildings heating ventilation and air conditioning systems, with emphasis on Model Predictive Control. It pro- vides researchers in the contro ...
IEEE2015An efficient deterministic test for Kloosterman sum zeros
We propose a simple deterministic test for deciding whether or not a non-zero element or is a zero of the corresponding Kloosterman sum over these fields, and analyse its complexity. The test seems to have been o ...
American Mathematical Society2014