Search - École polytechnique Access content directly

Filter your results

3 801 Results
Structure: Internal structure identifier : 118511
Image document

Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms

Olga Roudenko , Marc Schoenauer
Parallel Problem Solving from Nature 2004, 2004, Birmingham, pp.812-821
Conference papers inria-00000095v1
Image document

Fast Python sampler for the von Mises Fisher distribution

Carlos Pinzón , Kangsoo Jung
Preprints, Working Papers, ... hal-04004568v3
Image document

A double large prime variation for small genus hyperelliptic index calculus

Pierrick Gaudry , Emmanuel Thomé , Nicolas Thériault , Claus Diem
Mathematics of Computation, 2007, 76, pp.475-492. ⟨10.1090/S0025-5718-06-01900-4⟩
Journal articles inria-00000897v1
Image document

Optimal estimation for Large-Eddy Simulation of turbulence and application to the analysis of subgrid models

Antoine Moreau , Olivier Teytaud , Jean-Pierre Bertoglio
Physics of Fluids, 2006, 18, pp.105101. ⟨10.1063/1.2357974⟩
Journal articles hal-00078115v2
Image document

Resource-Aware Parameterizations of EDA

Sylvain Gelly , Olivier Teytaud , Christian Cagne
Congress on Evolutionary Computation, Jul 2006, Vancouver, BC, Canada
Conference papers inria-00112803v1
Image document

A Privacy-preserving Method to Optimize Distributed Resource Allocation

Paulin Jacquot , Olivier Beaude , Pascal Benchimol , Stephane Gaubert , Nadia Oudjane
SIAM Journal on Optimization, 2020, 30 (3), pp.2303-2336. ⟨10.1137/19M127879X⟩
Journal articles hal-02262271v3

Doubly robust treatment effect estimation with missing attributes

Imke Mayer , Erik Sverdrup , Tobias Gauss , Jean-Denis Moyer , Stefan Wager , et al.
Annals of Applied Statistics, 2020, 14 (3), pp.1409-1431. ⟨10.1214/20-AOAS1356⟩
Journal articles hal-02879332v1
Image document

Bacterial Metabolic Heterogeneity: from Stochastic to Deterministic Models

Carl Graham , Jérôme Harmand , Sylvie Méléard , Josué Tchouanti
Mathematical Biosciences and Engineering, 2020, 17 (5), pp.5120-5133. ⟨10.3934/mbe.2020276⟩
Journal articles hal-02592424v1
Image document

Geom-SPIDER-EM: Faster Variance Reduced Stochastic Expectation Maximization for Nonconvex Finite-Sum Optimization

Gersende Fort , Eric Moulines , Hoi-To Wai
2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Jun 2021, Toronto, Canada
Conference papers hal-03021394v2
Image document

A formal study of Bernstein coefficients and polynomials

Yves Bertot , Frédérique Guilhot , Assia Mahboubi
Mathematical Structures in Computer Science, 2011, 21 (04), pp.731-761. ⟨10.1017/S0960129511000090⟩
Journal articles inria-00503017v2

Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection

Ehab Elsalamouny , Catuscia Palamidessi
EuroS&P 2020 - 5th IEEE European Symposium on Security and Privacy, Sep 2020, Genova, Italy. pp.490-507
Conference papers hal-03091504v1
Image document

A continuation method for building invisible obstacles in waveguides

Antoine Bera , Anne-Sophie Bonnet-Ben Dhia , Lucas Chesnel
Quarterly Journal of Mechanics and Applied Mathematics, 2021, 74 (1), pp.83-116. ⟨10.1093/qjmam/hbaa020⟩
Journal articles hal-02573706v2
Image document

FPC-Coq: Using ELPI to elaborate external proof evidence into Coq proofs

Roberto Blanco , Matteo Manighetti , Dale Miller
[Research Report] Inria Saclay. 2020
Reports hal-02974002v1
Image document

Debiasing Stochastic Gradient Descent to handle missing values

Aude Sportisse , Claire Boyer , Aymeric Dieuleveut , Julie Josse
NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Conference papers hal-02483651v2
Image document

A Bayesian Approach for Quantile Optimization Problems with High-Dimensional Uncertainty Sources

Christian Sabater , Olivier Le Maitre , Pietro Marco Congedo , Stefan Görtz
Computer Methods in Applied Mechanics and Engineering, 2021, 376, pp.113632
Journal articles hal-03086453v1
Image document

Factorize Factorization

Beniamino Accattoli , Claudia Faggian , Giulio Guerrieri
CSL 2021 - 29th EACSL Annual Conference on Computer Science Logic, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.22⟩
Conference papers hal-03044338v1

Extension of a SIR model for modelling the propagation of Covid-19 in several countries.

Marc Lavielle , Matthieu Faron , Jeremie Lefevre , Jean-David Zeitoun
Preprints, Working Papers, ... hal-02995305v1
Image document

Importing SMT and Connection proofs as expansion trees

Giselle Reis
PxTP 2015 - Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.186.3⟩
Conference papers hal-01208325v1

Optimized Asynchronous Multi-channel Discovery of IEEE 802.15.4-based Wireless Personal Area Networks

Niels Karowski , Aline Carneiro Viana , Adam Wolisz
IEEE Transactions on Mobile Computing, 2012
Journal articles hal-00758844v1
Image document

Bisimulation Techniques and Algorithms for Concurrent Constraint Programming

Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses pastel-00756952v1

Efficient and Reliable Communications for Data Gathering Applications in Wireless Sensor Networks

Ichrak Amdouni , Pascale Minet , Cédric Adjih
PEMWN 2012 - First International Workshop on Performance Evaluation and Modeling in Wireless Networks, Nov 2012, Tunis, Tunisia
Conference papers hal-00757311v1
Image document

Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture

Stéphane Graham-Lengrand
22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'13), Sep 2013, Nancy, France. pp.149--156
Conference papers hal-00906789v1

On the asymptotics of a Robin eigenvalue problem

Fioralba Cakoni , Nicolas Chaulet , Houssem Haddar
Comptes Rendus. Mathématique, 2013, 351, pp.517-521. ⟨10.1016/j.crma.2013.07.022⟩
Journal articles hal-00907355v1
Image document

Volatility made observable at last

Michel Fliess , Cédric Join , Frédéric Hatt
3èmes Journées Identification et Modélisation Expérimentale, JIME'2011, Apr 2011, Douai, France. pp.CDROM
Conference papers hal-00562488v1
Image document

An Intensional Concurrent Faithful Encoding of Turing Machines

Thomas Given-Wilson
7th Interaction and Concurrency Experience (ICE 2014), Jun 2014, Berlin, Germany. pp.21-37, ⟨10.4204/EPTCS.166.4⟩
Conference papers hal-00987594v3
Image document

Routing Loops in DAG-based Low Power and Lossy Networks

Weigao Xie , Mukul Goyal , Hossein Hosseini , Jerald Martocci , Yusuf Bashir , et al.
24th IEEE International Conference on Advanced Information Networking and Applications, Apr 2010, Perth, Australia. pp.888 - 895, ⟨10.1109/AINA.2010.126⟩
Conference papers hal-00651582v1
Image document

Pseudo-Weight: Making Tabletop Interaction with Virtual Objects More Tangible

Chantal Keller , Jérémy Bluteau , Renaud Blanch , Sabine Coquillart
Proceedings of the 2012 ACM international conference on Interactive Tabletops and Surfaces (ITS 2012), 2012, Cambridge, MA, United States. pp.201-204, ⟨10.1145/2396636.2451335⟩
Conference papers hal-00953336v1
Image document

Data assimilation of time under-sampled measurements using observers, the wave-like equation example

Nicolae Cindea , Alexandre Imperiale , Philippe Moireau
ESAIM: Control, Optimisation and Calculus of Variations, 2015, pp.35. ⟨10.1051/cocv/2014042⟩
Journal articles hal-01054551v1
Image document

Putting data delivery into context: Design and evaluation of adaptive networking support for successful communication in wireless self-organizing networks

Aline Carneiro Viana
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2011
Habilitation à diriger des recherches tel-00653813v1

Tropical bounds for eigenvalues of matrices using Hungarian dual variables

Marianne Akian , Stéphane Gaubert , Andrea Marchesini
ILAS, Aug 2014, Seoul, South Korea
Conference papers hal-01104401v1