2021
Preprints, Working Papers, …
titre
Non-backtracking spectra of weighted inhomogeneous random graphs auteur
Ludovic Stephan, Laurent Massoulié
article
2021
Accès au texte intégral et bibtex
2020
Journal articles
titre
Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area auteur
Stéphane Gaubert, Marianne Akian, Xavier Allamigeon, Marin Boyet, Baptiste Colin, Théotime Grohens, Laurent Massoulié, David Parsons, Frederic Adnet, Érick Chanzy, Laurent Goix, Frédéric Lapostolle, Éric Lecarpentier, Christophe Leroy, Thomas Loeb, Jean-Sébastien Marx, Caroline Télion, Laurent Treluyer, Pierre Carli
article
Comptes Rendus Mathématique , Elsevier Masson, 2020, 358 (7), pp.843-875. ⟨10.5802/crmath.99⟩ Accès au texte intégral et bibtex
titre
Adaptive Matching for Expert Systems with Uncertain Task Types auteur
Virag Shah, Lennart Gulikers, Laurent Massoulié, Milan Vojnović
article
Operations Research , INFORMS, 2020, 68 (5), pp.1403-1424. ⟨10.1287/opre.2019.1954⟩Accès au texte intégral et bibtex
Conference papers
titre
Dual-Free Stochastic Decentralized Optimization with Variance Reduction auteur
Hadrien Hendrikx, Francis Bach, Laurent Massoulié
article
NeurIPS 2020 - 34th Conference on Neural Information Processing Systems , Dec 2020, Vancouver / Virtual, CanadaAccès au texte intégral et bibtex
titre
Who started this rumor? Quantifying the natural differential privacy guarantees of gossip protocols auteur
Aurélien Bellet, Rachid Guerraoui, Hadrien Hendrikx
article
DISC 2020 - 34th International Symposium on Distributed Computing , Oct 2020, Freiburg / Virtual, GermanyAccès au texte intégral et bibtex
titre
Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization auteur
Hadrien Hendrikx, Lin Xiao, Sébastien Bubeck, Francis Bach, Laurent Massoulié
article
ICML 2020 - Thirty-seventh International Conference on Machine Learning , Jul 2020, Vienna / Virtual, AustriaAccès au texte intégral et bibtex
titre
From tree matching to sparse graph alignment auteur
Luca Ganassali, Laurent Massoulié
article
Conference on Learning Theory (COLT) 2020 , Jul 2020, Graz, AustriaAccès au texte intégral et bibtex
Preprints, Working Papers, …
titre
Probabilistic and mean-field model of COVID-19 epidemics with user mobility and contact tracing auteur
Marianne Akian, Luca Ganassali, Stéphane Gaubert, Laurent Massoulié
article
2020
Accès au texte intégral et bibtex
titre
Spectral alignment of correlated Gaussian random matrices auteur
Luca Ganassali, Marc Lelarge, Laurent Massoulié
article
2020
Accès au texte intégral et bibtex
2019
Journal articles
titre
Rapid Mixing of Dynamic Graphs with Local Evolution Rules auteur
Laurent Massoulié, Rémi Varloot
article
IEEE Transactions on Network Science and Engineering , IEEE, 2019, pp.1. ⟨10.1109/TNSE.2019.2926887⟩ Accès au texte intégral et 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/ACM Transactions on Networking , IEEE/ACM, 2019, 27 (3), pp.1013-1027. ⟨10.1109/TNET.2019.2913677⟩ Accès au bibtex
titre
Efficient inference in stochastic block models with vertex labels auteur
Clara Stegehuis, Laurent Massoulié
article
IEEE Transactions on Network Science and Engineering , IEEE, 2019, pp.1. ⟨10.1109/TNSE.2019.2913949⟩ Accès au bibtex
titre
Optimal Convergence Rates for Convex Distributed Optimization in Networks auteur
Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Lee, Laurent Massoulié
article
Journal of Machine Learning Research , Microtome Publishing, 2019, 20, pp.1 - 31Accès au texte intégral et bibtex
Conference papers
titre
An Accelerated Decentralized Stochastic Proximal Algorithm for Finite Sums auteur
Hadrien Hendrikx, Francis Bach, Laurent Massoulié
article
Neural Information Processing systems , Dec 2019, Vancouver, CanadaAccès au texte intégral et bibtex
titre
WI Is Not Enough: Zero-Knowledge Contingent (Service) Payments Revisited auteur
Georg Fuchsbauer
article
ACM CCS 2019 - 26th ACM Conference on Computer and Communications Security , Nov 2019, London, United Kingdom. pp.49-62, ⟨10.1145/3319535.3354234⟩Accès au bibtex
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.700-708, ⟨10.1109/3DV.2019.00082⟩ Accès au texte intégral et 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
titre
Robustness of spectral methods for community detection auteur
Ludovic Stephan, Laurent Massoulié
article
COLT 2019 - Conference on Learning Theory , Jun 2019, Phoenix, United StatesAccès au bibtex
titre
Planting trees in graphs, and finding them back auteur
Laurent Massoulié, Ludovic Stephan, Don Towsley
article
COLT 2019 - Conference on Learning Theory , Jun 2019, Phoenix, United StatesAccès au 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
titre
Aggregate Cash Systems: A Cryptographic Investigation of Mimblewimble auteur
Georg Fuchsbauer, Michele Orrù, Yannick Seurin
article
Advances in Cryptology - EUROCRYPT 2019 , May 2019, Darmstadt, Germany. ⟨10.1007/978-3-030-17653-2_22⟩ Accès au bibtex
titre
Accelerated decentralized optimization with local updates for smooth and strongly convex objectives auteur
Hadrien Hendrikx, Francis Bach, Laurent Massoulié
article
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics , Apr 2019, Naha, Okinawa, JapanAccès au texte intégral et 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. ⟨10.1007/978-3-030-17184-1_2⟩ Accès au 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-3027Accès au 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, 2018Accès au bibtex
titre
On the Capacity of Information Processing Systems auteur
Laurent Massoulié, Kuang Xu
article
Operations Research , INFORMS, 2018, 66 (2), pp.568-586Accès au 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-71Accès au bibtex
Conference papers
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 StatesAccès au 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
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
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-31Accès au 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
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
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
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 , Association for Computing Machinery, 2017, 60 (2), pp.99 - 107. ⟨10.1145/3023357⟩Accès au 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
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
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-52Accès au texte intégral et 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
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, ItalyAccès au texte intégral et bibtex
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-1632Accès au texte intégral et 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-1632Accès au texte intégral et bibtex
titre
Rapid Mixing of Local Dynamics on Graphs auteur
Laurent Massoulié
article
31st International Symposium on Distributed Computing (DISC 2017) , Oct 2017, Vienna, AustriaAccès au texte intégral et 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 StatesAccès au 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, CanadaAccès au texte intégral et 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-52Accès au 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
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
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
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
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
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
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
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-1425Accès au texte intégral et 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 - 48Accès au texte intégral et bibtex
titre
Preserving differential privacy under finite-precision semantics auteur
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
article
Theoretical Computer Science , Elsevier, 2016Accès au texte intégral et 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
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
Conference papers
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
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-1884Accès au texte intégral et 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, FranceAccès au texte intégral et 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 StatesAccès au 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
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
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 KingdomAccès au texte intégral et 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
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
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.16Accès au texte intégral et 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 StatesAccès au 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, FranceAccès au texte intégral et 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 StatesAccès au 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
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
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-138Accès au 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
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
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
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
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 KingdomAccès au 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 StatesAccès au 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
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
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
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
titre
Convergence Rate of Frank-Wolfe for Non-Convex Objectives auteur
Simon Lacoste-Julien
article
2016
Accès au 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
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
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
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
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
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
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
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
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
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
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-357Accès au texte intégral et 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
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
Conference papers
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
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
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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au 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, CanadaAccès au 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, CanadaAccès au 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
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
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
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, FinlandAccès au texte intégral et 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
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
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
titre
Speeding up Glauber Dynamics for Random Generation of Independent Sets auteur
Rémi Varloot, Ana Bušić, 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
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 StatesAccès au texte intégral et 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 StatesAccès au 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 StatesAccès au texte intégral et 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 KingdomAccès au texte intégral et 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
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
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-7Accès au 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-38Accès au 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
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
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
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
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. 2015Accès au texte intégral et 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. 2015Accès au texte intégral et 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
titre
Counting isomorphism classes of $\beta$-normal linear lambda terms auteur
Noam Zeilberger
article
2015
Accès au bibtex
titre
An Isbell Duality Theorem for Type Refinement Systems auteur
Paul-André Melliès, Noam Zeilberger
article
2015
Accès au 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
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
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
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
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, 2014Accès au texte intégral et bibtex
titre
Un ordinateur pour vérifier les preuves mathématiques auteur
Assia Mahboubi
article
Images des Mathématiques , CNRS, 2014Accès au 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
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, CanadaAccès au 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
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, CanadaAccès au texte intégral et 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-30Accès au texte intégral et 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
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
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
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
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
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 - The first International Workshop on Automated Reasoning in Quantified Non-Classical Logics , Jul 2014, Vienna, Austria. pp.1-16Accès au texte intégral et 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, AustriaAccès au texte intégral et 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
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
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
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
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-920Accès au texte intégral et 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-10Accès au texte intégral et 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 StatesAccès au texte intégral et 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
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, AustriaAccès au texte intégral et 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
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
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
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
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
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
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
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
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
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
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
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 , Elsevier, 2013, 6, pp.88-99. ⟨10.1016/j.phycom.2012.05.004⟩ Accès au texte intégral et 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
Journal of Functional Programming , Cambridge University Press (CUP), 2013, 23 (4), pp.402-451Accès au texte intégral et 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
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-480Accès au texte intégral et bibtex
titre
Reconstruction in the Labeled Stochastic Block Model auteur
Marc Lelarge, Laurent Massoulié, Jiaming Xu
article
IEEE Information Theory Workshop , Sep 2013, Seville, SpainAccès au 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
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
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
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
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
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
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-128Accès au 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, ItalyAccès au texte intégral et 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, ItalyAccès au texte intégral et 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-320Accès au texte intégral et 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-46Accès au texte intégral et 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-462Accès au texte intégral et 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
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
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
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-32Accès au 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
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 of the ACM , Association for Computing Machinery, 2012, 55 (3), pp.106-113Accès au texte intégral et bibtex
Conference papers
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, GermanyAccès au texte intégral et bibtex
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, GermanyAccès au texte intégral et 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, FranceAccès au texte intégral et 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
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, GermanyAccès au texte intégral et 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, FranceAccès au texte intégral et 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, CyprusAccès au texte intégral et 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
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 StatesAccès au texte intégral et 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
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 StatesAccès au texte intégral et 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 StatesAccès au texte intégral et 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-328Accès au texte intégral et 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
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 pAccès au 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-1014Accès au texte intégral et 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
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
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
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, FranceAccès au texte intégral et 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 StatesAccès au texte intégral et 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 StatesAccès au bibtex
Book sections
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
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
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
titre
Autonomous search auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
Springer-Verlag, pp.307, 2012
Accès au 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
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
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
titre
Cumulative Step-size Adaptation on Linear Functions: Technical Report auteur
Alexandre Chotard, Anne Auger, Nikolaus Hansen
article
[Research Report] Inria Saclay. 2012, pp.23
Accès au texte intégral et 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
titre
Two simulations about DPLL(T) auteur
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
article
2012
Accès au texte intégral et 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
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 — 72Accès au 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-132Accès au texte intégral et 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
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
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, MoroccoAccès au texte intégral et 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, FranceAccès au texte intégral et 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 StatesAccès au texte intégral et bibtex
titre
Instance-based parameter tuning for evolutionary AI planning auteur
Brendel Matthias, Marc Schoenauer
article
Genetic and Evolutionary Computation Conference , Oct 2011, Dublin, IrelandAccès au texte intégral et 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, JapanAccès au texte intégral et 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-27Accès au texte intégral et 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
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, FranceAccès au texte intégral et 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
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, FranceAccès au texte intégral et 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, FranceAccès au texte intégral et 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, PolandAccès au texte intégral et 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
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, IrelandAccès au texte intégral et 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, CanadaAccès au texte intégral et 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
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-28Accès au texte intégral et 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, IcelandAccès au bibtex
titre
Improving Parallel Local Search for SAT auteur
Alejandro Arbelaez, Youssef Hamadi
article
Learning and Intelligent OptimizatioN Conference LION5 , Jan 2011, Rome, ItalyAccès au texte intégral et 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
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-172Accès au 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-132Accès au 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
Reports
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
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
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
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
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
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
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
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
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
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
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-152Accès au texte intégral et 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-529Accès au 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, FranceAccès au texte intégral et 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, PolandAccès au texte intégral et 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
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 KingdomAccès au texte intégral et 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 StatesAccès au texte intégral et 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 StatesAccès au texte intégral et 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-774Accès au texte intégral et 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 StatesAccès au texte intégral et 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
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 StatesAccès au texte intégral et 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
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
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-265Accès au texte intégral et 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
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
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
Preprints, Working Papers, …
titre
Formalizing real analysis for polynomials auteur
Cyril Cohen
article
2010
Accès au texte intégral et 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-262Accès au bibtex
titre
Efficient Covariance Matrix Update for Variable Metric Evolution Strategies auteur
Thorsten Suttorp, Nikolaus Hansen, Christian Igel
article
Machine Learning , Springer Verlag, 2009Accès au texte intégral et 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, 2009Accès au texte intégral et 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
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, BelgiumAccès au 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
titre
Pride and Prejudice on a Centralized Academic Labor Market auteur
Philippe Caillou, Michèle Sebag
article
Artificial Economics 09 , Sep 2009, Valladolid, SpainAccès au texte intégral et 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
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
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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, CanadaAccès au texte intégral et 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, GermanyAccès au texte intégral et 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, ChinaAccès au 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-210Accès au 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, FranceAccès au texte intégral et 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
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
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 StatesAccès au texte intégral et 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
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-504Accès au 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-335Accès au 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-430Accès au texte intégral et bibtex
titre
Packaging Mathematical Structures auteur
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
article
Theorem Proving in Higher Order Logics , 2009, Munich, GermanyAccès au texte intégral et 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
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
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
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
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
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
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
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
2008
Conference papers
titre
Modelling a Centralized Academic Labour Market: Efficiency and Fairness auteur
Philippe Caillou, Michèle Sebag
article
ECCS 2008 , Sep 2008, Jerusalem, IsraelAccès au texte intégral et bibtex
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
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-214Accès au texte intégral et 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, GermanyAccès au texte intégral et 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
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
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
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-102Accès au texte intégral et 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 StatesAccès au 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-529Accès au 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, QatarAccès au texte intégral et bibtex
Book sections
titre
The Specification Language TLA+ auteur
Stephan Merz
article
Dines Bjoerner 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
Reports
titre
Adaptive Encoding for Optimization auteur
Nikolaus Hansen
article
[Research Report] RR-6518, INRIA. 2008
Accès au texte intégral et 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
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
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
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
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 KingdomAccès au texte intégral et bibtex
