Skip to Main content Skip to Navigation

hal-03168840v1  Reports
Rima Al AliMoussa AmraniAnkica BarisicFernando BarrosDominique Blouin et al.  State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
[Technical Report] COST European Cooperation in Science and Technology. 2017
hal-03168831v1  Reports
Rima Al-AliMoussa AmraniSoumyadip BandyopadhyayAnkica BarisicFernando Barros et al.  Framework to Relate / Combine Modeling Languages and Techniques
[Technical Report] COST European Cooperation in Science and Technology. 2019
hal-03109511v1  Conference papers
Mehdi AlaimiEdith LawKevin PantasdoPierre-Yves OudeyerHélène Sauzéon. Pedagogical Agents for Fostering Question-Asking Skills in Children
CHI '20 - CHI Conference on Human Factors in Computing Systems, Apr 2020, Honolulu / Virtual, United States. ⟨10.1145/3313831.3376776⟩
hal-00331551v1  Conference papers
Lucian AlecuHervé Frezza-Buet. An Empirical Evaluation Framework for Qualifying Dynamic Neural Fields
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
hal-00331571v1  Conference papers
Frédéric AlexandreJérémy FixAxel HuttNicolas RougierThierry Viéville. On practical neural field parameters adjustment
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
hal-01735123v1  Book sections
Frédéric AlexandrePeter Ford DomineyPhilippe GaussierBenoît GirardMehdi Khamassi et al.  When Artificial Intelligence and Computational Neuroscience meet
Springer. A guided tour of artificial intelligence research, Interfaces and applications of artificial intelligence, 3, 2020, Interfaces and Applications of Artificial Intelligence, 978-3-030-06170-8
hal-01077445v1  Journal articles
Gianluca AloiMarco Di FeliceValeria LoscrìPasquale PaceGiuseppe Ruggeri. Spontaneous smartphone networks as a user-centric solution for the future internet
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2014, 52 (12), pp.26 - 33. ⟨10.1109/MCOM.2014.6979948⟩
inria-00466286v1  Conference papers
Eitan AltmanRachid ElazouziTania Jimenez. Slotted Aloha as a stochastic game with partial information
WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Mar 2003, Sophia Antipolis, France. 9 p
hal-00909297v1  Conference papers
Roberto AmadiniMaurizio GabbrielliJacopo Mauro. An Empirical Evaluation of Portfolios Approaches for Solving CSPs
CPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, 2013, Yorktown Heights, United States. pp.316-324, ⟨10.1007/978-3-642-38171-3_21⟩
hal-00869660v1  Conference papers
Maxime Amblard. Treating clitics with minimalist grammars
The 11th conference on Formal Grammar, Jul 2006, Malaga, Spain. pp.9--20
hal-02269640v1  Book sections
Maxime AmblardMichel MusiolManuel Rebuschi. Discourse coherence - From psychology to linguistics and back again
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse - Formal and Conceptual issues of Language, Springer, 2021
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - Fifth Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
hal-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
hal-00617040v1  Book sections
Maxime Amblard. Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages
Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, 6700, springer, pp.61--80, 2011, LNCS/LNAI, ⟨10.1007/978-3-642-21490-5_4⟩
hal-00601621v1  Conference papers
Maxime Amblard. Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.1--16, ⟨10.1007/978-3-642-22221-4_1⟩
hal-02269609v1  Conference papers
Maxime AmblardMaria BoritchevMarta CarlettiLea DieudonatYiting Tsai. A Taxonomy of Real-Life Questions and Answers in Dialogue
SemDial 2019 - LondonLogue - 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
hal-01655957v2  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiMarie-Hélène PierreStefan Jokulsson. (In)Coherence of discourse 4
Mar 2017, Nancy, France. Published by the authors, 2017
hal-01941824v1  Conference papers
Maxime Amblard. Formal modelling of dialogue: how words interact (not only in the dictionary!)
EMLex lecture series/Séminaire de l’ATILF, Mar 2018, Nancy, France
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
hal-01941830v1  Conference papers
Maxime Amblard. Question the coherence of dialogical interaction through formalization
Journée d'Étude Franco-Tchèque. Linguistique textuelle, linguistique de corpus, Apr 2018, Metz, France
hal-00545748v1  Journal articles
Maxime AmblardAlain LecomteChristian Retoré. Categorial Minimalist Grammar: From Generative Syntax To Logical Form
Linguistic Analysis, David R. Willingham, 2010, 36 (1--4), pp.273--306
hal-01366873v1  Book sections
Anton AndreevAlexandre BarachantFabien LotteMarco Congedo. Recreational Applications of OpenViBE: Brain Invaders and Use-the-Force
Maureen Clerc; Laurent Bougrai; Fabien Lotte. Brain-Computer Interfaces 2: Technology and Applications, chap. 14, John Wiley; Sons, pp.241-257, 2016, 978-1-84821-963-2
hal-01740357v1  Conference papers
Daniel AntunesClaire MathieuNabil Mustafa. Combinatorics of Local Search: An Optimal 4-Local Hall's Theorem for Planar Graphs
25th Annual European Symposium on Algorithms (ESA 2017), Sep 2017, Vienna, Austria. ⟨10.4230/LIPIcs.ESA.2017.8⟩
hal-01830494v1  Conference papers
Cécile Appert-RollandJulien PettréAnne-Hélène OlivierWilliam WarrenAymeric Duigou-Majumdar et al.  Experimental Study of Collective Pedestrian Dynamics
PED 2018 - 9th International conference on Pedestrian and Evacuation Dynamics, Aug 2018, Lund, Sweden. pp.1-8
hal-01849077v1  Poster communications
Aurélien AppriouFabien Lotte. Analysis and classification of learning-related mental states in EEG signals
Journée des Jeunes Chercheurs en Interfaces Cerveau-Ordinateur et Neurofeedback (JJC-ICON), Apr 2018, Toulouse, France
hal-02483908v1  Journal articles
Aurélien AppriouAndrzej CichockiFabien Lotte. Modern machine learning algorithms to classify cognitive and affective states from electroencephalography signals
IEEE Systems, Man, and Cybernetics Magazine, Institute of Electrical and Electronics Engineers (IEEE), 2020, 6 (3), ⟨10.1109/MSMC.2020.2968638⟩
hal-02971795v1  Conference papers
Aurélien AppriouJessy CehaSmeety PramijDan DutartreEdith Law et al.  Towards measuring states of epistemic curiosity through electroencephalographic signals
IEEE SMC 2020 - IEEE International conference on Systems, Man and Cybernetics, Oct 2020, Toronto / Virtual, Canada
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-01405820v1  Conference papers
Elian AubryThomas SilverstonIsabelle Chrisment. Green Growth in NDN: Deployment of Content Stores
LANMAN 2016 - IEEE International Symposium on Local and Metropolitan Area Networks, IEEE, Jun 2016, Rome, Italy. ⟨10.1109/LANMAN.2016.7548850⟩
hal-01098789v1  Book sections
Guillaume Aucher. Principles of Knowledge, Belief and Conditional Belief
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩
cel-01586568v2  Lectures
Guillaume Aucher. Logic and Commonsense Reasoning
Master. Rennes, France. 2017, pp.151
hal-01645410v1  Conference papers
Amélie AusselLaure BuhryRadu Ranta. Stability conditions of Hopfield ring networks with discontinuous piecewise-affine activation functions
56th IEEE Conference on Decision and Control, CDC 2017, Dec 2017, Melbourne, Australia
hal-00840485v1  Conference papers
Bernardo Avila PiresMohammad GhavamzadehCsaba Szepesvari. Cost-sensitive Multiclass Classification Risk Bounds
International Conference on Machine Learning, Jun 2013, Atlanta, United States
tel-03229010v1  Theses
Oleksii Avilov. Deep learning methods for motor imagery detection from raw EEG : applications to brain-computer interfaces
Computer Science [cs]. Université de Lorraine; Institut polytechnique de Kiev (Ukraine), 2021. English. ⟨NNT : 2021LORR0032⟩
hal-03166495v1  Journal articles
Oleksii AvilovSébastien RimbertAnton PopovLaurent Bougrain. Optimizing Motor Intention Detection with Deep Learning: Towards Management of Intraoperative Awareness
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2021, pp.10. ⟨10.1109/TBME.2021.3064794⟩
hal-01445314v1  Journal articles
Amar Prakash AzadSara AloufEitan Altman. Analysis and Optimization of Sleeping Mode in WiMAX via Stochastic Decomposition Techniques
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2011, 29 (8), pp.1630 - 1640. ⟨10.1109/JSAC.2011.110912⟩
hal-00849079v2  Conference papers
Benjamin BachPierre DragicevicSamuel HuronPetra IsenbergYvonne Jansen et al.  Illustrative Data Graphics in 18th-19th Century Style: A Case Study
IEEE Conference on Visualization - IEEE VIS 2013, Oct 2013, Atlanta, United States
hal-00854626v1  Conference papers
Solveig BadilloThomas VincentPhilippe Ciuciu. Impact of the joint detection-estimation approach on random effects group studies in fMRI
ISBI 2011 - IEEE Computer Society International Symposium on Biomedical Imaging: From Nano to Macro, Mar 2011, Chicago, United States. pp.376-380, ⟨10.1109/ISBI.2011.5872427⟩
inria-00496116v1  Conference papers
Slawomir BakEtienne CorveeFrancois BremondMonique Thonnat. Person Re-identification Using Spatial Covariance Regions of Human Body Parts
7th IEEE International Conference on Advanced Video and Signal-Based Surveillance, AVSS - 2010, Aug 2010, Boston, United States
hal-00703633v1  Conference papers
ICIP - International Conference on Image Processing - 2012, Sep 2012, Orlando, United States. pp.1-4
hal-00907335v1  Book sections
Slawomir BakFrancois Bremond. Re-identification by Covariance Descriptors
Gong, Shaogang and Cristani, Marco and Shuicheng, Yan and Loy, Chen Change. Person Re-Identification, Springer, 2013, Advances in Computer Vision and Pattern Recognition
hal-01213036v1  Journal articles
Slawomir BakFrancois Bremond. Person re-identification employing 3D scene information
Journal of Electronic Imaging, SPIE and IS&T, 2015
inria-00620496v1  Conference papers
Slawomir BakEtienne CorveeFrancois BremondMonique Thonnat. Multiple-shot Human Re-Identification by Mean Riemannian Covariance Grid
Advanced Video and Signal-Based Surveillance, Aug 2011, Klagenfurt, Austria
inria-00496120v2  Conference papers
Int. Joint Conf. on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP), Feb 2009, Lisbon, Portugal
inria-00496051v1  Conference papers
Slawomir BakEtienne CorveeFrancois BremondMonique Thonnat. Person Re-identification Using Haar-based and DCD-based Signature
2nd Workshop on Activity Monitoring by Multi-Camera Surveillance Systems, AMMCSS 2010, in conjunction with 7th IEEE International Conference on Advanced Video and Signal-Based Surveillance, AVSS - 2010, Aug 2010, Boston, United States
hal-00746198v1  Conference papers
Remis BalaniukPierre BessièreEmmanuel MazerPaulo Cobbe. Risk based Government Audit Planning using Naïve Bayes Classifiers
Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012, Spain. ⟨10.3233/978-1-61499-105-2-1313⟩
hal-01416119v1  Conference papers
Nikola BanovicTofi BuzaliFanny ChevalierJennifer MankoffAnind Dey. Modeling and Understanding Human Routine Behavior
ACM CHI Conference on Human Factors in Computing Systems 2016, ACM, May 2016, Santa Clara, California, United States. pp.248 - 260, ⟨10.1145/2858036.2858557⟩
hal-02361350v1  Conference papers
Hubert BanvilleIsabela AlbuquerqueAapo HyvärinenGraeme MoffatDenis-Alexander Engemann et al.  Self-supervised representation learning from electroencephalography signals
MLSP 2019 - IEEE 29th International Workshop on Machine Learning for Signal Processing, Oct 2019, Pittsburgh, United States
hal-00818174v1  Journal articles
Adrien BaranesPierre-Yves Oudeyer. R-IAC: Robust intrinsically motivated exploration and active learning
IEEE Transactions on Autonomous Mental Development, IEEE, 2009, 1 (3), pp.155-169. ⟨10.1109/TAMD.2009.2037513⟩
hal-01064989v1  Conference papers
Adela BarbulescuRémi RonfardGérard BaillyGeorges GagneréHuseyin Cakmak. Beyond Basic Emotions: Expressive Virtual Actors with Social Attitudes
7th International ACM SIGGRAPH Conference on Motion in Games 2014 (MIG 2014), Nov 2014, Los Angeles, United States. pp.39-47, ⟨10.1145/2668084.2668084⟩
hal-03338936v1  Poster communications
Ankica BarisicEnlin ZhuFrédéric Mallet. Model-driven approach for the design of multi-chain smart contracts
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France
hal-03168615v1  Conference papers
Ankica BarisicVasco AmaralMiguel Goulao. Usability Evaluation of Domain-Specific Languages
2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC), Sep 2012, Lisbon, Portugal. pp.342-347, ⟨10.1109/QUATIC.2012.63⟩
tel-01759272v1  Habilitation à diriger des recherches
Pascal Barla. Toward a Perceptually-relevant Theory of Appearance
Graphics [cs.GR]. Université Bordeaux, 2017
hal-01082517v1  Conference papers
Marie-Lou BarnaudNicolas MorgadoRichard Palluel-GermainJulien DiardAnne Spalanzani. Proxemics models for human-aware navigation in robotics: Grounding interaction and personal space models in experimental data from psychology
Proceedings of the 3rd IROS’2014 workshop “Assistance and Service Robotics in a Human Environment”, Sep 2014, Chicago, United States
hal-02935779v1  Conference papers
Pedro BarriosDavy MonticoloSahbi Sidhom. Results of multi-agent system and ontology to manage ideas and represent knowledge in a challenge of creativity
International Multi-Conference OCTA’2019 on Organization of Knowledge and Advanced Technologies, University of Tunis (Tunisia) & International scholarly society ISKO Maghreb, Feb 2020, Tunis (ALECSO), Tunisia. pp.6-17, ⟨10.1109/OCTA49274.2020.9151857⟩
hal-01363393v1  Conference papers
Denis BéchetAnnie Foret. Simple K-star Categorial Dependency Grammars and their Inference
The 13th International Conference on Grammatical Inference (ICGI), Oct 2016, Delft, Netherlands
hal-01306239v1  Conference papers
Brahim BelaouchaMaureen ClercThéodore Papadopoulo. Cortical Surface Parcellation via dMRI Using Mutual Nearest Neighbor Condition
2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI), Apr 2016, Prague, Czech Republic. pp.903--906