Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

63 584 Results
Structure: Internal structure identifier : 116256

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

« La « Grande Ecole de Commerce » : une école qui fait commerce de sa grandeur, une école qui fait commerce de "devenir grand"?

Margaux Trarieux
Doctoriales « enseignement supérieur et recherche », RESUP - Réseau d'Etudes sur l'Enseignement Supérieur, Jun 2022, Lyon, France
Conference papers hal-03996242v1

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

L’innovation patrimoniale alimentaire : analyse d’un processus au service des territoires

Jacinthe Bessière
Bessière J. Innovation et patrimoine alimentaire en espace rural, QUAE, pp.35-48, 2012, Update Sciences & technologies, 978-2-7592-1873-8
Book sections hal-03999539v1
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

Introduction. Violences conjugales : des pratiques et des réflexions pluridisciplinaires pour soutenir des interventions adaptées

Glòria Casas Vila , Eva San Martin , Maïté Debats , Martine Pagès , Valérie Cambournac
Empan, 2022, 128 (4), pp.14-18. ⟨10.3917/empa.128.0014⟩
Journal articles halshs-03997471v1

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

Two-scale diffusive wave equation dedicated to spatial rivers observations

Thibault Malou , Jerome Monnier
2023
Preprints, Working Papers, ... hal-03386480v2

Srdjan Smajic, Ghost-Seers, Detectives and Spiritualists: Theories of Vision in Victorian Literature and Science

Laurence Talairach-Vielmas
Miranda : Revue pluridisciplinaire sur le monde anglophone. Multidisciplinary peer-reviewed journal on the English-speaking world , 2010, 3, ⟨10.4000/miranda.1691⟩
Journal articles hal-03999776v1

Jarlath Killeen, Gothic Literature 1825-1914

Laurence Talairach-Vielmas
Cahiers Victoriens et Edouardiens, 2010, 72 Automne, pp.250-253. ⟨10.4000/cve.2788⟩
Journal articles hal-03999780v1

Table ronde : Vers une histoire transatlantique de l’anthropocène ?

Antoine Acker , Sébastien Rozeaux , José Augusto Pádua , Iva Peša , Charles-François Mathis
Other publications hal-03999825v1

La continuidad territorial de Cuba entre política tradicional, constitución militar, crecimiento económico y administración (1764-1851)

François Godicheau
Alejandro Agüero; Andrea Slemian; Rafael Diego-Fernández Sotelo. Jurisdicciones, Soberanías, Administraciones: Configuración de los espacios políticos en la construcción de los estados nacionales en Iberoamérica, Universidad Nacional de Córdoba; Colegio de Michoacan, pp.25-60, 2018, 978-987-707-078-1
Book sections hal-04183555v1

Introducción. Cuba y el Río de la Plata: hacia una historia conjunta de los problemas históricos del orden público

François Godicheau , Darío G. Barriera
François Godicheau; Darío G. Barriera. Del buen gobierno al orden público. Distancias, actores y conceptos en dos laboratorios: Cuba y el Río de la Plata (1760-1860), Fondo de Cultura Economica, pp.9-18, 2022, 978-84-375-0822-1
Book sections hal-04183621v1

Toulouse (Haute-Garonne), 16, rue des 36 ponts : rapport de diagnostic

Didier Paya , Jean-Luc Boudartchouk , Jean Catalo , Fabien Callède , Olivier Onézime , et al.
Inrap GSO. 2010, 64 p
Reports hal-04183856v1

La participation locale à l'aménagement d'un parc métropolitain à Bogotá

Claudia Ximena Lopez
L'espace public en question, usages, ambiances et participation citoyenne, 2003, France. pp.85-89
Conference papers hal-00012875v1
Image document

Patterns of Violence in the Pre-Neolithic Nile Valley

Petra Brukner Havelková , Isabelle Crevecoeur , Ladislav Varadzin , Stanley H Ambrose , Elise Tartar , et al.
African Archaeological Review, In press, ⟨10.1007/s10437-023-09533-w⟩
Journal articles hal-04182615v1

Etude sur la perception de la médecine du travail par ses utilisateurs

Christophe Serra-Mallol
Christophe Serra-Mallol CSM Consulting. 2010
Reports hal-04186340v1
Image document

Apprentissage ouvert de representations et de fonctionnalites en robotique : anayse, modeles et implementation

Williams Paquier
Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
Theses tel-00009324v1
Image document

Planifier avec les contraintes géométriques du mouvement et de la manipulation

Stéphane Cambon
Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2005. Français. ⟨NNT : ⟩
Theses tel-00009845v1

Social representations of practices in times of crisis of university guidanceprofessionals

Naïma Marengo
COVID-19 and Digital transformation : Vocational Choice, Educational Prospects and Employment Challenges, IAEVG, Dec 2022, Seoul, South Korea
Conference papers hal-03991758v1

Professionnalisation de l’enseignement supérieur et sélection des publics : les faux-semblants de la démocratisation

Philippe Lemistre , Prisca Kergoat
Économies et sociétés. Série AB, Économie du travail, 2014, XLVIII (9), pp.1405-1438
Journal articles hal-04185482v1

Nostoï et non-dits dans Juste la fin du monde de Jean-Luc Lagarce, Incendies de Wajdi. Mouawad et Tout mon amour de Laurent Mauvignier.

Sylvie Vignes
Labirinti, 2021, pp.271-291
Journal articles hal-04183590v1

Vivre en communauté traditionnelle à Rapa. Analyser et mesurer la qualité de vie en situation d’isolat

Christophe Serra-Mallol
Agence Nationale de la Recherche (ANR). 2012
Reports hal-04177331v1

PVP-coated ultrasmall Nd-doped Gd 2 O 2 S nanoparticles for multimodal imaging

Qilin Zou , Luan Passini , Laure Gibot , Delphine Lagarde , Jie Hu , et al.
Materials Chemistry Frontiers, 2023, ⟨10.1039/d3qm00554b⟩
Journal articles hal-04169523v1

Castres (Tarn), "Saint-Martial sud" : rapport de fouilles

Jean-Luc Boudartchouk , Roberta Bevilacqua , Laurent Bruxelles , Fabien Callède
4114007501, Inrap GSO. 2005, 39 p
Reports hal-04180259v1
Image document

Spectacle : « Voyage entre Paris et Salvador dans l'univers de Pierre Verger » - 19 septembre 2012

Fabien Liquori
Salvador de Bahia, Brazil. 2012
Photos hal-04177930v1

Autistic social communication symptoms in children with Developmental Coordination Disorder: a comparative study

Jeanne Kruck , Bernadette Rogé
Developmental coordination disorder and other neurodevelopmental disorders: a focus on comorbidity, 11th International Conference on Developmental Coordination Disorder (DCD11), Jul 2015, Toulouse, France
Conference papers hal-04182900v1

Adaptation française de l’ADOS : Echelle d’observation pour le diagnostic de l’autisme

Bernadette Rogé , Eric Fombonne , Jeanne Fremolle-Kruck , Evelyne Arti
Hogrefe, 2011
Books hal-04182840v1