Search - Université Toulouse 1 Capitole Access content directly

Filter your results

125 Results
Domains :
Image document

Complexity invariance of real interpretations

Guillaume Bonfante , Florian Deloup
7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
Conference papers inria-00535784v1
Image document

Decidability Problems for Self-induced Systems Generated by a Substitution

Timo Jolivet , Anne Siegel
MCU 2015 : Machines, Computation and Universality, 2015, Famagusta, Cyprus. ⟨10.1007/978-3-319-23111-2⟩
Conference papers hal-01196152v1

Energy-efficient planning for supplying assembly lines with vehicles

Cyril Briand , Yun He , Sandra Ulrich Ngueveu
EURO Journal on Transportation and Logistics, 2018, 7 (4), pp.387-414. ⟨10.1007/s13676-018-0129-8⟩
Journal articles hal-01880135v1
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

Convex circuit free coloration of an oriented graph

Jean-François Culus , Bertrand Jouve
Preprints, Working Papers, ... hal-00108272v2
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

Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time

Guillaume Chèze
Journal of Complexity, 2011, 27 (2), pp.246-262. ⟨10.1016/j.jco.2010.10.004⟩
Journal articles hal-00517694v1
Image document

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Pedro Cabalar , Jorge Fandinno , Luis Fariñas del Cerro , David Pearce , Agustín Valverde et al.
18th Portuguese Conference on Artificial Intelligence (EPIA 2017), Sep 2017, Porto, Portugal. pp.624-636, ⟨10.1007/978-3-319-65340-2_51⟩
Conference papers hal-02604102v1

Minimizing the makespan of a multiagent project scheduling problem: the price of stability In session Scheduling in supply chains and production systems

Cyril Briand , Alessandro Agnetis , Jean-Charles Billaut , Sandra Ulrich Ngueveu , Přemysl Šůcha et al.
26th European Conference on Operational Research, 2013, Rome, Italy
Conference papers hal-01025863v1
Image document

The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable

Clément Carbonnel
22nd International Conference on Principles and Practice of Constraint Programming (CP'16), Sep 2016, Toulouse, France. pp.130 - 146, ⟨10.1007/978-3-319-44953-1_9⟩
Conference papers hal-01413124v1
Image document

A branch-­and-­price algorithm for Dynamic Sector Configuration

Tambet Treimuth , Daniel Delahaye , Sandra Ulrich Ngueveu
ICAOR 2016, 8th International Conference on Applied Operational Research, Jun 2016, Rotterdam, Netherlands. pp.47-53
Conference papers hal-01481466v1
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

Didier Henrion , Simone Naldi , Mohab Safey El Din
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩
Conference papers hal-01705590v2
Image document

Logique doxatique graduelle

Noël Laverny
Preprints, Working Papers, ... hal-00192905v1
Image document

Scheduling under non-reversible energy sources

Sandra Ulrich Ngueveu , Christian Artigues , Pierre Lopez
Discrete Applied Mathematics, 2016, 208, pp. 98-113
Journal articles hal-01163925v1

Prétraitement d'une formulation mathématique pour le problème 1|ri|Lmax

Cyril Briand , Vincent t'Kindt , Thomas Noguer , Zinan Liu
14ème congrès de la Société de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2013, Troyes, France
Conference papers hal-01044824v1

Performance Evaluation: Special issue of the 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)

André-Luc Beylot , Jalil Boukhobza
Performance Evaluation, 142, Elsevier, pp.102123, 2020, ⟨10.1016/j.peva.2020.102123⟩
Special issue hal-02980048v1
Image document

On the approximation of separable non-convex optimization programs to an arbitrary numerical precision

Claudio Contardo , Sandra Ulrich Ngueveu
Preprints, Working Papers, ... hal-03336022v2

Agent-based Modelling and Simulation in the Social and Human Sciences

Denis Phan , Frederic Amblard
The Bardwell Press, 2007, Gemas Studies in Social Analysis, 978-1-905622-01
Books halshs-04005036v1

Non-monotonic reasoning: from complexity to algorithms

Claudette Cayrol , M.‐c. Lagasquie-Schiex , Thomas Schiex
International Workshop on Temporal representation and Reasoning (TIME 1996), May 1996, Key West, Florida, United States. pp.207-236, ⟨10.1023/A:1018939502485⟩
Conference papers hal-02769766v1
Image document

Valued constraint satisfaction problems : hard and easy problems

Thomas Schiex , Hélène Fargier , Gérard Verfaillie
14th International joint conference on artificial intelligence (IJCAI 1995), International Joint Conferences on Artificial Intelligence Organization, Aug 1995, Montreal, Canada. pp.631-637
Conference papers hal-02778456v1
Image document

On Exploiting Sparsity of Multiple Right-Hand Sides in Sparse Direct Solvers

Patrick Amestoy , Jean-Yves L'Excellent , Gilles Moreau
[Research Report] RR-9122, ENS de Lyon; INRIA Grenoble - Rhone-Alpes. 2017, pp.1-28
Reports hal-01649244v2
Image document

De DEL à EDL ou comment illustrer la puissance des événements inverses

Guillaume Aucher , Andreas Herzig
Preprints, Working Papers, ... hal-00192061v1
Image document

Netlogo, An Open Simulation Environment

Benoit Gaudou , Christophe Lang , Marilleau Nicolas , Guilhelm Savin , Sébastien Rey-Coyrehourcq et al.
Arnaud Banos; Christophe Lang; Nicolas Marilleau. Agent-based Spatial Simulation with Netlogo, 2 (Chapter 1), ISTE, pp.1-37, 2017, Advanced Concepts, 0081010648. ⟨10.1016/C2015-0-01197-2⟩
Book sections hal-01829789v1
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

Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)

Christian Barillot , Inbar Fijalkow , Isabelle Queinnec , Fabrice Theoleyre , Hélène Touzet et al.
[0] CNRS. 2018, pp.1-87
Reports hal-01956087v1
Image document

Stigmergic construction and topochemical information shape ant nest architecture

Anais Khuong , Jacques Gautrais , Andrea Perna , Chaker Sbai , Maud Combe et al.
Proceedings of the National Academy of Sciences of the United States of America, 2016, 113 (5), pp.1303-1308. ⟨10.1073/pnas.1509829113⟩
Journal articles hal-02324165v1
Image document

Derandomization and absolute reconstruction for sums of powers of linear forms

Pascal Koiran , Mateusz Skomra
Theoretical Computer Science, 2021, 887, pp.63-84. ⟨10.1016/j.tcs.2021.07.005⟩
Journal articles hal-03457373v1

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

A recombination algorithm for the decomposition of multivariate rational functions

Guillaume Chèze
Mathematics of Computation, 2013, 82, pp.1793--1812
Journal articles hal-00531601v1
Image document

Chapter 3 : Macro Models, Micro Models and Network Based coupling

Arnaud Banos , Nathalie Corson , Éric Daudé , Benoit Gaudou , Sébastien Rey-Coyrehourcq et al.
Arnaud Banos; Christophe Lang; Nicolas Marilleau. Agent-based Spatial Simulation with Netlogo, Volume 2: Advanced Concepts, 2, Iste Press, pp.63-84, 2017, 978-1785481574. ⟨10.1016/B978-1-78548-157-4.50003-0⟩
Book sections hal-01829756v1