Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 669 résultats
Page :
triés par
Image document

Robust material requirement planning with cumulative demand under uncertainty

 Romain Guillaume , Caroline Thierry , Pawel Zielinski
International Journal of Production Research, 2017, 55 (22), pp.6824-6845. ⟨10.1080/00207543.2017.1353157⟩
Article dans une revue hal-02640776v1

A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions

 Arnaud Hamon , Eric Barboni , Philippe Palanque , Raphaël André
Workshop on Engineering Gestures for Multimodal Interfaces (EGMI 2014), co-located with the 6th ACM SIGCHI - ICS 2014, Jun 2014, Rome, Italy
Communication dans un congrès hal-03252263v1
Image document

Lattice-Based Spatio-temporal Prediction

 Saulius Samulevicius , Yoann Pitarch , Torben Bach Pedersen
18th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2014), Sep 2014, Gdynia, Poland. pp. 494-503
Communication dans un congrès hal-01399866v1

Topics of Formal Methods in HCI

 Judy Bowen , Alan Dix , Philippe Palanque , Benjamin Weyers
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57--64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩
Chapitre d'ouvrage hal-03131905v1
Image document

VOAR: A Visual and Integrated Ontology Alignment Environment

 Bernardo Severo , Cassia Trojahn dos Santos , Renata Vieira
Language Resources and Evaluation Conference - LREC 2014, May 2014, Reykjavik, Iceland. pp.3671-3677
Communication dans un congrès hal-01131889v1
Image document

Alinhamento entre Ontologias de Topo e de Dominio Usando WordNet

 Rafael Basso , Daniela Schmidt , Cassia Trojahn dos Santos , Renata Vieira
10th Brazilian Ontology Research Seminar (ONTOBRAS 2017), Aug 2017, Brasilia, Brasil. pp.9-20
Communication dans un congrès hal-02089251v1
Image document

A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013)

 Leila Amgoud , Philippe Besnard
7th International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, United States. pp. 78-91, ⟨10.1007/978-3-642-40381-1_7⟩
Communication dans un congrès hal-01239724v1
Image document

Arguments using ontological and causal knowledge (JIAF 2013)

 Philippe Besnard , Marie-Odile Cordier , Yves Moinard
7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France. pp.41-48
Communication dans un congrès hal-00932294v1
Image document

Tableaux methods for propositional dynamic logics with separating parallel composition

 Philippe Balbiani , Joseph Boudou
International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.539-554
Communication dans un congrès hal-01650183v1
Image document

Rouletabille at SemEval-2019 Task 4: Neural Network Baseline for Identification of Hyperpartisan Publishers

 Jose G. Moreno , Yoann Pitarch , Karen Pinel-Sauvagnat , Gilles Hubert
13th International Workshop on Semantic Evaluation (SEMEVAL 2019), Jun 2019, Minneapolis, United States. pp.981-984
Communication dans un congrès hal-02419435v1

Everything You Always Wanted to Know About TREC RTS* (*But Were Afraid to Ask)

 Gilles Hubert , Jose G. Moreno , Karen Pinel-Sauvagnat , Yoann Pitarch
2017
Autre publication scientifique hal-03131897v1
Image document

Reasoning about negligibility and proximity in the set of all hyperreals

 Philippe Balbiani
Journal of Applied Logic, 2016, 16, pp.14-36. ⟨10.1016/j.jal.2016.04.002⟩
Article dans une revue hal-01739997v1
Image document

Remarks about the unification type of several non-symmetric non-transitive modal logics

 Philippe Balbiani
Logic Journal of the IGPL, 2018, 27 (5), pp.639-658. ⟨10.1093/jigpal/jzy078⟩
Article dans une revue hal-02378381v1
Image document

Agents that look at one another

 Philippe Balbiani , Olivier Gasquet , François Schwarzentruber
Logic Journal of the IGPL, 2013, vol. 21 (n° 3), pp. 438-467. ⟨10.1093/jigpal/jzs052⟩
Article dans une revue hal-01138505v1

Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016)

 Philippe Balbiani
Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev (2016), Oct 2016, Gyolechitsa, Bulgaria
Communication dans un congrès hal-03176434v1
Image document

Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata

 Tushant Jha , Walid Belkhir , Yannick Chevalier , Michael Rusinowitch
FOR-MOVES 2015: FORmal MOdeling and VErification of Service-based systems, Nov 2015, Goa, India
Communication dans un congrès hal-01224144v1
Image document

Axiomatization and computability of a variant of iteration-free PDL with fork

 Philippe Balbiani , Joseph Boudou
Journal of Logic and Algebraic Methods in Programming, 2019, Special issue: SI: DaLí-Dynamic Logics, new trends and applications - Selected contributions, 108, pp.47-68. ⟨10.1016/j.jlamp.2019.06.004⟩
Article dans une revue hal-02378379v1
Image document

ISPH–PBD: coupled simulation of incompressible fluids and deformable bodies

 Nadine Abu Rumman , Prapanch Nair , Patric Müller , Loic Barthe , David Vanderhaeghe
The Visual Computer, 2020, 36 (5), pp.893-910. ⟨10.1007/s00371-019-01700-y⟩
Article dans une revue hal-02139901v1
Image document

Constrained Palette-Space Exploration

 Nicolas Mellado , David Vanderhaeghe , Charlotte Hoarau , Sidonie Christophe , Mathieu Brédif , et al.
ACM Transactions on Graphics, 2017, 36 (4), pp.60. ⟨10.1145/3072959.3073650⟩
Article dans une revue hal-01538733v1
Image document

From Individual Goals to Collective Decisions (Extended Abstract)

 Arianna Novaro , Umberto Grandi , Dominique Longin , Emiliano Lorini
17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Jul 2018, Stockholm, Sweden. International Foundation for Autonomous Agents and MultiAgent Systems (IFAAMAS), AAMAS'18 : Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp.2028-2030, 2018
Poster de conférence hal-02348231v1
Image document

A User-centric Process Management for System and Software Engineering Projects

 Mojtaba Hajmoosaei , Hanh Nhi Tran , Christian Percebois
7th International Conference on Industrial Engineering and Systems Management (IESM 2017), Oct 2017, Saarbrücken, Germany. pp.123-128
Communication dans un congrès hal-02879719v1

Le retour des commerces en centre-ville comme stratégie d’aménagement local Le cas d’Albi

 Ygal Fijalkow , Elsa Martin , Cedric Calvignac
Espaces et sociétés (Paris, France), 2017, 168-169 (1), pp.109. ⟨10.3917/esp.168.0109⟩
Article dans une revue hal-02096366v1
Image document

DiEvent: Towards an Automated Framework for Analyzing Dining Events

 Mahmoud Qodseya , Mahdi Washha , Florence Sèdes
IEEE 34th International Conference on Data Engineering Workshops (ICDEW 2018), Apr 2018, Paris, France. pp.163-168, ⟨10.1109/ICDEW.2018.00034⟩
Communication dans un congrès hal-02191799v1
Image document

Impact of Time on Detecting Spammers in Twitter

 Mahdi Washha , Aziz Qaroush , Florence Sèdes
32ème Conférence Gestion de Données : Principes, Technologies et Applications (BDA 2016), Laboratoire d’Informatique et d’Automatique pour les Systèmes (LIAS) - Université de Poitiers et ENSMA, Nov 2016, Poitiers, France
Communication dans un congrès hal-03159076v1
Image document

A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker

 Ning Ge , Marc Pantel , Bernard Berthomieu
2016
Pré-publication, Document de travail hal-01399626v1
Image document

Iterative Reconstruction of Medical Ultrasound Images Using Spectrally Constrained Phase Updates

 Oleg Michailovich , Adrian Basarab , Denis Kouamé
16th IEEE International Symposium on Biomedical Imaging: From Nano to Macro (ISBI 2019), Apr 2019, Venise, Italy. pp.1765-1768, ⟨10.1109/ISBI.2019.8759245⟩
Communication dans un congrès hal-02891740v1
Image document

A simulation study on the choice of regularization parameter in l2-norm ultrasound image restoration

 Zhouye Chen , Adrian Basarab , Denis Kouamé
37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2015), Aug 2015, Milano, Italy. pp. 6346-6349
Communication dans un congrès hal-01371780v1
Image document

On Single-Image Super-Resolution in 3D Brain Magnetic Resonance Imaging

 Farah Bazzi , Muriel Mescam , Adrian Basarab , Denis Kouamé
41st IEEE Annual International Conference on Engineering in Medicine and Biology (EMBC 2019), Jul 2019, Berlin, Germany. pp.0, ⟨10.1109/EMBC.2019.8857959⟩
Communication dans un congrès hal-02891677v1
Image document

Reconstruction of Enhanced Ultrasound Images From Compressed Measurements Using Simultaneous Direction Method of Multipliers

 Zhouye Chen , Adrian Basarab , Denis Kouamé
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, 2016, vol. 63 (n° 10), pp. 1525-1534. ⟨10.1109/TUFFC.2016.2593795⟩
Article dans une revue hal-01484966v1
Image document

Compressed quantitative acoustic microscopy

 Jonghoon Kim , Paul Hill , Nishan Canagarajah , Daniel Rohrbach , Denis Kouamé , et al.
2017 IEEE International Ultrasonics Symposium, Sep 2017, Washington, DC, United States. ⟨10.1109/ULTSYM.2017.8092328⟩
Communication dans un congrès hal-02860293v1
Page :