Search - Université Toulouse 1 Capitole Access content directly

Filter your results

98 Results
Domains :
Image document

Parallel best-first search algorithms for planning problems on multi-core processors

Didier El Baz , Bilal Fakih , Romeo Sanchez Nigenda , Vincent Boyer
Journal of Supercomputing, 2022, 78 (3), p. 3122-3151. ⟨10.1007/s11227-021-03986-z⟩
Journal articles hal-03380578v1
Image document

GPU-Based Two Level Parallel B&B for the Blocking Job Shop Scheduling Problem

Adel Dabah , Ahcène Bendjoudi , Didier El Baz , Abdelhakim Aitzai
IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2016), May 2016, Chicago, United States. pp.747-755, ⟨10.1109/IPDPSW.2016.14⟩
Conference papers hal-02115751v1

Generic algorithms for some decision problems on fasciagraphs and rotagraphs

Marwane Bouznif , Julien Moncel , Myriam Preissmann
Discrete Mathematics, 2012, 312 (17), pp.2707 - 2719. ⟨10.1016/j.disc.2012.02.013⟩
Journal articles hal-00802165v1
Image document

Training Many Neural Networks in Parallel via Back-Propagation

Javier A Cruz-López , Vincent Boyer , Didier El Baz
IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2017), May 2017, Orlando, United States. pp.501-509, ⟨10.1109/IPDPSW.2017.72⟩
Conference papers hal-02115612v1
Image document

Exact values for three domination-like problems in circular and infinite grid graphs of small height

Marwane Bouznif , Julien Darlay , Julien Moncel , Myriam Preissmann
Discrete Mathematics and Theoretical Computer Science, 2019, Vol. 21 no. 3 (3), ⟨10.23638/DMTCS-21-3-12⟩
Journal articles hal-01569881v3
Image document

When nominal analogical proportions do not fail

Miguel Couceiro , Erkko Lehtonen , Laurent Miclet , Henri Prade , Gilles Richard et al.
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
Conference papers hal-02864071v2
Image document

Sugeno Integral for Rule-Based Ordinal Classification

Quentin Brabant , Miguel Couceiro , Didier Dubois , Henri Prade , Agnès Rico et al.
IJCAI Workshop on Learning and Reasoning: Principles and Applications to Everyday Spatial and Temporal Knowledge (IJCAI-ECAI 2018), International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden
Conference papers hal-01889785v1
Image document

Octal Games on Graphs: The game 0.33 on subdivided stars and bistars

Laurent Beaudou , Pierre Coupechoux , Antoine Dailly , Sylvain Gravier , Julien Moncel et al.
Theoretical Computer Science, 2018, 746, pp.19-35. ⟨10.1016/j.tcs.2018.06.018⟩
Journal articles hal-01418153v3
Image document

Ice sliding games

Paul Dorbec , Eric Duchêne , André Fabbri , Julien Moncel , Aline Parreau et al.
International Journal of Game Theory, 2018, 47 (2), pp.487-508. ⟨10.1007/s00182-017-0607-5⟩
Journal articles hal-01170310v1

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

Convexly independent subsets of Minkowski sums of convex polygons

Mateusz Skomra , Stéphan Thomassé
Discrete Mathematics, 2021, 344 (8), pp.112472. ⟨10.1016/j.disc.2021.112472⟩
Journal articles hal-03457272v1

Octal Games on Graphs

Laurent Beaudou , Pierre Coupechoux , Antoine Dailly , Sylvain Gravier , Julien Moncel et al.
Combinatorial Game Theory Colloquium II, CGTC 2, Jan 2017, Lisbonne, Portugal
Conference papers hal-02264751v1
Image document

Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation

Clément Carbonnel , Gilles Trombettoni , Philippe Vismara , Gilles Chabert
28th AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636, ⟨10.1609/aaai.v28i1.9117⟩
Conference papers hal-01084606v1

Firefighting on Trees

Pierre Coupechoux , Marc Demange , David Ellison , Bertrand Jouve
Theoretical Computer Science, 2019, 794, pp.69-84. ⟨10.1016/j.tcs.2019.01.040⟩
Journal articles hal-02020751v1

Proceedings of the 2015 IEEE 18th International Conference on Computational Science and Engineering

Christian Plessl , Didier El Baz , Guojing Cong , Joao M. P. Cardoso , Luís Veiga et al.
Didier EL BAZ. Dh PLESSL, G. GONG, J.M.P. Cardoso, L. Veiga, T. Rauber. 2015 IEEE 18th International Conference on Computational Science and Engineering, Oct 2015, Porto, Portugal. IEEE CPS, 2015, 978-1-4673-8297-7
Proceedings hal-02112258v1

Weak colored local rules for planar tilings

Mathieu Sablik , Thomas Fernique
Ergodic Theory and Dynamical Systems, 2018, ⟨10.1017/etds.2018.20⟩
Journal articles hal-01296964v1
Image document

Connected Tropical Subgraphs in Vertex-Colored Graphs

Jean-Alexandre Anglès d'Auriac , Nathann Cohen , Hakim El Mafthoui , Ararat Harutyunyan , Sylvain Legay et al.
Discrete Mathematics and Theoretical Computer Science, 2016, Vol. 17 no. 3 (3), pp.327-348. ⟨10.46298/dmtcs.2151⟩
Journal articles hal-01352845v1

Parametrization by Horizontal Constraints in the Study of Algorithmic Properties of Z^2-Subshift of Finite Type

Solène J. Esnay , Mathieu Sablik
Preprints, Working Papers, ... hal-03632414v1
Image document

A note on single-machine scheduling problems with position-dependent processing times

Julien Moncel , Gerd Finke , Vincent Jost
Preprints, Working Papers, ... hal-00647789v1
Image document

A bottom-up process management environment dedicated to process actors

Mojtaba Hajmoosaei
Discrete Mathematics [cs.DM]. Université Paul Sabatier - Toulouse III, 2018. English. ⟨NNT : 2018TOU30004⟩
Theses tel-02015601v1
Image document

Online Virtual Links Resource Allocation in Software-Defined Networks

Mikaël Capelle , Slim Abdellatif , Marie-José Huguet , Pascal Berthou
IFIP Networking 2015 Conference, May 2015, Toulouse, France
Conference papers hal-01107598v1

Guest Editor's Introduction: Special Section on Green Computing in Internet of Things

Haijun Zhang , Didier El Baz , Victor C. M. Leung
IEEE Transactions on Emerging Topics in Computing, 2020, 8 (3), pp.750-751. ⟨10.1109/TETC.2020.2999237⟩
Journal articles hal-02960835v1

Fuzzy Extensions of Conceptual Structures of Comparison

Didier Dubois , Henri Prade , Agnès Rico
17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based (IPMU 2018), Jun 2018, Cadiz, Spain. pp.710-722, ⟨10.1007/978-3-319-91473-2_60⟩
Conference papers hal-02018672v1
Image document

Simulation validation using the compatibility between Simulation Model and Experimental Frame

Damien Foures , Vincent Albert , Alexandre Nketsa
SummerSim'13 ( 45th Summer Simulation Multi-conference 2013), Jul 2013, Toronto, Canada. pp.75
Conference papers hal-00868406v1

Effect of quantified irreducibility on the computability of subshift entropy

Silvère Gangloff , Benjamin Hellouin de Menibus
Preprints, Working Papers, ... hal-01320671v1
Image document

Epistemic Reasoning About Rationality and Bids in Auctions

Munyque Mittelmann , Andreas Herzig , Laurent Perrussel
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩
Book sections hal-03573581v1

Preface (Special issue FolKS 2020)

Andreas Herzig , Juha Kontinen
Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩
Journal articles hal-03573573v1
Image document

Reference architecture for social networks graph analysis tool

Maxim Kolomeets , Amira Benachour , Didier El Baz , Andrey Chechulin , Martin Strecker et al.
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2019, 10 (4), pp.109-125. ⟨10.22667/JOWUA.2019.12.31.109⟩
Journal articles hal-02443865v1
Image document

Scaffolding a Skeleton

Athina Panotopoulou , Elissa Ross , Kathrin Welker , Evelyne Hubert , Geraldine Morin et al.
Research in Shape Analysis, Springer, 2018, Research in Shape Analysis, ⟨10.1007/978-3-319-77066-6_2⟩
Book sections hal-01532765v2
Image document

Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers

Fanny Dufossé , Kamer Kaya , Bora Uçar
28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
Conference papers hal-01235162v1