Skip to Main content Skip to Navigation


hal-03392214v1  Conference papers
Pierre GogendeauSylvain BonhommeauHassen FouratiMichel RenovellFabien Soulier et al.  Dead-reckoning for marine animals: trade-offs between estimation accuracy and power consumption
The 7th International Bio-Logging Science Symposium, Oct 2021, Honolulu, United States
...
hal-03386106v1  Conference papers
Eleonora GuerriniRomain LebretonIlaria Zappatore. Polynomial Linear System Solving with Random Errors: New Bounds and Early Termination Technique
ISSAC '21: International Symposium on Symbolic and Algebraic Computation 2021, Jul 2021, Saint Petersburg, Russia. pp.171-178, ⟨10.1145/3452143.3465548⟩
hal-03376094v1  Directions of work or proceedings
Tadeusz MorzyPatrick ValduriezLadjel Bellatreche. New Trends in Databases and Information Systems - ADBIS 2015 Short Papers and Workshops, BigDap, DCSA, GID, MEBIS, OAIS, SW4CH, WISARD, Proceedings
New Trends in Databases and Information Systems - ADBIS 2015. Workshops, Sep 2015, Poitiers, France. 539, Springer, 2015, Communications in Computer and Information Science, 978-3-319-23200-3. ⟨10.1007/978-3-319-23201-0⟩
hal-03376093v1  Directions of work or proceedings
Tadeusz MorzyPatrick ValduriezLadjel Bellatreche. Advances in Databases and Information Systems - 19th East European Conference, ADBIS 2015, Proceedings
Advances in Databases and Information Systems - 19th East European Conference, ADBIS 2015, Sep 2015, Poitiers, France. 9282, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-23134-1. ⟨10.1007/978-3-319-23135-8⟩
...
lirmm-03371500v1  Journal articles
Pascal OchemMatthieu Rosenfeld. Avoidability of Palindrome Patterns
The Electronic Journal of Combinatorics, Open Journal Systems, 2021, 28 (1), pp.#1.4. ⟨10.37236/9593⟩
...
hal-03369819v1  Book sections
Matteo AcclavioDavide CattaLutz Straßburger. Game Semantics for Constructive Modal Logic
Automated Reasoning with Analytic Tableaux and Related Methods, 12842, Springer International Publishing, pp.428-445, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-86059-2_25⟩
...
lirmm-03359500v1  Journal articles
Heraldo BorgesReza AkbariniaFlorent Masseglia. Anomaly Detection in Time Series
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, In press
...
lirmm-03359490v1  Conference papers
Chao ZhangReza AkbariniaFarouk Toumani. Efficient Incremental Computation of Aggregations over Sliding Windows
27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (SIGKDD 2021), Aug 2021, Singapore, Singapore. pp.2136-2144, ⟨10.1145/3447548.3467360⟩
...
hal-03059482v1  Conference papers
Fares BelhassineDamien FumeyChristophe PradalJérôme ChopardEvelyne Costes et al.  A modelling framework for the simulation of signal transport within 3D structure: application for the simulation of within-tree variability in floral induction in apple trees
FSPM 2020 - 9th International Conference on Functional-Structural Plant Models, Hochschule Geisenheim University; University of Hannover, Oct 2020, Hannover / Virtual, Germany. pp.16-17, ⟨10.1038/s41598-020-69861-8⟩
...
hal-03351536v1  Conference papers
Areski HimeurBruno YunPierre BisquertMadalina Croitoru. Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge (virtual), United Kingdom
...
lirmm-03345614v1  Conference papers
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. To appear
...
lirmm-03344217v1  Journal articles
Efthymia TsamouraDavid CarralEnrico MaliziaJacopo Urbani. Materializing Knowledge Bases via Trigger Graphs
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021, 14 (6), pp.943-956. ⟨10.14778/3447689.3447699⟩
...
hal-03342381v1  Journal articles
Gerrit HoogenboomEric JustesChristophe PradalMarie LaunaySenthold Asseng et al.  iCROPM 2020: Crop Modeling for the Future
Journal of Agricultural Science, Cambridge University Press (CUP), 2021, 158 (10), pp.791 - 793. ⟨10.1017/s0021859621000538⟩
...
hal-03338823v1  Journal articles
Hervé GoëauPierre BonnetAlexis Joly. AI-based Identification of Plant Photographs from Herbarium Specimens
Biodiversity Information Science and Standards, Sofia : Pensoft Publishers, 2017-, 2021, 5, pp.1-4. ⟨10.3897/biss.5.73751⟩
...
hal-03338811v1  Journal articles
Antoine AffouardMathias ChouetJean-Christophe LombardoHugo GresseHervé Goëau et al.  Customized e-floras: How to develop your own project on the Pl@ntNet platform
Biodiversity Information Science and Standards, Sofia : Pensoft Publishers, 2017-, 2021, 5, pp.1-4. ⟨10.3897/biss.5.73857⟩
...
hal-03337263v1  Conference papers
Martin JedwabnyPierre BisquertMadalina Croitoru. Explaining ethical planning using ASP
XLoKR'20 - 1st International Workshop on Explainable Logic-Based Knowledge Representation, Nov 2020, Rhodes, Greece
...
hal-03337243v1  Conference papers
Martin JedwabnyPierre BisquertMadalina Croitoru. Probabilistic rule induction for transparent CBR under uncertainty
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge, United Kingdom
...
hal-03337097v1  Journal articles
Martin JedwabnyPierre BisquertMadalina Croitoru. Generating preferred plans with ethical features
Florida Artificial Intelligence Research Society, LibraryPress@UF, 2021, 34 (1), ⟨10.32473/flairs.v34i1.128492⟩
...
hal-03269852v2  Poster communications
Daniel RosendoAlexandru CostanGabriel AntoniuPatrick Valduriez. E2Clab: Reproducible Analysis of Complex Workflows on the Edge-to-Cloud Continuum
IPDPS 2021 - IEEE 35th International Parallel and Distributed Processing Symposium, May 2021, Virtual, France
...
hal-03332524v1  Conference papers
Daniel RosendoAlexandru CostanGabriel AntoniuPatrick Valduriez. Enabling Reproducible Analysis of Complex Workflows on the Edge-to-Cloud Continuum
BDA 2021 - 37e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Philippe Rigaux, Oct 2021, Paris, France
...
hal-03327998v1  Conference papers
Pierre BisquertFlorence Dupin de Saint Cyr - Bannay. Working Memory for Assessment Under Inconsistency
NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Nov 2021, Hanoï, Vietnam. To press
...
hal-02180493v2  Conference papers
Pierre BisquertFlorence Dupin de Saint Cyr - BannayPhilippe Besnard. Assessing Arguments with Schemes and Fallacies
LPNMR 2019 - 15th International Conference on Logic Programming and Non-monotonic Reasoning, Jun 2019, Philadelphia, United States. pp.61-74, ⟨10.1007/978-3-030-20528-7_6⟩