Skip to Main content Skip to Navigation

hal-01089480v1  Poster communications
Christian MühlReinhold SchererAnatole LécuyerLorraine PerronnetMoritz Grosse-Wentrup et al.  Which factors drive successful BCI skill learning?
6th International BCI conference, Sep 2014, Graz, Austria
hal-02389101v1  Conference papers
Song WuDie HuShadi IbrahimHai JinJiang Xiao et al.  When FPGA-Accelerator Meets Stream Data Processing in the Edge
ICDCS'19 - 39th IEEE International Conference on Distributed Computing Systems, Jul 2019, Dallas, United States. pp.1818-1829, ⟨10.1109/ICDCS.2019.00180⟩
hal-01661211v1  Conference papers
Anne-Hélène OlivierJulien BruneauRichard KulpaJulien Pettré. Walking with virtual people: Evaluation of locomotion interfaces in dynamic environments
IEEE VR 2017 - IEEE Virtual Reality, Mar 2017, Los Angeles, United States. pp.2251-2263
hal-01557761v1  Journal articles
Anne-Hélène OlivierJulien BruneauRichard KulpaJulien Pettré. Walking with virtual people: Evaluation of locomotion interfaces in dynamic environments
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2018, 24 (7), pp.2251-2263. ⟨10.1109/TVCG.2017.2714665⟩
hal-01391751v1  Poster communications
Antoine CoutrotOlivier Le Meur. Visual attention saccadic models: taking into account global scene context and temporal aspects of gaze behaviour
ECVP 2016 - European Conference on Visual Perception, Aug 2016, Barcelona, Spain
hal-00869112v1  Conference papers
Mohammad GhoniemNarendra JussienJean-Daniel Fekete. VISEXP: visualizing constraint solver dynamics using explanations
FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004, Miami, Florida, United States. pp.263--268
hal-00869118v1  Conference papers
Narendra JussienOlivier Lhomme. Vers une unification des algorithmes de résolution de CSP
8ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'02), 2002, Nice, France. pp.155--168
hal-01110779v1  Conference papers
Delphine DemangeDavid PichardieLéo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
hal-01613389v1  Conference papers
Yannick ZakowskiDavid CacheraDelphine DemangeGustavo PetriDavid Pichardie et al.  Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.496-513, ⟨10.1007/978-3-319-66107-0_31⟩
hal-00869102v1  Conference papers
Émilie GrellierPierre DejaxNarendra JussienZhiqiang Lu. Vehicle routing problem in mixed flows for reverse logistics: a modeling framework
International Conference on Information Systems, Logistics, and Supply Chain (ILS 2006), 2006, Lyon, France
hal-00596149v1  Journal articles
Nicolas PapadakisEtienne Mémin. Variational assimilation of fluid motion from image sequence
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2008, 1 (4), pp.343-363. ⟨10.1137/080713896⟩
hal-01238103v1  Journal articles
Matthieu DorierShadi IbrahimGabriel AntoniuRobert Ross. Using Formal Grammars to Predict I/O Behaviors in HPC: the Omnisc'IO Approach
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TPDS.2015.2485980⟩
hal-01807302v1  Conference papers
Song WuMi LiuShadi IbrahimHai JinLin Gu et al.  TurboSream: Towards Low-Latency Data Stream Processing
ICDCS 2018 - 38th IEEE International Conference on Distributed Computing Systems, Jul 2018, Vienna, Austria. pp.1-11, ⟨10.1109/ICDCS.2018.00099⟩
hal-01023282v1  Conference papers
Radu TudoranAlexandru CostanGabriel Antoniu. Transfer as a Service: Towards a Cost-Effective Model for Multi-Site Cloud Data Management
Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), IEEE, Oct 2014, Nara, Japan
hal-02453411v1  Conference papers
Marie-Stéphanie BracqMarie Le DuffEstelle MichinovBruno ArnaldiValérie Gouranton et al.  Training situation awareness through error recognition in an immersive virtual operating room
International conference for multi-area simulation ICMASim 2019, Oct 2019, Angers, France. pp.208-216
hal-03008918v1  Conference papers
Tiffany LuongNicolas MartinAnais RaisonFerran Argelaguet SanzJean-Marc Diverrez et al.  Towards Real-Time Recognition of Users' Mental Workload Using Integrated Physiological Sensors Into a VR HMD
ISMAR 2020 - IEEE International Symposium on Mixed and Augmented Reality, Nov 2020, Virtual, Brazil. pp.1-13
inserm-03058348v1  Conference papers
Camille Maumet. Towards large-scale brain imaging studies
workshop Virtual 2020 - Inteligencia Articicial en imagenes medicas, Dec 2020, Santiago (online), Chile
hal-01762612v3  Conference papers
Léa PilletteCamille JeunetRoger N'KambouBernard N'KaouaFabien Lotte. Towards Artificial Learning Companions for Mental Imagery-based Brain-Computer Interfaces
WACAI 2018 - Workshop sur les “Affects, Compagnons Artificiels et Interactions”, Jun 2018, Ile de Porquerolles, France. pp.1-8