518 citations
- Université Toulouse III - Paul SabatierFR335 papers
- Institut de Recherche en Informatique de ToulouseFR332 papers
- Université Toulouse-I-CapitoleFR329 papers
- Institut Polytechnique de BordeauxFR326 papers
- Centre National de la Recherche ScientifiqueFR154 papers
- Université Fédérale de Toulouse Midi-PyrénéesFR82 papers
- Université de ToulouseFR47 papers
- Institut National Polytechnique de ToulouseFR44 papers
- École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des TélécommunicationsFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR15 papers
- Institut de Mathématiques de ToulouseFR14 papers
- Laboratoire d'Analyse et d'Architecture des SystèmesFR12 papers
358 papers
FleetScape: A Mixed Reality Sandtable for Spatial Supervision and Control of Scalable Drone Fleets
Peisen Xu, Jérémie Garcia, Peter Cleveland +2
As autonomous drone deployments scale from individual units to coordinated swarms, the human operator's role shifts from direct piloting to high-level supervision. Current interfac…
Improving Ad-hoc Search Effectiveness for Conversational Information Retrieval via Model Merging
Ahmed Rayane Kebir, Jose G. Moreno, Lynda Tamine
Conversational information retrieval is challenging since it requires the consideration of the conversation history which potentially gives rise to topic shifts and coreference res…
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
Adjusted trajectory of medication exposure taking into account the periodicity of dispensations and the number of dispensed packs and comparative analysis on EFEMERIS database
Cécile Chouquet, Anna-Belle Beau, Christine Damase-Michel +3
We presented an adjustment method for the calculation of medication exposure trajectories based on the number of dispensed packs and the type of dispensations (occasional or regula…
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Hongshu Wang, Xinyue Zuo, Yuhan Sun +3
Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…
MPI Malleability Validation under Replayed Real-World HPC Conditions
S. Iserte, M. Madon, G. Da +2
Dynamic Resource Management (DRM) techniques can be leveraged to maximize throughput and resource utilization in computational clusters. Although DRM has been extensively studied t…