Publications

Sort by author:
Sort by project:

2019

Conference papers

titre
Adaptive Mesh Texture for Multi-View Appearance Modeling
auteur
Matthieu Armando, Jean-Sébastien Franco, Edmond Boyer
article
3DV 2019 – 7th International Conference on 3D Vision, Sep 2019, Quebec City, Canada. pp.1-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02284101/file/3dv2019submission.pdf BibTex
titre
Formally Verified Cryptographic Web Applications in WebAssembly
auteur
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
article
SP 2019 – 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02294935/file/sp19.pdf BibTex
titre
Meta-F*: Proof automation with SMT, Tactics, and Metaprograms
auteur
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
article
ESOP’19 – European Symposium on Programming, Apr 2019, Prague, Czech Republic
Accès au bibtex
https://arxiv.org/pdf/1803.06547 BibTex
titre
Formal Proofs of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq and Isabelle
auteur
Ran Chen, Cyril Cohen, Jean-Jacques Levy, Stephan Merz, Laurent Théry
article
ITP 2019 – 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.13:1 – 13:19, ⟨10.4230/LIPIcs.ITP.2019.13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02303987/file/LIPIcs-ITP-2019-13.pdf BibTex

Reports

titre
Who started this rumor? Quantifying the natural differential privacy guarantees of gossip protocols
auteur
Aurélien Bellet, Rachid Guerraoui, Hadrien Hendrikx
article
[Research Report] Inria. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02166432/file/1902.07138.pdf BibTex

Preprints, Working Papers, …

titre
An Accelerated Decentralized Stochastic Proximal Algorithm for Finite Sums
auteur
Hadrien Hendrikx, Francis Bach, Laurent Massoulié
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02280763/file/1905.11394.pdf BibTex

2018

Journal articles

titre
An impossibility result for reconstruction in the degree-corrected stochastic block model
auteur
Lennart Gulikers, Marc Lelarge, Laurent Massoulié
article
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2018, 28 (5), pp.3002-3027
Accès au bibtex
https://arxiv.org/pdf/1511.00546 BibTex
titre
Group synchronization on grids
auteur
Emmanuel Abbe, Laurent Massoulié, Andrea Montanari, Allan Sly, Nikhil Srivastava
article
Mathematical Statistics and Learning, EMS Publishing House, 2018
Accès au bibtex
https://arxiv.org/pdf/1706.08561 BibTex
titre
On the Capacity of Information Processing Systems
auteur
Laurent Massoulié, Kuang Xu
article
Operations Research, INFORMS, 2018, 66 (2), pp.568-586
Accès au bibtex
BibTex
titre
Nonbacktracking spectrum of random graphs: Community detection and nonregular Ramanujan graphs
auteur
Charles Bordenave, Marc Lelarge, Laurent Massoulié
article
Annals of Probability, Institute of Mathematical Statistics, 2018, 46 (1), pp.1-71
Accès au bibtex
BibTex

Conference papers

titre
Trading Optimality for Performance in Location Privacy
auteur
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
article
11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678256/file/1710.05524.pdf BibTex
titre
Who started this gossip? Differentially private rumor spreading
auteur
Aurélien Bellet, Rachid Guerraoui, Hadrien Hendrikx
article
NeurIPS 2018 Workshop on Privacy Preserving Machine Learning, 2018, Long Beach, United States
Accès au bibtex
BibTex

Reports

titre
Differential Inference Testing A Practical Approach to Evaluate Anonymized Data
auteur
Ali Kassem, Gergely Acs, Claude Castelluccia, Catuscia Palamidessi
article
[Research Report] INRIA. 2018, pp.1-21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01681014/file/main.pdf BibTex

Theses

titre
Convolutional neural networks: towards less supervision for visual recognition
auteur
Maxime Oquab
article
Computer Science [cs]. Ecole Normale Supérieure (ENS); ED 386 : École doctorale de sciences mathématiques de Paris centre, UPMC, 2018. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01803967/file/Oquab%20PhD%20Thesis.pdf BibTex

Preprints, Working Papers, …

titre
A Contextual Bandit Bake-off
auteur
Alberto Bietti, Alekh Agarwal, John Langford
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01708310/file/main.pdf BibTex
titre
Accelerated decentralized optimization with local updates for smooth and strongly convex objectives
auteur
Hadrien Hendrikx, Francis Bach, Laurent Massoulié
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01893568/file/1810.02660.pdf BibTex

2017

Journal articles

titre
On the Compositionality of Quantitative Information Flow
auteur
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-31
Accès au bibtex
https://arxiv.org/pdf/1611.00455 BibTex
titre
Poly-symmetry in processor-sharing systems
auteur
Thomas Bonald, Céline Comte, Virag Shah, Gustavo de Veciana
article
Queueing Systems, Springer Verlag, 2017, ⟨10.1007/s11134-017-9525-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01513544/file/paper.pdf BibTex
titre
A spectral method for community detection in moderately sparse degree-corrected stochastic block models
auteur
Lennart Gulikers, Marc Lelarge, Laurent Massoulié
article
Advances in Applied Probability, Applied Probability Trust, 2017, 49 (03), pp.686 – 721. ⟨10.1017/apr.2017.18⟩
Accès au bibtex
BibTex
titre
Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements
auteur
Loïc Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
article
Medical Image Analysis, Elsevier, 2017, 36, pp.79 – 97. ⟨10.1016/j.media.2016.09.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01149544/file/lefolgoc2016MedIA-accepted-HAL-version.pdf BibTex
titre
A messy state of the union: taming the composite state machines of TLS
auteur
Karthikeyan Bhargavan, Benjamin Beurdouche, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
article
Communications of the ACM, ACM, 2017, 60 (2), pp.99 – 107. ⟨10.1145/3023357⟩
Accès au bibtex
BibTex
titre
Methods for Location Privacy: A comparative overview
auteur
Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi, Anna Pazii
article
Foundations and Trends® in Privacy and Security , Now publishers inc, 2017, 1 (4), pp.199-257. ⟨10.1561/3300000017⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01421457/file/main.pdf BibTex
titre
Efficient Utility Improvement for Location Privacy
auteur
Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2017, 2017 (4), pp.308-328. ⟨10.1515/popets-2017-0051⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01422842/file/PoPETS-published.pdf BibTex
titre
Quantifying Leakage in the Presence of Unreliable Sources of Information
auteur
Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone
article
Journal of Computer and System Sciences, Elsevier, 2017, 88, pp.27-52
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01421417/file/belief.pdf BibTex
titre
Magnostics: Image-based Search of Interesting Matrix Views for Guided Network Exploration
auteur
Michael Behrisch, Benjamin Bach, Michael Hund, Michael Delz, Laura von Rüden, Jean-Daniel Fekete, Tobias Schreck
article
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2017, pp.1. ⟨10.1109/TVCG.2016.2598467⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01377861/file/Magnostics.pdf BibTex

Conference papers

titre
Invariance and Stability of Deep Convolutional Representations
auteur
Alberto Bietti, Julien Mairal
article
NIPS 2017 – 31st Conference on Advances in Neural Information Processing Systems, Dec 2017, Los Angeles, CA, United States. pp.1622-1632
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01630265/file/stability-nips.pdf BibTex
titre
Stochastic Optimization with Variance Reduction for Infinite Datasets with Finite-Sum Structure
auteur
Alberto Bietti, Julien Mairal
article
NIPS 2017 – Advances in Neural Information Processing Systems, Dec 2017, Long Beach, CA, United States. pp.1622-1632
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01375816/file/stoch-miso-nips.pdf BibTex
titre
Rapid Mixing of Local Dynamics on Graphs
auteur
Laurent Massoulié
article
31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01940437/file/BA_DISC_2017.pdf BibTex
titre
Adaptive Matching for Expert Systems with Uncertain Task Types
auteur
Virag Shah, Lennart Gulikers, Laurent Massoulié, Milan Vojnovic
article
Allerton 2017 – 55th Annual Allerton Conference on Communication, Control, and Computing, Oct 2017, Monticello, IL, United States
Accès au bibtex
https://arxiv.org/pdf/1703.00674 BibTex
titre
Towards a Faster Randomized Parcellation Based Inference
auteur
Andrés Hoyos-Idrobo, Gaël Varoquaux, Bertrand Thirion
article
PRNI 2017 – 7th International Workshop on Pattern Recognition in NeuroImaging, Jun 2017, Toronto, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01552237/file/paper.pdf BibTex
titre
Non-Backtracking Spectrum of Degree-Corrected Stochastic Block Models
auteur
Lennart Gulikers, Marc Lelarge, Laurent Massoulié
article
ITCS 2017 – 8th Innovations in Theoretical Computer Science, Jan 2017, Berkeley, United States. pp.1-52
Accès au bibtex
https://arxiv.org/pdf/1609.02487 BibTex

Reports

titre
A general proof certification framework for modal logic
auteur
Tomer Libal, Marco Volpe
article
[Research Report] INRIA. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01643126/file/CertificationGeneral-TR.pdf BibTex

Theses

titre
Ensembles of models in fMRI : stable learning in large-scale settings
auteur
Andrés Hoyos-Idrobo
article
Medical Imaging. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS029⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01526693/file/75820_HOYOS_IDROBO_2017_diffusion.pdf BibTex

Preprints, Working Papers, …

titre
Certification of labeled proofs for modal logics with geometric frame conditions
auteur
Tomer Libal, Marco Volpe
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01643120/file/CertificationLabeled-TR.pdf BibTex
titre
Optimal algorithms for smooth and strongly convex distributed optimization in networks
auteur
Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01478317/file/distributed_dual_axiv.pdf BibTex

2016

Journal articles

titre
Quantifying Registration Uncertainty with Sparse Bayesian Modelling
auteur
Loïc Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
article
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2016, PP (99), ⟨10.1109/TMI.2016.2623608⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378844/file/lefolgoc2016quantifying-HAL-manuscript.pdf BibTex
titre
Compositional methods for information-hiding
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006384/file/journal.pdf BibTex
titre
Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data
auteur
Benjamin Bach, Conglei Shi, Nicolas Heulot, Tara Madhyastha, Tom Grabowski, Pierre Dragicevic
article
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (1), ⟨10.1109/TVCG.2015.2467851⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01205821/file/main.pdf BibTex
titre
Matrix Reordering Methods for Table and Network Visualization
auteur
Michael Behrisch, Benjamin Bach, Nathalie Henry Riche, Tobias Schreck, Jean-Daniel Fekete
article
Computer Graphics Forum, Wiley, 2016, 35, pp.24. ⟨10.1111/cgf.12935⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01326759/file/MatrixReorderingSTAR.pdf BibTex
titre
Differential Privacy Models for Location- Based Services
auteur
Ehab Elsalamouny, Sébastien Gambs
article
Transactions on Data Privacy, IIIA-CSIC, 2016, 9 (1), pp.15 – 48
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01418136/file/tdp.a220a15.pdf BibTex
titre
Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields
auteur
Alin Bostan, Guillaume Chèze, Thomas Cluzeau, Jacques-Arthur Weil
article
Mathematics of Computation, American Mathematical Society, 2016, 85 (299), pp.1393–1425
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00871663/file/BoChClWe14.pdf BibTex
titre
Multi-Objective Scheduling of Scientific Workflows in Multisite Clouds
auteur
Ji Liu, Esther Pacitti, Patrick Valduriez, Daniel de Oliveira, Marta Mattoso
article
Future Generation Computer Systems, Elsevier, 2016, 63, pp.76-95. ⟨10.1016/j.future.2016.04.014⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01342203/file/FGCS-2016.pdf BibTex
titre
Preserving differential privacy under finite-precision semantics
auteur
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
article
Theoretical Computer Science, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390927/file/gazeau-draft-2014.pdf BibTex

Conference papers

titre
PAC-Bayesian Theory Meets Bayesian Inference
auteur
Pascal Germain, Francis Bach, Alexandre Lacoste, Simon Lacoste-Julien
article
Neural Information Processing Systems (NIPS 2016), Dec 2016, Barcelone, Spain. pp.1876-1884
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01324072/file/BPB.pdf BibTex
titre
Managing Hot Metadata for Scientific Workflows on Multisite Clouds
auteur
Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
article
Big Data, Dec 2016, Washington, DC, United States. pp.390-397, ⟨10.1109/BigData.2016.7840628⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01395715/file/BIGDATA2016-final.pdf BibTex
titre
Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms
auteur
Alejandro Arbelaez, Charlotte Truchet, Barry O’Sullivan
article
ICTAI’16 – 28th International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, United States
Accès au bibtex
BibTex
titre
Deep Part-Based Generative Shape Model with Latent Variables
auteur
Alexander Kirillov, Mikhail Gavrikov, Ekaterina Lobacheva, Anton Osokin, Dmitry Vetrov
article
27th British Machine Vision Conference (BMVC 2016), Sep 2016, York, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01404071/file/kirillov16.pdf BibTex
titre
Social Clicks: What and Who Gets Read on Twitter?
auteur
Maksym Gabielkov, Arthi Ramachandran, Augustin Chaintreau, Arnaud Legout
article
ACM SIGMETRICS / IFIP Performance 2016, Jun 2016, Antibes Juan-les-Pins, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281190/file/sigm095-gabielkov.pdf BibTex
titre
Unsupervised Learning from Narrated Instruction Videos
auteur
Jean-Baptiste Alayrac, Piotr Bojanowski, Nishant Agrawal, Josef Sivic, Ivan Laptev, Simon Lacoste-Julien
article
CVPR2016 – 29th IEEE Conference on Computer Vision and Pattern Recognition, Jun 2016, Las Vegas, United States
Accès au bibtex
https://arxiv.org/pdf/1506.09215 BibTex
titre
Telling Stories about Dynamic Networks with Graph Comics
auteur
Benjamin Bach, Natalie Kerracher, Kyle Wm. Hall, Sheelagh Carpendale, Jessie Kennedy, Nathalie Henry Riche
article
Proceedings of the Conference on Human Factors in Information Systems (CHI), ACM, New York, United States, May 2016, New York, United States. ⟨10.1145/2858036.2858387⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01256099/file/Bach2016graphcomics.pdf BibTex
titre
Breaking Sticks and Ambiguities with Adaptive Skip-gram
auteur
Sergey Bartunov, Dmitry Kondrashkin, Anton Osokin, Dmitry Vetrov
article
Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS), May 2016, Cadiz, Spain. pp.130-138
Accès au bibtex
https://arxiv.org/pdf/1502.07257 BibTex
titre
A utility optimization approach to network cache design
auteur
Mostafa Dehghan, Laurent Massoulié, Don Towsley, Daniel Sadoc Menasche, Yong Chiang Tay
article
IEEE INFOCOM 2016 – The 35th Annual IEEE International Conference on Computer Communications, Apr 2016, San Francisco, United States. ⟨10.1109/INFOCOM.2016.7524445⟩
Accès au bibtex
BibTex
titre
On the capacity of information processing systems
auteur
Laurent Massoulié, Kuang Xu
article
29th Annual Conference on Learning Theory, Jun 2016, New York, United States
Accès au bibtex
BibTex
titre
Weakly-Supervised Semantic Segmentation using Motion Cues
auteur
Pavel Tokmakov, Karteek Alahari, Cordelia Schmid
article
ECCV – European Conference on Computer Vision, Oct 2016, Amsterdam, Netherlands. pp.388-404, ⟨10.1007/978-3-319-46493-0_24⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01292794/file/mcnn.pdf BibTex
titre
Axioms for Information Leakage
auteur
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
article
29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01330414/file/csf16-FinalVersion-CameraReady.pdf BibTex
titre
Proving Determinacy of the PharOS Real-Time Operating System
auteur
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
article
Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01322335/file/final.pdf BibTex
titre
Encoding TLA+ into Many-Sorted First-Order Logic
auteur
Stephan Merz, Hernán Vanzetto
article
Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, 2016, Linz, Austria. pp.54-69, ⟨10.1007/978-3-319-33600-8_3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01322328/file/tla2smt.pdf BibTex
titre
A Rigorous Correctness Proof for Pastry
auteur
Noran Azmy, Stephan Merz, Christoph Weidenbach
article
Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, 2016, Linz, Austria. pp.86-101, ⟨10.1007/978-3-319-33600-8_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01322342/file/Main.pdf BibTex
titre
Minding the Gaps for Block Frank-Wolfe Optimization of Structured SVMs
auteur
Anton Osokin, Jean-Baptiste Alayrac, Isabella Lukasewitz, Puneet K. Dokania, Simon Lacoste-Julien
article
International Conference on Machine Learning (ICML 2016)., 2016, New York, United States
Accès au bibtex
https://arxiv.org/pdf/1605.09346 BibTex
titre
Slicing Concurrent Constraint Programs
auteur
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
article
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016, Edinburgh, United Kingdom
Accès au bibtex
https://arxiv.org/pdf/1608.05252 BibTex
titre
ContextLocNet: Context-Aware Deep Network Models for Weakly Supervised Localization
auteur
Vadim Kantorov, Maxime Oquab, Minsu Cho, Ivan Laptev
article
ECCV 2016, Oct 2016, Amsterdam, Netherlands. pp.350 – 365, ⟨10.1007/978-3-319-46454-1_22⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01421772/file/contextlocnet_eccv2016.pdf BibTex
titre
Scientific Workflow Execution with Multiple Objectives in Multisite Clouds
auteur
Ji Liu, Esther Pacitti, Patrick Valduriez, Daniel de Oliveira, Marta Mattoso
article
BDA: Gestion de Données — Principes, Technologies et Applications, LIAS / ISAE-ENSMA, Poitiers, Nov 2016, Poitiers, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01409092/file/JiLiuBDA2016.pdf BibTex
titre
Scientific Workflow Scheduling with Provenance Support in Multisite Cloud
auteur
Ji Liu, Esther Pacitti, Patrick Valduriez, Marta Mattoso
article
VECPAR: Vector and Parallel Processing, Faculty of Engineering of the University of Porto, Portugal, Jun 2016, Porto, Portugal. pp.206-219, ⟨10.1007/978-3-319-61982-8_19⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01342190/file/VECPAR.pdf BibTex
titre
Up-To Techniques for Generalized Bisimulation Metrics
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
article
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.35:1–35:14, ⟨10.4230/LIPIcs.CONCUR.2016.35⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01335234/file/paper.pdf BibTex
titre
Dependent Types and Multi-Monadic Effects in F*
auteur
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Béguelin
article
43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016, St. Petersburg, Florida, United States. pp.256-270, ⟨10.1145/2837614.2837655⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01265793/file/paper.pdf BibTex

Reports

titre
A Small Scale Reflection Extension for the Coq system
auteur
Georges Gonthier, Assia Mahboubi, Enrico Tassi
article
[Research Report] RR-6455, Inria Saclay Ile de France. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00258384/file/main.pdf BibTex

Theses

titre
Multisite Management of Scientific Workflows in the Cloud
auteur
Ji Liu
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Montpellier, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01400625/file/PHD-Manuscript.pdf BibTex
titre
Towards robust visual object tracking : proposal selection and occlusion reasoning
auteur
Yang Hua
article
Computer Vision and Pattern Recognition [cs.CV]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM012⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01394943/file/HUA_2016_diffusion.pdf BibTex

Preprints, Working Papers, …

titre
Asaga: Asynchronous Parallel Saga
auteur
Rémi Leblond, Fabian Pedregosa, Simon Lacoste-Julien
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01407833/file/1606.04809v1.pdf BibTex
titre
Convergence Rate of Frank-Wolfe for Non-Convex Objectives
auteur
Simon Lacoste-Julien
article
2016
Accès au bibtex
https://arxiv.org/pdf/1607.00345 BibTex
titre
Beyond CCA: Moment Matching for Multi-View Models
auteur
Anastasia Podosinnikova, Francis Bach, Simon Lacoste-Julien
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01291060/file/cca16.pdf BibTex
titre
A spectral method for community detection in moderately-sparse degree-corrected stochastic block models
auteur
Lennart Gulikers, Marc Lelarge, Laurent Massoulié
article
2016
Accès au bibtex
https://arxiv.org/pdf/1506.08621 BibTex
titre
An Impossibility Result for Reconstruction in a Degree-Corrected Planted-Partition Model
auteur
Lennart Gulikers, Marc Lelarge, Laurent Massoulié
article
2016
Accès au bibtex
https://arxiv.org/pdf/1511.00546 BibTex

2015

Journal articles

titre
Stable and scalable universal swarms
auteur
Ji Zhu, Stratis Ioannidis, Nidhi Hegde, Massoulié Laurent
article
Distributed Computing, Springer Verlag, 2015, 28 (6), pp.391-406. ⟨10.1007/s00446-014-0228-1⟩
Accès au bibtex
BibTex
titre
A Survey of Data-Intensive Scientific Workflow Management
auteur
Ji Liu, Esther Pacitti, Patrick Valduriez, Marta Mattoso
article
Journal of Grid Computing, Springer Verlag, 2015, 13 (4), pp.457-493. ⟨10.1007/s10723-015-9329-8⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01144760/file/jogc2015.pdf BibTex
titre
A correspondence between rooted planar maps and normal planar lambda terms
auteur
Noam Zeilberger, Alain Giorgetti
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3:22), pp.1-39. ⟨10.2168/LMCS-11(3:22)2015⟩
Accès au bibtex
https://arxiv.org/pdf/1408.5028 BibTex
titre
Constructing elastic distinguishability metrics for location privacy
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩
Accès au bibtex
https://arxiv.org/pdf/1503.00756 BibTex
titre
Self-Organizing Flows in Social Networks
auteur
Nidhi Hegde, Laurent Massoulié, Laurent Viennot
article
Theoretical Computer Science, Elsevier, 2015, pp.16. ⟨10.1016/j.tcs.2015.02.018⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00761046/file/flow_social.pdf BibTex
titre
Small MultiPiles: Piling Time to Explore Temporal Patterns in Dynamic Networks
auteur
Benjamin Bach, Nathalie Henry-Riche, Tim Dwyer, Tara Madhyastha, Jean-Daniel Fekete, Thomas Grabowski
article
Computer Graphics Forum, Wiley, 2015, ⟨10.1111/cgf.12615⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158987/file/main.pdf BibTex
titre
On the information leakage of differentially-private mechanisms
auteur
Mário Sérgio Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
article
Journal of Computer Security, IOS Press, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00940425/file/full%28numbered_pages%29.pdf BibTex
titre
The Price of Privacy in Untrusted Recommender Systems
auteur
Siddhartha Banerjee, Nidhi Hegde, Laurent Massoulié
article
IEEE Journal of Selected Topics in Signal Processing, IEEE, 2015, IEEE Journal of Topics in Signal Processing,, 9 (7), pp.1319 – 1331. ⟨10.1109/JSTSP.2015.2423254⟩
Accès au bibtex
BibTex
titre
Abstract Interpretation of Temporal Concurrent Constraint Programs
auteur
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (3), pp.312-357
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945462/file/utcc-abs-tplp-CR.pdf BibTex
titre
From Small-World Networks to Comparison-Based Search
auteur
Amin Karbasi, Stratis Ioannidis, Laurent Massoulié
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2015, 61 (6), pp.19. ⟨10.1109/TIT.2015.2418284⟩
Accès au bibtex
BibTex

Conference papers

titre
P-CNN: Pose-based CNN Features for Action Recognition
auteur
Guilhem Chéron, Ivan Laptev, Cordelia Schmid
article
ICCV – IEEE International Conference on Computer Vision, Dec 2015, Santiago, Chile. pp.3218-3226, ⟨10.1109/ICCV.2015.368⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01187690/file/P-CNN_cheronICCV15.pdf BibTex
titre
Online Object Tracking with Proposal Selection
auteur
Yang Hua, Karteek Alahari, Cordelia Schmid
article
ICCV – IEEE International Conference on Computer Vision, Dec 2015, Santiago, Chile. pp.3092-3100, ⟨10.1109/ICCV.2015.354⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01207196/file/paper.pdf BibTex
titre
Fast and Memory Optimal Low-Rank Matrix Approximation
auteur
Yun Se-Young, Marc Lelarge, Alexandre Proutière
article
NIPS 2015, Dec 2015, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01254913/file/5929-fast-and-memory-optimal-low-rank-matrix-approximation.pdf BibTex
titre
Rethinking LDA: Moment Matching for Discrete ICA
auteur
Anastasia Podosinnikova, Francis Bach, Simon Lacoste-Julien
article
NIPS 2015 – Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01225271/file/lda.pdf BibTex
titre
On the Global Linear Convergence of Frank-Wolfe Optimization Variants
auteur
Simon Lacoste-Julien, Martin Jaggi
article
NIPS 2015 – Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
Accès au bibtex
https://arxiv.org/pdf/1511.05932 BibTex
titre
Variance Reduced Stochastic Gradient Descent with Neighbors
auteur
Thomas Hofmann, Aurelien Lucchi, Simon Lacoste-Julien, Brian Mcwilliams
article
NIPS 2015 – Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
Accès au bibtex
https://arxiv.org/pdf/1506.03662 BibTex
titre
Barrier Frank-Wolfe for Marginal Inference
auteur
Rahul G. Krishnan, Simon Lacoste-Julien, David Sontag
article
NIPS 2015 – Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
Accès au bibtex
https://arxiv.org/pdf/1511.02124 BibTex
titre
Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs
auteur
Charles Bordenave, Marc Lelarge, Laurent Massoulié
article
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, Oct 2015, Berkeley, United States. ⟨10.1109/FOCS.2015.86⟩
Accès au bibtex
BibTex
titre
Axiomatic constraint systems for proof search modulo theories
auteur
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Jean-Marc Notin, Assia Mahboubi
article
10th International Symposium on Frontiers of Combining Systems (FroCoS’15), Sep 2015, Wroclaw, Poland. ⟨10.1007/978-3-319-24246-0_14⟩
Accès au bibtex
https://arxiv.org/pdf/1412.6790 BibTex
titre
Towards Multi-site Metadata Management for Geographically Distributed Cloud Workflows
auteur
Luis Pineda-Morales, Alexandru Costan, Gabriel Antoniu
article
CLUSTER 2015 – IEEE International Conference on Cluster Computing, Sep 2015, Chicago, United States. ⟨10.1109/CLUSTER.2015.49⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01239150/file/cluster.pdf BibTex
titre
Attainable Unconditional Security for Shared-Key Cryptosystems
auteur
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
article
The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01192859/file/main.pdf https://hal.inria.fr/hal-01192859/file/decrow_1.pdf https://hal.inria.fr/hal-01192859/file/decrow_2.pdf https://hal.inria.fr/hal-01192859/file/maxequivocationgraph.pdf https://hal.inria.fr/hal-01192859/file/randrow_1.pdf BibTex
titre
On the Interaction between Content Caching and Request Assignment in Cellular Cache Networks
auteur
Kolar Purushothama Naveen, Laurent Massoulié, Emmanuel Baccelli, Aline Carneiro Viana, Don Towsley
article
AllThingsCellular ’15 – 5th Workshop on All Things Cellular: Operations, Applications and Challenges , Aug 2015, Londres, United Kingdom. ⟨10.1145/2785971.2785975⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244774/file/Author-Generated-version.pdf BibTex
titre
Kernelizing Spatially Consistent Visual Matches for Fine-Grained Classification
auteur
Valentin Leveau, Alexis Joly, Olivier Buisson, Patrick Valduriez
article
ICMR: International Conference on Multimedia Retrieval, Jun 2015, Shangai, China. pp.155-162, ⟨10.1145/2671188.2749328⟩
Accès au bibtex
BibTex
titre
Greedy-Bayes for Targeted News Dissemination
auteur
Laurent Massoulié, Alexandre Proutière, Mesrob Ohannessian
article
SIGMETRICS ’15 Proceedings of the 2015 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, Jun 2015, Portland, United States. pp.12, ⟨10.1145/2745844.2745868⟩
Accès au bibtex
BibTex
titre
Speeding up Glauber Dynamics for Random Generation of Independent Sets
auteur
Rémi Varloot, Ana Busic, Anne Bouillard
article
2015 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems , Jun 2015, Portland, United States. pp.461-462, ⟨10.1145/2745844.2745893⟩
Accès au bibtex
BibTex
titre
Is object localization for free? – Weakly-supervised learning with convolutional neural networks
auteur
Maxime Oquab, Léon Bottou, Ivan Laptev, Josef Sivic
article
IEEE Conference on Computer Vision and Pattern Recognition, Jun 2015, Boston, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01015140/file/Oquab15.pdf BibTex
titre
On Pairwise Cost for Multi-Object Network Flow Tracking
auteur
Visesh Chari, Simon Lacoste-Julien, Ivan Laptev, Josef Sivic
article
CVPR 2015 – 28th IEEE Conference on Computer Vision and Pattern Recognition, Jun 2015, Boston, United States
Accès au bibtex
https://arxiv.org/pdf/1408.3304 BibTex
titre
Sequential Kernel Herding: Frank-Wolfe Optimization for Particle Filtering
auteur
Simon Lacoste-Julien, Fredrik Lindsten, Francis Bach
article
18th International Conference on Artificial Intelligence and Statistics (AISTATS), May 2015, San Diego, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01099197/file/skh2014.pdf BibTex
titre
Quantitative Information Flow for Scheduler-Dependent Systems
auteur
Yusuke Kawamoto, Thomas Given-Wilson
article
The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Apr 2015, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114778/file/QAPL2015long.pdf BibTex
titre
Geo-indistinguishability: A Principled Approach to Location Privacy
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
ICDCIT 2015 – Proceedings of the 11th International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. pp.49-72, ⟨10.1007/978-3-319-14977-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114241/file/paper.pdf BibTex
titre
Functors are Type Refinement Systems
auteur
Paul-André Melliès, Noam Zeilberger
article
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676970⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096910/file/funts.pdf BibTex
titre
Clustering and Inference From Pairwise Comparisons
auteur
Wu Rui, Jiaming Xu, Srikant Rayadurgam, Marc Lelarge, Laurent Massoulié, Bruce Hajek
article
SIGMETRICS ’15 Proceedings of the 2015 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2015, Portland, United States. pp.2, ⟨10.1145/2796314.2745887⟩
Accès au bibtex
BibTex
titre
Designing Adaptive Replication Schemes in Distributed Content Delivery Networks
auteur
Mathieu Leconte, Marc Lelarge, Laurent Massoulié
article
Teletraffic Congress (ITC 27), 2015 27th International, 2015, Ghent, Belgium. ⟨10.1109/ITC.2015.11⟩
Accès au bibtex
BibTex
titre
Location Privacy via Geo-Indistinguishability
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2015, Cali, Colombia. pp.28-38
Accès au bibtex
BibTex
titre
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
auteur
Catuscia Palamidessi
article
Proceedings of the 4th International Conference on Principles of Security and Trust (POST), 2015, London, United Kingdom. pp.3-7
Accès au bibtex
BibTex

Book sections

titre
A Declarative View of Signaling Pathways
auteur
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
article
Chiara Bodei; Gian Luigi Ferrari; Corrado Priami. Programming Languages with Applications to Biology and Security, 9465, Springer, pp.183-201, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special Issue on Quantitative Information Flow
auteur
Miguel E. Andrés, Geoffrey Smith, Catuscia Palamidessi
article
Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩
Accès au bibtex
BibTex

Poster communications

titre
Scaling Smart Appliances for Spatial Data Synthesis
auteur
Luis Pineda-Morales, Balaji Subramaniam, Kate Keahey, Gabriel Antoniu, Alexandru Costan, Shaowen Wang, Anand Padmanabhan, Aiman Soliman
article
SC15 – ACM/IEEE International Conference in Supercomputing, Nov 2015, Austin, United States. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241718/file/Pineda-Morales_SC.pdf BibTex
titre
NetworkCube: Bringing Dynamic Network Visualizations to Domain Scientists
auteur
Benjamin Bach, Nathalie Henry Riche, Roland Fernandez, Emmanoulis Giannisakis, Bongshin Lee, Jean-Daniel Fekete
article
Posters of the Conference on Information Visualization (InfoVis), Oct 2015, Chicago, United States. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01205822/file/template.pdf https://hal.inria.fr/hal-01205822/file/poster-connectoscope.pdf BibTex

Preprints, Working Papers, …

titre
Encoding TLA+ set theory into many-sorted first-order logic
auteur
Stephan Merz, Hernán Vanzetto
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244627/file/sets2015.pdf BibTex
titre
Counting isomorphism classes of $\beta$-normal linear lambda terms
auteur
Noam Zeilberger
article
2015
Accès au bibtex
https://arxiv.org/pdf/1509.07596 BibTex
titre
An Isbell Duality Theorem for Type Refinement Systems
auteur
Paul-André Melliès, Noam Zeilberger
article
2015
Accès au bibtex
https://arxiv.org/pdf/1501.05115 BibTex
titre
Concentration inequalities in the infinite urn scheme for occupancy counts and the missing mass, with applications
auteur
Anna Ben-Hamou, Stephane Boucheron, Mesrob I. Ohannessian
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01101671/file/main-arxiv.pdf BibTex

2014

Journal articles

titre
Distributed Content Curation on the Web
auteur
Zeinab Abbassi, Nidhi Hegde, Laurent Massoulié
article
ACM Transactions on Internet Technology, Association for Computing Machinery, 2014, pp.9. ⟨10.1145/2663489⟩
Accès au bibtex
BibTex
titre
Activity representation with motion hierarchies
auteur
Adrien Gaidon, Zaid Harchaoui, Cordelia Schmid
article
International Journal of Computer Vision, Springer Verlag, 2014, 107 (3), pp.219-238. ⟨10.1007/s11263-013-0677-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908581/file/tracklets_journal.pdf BibTex
titre
Non-D-finite excursions in the quarter plane
auteur
Alin Bostan, Kilian Raschel, Bruno Salvy
article
Journal of Combinatorial Theory, Series A, Elsevier, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697386/file/BoRaSa12.pdf BibTex
titre
Distributed user profiling via spectral methods
auteur
Dan-Cristian Tomozei, Laurent Massoulié
article
Stochastic Systems, INFORMS Applied Probability Society, 2014, 4, pp.1-43. ⟨10.1214/11-SSY036⟩
Accès au bibtex
BibTex
titre
Un ordinateur pour vérifier les preuves mathématiques
auteur
Assia Mahboubi
article
Images des Mathématiques, CNRS, 2014
Accès au bibtex
BibTex
titre
On the existence of telescopers for mixed hypergeometric terms
auteur
Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
article
Journal of Symbolic Computation, Elsevier, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00991211/file/criteria.pdf BibTex

Conference papers

titre
Streaming, Memory Limited Algorithms for Community Detection
auteur
Se-Young Yun, Marc Lelarge, Alexandre Proutière
article
NIPS 2014, Dec 2014, Montreal, Canada
Accès au bibtex
https://arxiv.org/pdf/1411.1279 BibTex
titre
Optimal Geo-Indistinguishable Mechanisms for Location Privacy
auteur
Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
CCS – 21st ACM Conference on Computer and Communications Security, Gail-Joon Ahn, Nov 2014, Scottsdale, Arizona, United States. pp.251-262, ⟨10.1145/2660267.2660345⟩
Accès au bibtex
https://arxiv.org/pdf/1402.5029 BibTex
titre
SAGA: A Fast Incremental Gradient Method With Support for Non-Strongly Convex Composite Objectives
auteur
Aaron Defazio, Francis Bach, Simon Lacoste-Julien
article
Advances In Neural Information Processing Systems, Nov 2014, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01016843/file/nips2014.pdf BibTex
titre
Multisite Management of Data-intensive Scientific Workflows in the Cloud
auteur
Ji Liu
article
BDA: Gestion de Données — Principes, Technologies et Applications, Oct 2014, Autrans, France. pp.28-30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01169960/file/bda2014-actes-phd-5-pp28-30.pdf BibTex
titre
Compositionality Results for Quantitative Information Flow
auteur
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Sep 2014, Florence, Italy. pp.368-383, ⟨10.1007/978-3-319-10696-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006381/file/QEST2014long.pdf BibTex
titre
Category-specific video summarization
auteur
Danila Potapov, Matthijs Douze, Zaid Harchaoui, Cordelia Schmid
article
ECCV – European Conference on Computer Vision, Sep 2014, Zurich, Switzerland. pp.540-555, ⟨10.1007/978-3-319-10599-4_35⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01022967/file/video_summarization.pdf BibTex
titre
Occlusion and Motion Reasoning for Long-term Tracking
auteur
Yang Hua, Karteek Alahari, Cordelia Schmid
article
ECCV – European Conference on Computer Vision, Sep 2014, Zurich, Switzerland. pp.172-187, ⟨10.1007/978-3-319-10599-4_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01020149/file/tracking.pdf BibTex
titre
Scientific Workflow Partitioning in Multi-site Clouds
auteur
Ji Liu, Esther Pacitti, Patrick Valduriez, Vitor Silva Souza, Marta Mattoso
article
Euro-Par: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.105-116, ⟨10.1007/978-3-319-14325-5_10⟩
Accès au bibtex
BibTex
titre
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
auteur
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
article
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Aug 2014, Vienna, Austria. pp.1-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244623/file/final.pdf BibTex
titre
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
auteur
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
article
ARQNL 2014 – Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01063512/file/final.pdf BibTex
titre
Beagle as a HOL4 external ATP method
auteur
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish
article
PAAR – Fourth Workshop on Practical Aspects of Automated Reasoning, Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089316/file/beagle-hol4.pdf BibTex
titre
Additive and multiplicative notions of leakage, and their capacities
auteur
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
article
27th Computer Security Foundations Symposium (CSF 2014), Jul 2014, Vienna, Austria. pp.308–322, ⟨10.1109/CSF.2014.29⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00989462/file/csf14.pdf BibTex
titre
A Predictive Differentially-Private Mechanism for Mobility Traces
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
PETS 2014 – 14th Privacy Enhancing Technologies Symposium, Jul 2014, Amsterdam, Netherlands. pp.21-41, ⟨10.1007/978-3-319-08506-7_2⟩
Accès au bibtex
https://arxiv.org/pdf/1311.4008 BibTex
titre
Computer-checked mathematics: a formal proof of the odd order theorem
auteur
Assia Mahboubi
article
The Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603090⟩
Accès au bibtex
BibTex
titre
Mixing Body-Part Sequences for Human Pose Estimation
auteur
Anoop Cherian, Julien Mairal, Karteek Alahari, Cordelia Schmid
article
CVPR – IEEE Conference on Computer Vision & Pattern Recognition, Jun 2014, Columbus, OH, United States. pp. 2361-2368, ⟨10.1109/CVPR.2014.302⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00978643/file/posecvpr2014.pdf BibTex
titre
Edge Label Inference in Generalized Stochastic Block Models: from Spectral Theory to Impossibility Results
auteur
Jiaming Xu, Laurent Massoulié, Marc Lelarge
article
Conference on Learning Theory, Jun 2014, Barcelona, Spain. pp.903-920
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01066047/file/GeneralizedSBM_COLT_final.pdf BibTex
titre
Community detection thresholds and the weak Ramanujan property
auteur
Laurent Massoulié
article
STOC 2014: 46th Annual Symposium on the Theory of Computing, Jun 2014, New York, United States. pp.1-10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00969235/file/rama_final.pdf BibTex
titre
Learning and Transferring Mid-Level Image Representations using Convolutional Neural Networks
auteur
Maxime Oquab, Léon Bottou, Ivan Laptev, Josef Sivic
article
IEEE Conference on Computer Vision and Pattern Recognition, Jun 2014, Columbus, OH, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911179/file/oquab14.pdf BibTex
titre
Typeful Normalization by Evaluation
auteur
Olivier Danvy, Chantal Keller, Matthias Puech
article
20th International Conference on Types for Proofs and Programs, TYPES 2014, May 2014, Paris, France. ⟨10.4230/LIPIcs.xxx.yyy.p⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01397929/file/types14.pdf BibTex
titre
Refinement Types for TLA+
auteur
Stephan Merz, Hernán Vanzetto
article
NASA Formal Methods – 6th International Symposium, 2014, Houston, Texas, United States. pp.143-157, ⟨10.1007/978-3-319-06200-6_11⟩
Accès au bibtex
BibTex
titre
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
auteur
Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi
article
ITP – 5th International Conference on Interactive Theorem Proving, 2014, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00984057/file/main.pdf BibTex
titre
Generalized bisimulation metrics
auteur
Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu
article
CONCUR – 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01011471/file/concur.pdf BibTex

Book sections

titre
Generalized differential privacy: regions of priors that admit robust optimal mechanisms
auteur
Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
van Breugel, Franck and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan. Horizons of the Mind. A Tribute to Prakash Panangaden, 8464, Springer International Publishing, pp.292-318, 2014, Lecture Notes in Computer Science, 978-3-319-06879-4. ⟨10.1007/978-3-319-06880-0_16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006380/file/main.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
auteur
Erika Ábrahám, Catuscia Palamidessi
article
Erika Abraham; Catuscia Palamidessi. 2014, France. 8461, Springer, 2014, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Reports

titre
Parallelization of Scientific Workflows in the Cloud
auteur
Ji Liu, Esther Pacitti, Patrick Valduriez, Marta Mattoso
article
[Research Report] RR-8565, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024101/file/RR-8565.pdf BibTex
titre
Coq 8.4 Reference Manual
auteur
Pierre Boutillier, Stephane Glondu, Benjamin Grégoire, Hugo Herbelin, Pierre Letouzey, Pierre-Marie Pédrot, Yann Régis-Gianas, Matthieu Sozeau, Arnaud Spiwack, Enrico Tassi
article
[Research Report] Inria. 2014
Accès au bibtex
BibTex

Theses

titre
Proof automation and type synthesis for set theory in the context of TLA+
auteur
Hernán Vanzetto
article
Computer Science [cs]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0208⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01751181/file/thesis.pdf BibTex

Preprints, Working Papers, …

titre
About Adaptive Coding on Countable Alphabets: Max-Stable Envelope Classes
auteur
Boucheron Stephane, Elisabeth Gassiat, Mesrob Ohannessian
article
2014
Accès au bibtex
https://arxiv.org/pdf/1402.6305 BibTex

2013

Journal articles

titre
Temporal Localization of Actions with Actoms
auteur
Adrien Gaidon, Zaid Harchaoui, Cordelia Schmid
article
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2013, 35 (11), pp.2782-2795. ⟨10.1109/TPAMI.2013.65⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00804627/file/ASM_TPAMI_Gaidon.pdf BibTex
titre
Optimal Control of End-User Energy Storage
auteur
Laurent Massoulié, Peter van de Ven, Nidhi Hegde, Theodoros Salonidis
article
IEEE Transactions on Smart Grid, Institute of Electrical and Electronics Engineers, 2013, 4 (2), pp.789-797. ⟨10.1109/TSG.2012.2232943⟩
Accès au bibtex
BibTex
titre
Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
auteur
Alin Bostan, S. Boukraa, G. Christol, S. Hassani, J.-M. Maillard
article
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2013, 46, pp.185202-185245. ⟨10.1088/1751-8113/46/18/185202⟩
Accès au bibtex
https://arxiv.org/pdf/1211.6645 BibTex
titre
Optimal Content Placement for Peer-to-Peer Video-on-Demand Systems.
auteur
Laurent Massoulié, Bo Tan
article
IEEE/ACM Transactions on Networking, IEEE/ACM, 2013, 21 (2), pp.566-579. ⟨10.1109/TNET.2012.2208199⟩
Accès au bibtex
BibTex
titre
The role of coding in the choice between routing and coding for wireless unicast
auteur
Ramakrishna Gummadi, Laurent Massoulié, Ramavarapu Sreenivas
article
Physical Communication, 2013, 6, pp.88-99. ⟨10.1016/j.phycom.2012.05.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00969182/file/phycom_revised.pdf BibTex
titre
Secure Distributed Programming with Value-Dependent Types
auteur
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
article
J. Funct. Program., Cambridge University Press, 2013, 23 (4), pp.402-451
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00939188/file/secure-distributed-programming-with-value-dependent-types-jfp-1.pdf BibTex

Conference papers

titre
Refinements for Free!
auteur
Cyril Cohen, Maxime Dénès, Anders Mörtberg
article
Certified Programs and Proofs, Dec 2013, Melbourne, Australia. pp.147 – 162, ⟨10.1007/978-3-319-03545-1_10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01113453/file/refinements.pdf BibTex
titre
Bandit-based Search for Constraint Programming
auteur
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer
article
International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.464-480
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863451/file/paper123.pdf BibTex
titre
Reconstruction in the Labeled Stochastic Block Model
auteur
Marc Lelarge, Laurent Massoulié, Jiaming Xu
article
IEEE Information Theory Workshop, Sep 2013, Seville, Spain
Accès au bibtex
BibTex
titre
Constraint Acquisition via Partial Queries
auteur
Christian Bessière, Remi Coletta, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
article
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830325/file/ijcai13-quacq.pdf BibTex
titre
Creative telescoping for rational functions using the Griffiths-Dwork method
auteur
Alin Bostan, Pierre Lairez, Bruno Salvy
article
ISSAC’13 – 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777675/file/arxiv.issac24p-bostan.pdf BibTex
titre
Complexity Estimates for Two Uncoupling Algorithms
auteur
Alin Bostan, Frédéric Chyzak, Élie de Panafieu
article
ISSAC’13 – 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.85-92, ⟨10.1145/2465506.2465941⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780010/file/BoChPa13.pdf BibTex
titre
Hermite Reduction and Creative Telescoping for Hyperexponential Functions
auteur
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin
article
ISSAC’13 – 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.77-84, ⟨10.1145/2465506.2465946⟩
Accès au bibtex
https://arxiv.org/pdf/1301.5038 BibTex
titre
A Machine-Checked Proof of the Odd Order Theorem
auteur
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O’Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
article
ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.163-179, ⟨10.1007/978-3-642-39634-2_14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00816699/file/main.pdf BibTex
titre
Canonical Structures for the working Coq user
auteur
Assia Mahboubi, Enrico Tassi
article
ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.19-34, ⟨10.1007/978-3-642-39634-2_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00816703/file/main.pdf BibTex
titre
The Rooster and the Butterflies
auteur
Assia Mahboubi
article
CICM 2013 – Conference on Intelligent Computer Mathematics – 2013, Jul 2013, Bath, United Kingdom. pp.1-18, ⟨10.1007/978-3-642-39320-4_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00825074/file/main.pdf BibTex
titre
Self-organizing Flows in Social Networks
auteur
Nidhi Hegde, Laurent Massoulié, Laurent Viennot
article
Structural Information AND Communication Complexity – 20th International Colloquium, SIROCCO, Jul 2013, Ischia, Italy. pp.116-128
Accès au bibtex
BibTex
titre
How to Optimally Allocate Your Budget of Attention in Social Networks
auteur
Bo Jiang, Nidhi Hegde, Laurent Massoulié, Don Towsley
article
IEEE INFOCOM 2013 – IEEE Conference on Computer Communications, Apr 2013, Torino, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00839599/file/1569648953.pdf BibTex
titre
Fully Abstract Compilation to JavaScript
auteur
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Benjamin Livshits
article
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages – POPL’13 (2013), Jan 2013, Roma, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780803/file/js-star-popl-2013.pdf BibTex
titre
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop problem
auteur
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
article
LION7 – Learning and Intelligent OptimizatioN Conference, Jan 2013, Catania, Italy. pp.315-320
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863453/file/Paper_67_camera_ready.pdf BibTex
titre
Convergence of multivariate belief propagation, with applications to cuckoo hashing and load balancing.
auteur
Mathieu Leconte, Marc Lelarge, Laurent Massoulié
article
SODA 2013 – ACM-SIAM Symposium on Discrete Algorithms, Jan 2013, United States. p. 35-46
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00827810/file/0236-000088_Paper.pdf BibTex
titre
Stable and scalable universal swarms
auteur
Laurent Massoulié, Ji Zhu, Stratis Ioannidis, Nidhi Hegde
article
Proceedings of the 2013 ACM symposium on Principles of distributed computing, 2013, United States. pp.260-269, ⟨10.1145/2484239.2484272⟩
Accès au bibtex
BibTex
titre
Implementing TLS with Verified Cryptographic Security
auteur
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub
article
IEEE Symposium on Security & Privacy, 2013, San Francisco, United States. pp.445-462
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863373/file/implementing-tls-with-verified-cryptographic-security-oakland13.pdf BibTex

Books

titre
Homotopy Type Theory: Univalent Foundations of Mathematics
auteur
Peter Aczel, Benedikt Ahrens, Thorsten Altenkirch, Steve Awodey, Bruno Barras, Andrej Bauer, Yves Bertot, Marc Bezem, Thierry Coquand, Eric Finster, Daniel Grayson, Hugo Herbelin, André Joyal, Dan Licata, Peter Lumsdaine, Assia Mahboubi, Per Martin-Löf, Sergey Melikhov, Alvaro Pelayo, Andrew Polonsky, Michael Shulman, Matthieu Sozeau, Bas Spitters, Benno van den Berg, Vladimir Voevodsky, Michael Warren, Carlo Angiuli, Anthony Bordg, Guillaume Brunerie, Chris Kapulkin, Egbert Rijke, Kristina Sojakova, Jeremy Avigad, Cyril Cohen, Robert Constable, Pierre-Louis Curien, Peter Dybjer, Martín Escardó, Kuen-Bang Hou, Nicola Gambino, Richard Garner, Georges Gonthier, Thomas Hales, Robert Harper, Martin Hofmann, Pieter Hofstra, Joachim Koch, Nicolai Kraus, Nuo Li, Zhaohui Luo, Michael Nahas, Erik Palmgren, Emily Riehl, Dana Scott, Philip Scott, Sergei Soloviev
article
Aucun, pp.448, 2013
Accès au bibtex
BibTex

2012

Journal articles

titre
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
auteur
Cyril Cohen, Assia Mahboubi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1:02), pp.1-40. ⟨10.2168/LMCS-8 (1:02) 2012⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593738/file/1201.3731.pdf BibTex
titre
Learning from Conflicts in Propositional Satisfiability
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2012, 1 (10), pp.15-32
Accès au bibtex
BibTex
titre
The Grand Challenge of Computer Go: Monte Carlo Tree Search and Extensions
auteur
Sylvain Gelly, Marc Schoenauer, Michèle Sebag, Olivier Teytaud, Levente Kocsis, David Silver, Csaba Szepesvari
article
Communications- ACM, Association for Computing Machinery, 2012, 55 (3), pp.106-113
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695370/file/CACM-MCTS.pdf BibTex
titre
Verified Cryptographic Implementations for TLS
auteur
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Eugen Zalinescu
article
ACM Transactions on Information and System Security, Association for Computing Machinery, 2012, 15 (1), pp.3:1–3:32. ⟨10.1145/2133375.2133378⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863381/file/cryptographically-verified-implementations-for-tls-tissec.pdf BibTex

Conference papers

titre
Online Learning for Ground Trajectory Prediction
auteur
Areski Hadjaz, Gaétan Marceau, Pierre Savéant, Marc Schoenauer
article
SESAR 2nd Innovation Days, Nov 2012, Braunschweig, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766049/file/opwpe.pdf BibTex
titre
Increasing Air Traffic: What is the Problem?
auteur
Areski Hadjaz, Gaétan Marceau, Pierre Savéant, Marc Schoenauer
article
SESAR 2nd Innovation Days, SESAR WPE, Nov 2012, Braunschweig, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766017/file/iatwpe.pdf BibTex
titre
A MapReduce Approach for Ridge Regression in Neuroimaging-Genetic Studies
auteur
Benoit da Mota, Michael Eickenberg, Soizic Laguitton, Vincent Frouin, Gaël Varoquaux, Jean-Baptiste Poline, Bertrand Thirion
article
DCICTIA-MICCAI – Data- and Compute-Intensive Clinical and Translational Imaging Applications in conjonction with the 15th International Conference on Medical Image Computing and Computer Assisted Intervention – 2012, Oct 2012, Nice, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730385/file/article.pdf BibTex
titre
Recognizing activities with cluster-trees of tracklets
auteur
Adrien Gaidon, Zaid Harchaoui, Cordelia Schmid
article
BMVC 2012 – British Machine Vision Conference, Sep 2012, Guildford, United Kingdom. pp.30.1-30.13, ⟨10.5244/C.26.30⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722955/file/gaidon_tracklets_bmvc2012.pdf BibTex
titre
Harnessing SMT Solvers for TLA+ Proofs
auteur
Stephan Merz, Hernán Vanzetto
article
12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760579/file/avocs2012.pdf BibTex
titre
A fast computational framework for genome-wide association studies with neuroimaging data
auteur
Benoit da Mota, Vincent Frouin, Edouard Duchesnay, Soizic Laguitton, Gaël Varoquaux, Jean-Baptiste Poline, Bertrand Thirion
article
20th International Conference on Computational Statistics (COMPSTAT 2012), Aug 2012, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00720265/file/article.pdf BibTex
titre
Formal Verification Of Pastry Using TLA+
auteur
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
article
International Workshop on the TLA+ Method and Tools, Aug 2012, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00768812/file/paper.pdf BibTex
titre
TLA+ Proofs
auteur
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
article
18th International Symposium On Formal Methods – FM 2012, Aug 2012, Paris, France. pp.147-154, ⟨10.1007/978-3-642-32759-9_14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726631/file/final.pdf BibTex
titre
Construction of real algebraic numbers in Coq
auteur
Cyril Cohen
article
ITP – 3rd International Conference on Interactive Theorem Proving – 2012, Aug 2012, Princeton, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00671809/file/main.pdf BibTex
titre
A language of patterns for subterm selection
auteur
Georges Gonthier, Enrico Tassi
article
ITP, Aug 2012, Princeton, United States. pp.361-376, ⟨10.1007/978-3-642-32347-8_25⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00652286/file/rew.pdf BibTex
titre
Black-box optimization benchmarking of IPOP-saACM-ES and BIPOP-saACM-ES on the BBOB-2012 noiseless testbed
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag
article
Workshop Proceedings of the (GECCO) Genetic and Evolutionary Computation Conference, Jul 2012, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00690444/file/BBOB2012_saACMES_noiseless.pdf BibTex
titre
Self-Adaptive Surrogate-Assisted Covariance Matrix Adaptation Evolution Strategy
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag
article
Genetic and Evolutionary Computation Conference (GECCO 2012), Jul 2012, Philadelphia, United States. pp.321-328
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00686570/file/paper511.pdf BibTex
titre
Black-box optimization benchmarking of IPOP-saACM-ES on the BBOB-2012 noisy testbed
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag
article
Workshop Proceedings of the (GECCO) Genetic and Evolutionary Computation Conference, Jul 2012, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00690543/file/BBOB2012_saACMES_noisy.pdf BibTex
titre
Asynchronous Master/Slave MOEAs and Heterogeneous Evaluation Costs
auteur
Mouadh Yagoubi, Marc Schoenauer
article
Genetic and Evolutionary Computation Conference (GECCO 2012), Jul 2012, Philadelphia, United States. pp.1007-1014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00689965/file/main.pdf BibTex
titre
A (1+1)-CMA-ES for Constrained Optimisation
auteur
Dirk Arnold, Nikolaus Hansen
article
GECCO, ACM, Jul 2012, Philadelphia, United States. pp.297-304, ⟨10.1145/2330163.2330207⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00696268/file/arnold2012constrained.pdf BibTex
titre
TLA+ Proofs
auteur
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
article
AI meets Formal Software Development, Jul 2012, Dagstuhl, Germany. 16 p
Accès au bibtex
BibTex
titre
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
auteur
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
article
6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, ⟨10.1007/978-3-642-31365-3_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00687640/file/main.pdf BibTex
titre
Bipartite graph structures for efficient balancing of heterogeneous loads
auteur
Mathieu Leconte, Lelarge Marc, Massoulié Laurent
article
ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS ’12), Jun 2012, United Kingdom. p. 41-52, ⟨10.1145/2318857.2254764⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00841296/file/sig37-leconte.pdf BibTex
titre
Automatic Verification Of TLA+ Proof Obligations With SMT Solvers
auteur
Stephan Merz, Hernán Vanzetto
article
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. pp.289-303, ⟨10.1007/978-3-642-28717-6_23⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760570/file/tla2smt.pdf BibTex
titre
Construction des nombres algébriques réels en Coq
auteur
Cyril Cohen
article
JFLA – Journées Francophones des Langages Applicatifs – 2012, Feb 2012, Carnac, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665965/file/paper_11.pdf BibTex
titre
Self-certification: Bootstrapping certified typecheckers in F* with Coq
auteur
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
article
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages – POPL’12, Jan 2012, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00628775/file/self-cert-popl-2012.pdf BibTex
titre
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
auteur
Said Jabbour, Nadjib Lazaar, Youssef Hamadi, Michèle Sebag
article
Workshop on Bayesian Optimization & Decision Making, 2012, Lake Tahoe, United States
Accès au bibtex
BibTex

Book sections

titre
An Introduction to Autonomous Search
auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
Hamadi, Y. and Monfroy, E. and Saubion, F. Autonomous Search, Springer-Verlag, pp.11, 2012
Accès au bibtex
BibTex
titre
Control-based clause sharing in Parallel SAT
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
Y. Hamadi, E. Monfroy, F. Saubion. Autonomous Search, Springer, pp.245-267, 2012
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Artificial Evolution 2011 : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
auteur
Jin-Kao Hao, Pierrick Legrand, Pierre Collet, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer
article
France. 7401, Springer, 229 p., 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-35533-2_15⟩
Accès au bibtex
BibTex
titre
Autonomous search
auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
Springer-Verlag, pp.307, 2012
Accès au bibtex
BibTex

Reports

titre
Interactive Optimization With Weighted Hypervolume Based EMO Algorithms: Preliminary Experiments
auteur
Dimo Brockhoff, Youssef Hamadi, Souhila Kaci
article
[Research Report] RR-8103, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00741730/file/RR-8103.pdf BibTex
titre
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
auteur
Nadjib Lazaar, Youssef Hamadi, Said Jabbour, Michèle Sebag
article
[Research Report] RR-8070, INRIA. 2012, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00733282/file/RR-8070.pdf BibTex
titre
Identifying Website Users by TLS Traffic Analysis: New Attacks and Effective Countermeasures
auteur
Alfredo Pironti, Pierre-Yves Strub, Karthikeyan Bhargavan
article
[Research Report] RR-8067, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00732449/file/RR-8067.pdf BibTex
titre
Cumulative Step-size Adaptation on Linear Functions: Technical Report
auteur
Alexandre Chotard, Anne Auger, Nikolaus Hansen
article
[Research Report] 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00704903/file/cumulationonlinearfunctionppsn_technicalreport.pdf BibTex
titre
Temporal Localization of Actions with Actoms
auteur
Adrien Gaidon, Zaid Harchaoui, Cordelia Schmid
article
[Research Report] RR-7930, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00687312/file/RR-7930.pdf BibTex
titre
Two simulations about DPLL(T)
auteur
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00690044/file/Main.pdf BibTex

Theses

titre
Formalized algebraic numbers: construction and first-order theory.
auteur
Cyril Cohen
article
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00780446/file/main.pdf BibTex

2011

Journal articles

titre
Analysis of Kasami-Welch Functions in Odd Dimension using Stickelberger’s Theorem
auteur
Philippe Langevin, Gregor Leander, Gary Mcguire, Eugen Zalinescu
article
Journal of Combinatorics and Number Theory, 2011, 2 (1), pp.55 — 72
Accès au bibtex
BibTex
titre
Impacts of Invariance in Search: When CMA-ES and PSO Face Ill-Conditioned and Non-Separable Problems
auteur
Nikolaus Hansen, Raymond Ros, Nikolas Mauny, Marc Schoenauer, Anne Auger
article
Applied Soft Computing, Elsevier, 2011, 11, pp.5755-5769. ⟨10.1016/j.asoc.2011.03.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00583669/file/hansen2011impacts.pdf BibTex
titre
Deterministic Parallel DPLL
auteur
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
article
Journal on Satisfiability, Boolean Modeling and Computation, IOS Press, 2011, 7 (4), pp.127-132
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00868187/file/JSAT7_10_Hamadi.pdf BibTex
titre
Homotopy techniques for multiplication modulo triangular sets
auteur
Alin Bostan, Muhammad F. I. Chowdhury, Joris van der Hoeven, Éric Schost
article
Journal of Symbolic Computation, Elsevier, 2011, 46 (12), pp.1378-1402. ⟨10.1016/j.jsc.2011.08.015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00819155/file/BoChHoSc11.pdf BibTex

Conference papers

titre
Privacy Support for Sensitive Data Sharing in P2P Systems
auteur
Mohamed Jawad, Patricia Serrano-Alvarado, Patrick Valduriez, Stéphane Drapeau
article
BDA: Bases de Données Avancées, Oct 2011, Rabat, Morocco
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01153238/file/demoPriServ-BDA2011.pdf BibTex
titre
A Rigorous Runtime Analysis for Quasi-Random Restarts and Decreasing Stepsize
auteur
Marc Schoenauer, Fabien Teytaud, Olivier Teytaud
article
Artificial Evolution, Oct 2011, Angers, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00625855/file/qrrsEA.pdf BibTex
titre
Modular Code-Based Cryptographic Verification
auteur
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub
article
18th ACM Conference on Computer and Communications Security, Oct 2011, Chicago, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00614372/file/cst-ccs-2011.pdf BibTex
titre
Instance-based parameter tuning for evolutionary AI planning
auteur
Brendel Matthias, Marc Schoenauer
article
Genetic and Evolutionary Computation Conference, Oct 2011, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00632375/file/gecco2011brendelschoenauerworkshopcameraready.pdf BibTex
titre
Secure Distributed Programming with Value-dependent Types
auteur
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
article
16th ACM SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00596715/file/fstar-icfp-2011.pdf BibTex
titre
Preference-Based Policy Learning
auteur
Riad Akrour, Marc Schoenauer, Michèle Sebag
article
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2011, Athènes, Greece. pp.12-27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00625001/file/Preference-based_Policy_Learning.pdf BibTex
titre
A time series kernel for action recognition
auteur
Adrien Gaidon, Zaid Harchaoui, Cordelia Schmid
article
BMVC 2011 – British Machine Vision Conference, Aug 2011, Dundee, United Kingdom. pp.63.1-63.11, ⟨10.5244/C.25.63⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00613089/file/kernel_time_series.pdf BibTex
titre
Point-Free, Set-Free Concrete Linear Algebra
auteur
Georges Gonthier
article
Interactive Theorem Proving – ITP 2011, Radboud University of Nijmegen, Aug 2011, Berg en Dal, Netherlands. pp.103-118, ⟨10.1007/978-3-642-22863-6_10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00805966/file/main.pdf BibTex
titre
On-board Evolutionary Algorithm and Off-line Rule Discovery for Column Formation in Swarm Robotics
auteur
Asuki Kuno, Jean-Marc Montanier, Shigeru Takano, Nicolas Bredeche, Marc Schoenauer, Michèle Sebag, Enoshin Suzuki
article
IEEE/ACM/WIC International Conference on Intelligent Agent Technology, Aug 2011, Lyon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601785/file/2011-IAT-suzuki.pdf BibTex
titre
Artificial Gene Regulatory Networks and Spatial Computation: A Case Study
auteur
Sylvain Cussat-Blanc, Nicolas Bredeche, Hervé Luga, Yves Duthen, Marc Schoenauer
article
ECAL, Aug 2011, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601816/file/CUSSAT-BLANC.pdf BibTex
titre
Artificial Gene Regulatory Network and Spatial Computation: A Case Study
auteur
Sylvain Cussat-Blanc, Nicolas Bredeche, Hervé Luga, Yves Duthen, Marc Schoenauer
article
European Conference on Artificial Life, Aug 2011, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601778/file/2011-ECAL-evoGRN.pdf BibTex
titre
Towards certification of TLA+ proof obligations with SMT solvers
auteur
Stephan Merz, Hernán Vanzetto
article
First International Workshop on Proof eXchange for Theorem Proving – PxTP 2011, Aug 2011, Wroclaw, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00645458/file/tla2smt.pdf BibTex
titre
Optimizing Architectural and Structural Aspects of Buildings towards Higher Energy Efficiency
auteur
Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
article
GECCO 2011 Workshop on GreenIT Evolutionary Computation, Jul 2011, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00591930/file/wk1303b-fialho.pdf BibTex
titre
Mirrored Sampling in Evolution Strategies With Weighted Recombination
auteur
Anne Auger, Dimo Brockhoff, Nikolaus Hansen
article
Genetic and Evolutionary Computation Conference (GECCO 2011), SIGEVO, Jul 2011, Dublin, Ireland. pp.861-868, ⟨10.1145/2001576.2001694⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00612522/file/fp632-augerAuthorVersion.pdf BibTex
titre
CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory
auteur
Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang
article
Twenty-Sixth Annual IEEE Symposium on “Logic in Computer Science” – LICS 2011, Jun 2011, Toronto, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00583136/file/coq-mtu-lics-2011.pdf BibTex
titre
Actom Sequence Models for Efficient Action Detection
auteur
Adrien Gaidon, Zaid Harchaoui, Cordelia Schmid
article
CVPR 2011 – IEEE Conference on Computer Vision & Pattern Recognition, Jun 2011, Colorado Springs, United States. pp.3201-3208, ⟨10.1109/CVPR.2011.5995646⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00575217/file/1513.pdf BibTex
titre
Asynchronous Evolutionary Multi-Objective Algorithms with heterogeneous evaluation costs
auteur
Mouadh Yagoubi, Ludovic Thobois, Marc Schoenauer
article
IEEE Congress on Evolutionary Computation, CEC 2011, New Orleans, LA, USA, 5-8 June, 2011, Jun 2011, New Orleans, LA, United States. pp.21-28
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00625318/file/PID1819361.pdf BibTex
titre
Towards Verification of the Pastry Protocol using TLA+
auteur
Stephan Merz, Tianxiang Lu, Christoph Weidenbach
article
31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Jun 2011, Reykjavik, Iceland
Accès au bibtex
BibTex
titre
Improving Parallel Local Search for SAT
auteur
Alejandro Arbelaez, Youssef Hamadi
article
Learning and Intelligent OptimizatioN Conference LION5, Jan 2011, Rome, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563775/file/lion-sat.pdf BibTex
titre
Analyzing the Impact of Mirrored Sampling and Sequential Selection in Elitist Evolution Strategies
auteur
Anne Auger, Dimo Brockhoff, Nikolaus Hansen
article
Foundations of Genetic Algorithms (FOGA 2011), Jan 2011, Schwarzenberg, Austria. pp.127-138, ⟨10.1145/1967654.1967666⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587507/file/foga22v-augerAuthorVersion.pdf BibTex
titre
Concilier Parallélisme et Déterminisme dans la Résolution de SAT
auteur
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
article
7ièmes Journées Francophones de la Programmation par Contraintes (JFPC’11), 2011, France. pp.162-172
Accès au bibtex
BibTex
titre
Deterministic Parallel DPLL: System Description
auteur
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
article
Pragmatics of SAT (POS’11), 2011, Ann Arbor, United States. pp.127-132
Accès au bibtex
BibTex

Book sections

titre
What is Autonomous Search?
auteur
Youssef Hamadi, Frédéric Saubion, Eric Monfroy
article
van Hentenryck P. and Milano, M. Hybrid Optimization (The 10 Years of CP-AI-OR), Springer-Verlag, pp.357-391, 2011, Optimization and its Applications
Accès au bibtex
BibTex

Reports

titre
Injecting External Solutions Into CMA-ES
auteur
Nikolaus Hansen
article
[Research Report] RR-7748, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00628254/file/RR-7748.pdf BibTex
titre
A CMA-ES for Mixed-Integer Nonlinear Optimization
auteur
Nikolaus Hansen
article
[Research Report] RR-7751, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629689/file/RR-7751.pdf BibTex
titre
COCO – COmparing Continuous Optimizers : The Documentation
auteur
Nikolaus Hansen, Steffen Finck, Raymond Ros
article
[Research Report] RT-0409, INRIA. 2011, pp.57
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00597334/file/RT-0409.pdf BibTex

Theses

titre
Generic Proof Tools and Finite Group Theory
auteur
François Garillot
article
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00649586/file/manuscript.pdf BibTex
titre
Learning during search
auteur
Alejandro Arbelaez Rodriguez
article
Other [cs.OH]. Université Paris Sud – Paris XI, 2011. English. ⟨NNT : 2011PA112063⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00600523/file/VD2_ARBELAEZ_ALEJANDRO_31052011.pdf BibTex

Preprints, Working Papers, …

titre
A Generic Formalised Framework for Reasoning About Weak Memory Models
auteur
Jade Alglave, Assia Mahboubi
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00604656/file/itp.pdf BibTex
titre
Information-Geometric Optimization Algorithms: A Unifying Picture via Invariance Principles
auteur
Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00601503/file/igo.pdf BibTex

2010

Journal articles

titre
Fitting genetic algorithms to distributed online evolution of network protocols
auteur
Sara Alouf, Giovanni Neglia, Iacopo Carreras, Daniele Miorandi, Álvaro Fialho
article
Computer Networks, Elsevier, 2010, 54 (18), pp.3402-3420. ⟨10.1016/j.comnet.2010.06.015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640798/file/comnet-author.pdf BibTex
titre
Analyzing bandit-based adaptive operator selection mechanisms
auteur
Álvaro Fialho, Luis da Costa, Marc Schoenauer, Michèle Sebag
article
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2010, 60 (1), pp.25-64. ⟨10.1007/s10472-010-9213-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00519579/file/banditAOS-AMAI10.pdf BibTex
titre
An introduction to small scale reflection in Coq
auteur
Georges Gonthier, Assia Mahboubi
article
Journal of Formalized Reasoning, ASDD-AlmaDL, 2010, 3 (2), pp.95-152
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00515548/file/main-rr.pdf BibTex
titre
Learning for Dynamic Subsumption
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
International Journal on Artificial Intelligence Tools (IJAIT), 2010, 19 (4), pp.511-529
Accès au bibtex
BibTex
titre
Deciding security properties for cryptographic protocols. Application to key cycles.
auteur
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (2), pp.Article 9. ⟨10.1145/1656242.1656244⟩
Accès au bibtex
BibTex

Conference papers

titre
Continuous Search in Constraint Programming
auteur
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
article
22th International Conference on Tools with Artificial Intelligence, Oct 2010, Arras, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00515137/file/dyn-cs-FinalVersion.pdf BibTex
titre
Comparison-based Adaptive Strategy Selection with Bandits in Differential Evolution
auteur
Álvaro Fialho, Raymond Ros, Marc Schoenauer, Michèle Sebag
article
11th International Conference on Parallel Problem Solving From Nature – PPSN, Sep 2010, Krakow, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00493005/file/banditPPSN10.pdf BibTex
titre
The TLA+ Proof System: Building a Heterogeneous Verification Platform
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
article
International Conference on Theoretical Aspects of Computing – ICTAC 2010, Sep 2010, Natal, Brazil. pp.44, ⟨10.1007/978-3-642-14808-8_3⟩
Accès au bibtex
BibTex
titre
Building Portfolios for the Protein Structure Prediction Problem
auteur
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
article
Workshop on Constraint Based Methods for Bioinformatics, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00515138/file/bio-portfolio.pdf BibTex
titre
Adaptive Strategy Selection in Differential Evolution
auteur
Wenyin Gong, Álvaro Fialho, Zhihua Cai
article
Genetic and Evolutionary Computation Conference (GECCO), ACM, Jul 2010, Portland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00471268/file/AOS-DE.pdf BibTex
titre
Probability Matching-based Adaptive Strategy Selection vs. Uniform Strategy Selection within Differential Evolution: An Empirical Comparison on the BBOB-2010 Noiseless Testbed
auteur
Álvaro Fialho, Wenyin Gong, Zhihua Cai
article
GECCO 2010 Workshop on Black-Box Optimization Benchmarking, Jul 2010, Portland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494538/file/pmadapssde-bbob10.pdf BibTex
titre
Fitness-AUC Bandit Adaptive Strategy Selection vs. the Probability Matching one within Differential Evolution: An Empirical Comparison on the BBOB-2010 Noiseless Testbed
auteur
Álvaro Fialho, Marc Schoenauer, Michèle Sebag
article
GECCO 2010 Workshop on Black-Box Optimization Benchmarking, Jul 2010, Portland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494535/file/faucbandit-bbob10.pdf BibTex
titre
Toward Comparison-based Adaptive Operator Selection
auteur
Álvaro Fialho, Marc Schoenauer, Michèle Sebag
article
Genetic and Evolutionary Computation Conference (GECCO 2010), Jul 2010, Portland, United States. pp.767-774
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00471264/file/banditGECCO10.pdf BibTex
titre
A formal quantifier elimination for algebraically closed fields
auteur
Cyril Cohen, Assia Mahboubi
article
Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus, Jul 2010, Paris, France. pp.189-203, ⟨10.1007/978-3-642-14128-7_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00464237/file/main.pdf BibTex
titre
Comparing Results of 31 Algorithms from the Black-Box Optimization Benchmarking BBOB-2009
auteur
Nikolaus Hansen, Anne Auger, Raymond Ros, Steffen Finck, Petr Posik
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2010, Portland, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545727/file/ws1p34.pdf BibTex
titre
iChase: Supporting Exploration and Awareness of Editing Activities on Wikipedia
auteur
Nathalie Henry Riche, Bongshin Lee, Fanny Chevalier
article
Proceedings of AVI 2010, ACM, May 2010, Roma, Italy. pp.59-66, ⟨10.1145/1842993.1843004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00702011/file/ichase_avi2010.pdf BibTex
titre
Using Text Animated Transitions to Support Navigation in Document Histories
auteur
Fanny Chevalier, Pierre Dragicevic, Anastasia Bezerianos, Jean-Daniel Fekete
article
International Conference on Human Factors in Computing Systems, ACM, Apr 2010, Atlanta, GA, United States. pp.683-692, ⟨10.1145/1753326.1753427⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00690289/file/diffamation-CHI2010.pdf BibTex
titre
Diversification and Intensification in Parallel {SAT} Solving
auteur
Long Guo, Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
16th International Conference on Principles and Practice of Constraint Programming (CP’10), 2010, United Kingdom. pp.252-265
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00865417/file/cp2010.pdf BibTex

Directions of work or proceedings

titre
Evolution Artificielle 2009
auteur
Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton
article
Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton. LNCS 5975, Springer, pp.163, 2010, 978-3-642-14155-3
Accès au bibtex
BibTex

Reports

titre
Analysis of Adaptive Strategy Selection within Differential Evolution on the BBOB-2010 Noiseless Benchmark
auteur
Álvaro Fialho, Raymond Ros
article
[Research Report] RR-7259, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00476160/file/RR-7259.pdf BibTex

Theses

titre
Adaptive Operator Selection for Optimization
auteur
Álvaro Fialho
article
Computer Science [cs]. Université Paris Sud – Paris XI, 2010. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00578431/file/thesisAlvaro.pdf BibTex

Preprints, Working Papers, …

titre
Formalizing real analysis for polynomials
auteur
Cyril Cohen
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545778/file/main.pdf BibTex

2009

Journal articles

titre
SAT: a parallel SAT solver
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2009, 6, pp.245-262
Accès au bibtex
BibTex
titre
Efficient Covariance Matrix Update for Variable Metric Evolution Strategies
auteur
Thorsten Suttorp, Nikolaus Hansen, Christian Igel
article
Machine Learning, Springer Verlag, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00369468/file/SuttorpEtAl-finaldraft.pdf BibTex
titre
A Method for Handling Uncertainty in Evolutionary Optimization with an Application to Feedback Control of Combustion
auteur
Nikolaus Hansen, Andre Niederberger, Lino Guzzella, Petros Koumoutsakos
article
IEEE Transactions on Evolutionary Computation, Institute of Electrical and Electronics Engineers, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00276216/file/TEC2008.pdf BibTex
titre
Computing predecessor and successor in rounding to nearest
auteur
Siegfried Rump, Paul Zimmermann, Sylvie Boldo, Guillaume Melquiond
article
BIT Numerical Mathematics, Springer Verlag, 2009, 49 (2), pp.419-431. ⟨10.1007/s10543-009-0218-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337537/file/RuZiBoMe08.pdf BibTex

Conference papers

titre
Ensuring Data Privacy in Structured P2P systems with PriServ
auteur
Mohamed Jawad, Patricia Serrano-Alvarado, Patrick Valduriez, Stéphane Drapeau
article
Bases de données avancées, Oct 2009, Namur, Belgium
Accès au bibtex
BibTex
titre
Contact Area Interaction with Sliding Widgets
auteur
Tomer Moscovich
article
ACM symposium on User interface software and technology, ACM, Oct 2009, Victoria, Canada. pp.13-22, ⟨10.1145/1622176.1622181⟩
Accès au bibtex
BibTex
titre
Pride and Prejudice on a Centralized Academic Labor Market
auteur
Philippe Caillou, Michèle Sebag
article
Artificial Economics 09, Sep 2009, Valladolid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00380541/file/051CaillouMcfAELongv4.pdf BibTex
titre
Mining visual actions from movies
auteur
Adrien Gaidon, Marcin Marszalek, Cordelia Schmid
article
British Machine Vision Conference, British Machine Vision Association, Sep 2009, Londres, United Kingdom. pp.125.1-125.11, ⟨10.5244/C.23.125⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440973/file/gaidon_mining_actions_bmvc2009.pdf BibTex
titre
Analysis of Adaptive Operator Selection Techniques on the Royal Road and Long K-Path Problems
auteur
Álvaro Fialho, Marc Schoenauer, Michèle Sebag
article
Genetic and Evolutionary Computation Conference (GECCO), ACM, Jul 2009, Montreal, Canada. pp.779-786, ⟨10.1145/1569901.1570009⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00377449/file/banditGECCO09.pdf BibTex
titre
Benchmarking the (1+1)-ES with One-Fifth Success rule on the BBOB-2009 Noisy Testbed
auteur
Anne Auger
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00430516/file/Auger-wk2038.pdf BibTex
titre
Benchmarking the Pure Random Search on the BBOB-2009 Noisy Testbed
auteur
Anne Auger, Raymond Ros
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00430534/file/wk2043-Auger.pdf BibTex
titre
Bringing Evolutionary Computation to Industrial Applications with GUIDE
auteur
Luis da Costa, Marc Schoenauer
article
GECCO 2009, ACM, Jul 2009, Montréal, Québec, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00375419/file/t13fp504-DaCosta.pdf BibTex
titre
Benchmarking the Nelder-Mead Downhill Simplex Algorithm With Many Local Restarts
auteur
Nikolaus Hansen
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00382104/file/hansen2009bnm.pdf BibTex
titre
Benchmarking the (1+1) Evolution Strategy with One-Fifth Success Rule on the BBOB-2009 Function Testbed
auteur
Anne Auger
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00430515/file/wk2037-auger.pdf BibTex
titre
Benchmarking the (1+1)-CMA-ES on the BBOB-2009 Function Testbed
auteur
Anne Auger, Nikolaus Hansen
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00430517/file/wk2039-auger.pdf BibTex
titre
Benchmarking the (1+1)-CMA-ES on the BBOB-2009 Noisy Testbed
auteur
Anne Auger, Nikolaus Hansen
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00430518/file/Auger-wk2040.pdf BibTex
titre
Benchmarking the Pure Random Search on the BBOB-2009 Testbed
auteur
Anne Auger, Raymond Ros
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00430532/file/wk2042-auger.pdf BibTex
titre
Benchmarking a BI-Population CMA-ES on the BBOB-2009 Noisy Testbed
auteur
Nikolaus Hansen
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00382101/file/hansen2009bbn.pdf BibTex
titre
Benchmarking a BI-Population CMA-ES on the BBOB-2009 Function Testbed
auteur
Nikolaus Hansen
article
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00382093/file/hansen2009bbi.pdf BibTex
titre
Experimental Comparisons of Derivative Free Optimization Algorithms
auteur
Anne Auger, Nikolaus Hansen, Jorge Perez Zerpa, Raymond Ros, Marc Schoenauer
article
8th International Symposium on Experimental Algorithms, Jun 2009, Dortmund, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00397334/file/sea.pdf BibTex
titre
The impact of network topology on self-organizing maps.
auteur
Fei Jiang, Hugues Berry, Marc Schoenauer
article
First ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC-2009, Jun 2009, Shangai, China
Accès au bibtex
BibTex
titre
Haptic Conviction Widgets
auteur
Gerry Chu, Tomer Moscovich, Ravin Balakrishnan
article
Graphics Interface, Canadian Information Processing Society, May 2009, Kelowna, British Columbia, Canada. pp.207-210
Accès au bibtex
BibTex
titre
Empirical comparisons of several derivative free optimization algorithms
auteur
Anne Auger, Nikolaus Hansen, Jorge Perez Zerpa, Raymond Ros, Marc Schoenauer
article
9e Colloque national en calcul des structures, CSMA, May 2009, Giens, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01408402/file/r_0K089462.pdf BibTex
titre
Extreme Compass and Dynamic Multi-Armed Bandits for Adaptive Operator Selection
auteur
Jorge Maturana, Álvaro Fialho, Frédéric Saubion, Marc Schoenauer, Michèle Sebag
article
IEEE Congress on Evolutionary Computation (CEC), IEEE, May 2009, Trondheim, Norway. pp.365-372, ⟨10.1109/CEC.2009.4982970⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00377450/file/PaperCEC09.pdf BibTex
titre
Topology-Aware Navigation in Large Networks
auteur
Tomer Moscovich, Fanny Chevalier, Nathalie Henry, Emmanuel Pietriga, Jean-Daniel Fekete
article
SIGCHI conference on Human Factors in computing systems, ACM, Apr 2009, Boston, United States. pp.2319–2328, ⟨10.1145/1518701.1519056⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00373679/file/chi2009_toponav.pdf BibTex
titre
Exploiting Weak Dependencies in Tree-based Search
auteur
Alejandro Arbelaez, Youssef Hamadi
article
24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00344179/file/SAC-functdep.pdf BibTex
titre
Dynamic Multi-Armed Bandits and Extreme Value-based Rewards for Adaptive Operator Selection in Evolutionary Algorithms
auteur
Álvaro Fialho, Luis da Costa, Marc Schoenauer, Michèle Sebag
article
Learning and Intelligent Optimization (LION 3), Jan 2009, Trento, Italy. pp.176-190, ⟨10.1007/978-3-642-11169-3_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00377401/file/aosLION.pdf BibTex
titre
Control-Based Clause Sharing in Parallel {SAT} Solving
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
21st International Joint Conference on Artificial Intelligence (IJCAI’09), 2009, Pasadena, United States. pp.499-504
Accès au bibtex
BibTex
titre
Learning for Dynamic Subsumption
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
21st International Conference on Tools with Artificial Intelligence (ICTAI’09), 2009, Newark, United States. pp.328-335
Accès au bibtex
BibTex
titre
Packaging Mathematical Structures
auteur
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
article
Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00368403/file/main.pdf BibTex
titre
Topological Order Based Planner for Solving POMDPs
auteur
Jilles Dibangoye, Guy Shani, Braim Chaid-Draa, Abdel-Illah Mouaddib
article
Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI~2009), 2009, pasadena, United States. pp.425–430
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00965737/file/acti-dibangoye-2009-1.pdf BibTex

Book sections

titre
Autonomic Information Diffusion in Intermittently Connected Networks
auteur
Sara Alouf, Iacopo Carreras, Álvaro Fialho, Daniele Miorandi, Giovanni Neglia
article
Mieso K. Denko and Laurence T. Yang and Yan Zhang. Autonomic Computing and Networking, Springer, pp.411-433, 2009, ⟨10.1007/978-0-387-89828-5_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640974/file/bookchapter-author-version.pdf BibTex

Directions of work or proceedings

titre
Special Issue on Autonomous Search
auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
CLS, pp.65, 2009
Accès au bibtex
BibTex

Other publications

titre
Continuous Search in Constraint Programming: An Initial Investigation
auteur
Alejandro Arbelaez, Youssef Hamadi
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00435524/file/CP-DP2009Arbelaez.pdf BibTex
titre
Online Heuristic Selection in Constraint Programming
auteur
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00392752/file/search-socs.pdf BibTex

Reports

titre
An Ssreflect Tutorial
auteur
Georges Gonthier, Roux Stéphane Le
article
[Technical Report] RT-0367, INRIA. 2009, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00407778/file/RT-367.pdf BibTex
titre
Real-Parameter Black-Box Optimization Benchmarking 2009: Experimental Setup
auteur
Nikolaus Hansen, Anne Auger, Steffen Finck, Raymond Ros
article
[Research Report] RR-6828, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00362649/file/RR-6828.pdf BibTex
titre
Real-Parameter Black-Box Optimization Benchmarking 2009: Noiseless Functions Definitions
auteur
Nikolaus Hansen, Steffen Finck, Raymond Ros, Anne Auger
article
[Research Report] RR-6829, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00362633/file/RR-6829v2.pdf BibTex
titre
Real-Parameter Black-Box Optimization Benchmarking 2009: Noisy Functions Definitions
auteur
Nikolaus Hansen, Steffen Finck, Raymond Ros, Anne Auger
article
[Research Report] RR-6869, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00369466/file/RR-6869.pdf BibTex

2008

Conference papers

titre
Extreme Value Based Adaptive Operator Selection
auteur
Álvaro Fialho, Luis da Costa, Marc Schoenauer, Michèle Sebag
article
10th International Conference on Parallel Problem Solving From Nature (PPSN X), Sep 2008, Dortmund, Germany. pp.175-184, ⟨10.1007/978-3-540-87700-4_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00287355/file/rewardPPSN.pdf BibTex
titre
Modelling a Centralized Academic Labour Market: Efficiency and Fairness
auteur
Philippe Caillou, Michèle Sebag
article
ECCS 2008, Sep 2008, Jerusalem, Israel
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00319072/file/McFECCSv3.pdf BibTex
titre
A Simple Modification in CMA-ES Achieving Linear Time and Space Complexity
auteur
Raymond Ros, Nikolaus Hansen
article
10th International Conference on Parallel Problem Solving From Nature, Sep 2008, Dortmund, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00287367/file/sepCMA_PPSN2008HAL.pdf BibTex
titre
Adaptive Encoding: How to Render Search Coordinate System Invariant
auteur
Nikolaus Hansen
article
Parallel Problem Solving from Nature – PPSN X, Sep 2008, Dortmund, Germany. pp.205-214
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00287351/file/ppsn2008.pdf BibTex
titre
Canonical Big Operators
auteur
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca
article
Theorem Proving in Higher Order Logics, Aug 2008, Montreal, Canada. ⟨10.1007/978-3-540-71067-7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00331193/file/main.pdf BibTex
titre
Proving bounds on real-valued functions with computations
auteur
Guillaume Melquiond
article
International Joint Conference on Automated Reasoning, IJCAR 2008, Aug 2008, Sydney, Australia. pp.2–17, ⟨10.1007/978-3-540-71070-7_2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180138/file/article.pdf BibTex
titre
Adaptive Operator Selection with Dynamic Multi-Armed Bandits
auteur
Luis da Costa, Álvaro Fialho, Marc Schoenauer, Michèle Sebag
article
Genetic and Evolutionary Computation Conference (GECCO), ACM, Jul 2008, Atlanta, United States. pp.913-920, ⟨10.1145/1389095.1389272⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00278542/file/pap333s1-dacosta.pdf BibTex
titre
Unsupervised Learning of Echo State Networks: Balancing the Double Pole
auteur
Fei Jiang, Hugues Berry, Marc Schoenauer
article
Genetic and Evolutionary Computation Conference, GECCO-2008, Jun 2008, Atlanta, GA, United States
Accès au bibtex
BibTex
titre
A TLA+ Proof System
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
article
Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA), 2008, Doha, Qatar
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00338299/file/main.pdf BibTex
titre
Floating-point arithmetic in the Coq system
auteur
Guillaume Melquiond
article
8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. pp.93-102
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01780385/file/08-rnc8-article.pdf BibTex
titre
Vivifying propositional clausal formulae
auteur
Cedric Piette, Youssef Hamadi, Lakhdar Saïs
article
18th European Conference on Artificial Intelligence (ECAI’08), 2008, Patras, Greece. pp.525-529
Accès au bibtex
BibTex

Book sections

titre
The Specification Language TLA+
auteur
Stephan Merz
article
Dines Bjørner and Martin Henson. Logics of specification languages, Springer, pp.401-452, 2008, Monographs in Theoretical Computer Science, 978-3-540-74106-0
Accès au bibtex
BibTex

Reports

titre
CMA-ES with Two-Point Step-Size Adaptation
auteur
Nikolaus Hansen
article
[Research Report] RR-6527, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00276854/file/twopointSA.pdf BibTex
titre
Adaptive Encoding for Optimization
auteur
Nikolaus Hansen
article
[Research Report] RR-6518, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00275983/file/hansen-INRIA-RR-6518.pdf BibTex
titre
Precise Dynamic Verification of Noninterference
auteur
Gurvan Le Guernic
article
[Research Report] 2008, pp.40
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00162609/file/contextSensitiveNIA.pdf BibTex

2007

Reports

titre
A Modular Formalisation of Finite Group Theory
auteur
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
article
[Research Report] RR-6156, INRIA. 2007, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00139131/file/RR-6156.pdf BibTex

2006

Journal articles

titre
A Queueing Analysis of Max-Min Fairness, Proportional Fairness and Balanced Fairness
auteur
Thomas Bonald, Laurent Massoulié, Alexandre Proutière, Jorma Virtamo
article
Queueing Systems, Springer Verlag, 2006, ⟨10.1007/s11134-006-7587-7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244245/file/questa06.pdf BibTex

Conference papers

titre
Evolutionary Optimization of Feedback Controllers for Thermoacoustic Instabilities
auteur
Nikolaus Hansen, Andre Niederberger, Lino Guzzella, Petros Koumoutsakos
article
IUTAM Symposium on Flow Control and MEMS, Sep 2006, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00276217/file/IUTAM20062008.pdf BibTex