Search - Université Toulouse 1 Capitole Access content directly

Filter your results

254 Results
Domains :
Image document

Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts

Aneel Tanwani , Raphael Jungers , Maurice Heemels
57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619308⟩
Conference papers hal-01951815v1
Image document

Self-organisation in cellular automata with coalescent particles: qualitative and quantitative approaches

Benjamin Hellouin de Menibus , Mathieu Sablik
Journal of Statistical Physics, 2017, 167 (5), pp.1180 - 1220. ⟨10.1007/s10955-017-1760-8⟩
Journal articles hal-01274504v2
Image document

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

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 of Supercomputing, In press, ⟨10.1007/s11227-022-04835-3⟩
Journal articles hal-03793115v1
Image document

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

Skull conductivity estimation for EEG source localization

Facundo Costa , Hadj Batatia , Thomas Oberlin , Jean-Yves Tourneret
IEEE Signal Processing Letters, 2017, vol.24 (n°4), pp. 422-426. ⟨10.1109/LSP.2017.2669101⟩
Journal articles hal-01681070v1
Image document

The Besicovitch-Stability of Noisy Tilings is Undecidable

Léo Gayral
Automata 2021, Jul 2021, Marseille, France
Conference papers hal-03233596v1
Image document

CASA: Congestion and Stretch Aware Static Fast Rerouting

Klaus-Tycho Foerster , Yvonne Anne Pignolet , Stefan Schmid , Gilles Trédan
IEEE Conference on Computer Communications (IEEE INFOCOM 2019), Apr 2019, Paris, France. ⟨10.1109/INFOCOM.2019.8737438⟩
Conference papers hal-02043761v1
Image document

Green energy efficient scheduling management

Inès de Courchelle , Tom Guérout , Georges da Costa , Thierry Monteil , Yann Labit et al.
Simulation Modelling Practice and Theory, 2019, 93, pp.208-232. ⟨10.1016/j.simpat.2018.09.011⟩
Journal articles hal-01930363v1
Image document

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

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

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.
Computación y sistemas, 2017, 21 (3), pp.545-558. ⟨10.13053/CyS-21-3-2550⟩
Journal articles hal-02548079v1
Image document

OLAP operators for social network analysis

Maha Ben Kraiem , Mohamed Alqarni , Jamel Feki , Franck Ravat
Cluster Computing, 2020, 23 (1), pp.2347-2374. ⟨10.1007/s10586-019-03006-z⟩
Journal articles hal-02923943v1
Image document

Average Dwell-Time Bounds for ISS and Integral ISS of Switched Systems using Lyapunov Functions

Shenyu Liu , Aneel Tanwani , Daniel Liberzon
59th IEEE Conference on Decision and Control (CDC 2020), IEEE, Dec 2020, Jeju Island, South Korea. ⟨10.1109/CDC42340.2020.9304445⟩
Conference papers hal-03070712v1
Image document

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

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

Efficient and Validated Numerical Evaluation of Abelian Integrals

Florent Bréhard , Nicolas Brisebarre , Mioara Joldeş , Warwick Tucker
Preprints, Working Papers, ... hal-03561096v1

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

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

Error covariance bounds for suboptimal filters with Lipschitzian drift and Poisson-sampled measurements

Aneel Tanwani , Olga Yufereva
Automatica, 2020, 122, pp.109280. ⟨10.1016/j.automatica.2020.109280⟩
Journal articles hal-02956980v1

Machine reassignment problem: the ROADEF/EURO challenge 2012

Hasan Murat Afsar , Christian Artigues , Eric Bourreau , Safia Kedad-Sidhoum
Annals of Operations Research, 2016, 242 (1), pp.1-17. ⟨10.1007/s10479-016-2203-7⟩
Journal articles hal-01366520v1
Image document

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

REPPlab: An R package for detecting clusters and outliers using exploratory projection pursuit

Daniel Fischer , Alain Berro , Klaus Nordhausen , Anne Ruiz-Gazen
Communications in Statistics - Simulation and Computation, 2021, 50 (11), pp.3397-3419. ⟨10.1080/03610918.2019.1626880⟩
Journal articles hal-03548865v1

Making explicit domain knowledge in formal system development

Yamine Aït-Ameur , Dominique Méry
Science of Computer Programming, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩
Journal articles hal-01245832v1

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

A generalization of the simulation theorem for semidirect products

Sebastián Barbieri , Mathieu Sablik
Ergodic Theory and Dynamical Systems, In press, pp.1-22. ⟨10.1017/etds.2018.21⟩
Journal articles hal-01970758v1

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

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

Qu’est ce qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques

Erwan Le Merrer , Gilles Trédan
Preprints, Working Papers, ... hal-03851597v1
Image document

Error Bounds for Locally Optimal Distributed Filters with Random Communication Graphs

Aneel Tanwani
IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9682851⟩
Conference papers hal-03476850v1