Filtrer vos résultats
- 3781
- 2066
- 52
- 2875
- 1614
- 412
- 221
- 176
- 157
- 137
- 88
- 71
- 59
- 49
- 18
- 7
- 6
- 4
- 2
- 1
- 1
- 1
- 131
- 9
- 5
- 2
- 2
- 2
- 1
- 1
- 4004
- 1813
- 200
- 145
- 124
- 32
- 25
- 23
- 14
- 13
- 11
- 6
- 4
- 56
- 44
- 41
- 36
- 34
- 31
- 30
- 29
- 25
- 24
- 24
- 24
- 24
- 23
- 23
- 23
- 23
- 22
- 22
- 22
- 21
- 21
- 21
- 21
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 20
- 20
- 10
- 105
- 118
- 271
- 472
- 645
- 680
- 763
- 771
- 790
- 652
- 622
- 3694
- 2159
- 21
- 10
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 4098
- 997
- 535
- 209
- 126
- 126
- 103
- 91
- 74
- 66
- 62
- 49
- 48
- 47
- 45
- 44
- 41
- 38
- 36
- 36
- 35
- 34
- 33
- 32
- 32
- 30
- 29
- 29
- 28
- 25
- 25
- 23
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 155
- 137
- 136
- 114
- 103
- 94
- 94
- 80
- 74
- 74
- 72
- 70
- 69
- 69
- 64
- 63
- 62
- 62
- 61
- 60
- 57
- 55
- 55
- 55
- 55
- 55
- 54
- 53
- 53
- 52
- 52
- 51
- 51
- 51
- 51
- 50
- 49
- 49
- 48
- 48
- 48
- 46
- 45
- 45
- 43
- 43
- 42
- 42
- 41
- 39
- 38
- 38
- 37
- 37
- 37
- 37
- 36
- 36
- 35
- 35
- 35
- 35
- 34
- 34
- 34
- 33
- 33
- 33
- 32
- 31
- 31
- 31
- 31
- 31
- 31
- 31
- 31
- 31
- 30
- 30
- 30
- 30
- 30
- 30
- 29
- 29
- 28
- 28
- 28
- 28
- 28
- 27
- 27
- 27
- 26
- 26
- 26
- 26
- 26
- 25
5 899 résultats
|
Robust material requirement planning with cumulative demand under uncertaintyInternational 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 InteractionsWorkshop 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
|
|||
|
Lattice-Based Spatio-temporal Prediction18th 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 HCIWeyers, 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
|
||
|
VOAR: A Visual and Integrated Ontology Alignment EnvironmentLanguage Resources and Evaluation Conference - LREC 2014, May 2014, Reykjavik, Iceland. pp.3671-3677
Communication dans un congrès
hal-01131889v1
|
||
|
Alinhamento entre Ontologias de Topo e de Dominio Usando WordNet10th Brazilian Ontology Research Seminar (ONTOBRAS 2017), Aug 2017, Brasilia, Brasil. pp.9-20
Communication dans un congrès
hal-02089251v1
|
||
|
A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013)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
|
||
|
Arguments using ontological and causal knowledge (JIAF 2013)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
|
||
|
Tableaux methods for propositional dynamic logics with separating parallel compositionInternational Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.539-554
Communication dans un congrès
hal-01650183v1
|
||
|
Rouletabille at SemEval-2019 Task 4: Neural Network Baseline for Identification of Hyperpartisan Publishers13th 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)2017
Autre publication scientifique
hal-03131897v1
|
||
|
Reasoning about negligibility and proximity in the set of all hyperrealsJournal of Applied Logic, 2016, 16, pp.14-36. ⟨10.1016/j.jal.2016.04.002⟩
Article dans une revue
hal-01739997v1
|
||
|
Remarks about the unification type of several non-symmetric non-transitive modal logicsLogic Journal of the IGPL, 2018, 27 (5), pp.639-658. ⟨10.1093/jigpal/jzy078⟩
Article dans une revue
hal-02378381v1
|
||
|
Agents that look at one anotherLogic 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)Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev (2016), Oct 2016, Gyolechitsa, Bulgaria
Communication dans un congrès
hal-03176434v1
|
|||
|
Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory AutomataFOR-MOVES 2015: FORmal MOdeling and VErification of Service-based systems, Nov 2015, Goa, India
Communication dans un congrès
hal-01224144v1
|
||
|
Axiomatization and computability of a variant of iteration-free PDL with forkJournal 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
|
||
|
ISPH–PBD: coupled simulation of incompressible fluids and deformable bodiesThe Visual Computer, 2020, 36 (5), pp.893-910. ⟨10.1007/s00371-019-01700-y⟩
Article dans une revue
hal-02139901v1
|
||
|
Constrained Palette-Space ExplorationACM Transactions on Graphics, 2017, 36 (4), pp.60. ⟨10.1145/3072959.3073650⟩
Article dans une revue
hal-01538733v1
|
||
|
From Individual Goals to Collective Decisions (Extended Abstract)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
|
||
|
A User-centric Process Management for System and Software Engineering Projects7th 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’AlbiEspaces et sociétés (Paris, France), 2017, 168-169 (1), pp.109. ⟨10.3917/esp.168.0109⟩
Article dans une revue
hal-02096366v1
|
||
|
DiEvent: Towards an Automated Framework for Analyzing Dining EventsIEEE 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
|
||
|
Impact of Time on Detecting Spammers in Twitter32è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
|
||
|
A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker2016
Pré-publication, Document de travail
hal-01399626v1
|
||
|
Iterative Reconstruction of Medical Ultrasound Images Using Spectrally Constrained Phase Updates16th 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
|
||
|
A simulation study on the choice of regularization parameter in l2-norm ultrasound image restoration37th 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
|
||
|
On Single-Image Super-Resolution in 3D Brain Magnetic Resonance Imaging41st 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
|
||
|
Reconstruction of Enhanced Ultrasound Images From Compressed Measurements Using Simultaneous Direction Method of MultipliersIEEE 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
|
||
|
Compressed quantitative acoustic microscopy2017 IEEE International Ultrasonics Symposium, Sep 2017, Washington, DC, United States. ⟨10.1109/ULTSYM.2017.8092328⟩
Communication dans un congrès
hal-02860293v1
|