Search - Université Paul Sabatier - Toulouse III Access content directly

Filter your results

18 621 Results
Domains : info

Axiomatization and completeness of lexicographic products of modal logics

Philippe Balbiani
[Rapport de recherche] IRIT--2009, IRIT : Institut de Recherche en Informatique de Toulouse. 2009
Reports hal-03997685v1

Boolean Logics with Relations (RelMiCS 2008)

Philippe Balbiani , Tinko Tinchev
10th International Conference on Relational Methods in Computer Science (RelMiCS 2008), Apr 2008, Frauenwörth, Germany. pp.4-21, ⟨10.1007/978-3-540-78913-0_3⟩
Conference papers istex hal-03999372v1

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Antonio Yuste-Ginel , Andreas Herzig
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Journal articles hal-03992651v1
Image document

Coalitional Strategies for Efficient Individual Prediction Explanation

Gabriel Ferrettini , Elodie Escriva , Julien Aligon , Jean-Baptiste Excoffier , Chantal Soulé-Dupuy
Information Systems Frontiers, 2021, pp.1-31. ⟨10.1007/s10796-021-10141-9⟩
Journal articles hal-03259008v1

Controller/orchestrator synthesis via filtration

Philippe Balbiani , Fahima Cheikh , Guillaume Feuillade
6th Workshop on Methods for Modalities (M4M 2009), Nov 2009, Copenhague, Denmark. pp.33--48, ⟨10.1016/j.entcs.2010.04.004⟩
Conference papers hal-03994854v1

CIPAD Cannes Intelligentes pour les Personnes Agées Dépendantes

Réjane Dalcé , Thierry Val , Imen Megdiche
Health Day, Smart 4 health (Smart4Health 2023), INTEROP-VLAB : European Virtual Laboratory for Enterprise Interoperability, ISIS (Ecole d'ingénieurs : Informatique et Systèmes d'information pour la santé), Castres, Feb 2023, Castres (Tarn), France
Conference papers hal-03996578v1
Image document

Prepare your team for Open Science - RESEARCH/PROJECT TEAM OPEN SCIENCE PRACTICES

Shelley Stall , Alison Specht , Margaret O'Brien , Jeaneth Machicao , Pedro-Luiz-Pizzigatti Corrêa , et al.
AGU; ERINHA. 2023, https://zenodo.org/record/8043545
Reports hal-04179564v1
Image document

Projet RAIVES (Recherche Automatique d'Informations Verbales Et Sonores) vers l'extraction et la structuration de données radiophoniques sur Internet

Nathalie Vallès-Parlangeau , Ivan Magrin-Chagnolleau , Dominique Fohr , Irina Illina , Odile Mella , et al.
[Contrat] A02-R-553 || parlangeau-valles02a, IRIT - Institut de recherche en informatique de Toulouse; LORIA (Université de Lorraine, CNRS, INRIA). 2002
Reports inria-00107633v1

Qualitative pattern matching with linguistic terms

Yannick Loiseau , Henri Prade , Mohand Boughanem
AI Communications, 2004, STAIRS 2002 - Starting Artificial Intelligence Researchers Symposium, 17 (1), pp.25-34
Journal articles hal-00108638v1
Image document

Indexation sonore : recherche de composantes primaires pour une structuration audiovisuelle

Julien Pinquier
Interface homme-machine [cs.HC]. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
Theses tel-00008755v1
Image document

Uplink dynamic discrete power control in cellular networks

Eitan Altman , Konstantin Avrachenkov , Gregory Miller , Balakrishna Prabhu
[Research Report] RR-5818, INRIA. 2006, pp.31
Reports inria-00070207v2

A minimal logic for interactive epistemology

Emiliano Lorini
Synthese, 2016, Logic and the Foundations of Game and Decision Theory (LOFT 2014), 193 (3), pp.725--755. ⟨10.1007/s11229-015-0960-5⟩
Journal articles hal-03172237v1

Numerical Simulation of Rotating Vertical Bridgman Growth

Sabrina Nouri , Pierre Spiteri , Abdelrahmane Ghezal
Journal of Applied Fluid Mechanics, 2016, 9 (4), pp.2063--2071. ⟨10.18869/acadpub.jafm.68.235.24200⟩
Journal articles hal-03172241v1

La systémique qualitative appliquée aux politiques culturelles

Alain Chante , Bernard Tabuce
Colloque "La systémique qualitative des communications", Nice, 22-23 avril 2008, 2008, Nice, France
Conference papers hal-03074302v1

Existing Offset Assignments Are near Optimal for an Industrial AFDX Network

Xiaoting Li , Jean-Luc Scharbarg , Christian Fraboul , Frédéric Ridouard
ACM SIGBED Review, 2011, 8 (4), pp.49--54. ⟨10.1145/2095256.2095263⟩
Journal articles hal-03273789v1

Reconfiguration de l’organisation : suivre à la trace les figures textualisées – le cas de la figure du patient

Alexia Jolivet , Consuelo Vásquez
Études de communication - Langages, information, médiations, 2011, 36, pp.129-146. ⟨10.4000/edc.2563⟩
Journal articles halshs-03174839v1

World impact of kernel European Union 9 countries from Google matrix analysis of the world trade network

Justin Loye , Leonardo Ermann , Dima Shepelyansky
Applied Network Science, 2021, 6, pp.37. ⟨10.1007/s41109-021-00380-9⟩
Journal articles hal-02975900v1
Image document

Collective decision-making with goals

Arianna Novaro
Artificial Intelligence [cs.AI]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30179⟩
Theses tel-02626791v1

A new measure to predict the a priori performance of automatic transcription systems on reverberated speech

Sébastien Ferreira , Julien Pinquier , Jérome Farinas , Julie Mauclair , Stéphane Rabant
Speech In Noise Workshop - SpiN 2019, Jan 2019, Ghent, Belgium
Conference papers hal-02976602v1

« Vrai débat » : sortir du débat pour négocier

Pascal Marchand , Brigitte Sebbah , Julie Renard , Guillaume Cabanac , Laurent Thiong-Kay , et al.
[Rapport de recherche] Université de Toulouse. 2019
Reports hal-02976611v1

NETSCITY Tutorial: Unveiling world scale scientific production and collaborations between cities

Marion Maisonobe , Guillaume Cabanac
2019
Other publications hal-02976612v1

When Analog Meets Digital: Source-Encoded Physical-Layer Network Coding

Raphaël Naves , Gentian Jakllari , Hicham Khalife , Vania Conan , André-Luc Beylot
Pervasive and Mobile Computing, 2019, 58, pp.1-21. ⟨10.1016/j.pmcj.2019.05.002⟩
Journal articles hal-02976623v1

Formal Analysis of the Conflictive Play of Actors Regarding the Building of a Dam

Christophe Sibertin-Blanc
Boulet, Romain and Lajaunie, Claire and Mazzega, Pierre. Law, Public Policies and Complex Systems: Networks in Action, 42, Springer, pp.177-202, 2019, LGTS: Law, Governance and Technology Series book series, 978-3-030-11505-0. ⟨10.1007/978-3-030-11506-7_9⟩
Book sections hal-02976630v1
Image document

Complexity analysis for recent ALOHA random access techniques in satellite communications

Selma Zamoum , Jérôme Lacan , Marie-Laure Boucheret , Jean-Baptiste Dupé , Mathieu Gineste
International Journal of Satellite Communications and Networking, 2020, pp.1-18. ⟨10.1002/sat.1370⟩
Journal articles hal-02976633v1

The Acoustic Voice Quality Index version 03.01 in French and the Voice Handicap Index

Timothy Pommée , Youri Maryn , Camille Finck , Dominique Morsomme
31st World Congress of the International Association of Logopedics and Phoniatrics - IALP 2019, Aug 2019, Taipei, Taiwan. ⟨10.1016/j.jvoice.2018.11.017⟩
Conference papers hal-02976635v1

Bulletin de l'AFIA No. 104 (editor)

Dominique Longin
Bulletin de l'Association Française pour l'Intelligence Artificielle, AFIA : Association Française pour l'Intelligence Artificielle, 2019
Special issue hal-02976652v1
Image document

Bipolarité en argumentation : acceptabilité et algorithmes

Mathieu Mardi , Claudette Cayrol , Marie-Christine Lagasquie-Schiex
[Rapport de recherche] IRIT-2005-20, IRIT - Institut de recherche en informatique de Toulouse. 2005
Reports hal-02881313v1

Accessibility, usability and acceptability of digital textbooks for visually impaired students

Laetitia Castillan , Julie Lemarié , Mustapha Mojahid
18th Biennial Conference of European Association for Research on Learning and Instruction (EARLI 2019), European Association for Research on Learning and Instruction (EARLI), Aug 2019, Aachen, Germany. pp.(electronic medium)
Conference papers hal-03012563v1

Négociation public/privé et coévolution stratégique dans un biocluster

Isabelle Leroux , Alain Berro
M@n@gement, 2010, 13 (1), pp.38-69. ⟨10.3917/mana.131.0038⟩
Journal articles hal-03066731v1

Extending BPMN 2.0 Meta-models for Process Version Modelling

Imen Ben Said , Mohamed Amine Chaabane , Eric Andonoff , Rafiq Bouaziz
16th International Conference on Enterprise Information Systems (ICEIS 2014), Apr 2014, Lisbonne, Portugal. pp.384--393, ⟨10.5220/0004891103840393⟩
Conference papers hal-03263734v1