Recherche - Université Paris-Saclay Accéder directement au contenu

Filtrer vos résultats

152 résultats
Page :
triés par

Formal proofs and certified computation in Coq (The French Symposium on Games - Theory and Applications, Université Paris Diderot, 26/05/15-30/05/15)

 Érik Martin-Dorel
French Symposium on Games - Theory and Applications 2015 (Dedicated to the memory of John Nash), May 2015, Paris, France
Communication dans un congrès hal-03193111v1

Behavior of parallel two-stage method for the simulation of steel solidification in continuous casting

 Thierry Garcia , Pierre Spitéri , Ghania Khenniche
Advances in Engineering Software, 2019, 131, pp.116-142. ⟨10.1016/j.advengsoft.2018.11.012⟩
Article dans une revue hal-02381883v1
Image document

Real-Time Model Checking Support for AADL

 Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , M Filali , Didier Le Botlan , et al.
[Research Report] LAAS-CNRS. 2015
Rapport hal-01121605v1

Better Understanding the Workers' Retirement Decision Attitudes: Development and Validation of a New Measure

 Evelyne Fouquereau , Grégoire Bosselut , Séverine Chevalier , Hélène Coillot , Virginie Demulier , et al.
Frontiers in Psychology, 2018, 9, ⟨10.3389/fpsyg.2018.02429⟩
Article dans une revue hal-02318926v1
Image document

From ambient sensing to IoT-based context computing: an open framework for end to end QoC management

 Pierrick Marie , Thierry Desprats , Sophie Chabridon , Michelle Sibilla , Chantal Taconet
Sensors, 2015, Special Issue: Select Papers from UCAmI & IWAAL 2014, 15 (6), pp.14180-14206. ⟨10.3390/s150614180⟩
Article dans une revue hal-01262395v1
Image document

Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets

 Jean-Paul Arcangeli , Amel Bouzeghoub , Valérie Camps , Sophie Chabridon , Denis Conan , et al.
UBIMOB 2016 : 11èmes journées francophones Mobilité et Ubiquité, Jul 2016, Lorient, France. pp.1 - 7
Communication dans un congrès hal-01444756v1
Image document

IRIT at e-Risk 2018

 Faneva Ramiandrisoa , Josiane Mothe , Farah Benamara , Véronique Moriceau
9th Conference and Labs of the Evaluation Forum, Living Labs (CLEF 2018), Sep 2018, Avignon, France. pp.1-12
Communication dans un congrès hal-02290007v1
Image document

Reconstruction of partially sampled EELS images

 Etienne Monier , Thomas Oberlin , Nathalie Brun , Maria de Frutos , Marcel Tencé , et al.
9th IEEE Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing (WHISPERS 2018), Sep 2018, Amsterdam, Netherlands. ⟨10.1109/WHISPERS.2018.8747104⟩
Communication dans un congrès hal-02289995v1
Image document

Overview of INEX Tweet Contextualization 2013 track

 Patrice Bellot , Véronique Moriceau , Josiane Mothe , Eric Sanjuan , Xavier Tannier
Conference on Multilingual and Multimodal Information Access Evaluation (CLEF 2013), Sep 2013, Valencia, Spain. pp.1-4
Communication dans un congrès hal-01140592v1
Image document

Les mèmes Internet ont-ils un mode de propagation spécifique ?

 Clément Renaud , Valérie Fernandez , Gilles Puel
Réseaux : communication, technologie, société, 2016, Topographies/topologies Langages spatiaux, spatialités, espaces, 2016/1 (195), pp.107-130. ⟨10.3917/res.195.0107⟩
Article dans une revue hal-01348472v1

Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B

 Idir Ait-Sadoune , Yamine Aït-Ameur
Correct Software in Web Applications and Web Services, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8
Chapitre d'ouvrage hal-01274690v1
Image document

Resource Allocation for Real Time Services in LTE Networks: Resource Allocation Using Cooperative Game Theory and Virtual Token Mechanism

 Mauricio Iturralde , Tara Ali-Yahiya , Anne Wei , André-Luc Beylot
Wireless Personal Communications, 2013, vol. 72 (n° 2), pp. 1415-1435. ⟨10.1007/s11277-013-1086-z⟩
Article dans une revue hal-01130003v1
Image document

Modeless Pointing with Low-Precision Wrist Movements

 Theophanis Tsandilas , Emmanuel Dubois , Mathieu Raynal
14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Communication dans un congrès hal-00821078v2

Gaze Patterns and the Temporal Organization of Multiple Activities in Mobile Smartphone Uses

 Christian Licoppe , Julien Figeac
Human-Computer Interaction, 2018, 33 (5-6), pp.311-334. ⟨10.1080/07370024.2017.1326008⟩
Article dans une revue hal-02166558v1
Image document

Controverses sur la consommation de viande : enseignements d’une analyse sociologique

 Vincent Legendre , Pierre Sans , Sandrine Barrey , Brice Boutin
INRA Productions Animales, 2018, 30 (5), pp.479-786
Article dans une revue hal-01834758v1

Alimentation et nutrition dans les départements et régions d’Outre-mer. Expertise scientifique collective de l'IRD réalisée à la demande de la Direction générale de la Santé de l'Etat français

 Caroline Méjean , Xavier Debussche , Yves Martin-Prével , Vincent V. Requillart , Louis Georges Soler , et al.
IRD, 208 p. + clé USB, 2020, Expertise collective, 978-2-7099-2719-2
Ouvrages hal-02921618v1
Image document

Actes du colloque international et interdisciplinaire de recherche

 Camille Dumat , Didier Busca , Sophie Sobanska , Salma Loudiyi , Christine C. Aubry , et al.
2021
Proceedings/Recueil des communications hal-03478540v3
Image document

Temporal isolation of hard real-time applications on many-core processors

 Quentin Perret , Pascal Maurere , Eric Noulard , Claire Pagetti , Pascal Sainrat , et al.
RTAS 2016 - IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. pp. 1-11, ⟨10.1109/RTAS.2016.7461363⟩
Communication dans un congrès hal-01585055v1
Image document

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

 Yamine Aït-Ameur , Idir Ait-Sadoune , Pierre Castéran , John Paul Gibson , Kahina Hacid , et al.
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩
Communication dans un congrès hal-01797538v1
Image document

Could Contracts between Pharmaceutical Firms and French Veterinarians Bias Prescription Behaviour: A Principal-Agency Theory Approach in the Context of Oligopolies

 Didier Raboisson , Ahmed Ferchiou , Tifenn Corre , Sylvain Perez , Pierre Sans , et al.
Antibiotics, 2021, 10 (2), pp.176. ⟨10.3390/antibiotics10020176⟩
Article dans une revue hal-03148045v1
Image document

Impacts des produits phytopharmaceutiques sur la biodiversité et les services écosystémiques. Rapport de l’expertise scientifique collective

 Laure Mamy , Stéphane Pesce , Wilfried Sanchez , Marcel Amichot , Joan Artigas , et al.
[Rapport de recherche] INRAE; IFREMER. 2022, 1408 p
Rapport hal-03777257v1
Image document

Representing Children Living with Visual Impairments in the Design Process: A case Study with Personae

 Emeline Brulé , Christophe Jouffrais
CWUAAT 2016, Mar 2016, Cambridge, United Kingdom. pp.23-32, ⟨10.1007/978-3-319-29498-8_3⟩
Communication dans un congrès hal-01246063v2

Differentiated heated lid driven cavity interacting with tube: A lattice Boltzmann study

 Rachid Bennacer , Marcelo Ma , Nicolas Pellerin , Xiaoyan Ma
Thermal Science, 2017, 21 (1 Part A), pp.89 - 104. ⟨10.2298/TSCI160429238B⟩
Article dans une revue hal-01684851v1

Argumentation and Inconsistency-Tolerant Reasoning

 Leila Amgoud , Philippe Besnard , Claudette Cayrol , Philippe Chatalic , Marie-Christine Lagasquie-Schiex
Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer International Publishing, pp.415-440, 2020, ⟨10.1007/978-3-030-06164-7_13⟩
Chapitre d'ouvrage hal-02651115v1
Image document

IRIT at e-Risk

 Idriss Abdou Malam , Mohamed Arziki , Mohammed Nezar Bellazrak , Farah Benamara , Assafa El Kaidi , et al.
8th International Conference of the CLEF Association (CLEF 2017), Sep 2017, Dublin, Ireland. pp.1-7
Communication dans un congrès hal-01912779v1
Image document

INEX Tweet Contextualization Task: Evaluation, Results and Lesson Learned

 Patrice Bellot , Véronique Moriceau , Josiane Mothe , Eric San Juan , Xavier Tannier
Information Processing and Management, 2016, 52 (5), pp.801-819. ⟨10.1016/j.ipm.2016.03.002⟩
Article dans une revue hal-01479297v1

Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)

 Érik Martin-Dorel , Guillaume Melquiond
Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
Communication dans un congrès hal-03176418v1

Les effets du gouvernement sur les conduites

 Sandrine Barrey , Sophie Dubuisson-Quellier , Severine Gojard , Marie Plessz
Gouverner les conduites, Mai 2016, Les Presses de Sciences Po, pp.399 - 448, 2016, Académique (Sciences Po), 9782724619003
Chapitre d'ouvrage hal-01595137v1
Image document

Inclusive Education Technologies: Emerging Opportunities for People with Visual Impairments

 Oussama Metatla , Marcos Serrano , Christophe Jouffrais , Anja Thieme , Shaun Kane , et al.
International Conference for Human-Computer Interaction (CHI 2018), Apr 2018, Montréal, QC, Canada. pp.w13.1-w13.8
Communication dans un congrès hal-02124416v1
Image document

Informativeness for Adhoc IR evaluation: a measure that prevents assessing individual documents

 Romain Deveaud , Véronique Moriceau , Josiane Mothe , Eric San Juan
38th European Conference on Information Retrieval (ECIR 2016), Mar 2016, Padoue, Italy. pp.818-823, ⟨10.1007/978-3-319-30671-1_73⟩
Communication dans un congrès hal-01567065v1
Page :