Filter your results
- 66
- 30
- 2
- 39
- 38
- 9
- 6
- 2
- 2
- 1
- 1
- 2
- 98
- 35
- 3
- 1
- 1
- 5
- 11
- 15
- 9
- 17
- 7
- 8
- 6
- 5
- 3
- 3
- 5
- 1
- 1
- 2
- 93
- 5
- 48
- 31
- 22
- 9
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 11
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Parallel best-first search algorithms for planning problems on multi-core processorsJournal of Supercomputing, 2022, 78 (3), p. 3122-3151. ⟨10.1007/s11227-021-03986-z⟩
Journal articles
hal-03380578v1
|
||
|
GPU-Based Two Level Parallel B&B for the Blocking Job Shop Scheduling ProblemIEEE 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 rotagraphsDiscrete Mathematics, 2012, 312 (17), pp.2707 - 2719. ⟨10.1016/j.disc.2012.02.013⟩
Journal articles
hal-00802165v1
|
||
|
Training Many Neural Networks in Parallel via Back-PropagationIEEE 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
|
||
|
Exact values for three domination-like problems in circular and infinite grid graphs of small heightDiscrete Mathematics and Theoretical Computer Science, 2019, Vol. 21 no. 3 (3), ⟨10.23638/DMTCS-21-3-12⟩
Journal articles
hal-01569881v3
|
||
|
When nominal analogical proportions do not failSUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
Conference papers
hal-02864071v2
|
||
|
Sugeno Integral for Rule-Based Ordinal ClassificationIJCAI 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
|
||
|
Octal Games on Graphs: The game 0.33 on subdivided stars and bistarsTheoretical Computer Science, 2018, 746, pp.19-35. ⟨10.1016/j.tcs.2018.06.018⟩
Journal articles
hal-01418153v3
|
||
|
Ice sliding gamesInternational 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 productsErgodic Theory and Dynamical Systems, In press, pp.1-22. ⟨10.1017/etds.2018.21⟩
Journal articles
hal-01970758v1
|
||
|
Convexly independent subsets of Minkowski sums of convex polygonsDiscrete Mathematics, 2021, 344 (8), pp.112472. ⟨10.1016/j.disc.2021.112472⟩
Journal articles
hal-03457272v1
|
||
Octal Games on GraphsCombinatorial Game Theory Colloquium II, CGTC 2, Jan 2017, Lisbonne, Portugal
Conference papers
hal-02264751v1
|
|||
|
Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation28th 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 TreesTheoretical 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 EngineeringDidier 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 tilingsErgodic Theory and Dynamical Systems, 2018, ⟨10.1017/etds.2018.20⟩
Journal articles
hal-01296964v1
|
||
|
Connected Tropical Subgraphs in Vertex-Colored GraphsDiscrete 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 Type2022
Preprints, Working Papers, ...
hal-03632414v1
|
||
|
A note on single-machine scheduling problems with position-dependent processing times2011
Preprints, Working Papers, ...
hal-00647789v1
|
||
|
A bottom-up process management environment dedicated to process actorsDiscrete Mathematics [cs.DM]. Université Paul Sabatier - Toulouse III, 2018. English. ⟨NNT : 2018TOU30004⟩
Theses
tel-02015601v1
|
||
|
Online Virtual Links Resource Allocation in Software-Defined NetworksIFIP Networking 2015 Conference, May 2015, Toulouse, France
Conference papers
hal-01107598v1
|
||
|
Guest Editor's Introduction: Special Section on Green Computing in Internet of ThingsIEEE 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 Comparison17th 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
|
||
|
Simulation validation using the compatibility between Simulation Model and Experimental FrameSummerSim'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 entropy2018
Preprints, Working Papers, ...
hal-01320671v1
|
||
|
Epistemic Reasoning About Rationality and Bids in AuctionsLogics 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)Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩
Journal articles
hal-03573573v1
|
||
|
Reference architecture for social networks graph analysis toolJournal 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
|
||
|
Scaffolding a SkeletonResearch in Shape Analysis, Springer, 2018, Research in Shape Analysis, ⟨10.1007/978-3-319-77066-6_2⟩
Book sections
hal-01532765v2
|
||
|
Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
Conference papers
hal-01235162v1
|