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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast Python sampler for the von Mises Fisher distribution
Carlos Pinzón
,
Kangsoo Jung
2023
Preprints, Working Papers, ...
hal-04004568v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A double large prime variation for small genus hyperelliptic index calculus
Pierrick Gaudry
,
Emmanuel Thomé
,
Nicolas Thériault
,
Claus Diem
Journal articles
inria-00000897v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimal estimation for Large-Eddy Simulation of turbulence and application to the analysis of subgrid models
Antoine Moreau
,
Olivier Teytaud
,
Jean-Pierre Bertoglio
Journal articles
hal-00078115v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Resource-Aware Parameterizations of EDA
Sylvain Gelly
,
Olivier Teytaud
,
Christian Cagne
Congress on Evolutionary Computation , Jul 2006, Vancouver, BC, Canada
Conference papers
inria-00112803v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Privacy-preserving Method to Optimize Distributed Resource Allocation
Paulin Jacquot
,
Olivier Beaude
,
Pascal Benchimol
,
Stephane Gaubert
,
Nadia Oudjane
Journal articles
hal-02262271v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Doubly robust treatment effect estimation with missing attributes
Imke Mayer
,
Erik Sverdrup
,
Tobias Gauss
,
Jean-Denis Moyer
,
Stefan Wager
,
et al.
Journal articles
hal-02879332v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bacterial Metabolic Heterogeneity: from Stochastic to Deterministic Models
Carl Graham
,
Jérôme Harmand
,
Sylvie Méléard
,
Josué Tchouanti
Journal articles
hal-02592424v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A formal study of Bernstein coefficients and polynomials
Yves Bertot
,
Frédérique Guilhot
,
Assia Mahboubi
Journal articles
inria-00503017v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A continuation method for building invisible obstacles in waveguides
Antoine Bera
,
Anne-Sophie Bonnet-Ben Dhia
,
Lucas Chesnel
Journal articles
hal-02573706v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Factorize Factorization
Beniamino Accattoli
,
Claudia Faggian
,
Giulio Guerrieri
Conference papers
hal-03044338v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Extension of a SIR model for modelling the propagation of Covid-19 in several countries.
Marc Lavielle
,
Matthieu Faron
,
Jeremie Lefevre
,
Jean-David Zeitoun
2020
Preprints, Working Papers, ...
hal-02995305v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English.
⟨NNT : ⟩
Theses
pastel-00756952v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the asymptotics of a Robin eigenvalue problem
Fioralba Cakoni
,
Nicolas Chaulet
,
Houssem Haddar
Journal articles
hal-00907355v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Data assimilation of time under-sampled measurements using observers, the wave-like equation example
Nicolae Cindea
,
Alexandre Imperiale
,
Philippe Moireau
Journal articles
hal-01054551v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More