Lightweight Parallel Multi-Agent Epistemic Planning
Martin Cooper
,
Andreas Herzig
,
Frédéric Maris
,
Elise Perrotin
,
Julien Vianey
17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020 , Sep 2020, Rhodes, Greece
Conference papers
hal-03015803v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning
Andreas Herzig
,
Philippe Besnard
Marquis, Pierre; Papini, Odile; Prade, Henri.
A Guided Tour of Artificial Intelligence Research , 1 / 3,
Springer International Publishing , pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630.
⟨10.1007/978-3-030-06164-7_2⟩
Book sections
hal-03015825v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Zermelo Navigation Problems on Surfaces of Revolution and Hamiltonian Dynamics
Bernard Bonnard
,
Olivier Cots
,
Boris Wembe
2021
Preprints, Working Papers, ...
hal-03209491v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Possibilistic games with incomplete information (LFA 2018)
Régis Sabbadin
,
Nahla Ben Amor
,
Hélène Fargier
,
Meriem Trabelsi
27èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2018) , LGI2A : Laboratoire de Génie Informatique et d’Automatique de l’Artois; AFIA : Association française pour l'intelligence artificielle, Nov 2018, Arras, France
Conference papers
hal-02733669v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A mathematical model for automatic differentiation in machine learning
Jerome Bolte
,
Edouard Pauwels
Conference on Neural Information Processing Systems , Dec 2020, Vancouver, Canada
Conference papers
hal-02734446v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Iterative Ensemble Kalman Smoother in Presence of Additive Model Error
Anthony Fillion
,
Marc Bocquet
,
Serge Gratton
,
Selime Gürol
,
Pavel Sakov
Journal articles
hal-02943255v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Comparison of Two Ground-based Mass Estimation Methods on Real Data
Richard Alligier
,
David Gianazza
,
Mohammad Ghasemi Hamed
,
Nicolas Durand
ICRAT 2014, 6th International Conference on Research in Air Transportation , May 2014, Istanbul, Turkey. pp xxxx
Conference papers
hal-01002401v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A short biography of Luis Fariñas del Cerro
Pedro Cabalar
,
Martin Dieguez
,
Andreas Herzig
,
David Pearce
Journal of Applied Non-Classical Logics , 2017
Journal articles
hal-01892914v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Temporal Equilibrium Logic with past operators
Felicidad Aguado
,
Pedro Cabalar
,
Martin Dieguez
,
Gilberto Pérez
,
Concepción Vidal
Journal of Applied Non-Classical Logics , 2017
Journal articles
hal-01892941v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Asymptotic Optimal Control of Markov-Modulated Restless Bandits
Santiago Duran
,
Ina Maria Maaike Verloop
ACM Sigmetrics 2018 , Jun 2018, Irvine, United States
Conference papers
hal-01696329v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Decidability of several concepts of finiteness for simple types
José Espírito Santo
,
Ralph Matthes
,
Luís Pinto
Journal articles
hal-02119503v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Combination of optimal control approaches for aircraft conflict avoidance via velocity regulation
Sonia Cafieri
,
Loïc Cellier
,
Frédéric Messine
,
Riadh Omheni
Journal articles
hal-01575705v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The value function approach to convergence analysis in composite optimization
Edouard Pauwels
Journal articles
hal-01482952v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Type-theoretical natural language semantics: on the system F for meaning assembly
Christian Retoré
TYPES 2013 , Apr 2013, Toulouse, France. pp.64--65
Conference papers
hal-00799685v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Phonocardiogram Signal Denoising Based on Non-negative Matrix Factorization and Adaptive Contour Representation Computation
Duong-Hung Pham
,
Sylvain Meignen
,
Nafissa Dia
,
Julie Fontecave-Jallon
,
Bertrand Rivet
Journal articles
hal-01855855v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimization of a Fast Transform Structured as a Convolutional Tree
Olivier Chabiron
,
François Malgouyres
,
Herwig Wendt
,
Jean-Yves Tourneret
2016
Preprints, Working Papers, ...
hal-01258514v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Un résultat de trace sur les domaines d'extension de Sobolev
Djamel Ait-Akli
,
Abdelkader Merakeb
2021
Preprints, Working Papers, ...
hal-03084211v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Large-scale Epidemiological Modelling: Exploring the Impact of the ASEAN Economic Corridors Policy on the Dengue Fever Epidemic
Alexis Drogoul
,
Marc Choisy
,
Benoit Gaudou
,
Nicolas Marilleau
,
Damien Philippon
ASM Science Journal , 2017, ASM Science Journal, 1 n° spécial ICT-Bio, pp.69-71
Journal articles
hal-03097770v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deterministic radiative transfer equation solver on unstructured tetrahedral meshes: Efficient assembly and preconditioning
Pierre Jolivet
,
Mohd Afeef Badri
,
Y. Favennec
Journal articles
hal-03196806v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
p-exponent and p-leaders, Part I: Negative pointwise regularity
Stéphane Jaffard
,
Clothilde Melot
,
Roberto Leonarduzzi
,
Herwig Wendt
,
Patrice Abry Stéphane G. Roux
,
et al.
Journal articles
hal-01180560v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linear conic optimization for nonlinear optimal control
Didier Henrion
,
Edouard Pauwels
Terlaky, Tamas; Anjos, Miguel; Ahmed, Shabbir.
Advances and Trends in Optimization with Engineering Applications , Chapitre 10,
SIAM , pp.121-133, 2017, 978-1-61197-467-6.
⟨10.1137/1.9781611974683.ch10⟩
Book sections
hal-03109262v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimization of Passenger Screening Operations in Air Terminals
Carl Rizk
,
Felix Mora-Camino
,
Hadj Batatia
Journal articles
hal-02089983v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Preconditioned Krylov subspace methods for solving radiative transfer problems with scattering and reflection
Mohd Afeef Badri
,
Pierre Jolivet
,
Benoit Rousseau
,
Y. Favennec
Journal articles
hal-02333906v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Survey of Stability Results for Redundancy Systems
Elene Anton
,
Urtzi Ayesta
,
Matthieu Jonckheere
,
Ina Maria Maaike Verloop
Alexey Piunovskiy; Yi Zhang.
Modern Trends in Controlled Stochastic Processes : Theory and Applications, Volume III , 41,
Springer , pp.266-283, 2021, Emergence, Complexity and Computation (ECC), 978-3-030-76927-7.
⟨10.1007/978-3-030-76928-4_13⟩
Book sections
hal-03168397v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the convergence of a non-linear ensemble Kalman smoother
El Houcine Bergou
,
Serge Gratton
,
Jan Mandel
Journal articles
hal-02618742v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Gibbard-Satterthwaite Games for k-Approval Rules
Umberto Grandi
,
Daniel Hughes
,
Francesca Rossi
,
Arkadii Slinko
Journal articles
hal-03012577v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Minimum energy control of passive tracers advection in point vortices flow
Carlos Balsa
,
Olivier Cots
,
Joseph Gergaud
,
Boris Wembe
14th International Conference on Automatic Control and Soft Computing (CONTROLO 2020) , Jul 2020, Bragança, Portugal
Conference papers
hal-02865231v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An infinitary encoding of temporal equilibrium logic
Pedro Cabalar
,
Martin Dieguez
,
Concepción Vidal
TPLP , 2015
Journal articles
hal-01892977v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Large-scale frequency-domain seismic wave modeling on h-adaptive tetrahedral meshes with iterative solver and multi-level domain-decomposition preconditioners
Victorita Dolean
,
Pierre Jolivet
,
Stéphane Operto
,
Pierre-Henri H Tournier
SEG 2020 - Annual Meeting of the Society of Exploration Geophysicists , Society of Exploration Geophysicists, Oct 2020, Houston, United States. pp.1949-4645,
⟨10.1190/segam2020-3427414.1⟩
Conference papers
hal-03136868v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A comparison of coarse spaces for Helmholtz problems in the high frequency regime
Niall Bootland
,
Victorita Dolean
,
Pierre Jolivet
,
Pierre-Henri Tournier
2021
Preprints, Working Papers, ...
hal-03136867v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More