A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
Mai Gehrke
,
Tomáš Jakl
,
Luca Reggio
Samson Abramsky on Logic and Structure in Computer Science and Beyond, A. Palmigiano and M. Sadrzadeh (eds.), Springer Series. , In press, Outstanding Contribution to Logic
Book sections
hal-03795820v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Benchmarking framework for myocardial tracking and deformation algorithms: an open access database
Catalina Tobon-Gomez
,
Mathieu de Craene
,
Kristin Mcleod
,
Lennart Tautz
,
Wenzhe Shi
et al.
Journal articles
hal-00855928v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Real-World VR Applications and Computer Graphics/Sound Research: A Synergy for the Future
George Drettakis
,
Maria Roussou
2nd Intuition International Workshop : VR/VE & Industry: Challenges and opportunities , Nov 2005, Senlis, France
Conference papers
inria-00606756v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Strong Planning under Uncertainty in Domains with Numerous but Identical Elements (a generic approach)
Max Kanovich
,
Jacqueline Vauzeilles
Other publications
hal-00084728v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An efficient playout smoothing mechanism for layered streaming in P2P networks
Abbas Bradai
,
Ubaid Abbasi
,
Raul Landa
,
Toufik Ahmed
Journal articles
hal-00875223v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On-chain analytics for sentiment-driven statistical causality in cryptocurrencies
Ioannis Chalkiadakis
,
Anna Zaremba
,
Gareth Peters
,
Michael Chantler
Journal articles
hal-03856719v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Convergence of the Method of Relaxations, an Application to Learning on a Graph.
Sylvain Marié
,
Mark Herbster
2006
Preprints, Working Papers, ...
hal-02920470v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Manageability of Future Internet Virtual Networks from a Practical Viewpoint
Javier Rubio-Loyola
,
Antonio Astorga
,
Joan Serrat
,
Laurent Lefevre
,
Abderhaman Cheniour
et al.
Conference papers
hal-00795224v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Perturbed Model Validation: A New Framework to Validate Model Relevance
Jie Zhang
,
Earl T Barr
,
Benjamin Guedj
,
Mark Harman
,
John Shawe-Taylor
et al.
2019
Preprints, Working Papers, ...
hal-02139208v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Non-linear aggregation of filters to improve image denoising
Benjamin Guedj
,
Juliette Rengot
Computing Conference 2020 , Jul 2020, London, United Kingdom
Conference papers
hal-02086856v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Primer on PAC-Bayesian Learning
Benjamin Guedj
2019
Preprints, Working Papers, ...
hal-01983732v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
KSD Aggregated Goodness-of-fit Test
Antonin Schrab
,
Benjamin Guedj
,
Arthur Gretton
2022
Preprints, Working Papers, ...
hal-03554423v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
PAC-Bayesian Bound for the Conditional Value at Risk
Zakaria Mhammedi
,
Benjamin Guedj
,
Robert C. Williamson
NeurIPS 2020 , Dec 2020, Vancouver / Virtual, Canada
Conference papers
hal-02883728v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Progress in Self-Certified Neural Networks
Maria Perez-Ortiz
,
Omar Rivasplata
,
Emilio Parrado-Hernandez
,
Benjamin Guedj
,
John Shawe-Taylor
et al.
NeurIPS 2021 - Conference on Neural Information Processing Systems. Session Workshop : Bayesian Deep Learning , Dec 2021, Virtual, United Kingdom
Conference papers
hal-03430821v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Nested partitions from hierarchical clustering statistical validation
Christian Bongiorno
,
Salvatore Miccichè
,
Rosario N Mantegna
2019
Preprints, Working Papers, ...
hal-02157744v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fence-sitters protect cooperation in complex networks
Yichao Zhang
,
M. Aziz-Alaoui
,
Cyrille Bertelle
,
Shi Zhou
,
Wenting Wang
et al.
Journal articles
hal-02116512v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computational Design and Construction of Notch-Free Reciprocal Frame Structures
Nicolas Mellado
,
Peng Song
,
Xiaoqi Yan
,
Chi-Wing Fu
,
Niloy J Mitra
et al.
Conference papers
hal-01498291v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Decentralized learning with budgeted network load using Gaussian copulas and classifier ensembles
John Klein
,
Mahmoud Albardan
,
Benjamin Guedj
,
Olivier Colot
Conference papers
hal-01779989v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Pointless learning (long version)
Florence Clerc
,
Vincent Danos
,
Fredrik Dahlqvist
,
Ilias Garnier
2017
Preprints, Working Papers, ...
hal-01429663v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Strong Planning under Uncertainty in Domains with Numerous but Identical Elements (a generic approach)
Jacqueline Vauzeilles
,
Max Kanovich
Journal articles
hal-00153226v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Temporal planning in Linear Logic
Jacqueline Vauzeilles
,
Max Kanovich
Workshop Geometria del calcolo , 2006, Rome, Italy
Conference papers
hal-00085515v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Art Touch with CREATE haptic interface
Andrea Dettori
,
Carlo Alberto Avizzano
,
Simone Marcheschi
,
Michael Angerilli
,
Massimo Bergamasco
et al.
2003, pp.269
Conference papers
hal-00021427v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Automated voxel-based 3D cortical thickness measurement in a combined Lagrangian-Eulerian PDE approach using partial volume maps.
Oscar Acosta
,
Pierrick Bourgeat
,
Maria A. Zuluaga
,
Jurgen Fripp
,
Olivier Salvado
et al.
Journal articles
hal-00911253v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Detection of Bitcoin-Based Botnets Using a One-Class Classifier
Bruno Bogaz Zarpelão
,
Rodrigo Sanches Miani
,
Muttukrishnan Rajarajan
12th IFIP International Conference on Information Security Theory and Practice (WISTP) , Dec 2018, Brussels, Belgium. pp.174-189,
⟨10.1007/978-3-030-20074-9_13⟩
Conference papers
hal-02294596v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Motion Models that Only Work Sometimes
Cristina Garcia Cifuentes
,
Marc Sturzel
,
Frédéric Jurie
,
Gabriel J. Brostow
British Machive Vision Conference , Sep 2012, Guildford, United Kingdom. 12 p
Conference papers
hal-00806098v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
AN ANALYSIS OF CONVEX RELAXATIONS FOR MAP ESTIMATION OF DISCRETE MRFs
M. Pawan Kumar
,
Vladimir Kolmogorov
,
Philip H.S. Torr
JMLR , 2009
Journal articles
hal-00773608v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Real-Time Reflection on Moving Vehicles in Urban Environments
Alexandre Meyer
,
Céline Loscos
Conference papers
hal-01494996v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Software is Not Fragile
William B. Langdon
,
Justyna Petke
CS-DC’15 World e-conference , Sep 2015, Tempe, United States
Conference papers
hal-01291120v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ParkMaster: Leveraging Edge Computing in Visual Analytics
Giulio Grassi
,
Matteo Sammarco
,
Paramvir Bahl
,
Kyle Jamieson
,
Giovanni Pau
et al.
MobiCom'15 - 21st Annual International Conference on Mobile Computing and Networking , Sep 2015, Paris, France. ACM, MobiCom '15 Proceedings of the 21st Annual International Conference on Mobile Computing and Networking. Pages 257-259, pp.257-259, 2015,
⟨10.1145/2789168.2795174⟩
Poster communications
hal-01231828v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
PAC-Bayesian Contrastive Unsupervised Representation Learning
Kento Nozawa
,
Pascal Germain
,
Benjamin Guedj
UAI 2020 - Conference on Uncertainty in Artificial Intelligence , Aug 2020, Toronto, Canada
Conference papers
hal-02401282v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More