Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts
Aneel Tanwani
,
Raphael Jungers
,
Maurice Heemels
Conference papers
hal-01951815v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Self-organisation in cellular automata with coalescent particles: qualitative and quantitative approaches
Benjamin Hellouin de Menibus
,
Mathieu Sablik
Journal articles
hal-01274504v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem
Begum Genc
,
Mohamed Siala
,
Gilles Simonin
,
Barry O'Sullivan
Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research , Jun 2019, Thessaloniki, Greece.
⟨10.1007/978-3-030-19212-9_21⟩
Conference papers
hal-02062127v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast parallel algorithms for finding elementary circuits of a directed graph: a GPU-based approach
Amira Benachour
,
Saïd Yahiaoui
,
Didier El Baz
,
Nadia Nouali-Taboudjemat
,
Hamamache Kheddouci
et al.
Journal articles
hal-03793115v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Carte de compilation des diagrammes de décision ordonnés a valeurs réelles
Hélène Fargier
,
Pierre Marquis
,
Alexandre Niveau
,
Nicolas Schmidt
Huitièmes Journées de l'Intelligence Artificielle Fondamentale , Jun 2014, Angers, France
Conference papers
hal-01095577v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Skull conductivity estimation for EEG source localization
Facundo Costa
,
Hadj Batatia
,
Thomas Oberlin
,
Jean-Yves Tourneret
Journal articles
hal-01681070v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Besicovitch-Stability of Noisy Tilings is Undecidable
Léo Gayral
Automata 2021 , Jul 2021, Marseille, France
Conference papers
hal-03233596v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CASA: Congestion and Stretch Aware Static Fast Rerouting
Klaus-Tycho Foerster
,
Yvonne Anne Pignolet
,
Stefan Schmid
,
Gilles Trédan
Conference papers
hal-02043761v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Green energy efficient scheduling management
Inès de Courchelle
,
Tom Guérout
,
Georges da Costa
,
Thierry Monteil
,
Yann Labit
et al.
Journal articles
hal-01930363v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modeling and Generating large-scale Google-like Workload
Georges da Costa
,
Léo Grange
,
Inès de Courchelle
International Workshop on Resilience and/or Energy-aware techniques for High-Performance Computing , Nov 2016, Hangzhou, China.
⟨10.1109/IGCC.2016.7892623⟩
Conference papers
hal-01472021v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures
Saúl Fernández González
Library and information sciences. Université Paul Sabatier - Toulouse III, 2021. English.
⟨NNT : 2021TOU30269⟩
Theses
tel-03683355v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Semantic-based Reconstruction of User's Interests in Distributed Systems
Corinne Amel Zayani
,
Leïla Ghorbel
,
Ikram Amous
,
Manel Mezghani
,
André Péninou
et al.
Journal articles
hal-02548079v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
OLAP operators for social network analysis
Maha Ben Kraiem
,
Mohamed Alqarni
,
Jamel Feki
,
Franck Ravat
Journal articles
hal-02923943v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Average Dwell-Time Bounds for ISS and Integral ISS of Switched Systems using Lyapunov Functions
Shenyu Liu
,
Aneel Tanwani
,
Daniel Liberzon
Conference papers
hal-03070712v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A discretization algorithm for time-varying composite gradient flow dynamics
Kanat Camlibel
,
Aneel Tanwani
24th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2020) , Aug 2020, Cambridge, United Kingdom.
⟨10.1016/j.ifacol.2021.06.116⟩
Conference papers
hal-03277322v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Agent-Based Decision Support System for Supply Chain Management in the Petroleum Industry
Florina Livia Covaci
,
Pascale Zaraté
4th International Conference on Decision Support Systems Technologies (ICDSST 2018) , May 2018, Heraklion, Greece
Conference papers
hal-02289950v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient and Validated Numerical Evaluation of Abelian Integrals
Florent Bréhard
,
Nicolas Brisebarre
,
Mioara Joldeş
,
Warwick Tucker
2022
Preprints, Working Papers, ...
hal-03561096v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
GRID-TLSE: A Web Site for Experimenting with Sparse Direct Solvers on a Computational Grid
Patrick Amestoy
,
Iain S. Duff
,
Luc Giraud
,
Jean-Yves L'Excellent
,
Chiara Puglisi-Amestoy
et al.
SIAM Conference on Parallel Processing for Scientific Computing, San Francisco, California , 2004, Unknown
Conference papers
hal-00807291v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
MUMPS: A Multifrontal Massively Parallel Solver
Patrick Amestoy
,
Iain S. Duff
,
Jacko Koster
,
Jean-Yves L'Excellent
ERCIM News , 2002, 50, pp.14--15
Journal articles
hal-00807414v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Error covariance bounds for suboptimal filters with Lipschitzian drift and Poisson-sampled measurements
Aneel Tanwani
,
Olga Yufereva
Journal articles
hal-02956980v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Machine reassignment problem: the ROADEF/EURO challenge 2012
Hasan Murat Afsar
,
Christian Artigues
,
Eric Bourreau
,
Safia Kedad-Sidhoum
Journal articles
hal-01366520v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Mapping the forms of meaning in small worlds
Bruno Gaume
International Journal of Intelligent Systems , 2008, Journal of Intelligent Systems, 23 (7), pp.848--862.
⟨10.1002/int.20275⟩
Journal articles
hal-01322013v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
REPPlab: An R package for detecting clusters and outliers using exploratory projection pursuit
Daniel Fischer
,
Alain Berro
,
Klaus Nordhausen
,
Anne Ruiz-Gazen
Journal articles
hal-03548865v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Making explicit domain knowledge in formal system development
Yamine Aït-Ameur
,
Dominique Méry
Journal articles
hal-01245832v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal Ontological Analysis for Medical Protocols
Neeraj Kumar Singh
,
Yamine Aït-Ameur
,
Dominique Méry
Implicit and explicit semantics integration in proof based developments of discrete systems , Springer, 2021, 978-981-15-5053-9.
⟨10.1007/978-981-15-5054-6_5⟩
Book sections
hal-03199742v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A generalization of the simulation theorem for semidirect products
Sebastián Barbieri
,
Mathieu Sablik
Journal articles
hal-01970758v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a parallel analysis phase for a multifrontal sparse solver
Patrick Amestoy
,
Alfredo Buttari
,
Jean-Yves L'Excellent
5th International Workshop on Parallel Matrix Algorithms and Applications (PMAA 2008) , Jun 2008, Neuchâtel, Switzerland
Conference papers
hal-00803488v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid scheduling strategies for the parallel multifrontal method
Patrick Amestoy
,
Abdou Guermouche
,
Jean-Yves L'Excellent
,
Stéphane Pralet
3rd International Workshop on Parallel Matrix Algorithms and Applications (PMAA'04), Marseille, France , 2004, Unknown
Conference papers
hal-00807290v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Qu’est ce qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques
Erwan Le Merrer
,
Gilles Trédan
2022
Preprints, Working Papers, ...
hal-03851597v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Error Bounds for Locally Optimal Distributed Filters with Random Communication Graphs
Aneel Tanwani
Conference papers
hal-03476850v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More