Search - Structuration des Mondes Sociaux (SMS) Access content directly

Filter your results

261 Results
Domains : math
Image document

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

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
Image document

Zermelo Navigation Problems on Surfaces of Revolution and Hamiltonian Dynamics

Bernard Bonnard , Olivier Cots , Boris Wembe
Preprints, Working Papers, ... hal-03209491v2

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
Image document

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

An Iterative Ensemble Kalman Smoother in Presence of Additive Model Error

Anthony Fillion , Marc Bocquet , Serge Gratton , Selime Gürol , Pavel Sakov
SIAM/ASA Journal on Uncertainty Quantification, 2020, 8 (1), pp.198-228. ⟨10.1137/19M1244147⟩
Journal articles hal-02943255v1
Image document

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

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

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
Image document

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
Image document

Decidability of several concepts of finiteness for simple types

José Espírito Santo , Ralph Matthes , Luís Pinto
Fundamenta Informaticae, 2019, 170 (1-3), pp.111-138. ⟨10.3233/FI-2019-1857⟩
Journal articles hal-02119503v1
Image document

Combination of optimal control approaches for aircraft conflict avoidance via velocity regulation

Sonia Cafieri , Loïc Cellier , Frédéric Messine , Riadh Omheni
Optimal Control Applications and Methods, 2018, 39 (1), pp.181-203. ⟨10.1002/oca.2344⟩
Journal articles hal-01575705v1

The value function approach to convergence analysis in composite optimization

Edouard Pauwels
Operations Research Letters, 2016, 44 (6), pp.790-795. ⟨10.1016/j.orl.2016.10.003⟩
Journal articles hal-01482952v1
Image document

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
Image document

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
IEEE Signal Processing Letters, 2018, 25 (10), pp.1475-1479. ⟨10.1109/LSP.2018.2865253⟩
Journal articles hal-01855855v1
Image document

Optimization of a Fast Transform Structured as a Convolutional Tree

Olivier Chabiron , François Malgouyres , Herwig Wendt , Jean-Yves Tourneret
Preprints, Working Papers, ... hal-01258514v1
Image document

Un résultat de trace sur les domaines d'extension de Sobolev

Djamel Ait-Akli , Abdelkader Merakeb
Preprints, Working Papers, ... hal-03084211v2
Image document

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
Image document

Deterministic radiative transfer equation solver on unstructured tetrahedral meshes: Efficient assembly and preconditioning

Pierre Jolivet , Mohd Afeef Badri , Y. Favennec
Journal of Computational Physics, 2021, 437, pp.110313. ⟨10.1016/⟩
Journal articles hal-03196806v1

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.
Physica A: Statistical Mechanics and its Applications, 2016, 448, pp.300-318. ⟨10.1016/j.physa.2015.12.061⟩
Journal articles hal-01180560v1
Image document

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

Optimization of Passenger Screening Operations in Air Terminals

Carl Rizk , Felix Mora-Camino , Hadj Batatia
Transportation Research Procedia, 2018, 35, pp.23-34. ⟨10.1016/j.trpro.2018.12.004⟩
Journal articles hal-02089983v1
Image document

Preconditioned Krylov subspace methods for solving radiative transfer problems with scattering and reflection

Mohd Afeef Badri , Pierre Jolivet , Benoit Rousseau , Y. Favennec
Computers & Mathematics with Applications, 2019, 77 (6), pp.1453-1465. ⟨10.1016/j.camwa.2018.09.041⟩
Journal articles hal-02333906v1
Image document

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

On the convergence of a non-linear ensemble Kalman smoother

El Houcine Bergou , Serge Gratton , Jan Mandel
Applied Numerical Mathematics, 2019, 137, pp.151-168. ⟨10.1016/j.apnum.2018.11.008⟩
Journal articles hal-02618742v1
Image document

Gibbard-Satterthwaite Games for k-Approval Rules

Umberto Grandi , Daniel Hughes , Francesca Rossi , Arkadii Slinko
Mathematical Social Sciences, 2019, 99, pp.24--35. ⟨10.1016/j.mathsocsci.2019.03.001⟩
Journal articles hal-03012577v1
Image document

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

An infinitary encoding of temporal equilibrium logic

Pedro Cabalar , Martin Dieguez , Concepción Vidal
TPLP, 2015
Journal articles hal-01892977v1
Image document

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
Image document

A comparison of coarse spaces for Helmholtz problems in the high frequency regime

Niall Bootland , Victorita Dolean , Pierre Jolivet , Pierre-Henri Tournier
Preprints, Working Papers, ... hal-03136867v1