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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Decidability Problems for Self-induced Systems Generated by a Substitution
Timo Jolivet
,
Anne Siegel
Conference papers
hal-01196152v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Energy-efficient planning for supplying assembly lines with vehicles
Cyril Briand
,
Yun He
,
Sandra Ulrich Ngueveu
Journal articles
hal-01880135v1
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
Convex circuit free coloration of an oriented graph
Jean-François Culus
,
Bertrand Jouve
2007
Preprints, Working Papers, ...
hal-00108272v2
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
Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time
Guillaume Chèze
Journal articles
hal-00517694v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Conference papers
hal-02604102v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Logique doxatique graduelle
Noël Laverny
2007
Preprints, Working Papers, ...
hal-00192905v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Special issue
hal-02980048v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the approximation of separable non-convex optimization programs to an arbitrary numerical precision
Claudio Contardo
,
Sandra Ulrich Ngueveu
2021
Preprints, Working Papers, ...
hal-03336022v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Agent-based Modelling and Simulation in the Social and Human Sciences
Denis Phan
,
Frederic Amblard
Books
halshs-04005036v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
De DEL à EDL ou comment illustrer la puissance des événements inverses
Guillaume Aucher
,
Andreas Herzig
2007
Preprints, Working Papers, ...
hal-00192061v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
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
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Derandomization and absolute reconstruction for sums of powers of linear forms
Pascal Koiran
,
Mateusz Skomra
Journal articles
hal-03457373v1
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
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Chapter 3 : Macro Models, Micro Models and Network Based coupling
Arnaud Banos
,
Nathalie Corson
,
Éric Daudé
,
Benoit Gaudou
,
Sébastien Rey-Coyrehourcq
et al.
Book sections
hal-01829756v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More