|
||
---|---|---|
hal-03653857v1
Conference papers
End-to-End Translation Validation for the Halide Language OOPSLA 2022 - Conference on Object-Oriented Programming Systems, Languages, and Applications, Dec 2022, Auckland, New Zealand. ⟨10.1145/3527328⟩ |
||
hal-03461137v1
Conference papers
Hierarchical Control for Self-adaptive IoT Systems A Constraint Programming-Based Adaptation Approach HICSS 2022 - Hawaii International Conference on System Sciences, Dec 2022, Hawaii, United States. pp.1-10 |
||
hal-03576371v1
Journal articles
Efficiently sparse listing of classes of optimal cophylogeny reconciliations Algorithms for Molecular Biology, BioMed Central, 2022, 17 (1), pp.1-16. ⟨10.1186/s13015-022-00206-y⟩ |
||
hal-03666470v1
Journal articles
Comprehensive decoding mental processes from Web repositories of functional brain images Scientific Reports, Nature Publishing Group, 2022, 12 (7050), ⟨10.1038/s41598-022-10710-1⟩ ![]() |
||
hal-03668513v1
Journal articles
Decreased brain network global efficiency after attachment memories retrieval in individuals with unresolved/disorganized attachment-related state of mind Scientific Reports, Nature Publishing Group, 2022, 12 (1), pp.4725. ⟨10.1038/s41598-022-08685-0⟩ |
||
hal-03575519v1
Journal articles
Simulated proximity enhances perceptual and physiological responses to emotional facial expressions Scientific Reports, Nature Publishing Group, 2022, 12 (1), pp.109. ⟨10.1038/s41598-021-03587-z⟩ |
||
hal-03533746v1
Book sections
Introduction to to Computational Modeling of Multicellular Tissues Plant Systems Biology, 2395, Springer New York, pp.107-145, 2022, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1816-5_7⟩ |
||
hal-03432372v1
Book sections
A Requirement Engineering Framework for Smart Cyber-Physical Production System Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems, Springer International Publishing, pp.381-388, 2022, Lecture Notes in Mechanical Engineering, ⟨10.1007/978-3-030-90700-6_43⟩ |
||
hal-03418759v1
Book sections
Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons Developments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩ |
||
hal-03509562v1
Journal articles
Temporal Relation Extraction in Clinical Texts ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩ |
||
hal-03398607v1
Journal articles
Temporal Relation Extraction in Clinical Texts ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩ |
||
hal-03672578v1
Conference papers
Exploring the French economy with physical supply-use tables 14th ISIE SEM Conference: Transforming socio-economic metabolism in times of multiple crises, Sep 2022, Vienna, Austria |
||
hal-03630086v1
Conference papers
Des règles de quadrature dans les RKHSs à base de DPPs GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France. pp.1-4 |
||
hal-03605865v1
Journal articles
Estimation of regional pulmonary compliance in idiopathic pulmonary fibrosis based on personalized lung poromechanical modeling Journal of Biomechanical Engineering, American Society of Mechanical Engineers, 2022, 144 (9), pp.091008:1-091008:14. ⟨10.1115/1.4054106⟩ |
||
lirmm-03639381v1
Journal articles
Elastic scalable transaction processing in LeanXcale Information Systems, Elsevier, 2022, 108, pp.#102043. ⟨10.1016/j.is.2022.102043⟩ |
||
hal-03445686v1
Conference papers
UDO: Universal Database Optimization using Reinforcement Learning Proceedings of the VLDB Endowment, Sep 2022, Sydney, Australia. pp.3402-3414, ⟨10.14778/3484224.3484236⟩ ![]() |
||
hal-03659549v1
Journal articles
A distributed and incremental algorithm for large-scale graph clustering Future Generation Computer Systems, Elsevier, 2022, 134, pp.334-347. ⟨10.1016/j.future.2022.04.013⟩ ![]() |
||
hal-03675041v1
Journal articles
Parsimonious model for mass-univariate vertexwise analysis Journal of Medical Imaging, SPIE Digital Library, 2022, 9 (05), ⟨10.1117/1.JMI.9.5.052404⟩ |
||
hal-03655220v1
Conference papers
H2/Hinf robust lateral control of an off-road two-steering-axle vehicle on slippery sloping IFAC Symposium on Robust Control Design (ROCOND), Aug 2022, Kyoto, Japan |
||
hal-03629785v1
Conference papers
Robust Stuttering Detection via Multi-task and Adversarial Learning EUSIPCO 2022 - 30th European Signal Processing Conference, Aug 2022, Belgrade, Serbia |
||
hal-03673578v1
Conference papers
A Theoretical Analysis of Compactness of the Light Transport Operator SIGGRAPH 2022 - Conference and Exhibition on Computer Graphics and Interactive Techniques, Aug 2022, Vancouver, Canada. ⟨10.1145/3528233.3530725⟩ |
||
hal-03500056v1
Conference papers
Cracking the Stateful Nut CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel |
||
hal-03473179v1
Conference papers
A small bound on the number of sessions for security protocols CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel |
||
|
||
hal-03601283v1
Journal articles
LP Based Upper and Lower Bounds for Cesàro and Abel Limits of the Optimal Values in Problems of Control of Stochastic Discrete Time Systems Journal of Mathematical Analysis and Applications, Elsevier, 2022, 512 (1), pp.126121. ⟨10.1016/j.jmaa.2022.126121⟩ |
||
hal-03654722v1
Journal articles
Distributed intelligence on the Edge-to-Cloud Continuum: A systematic literature review Journal of Parallel and Distributed Computing, Elsevier, 2022, 166, pp.71-94. ⟨10.1016/j.jpdc.2022.04.004⟩ |
||
hal-03553505v1
Journal articles
A Genetic-algorithm-based Approach to the Design of DCT Hardware Accelerators ACM Journal on Emerging Technologies in Computing Systems, Association for Computing Machinery, 2022, 18 (3), pp.1-25. ⟨10.1145/3501772⟩ |
||
hal-03658815v1
Conference papers
Managing Learners' Memory Strength in a POMDP-based Learning Path Recommender System 23rd International Conference on Artificial Intelligence in Education, Jul 2022, Durham, United Kingdom |
||
hal-02492780v5
Conference papers
Jumping Evaluation of Nested Regular Path Queries 38th International Conference on Logic Programming (ICLP'2022), Jul 2022, Haifa, Israel |
||
hal-03666816v1
Poster communications
Development of a hybrid orthosis solution to reduce fatigue during grasping RehabWeek - IFESS, Jul 2022, Rotterdam, Netherlands |
||
hal-03556371v1
Conference papers
Promoting Physical Activity for Elderly People with Immersive Virtual Reality (IVR) AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States |
||
hal-03556366v1
Conference papers
Would you be friends with a robot?”: The impact of perceived autonomy and perceived risk AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States |
||
hal-03676312v1
Conference papers
Biased Majority Opinion Dynamics: Exploiting graph $k$-domination IJCAI 2022 - International Joint Conference on Artificial Intelligence, Jul 2022, Vienna, Austria |
||
hal-03631171v1
Conference papers
Four MPC implementations compared on the Quadruple Tank Process Benchmark: pros and cons of neural MPC 18th IFAC Workshop on Control Applications of Optimization, Jul 2022, Gif-Sur-Yvette, France |
||
hal-03630240v1
Conference papers
Maximum Power Point Tracking of a Photovoltaic System Using State Feedback Gain Fuzzy Control CAO 2022, Jul 2022, Paris, France |
||
hal-03646688v1
Conference papers
Omni-nerf: neural radiance field from 360° image captures ICME 2022 - IEEE international conference on multimedia and expo, Jul 2022, Taipei, Taiwan. pp.1-6 |
||
hal-03652138v1
Conference papers
Characterizing Deep Neural Networks Neutrons-Induced Error Model NSREC 2022 - IEEE Nuclear & Space Radiation Effects Conference, Jul 2022, Provo, United States. pp.1-5 |
||
hal-01793704v4
Conference papers
Considerations on Two-Phase Averaging of Time-Optimal Control Systems IFAC CAO 2022 - 18th Workshop on Control Applications of Optimization, Jul 2022, Gif-sur-Yvette, France |
||
hal-03671013v1
Conference papers
And Rijndael? Automatic Related-key Differential Analysis of Rijndael AfricaCrypt 2022 - 13th International Conference on Cryptology AfricaCrypt, Jul 2022, Fes, Morocco |
||
hal-03108596v1
Conference papers
An MID-based control of a vibrating axisymmetric membrane using piezoelectric transducers ENOC 2022 - 10th European Nonlinear Dynamics Conference, organisée par Z. WANG, T. INSPERGER, G. OROSZ, Jul 2022, Lyon, France |
||
hal-03655029v1
Conference papers
Semantic Segmentation of Sar Images Through Fully Convolutional Networks and Hierarchical Probabilistic Graphical Models IEEE IGARSS 2022- International Geoscience and Remote Sensing Symposium, Jul 2022, Kuala Lumpur / Virtual, Malaysia |
||
hal-03185532v4
Conference papers
Controllability Test for Fast-Oscillating Systems with Constrained Control. Application to Solar Sailing ECC 2022 - European Control Conference, Jul 2022, London, United Kingdom |
||
hal-03648482v1
Conference papers
Centralized Traffic Control via Small Fleets of Connected and Automated Vehicles ECC 2022 - European Control Conference, Jul 2022, London, United Kingdom |
||
hal-03641137v1
Conference papers
Class-distinctiveness-based frequency band selection on the Riemannian manifold for oscillatory activity-based BCIs: preliminary results EMBC 2022- 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, Jul 2022, Glasgow, United Kingdom |
||
hal-03634491v1
Conference papers
How ERD modulations during motor imageries relate to users’ traits and BCI performances 44th International Engineering in Medicine and Biology Conference, Jul 2022, Glasgow, United Kingdom |
||
hal-03577024v1
Conference papers
On dark patterns and manipulation of website publishers by CMPs PETS 2022 - 22nd Privacy Enhancing Technologies Symposium, Jul 2022, Sydney / Virtual, Australia |
||
hal-03580531v1
Conference papers
I/O-Optimal Algorithms for Symmetric Linear Algebra Kernels ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery : SIGACT, SIGARCH, Jul 2022, Philadelphie, United States |
||
hal-03218403v2
Conference papers
My Cookie is a phoenix: detection, measurement, and lawfulness of cookie respawning with browser fingerprinting PETS 2022 - 22nd Privacy Enhancing Technologies Symposium, Jul 2022, Sydney, Australia |
||
hal-03677966v1
Conference papers
Fairness in Selection Problems with Strategic Candidates ACM Conference on Economics and Computation (EC'22), Jul 2022, Boulder, Colorado, United States. ⟨10.1145/3490486.3538287⟩ |
||
hal-03644404v1
Conference papers
Learning Rate Adaptation by Line Search in Evolution Strategies with Recombination GECCO 2022, Jul 2022, Boston, United States. ⟨10.1145/3512290.3528760⟩ |
||
hal-03527888v3
Conference papers
A Benchmark Collection of Deterministic Automata for XPath Queries XML Prague, Jul 2022, Prague, Czech Republic |
||
hal-03619869v1
Conference papers
A Model for Meteorological Knowledge Graphs: Application to Météo-France Observational Data ICWE 2022- 22nd International Conference on Web Engineering, Jul 2022, Bari, Italy |
||
hal-03655372v1
Reports
Reversibility in Erlang: Imperative Constructs -Technical Report [Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28 |
||
hal-03577445v2
Conference papers
Modeling complex root motion of real random polynomials under differentiation ISSAC 2022, Jul 2022, Lille, France |
||
hal-03616406v2
Conference papers
Algorithms for discrete differential equations of order 1 ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France |
||
hal-03676968v1
Conference papers
LOKI: A Hardware Trojan Affecting Multiple Components of an SoC ISVLSI 2022 - IEEE Computer Society Annual Symposium on VLSI, Jul 2022, Paphos, Cyprus |
||
hal-03631799v1
Conference papers
Multivariable lateral control of an off-road vehicle operating on sloping grounds EUCA European Control Conference, Jul 2022, London, United Kingdom |
||
|
||
hal-02951456v2
Journal articles
Meta Partial Benders Decomposition for the Logistics Service Network Design Problem European Journal of Operational Research, Elsevier, 2022, 300 (2), pp.473-489. ⟨10.1016/j.ejor.2021.07.056⟩ |
||
hal-03332224v3
Journal articles
The VoicePrivacy 2020 Challenge: Results and findings Computer Speech and Language, Elsevier, 2022, 74, pp.101362. ⟨10.1016/j.csl.2022.101362⟩ |
||
hal-03639831v1
Journal articles
Understanding Differences between Combinations of 2D and 3D Input and Output Devices for 3D Data Visualization International Journal of Human-Computer Studies, Elsevier, 2022, 163, pp.102820. ⟨10.1016/j.ijhcs.2022.102820⟩ |
||
hal-03655953v1
Conference papers
Independent Influence of Exploration and Exploitation for Metaheuristic-based Recommendations The Genetic and Evolutionary Computation Conference (GECCO), Jul 2022, Boston, United States. ⟨10.1145/3520304.3528972⟩ |
||
hal-03038344v1
Journal articles
Crowd Navigation in VR: exploring haptic rendering of collisions IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, 28 (7), pp.2589 - 2601. ⟨10.1109/TVCG.2020.3041341⟩ |
||
hal-03666587v1
Conference papers
Modeling the End-to-End Energy Consumption of a Nation-Wide Smart Metering Infrastructure ISCC 2022 - IEEE Symposium on Computers and Communications, Jun 2022, Rhodes, Greece. pp.1-7 |
||
hal-03636686v1
Journal articles
Prophecy Made Simple ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩ |
||
hal-03630238v1
Conference papers
Photovoltaic System's MPPT Under Partial Shading Using T-S Fuzzy Robust Control 14th IFAC International Workshop on Adaptive and Learning Control Systems (ALCOS 2022), Jun 2022, Casablanca, Morocco |
||
hal-03647675v1
Conference papers
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription CIAA 2022 - International Conference on Implementation and Application of Automata, Jun 2022, Rouen, France |
||
hal-03626802v1
Conference papers
Inférer et vérifier les tailles de tableaux avec des types polymorphes 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626762v1
Conference papers
Inférence parallèle pour un langage réactif probabiliste 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03604902v1
Conference papers
Bécassine à la chasse au Coq (démonstration) JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626847v1
Conference papers
Jouez à Faire Consensus Avec MITTEN (démonstration) 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626859v1
Conference papers
Démonstration de Steel, une logique de séparation concurrente pour prouver des programmes F* (démonstration) 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626854v1
Conference papers
Actema : une interface graphique et gestuelle pour preuves formelles (démonstration) 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626845v1
Conference papers
Connecter l'écosystème OCaml à Software Heritage via opam 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626853v1
Conference papers
Catala, un langage pour transformer la loi en code (démonstration) 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03626843v1
Conference papers
Formalising Futures and Promises in Viper JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.1-19 |
||
hal-03626851v1
Conference papers
Trakt : Uniformiser les types pour automatiser les preuves (démonstration) JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.1-3 |
||
hal-03675618v1
Conference papers
Conceptions de phénotypes computationnels pour la recherche en santé publique Santé et IA 2022, Jun 2022, Saint-Etienne, France |
||
hal-03604962v1
Conference papers
Vers une traduction de K en Dedukti JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France |
||
hal-03624311v1
Conference papers
Permutation Pattern Matching for Doubly Partially Ordered Patterns 33rd Annual Symposium on Combinatorial Pattern Matching, Hideo Bannai and Jan Holub, Jun 2022, Prague, Czech Republic |
||
hal-03662157v1
Conference papers
Collision Detection Accelerated: An Optimization Perspective RSS 2022 - Robotics: Science and Systems, Jun 2022, New York, United States |
||
hal-03637107v1
Conference papers
WideLeak: How Over-the-Top Platforms Fail in Android DSN 2022 - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2022, Baltimore, MD, United States |
||
hal-03651510v2
Conference papers
Remplacement de mentions pour l'adaptation d'un corpus de reconnaissance d'entités nommées à un domaine cible 29ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France |
||
hal-03467403v2
Conference papers
Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise SIROCCO 2022 - Structural information and communication complexity, Jun 2022, Paderborn, Germany |
||
hal-03661192v1
Conference papers
Génération de texte sous contraintes pour mesurer des performances de lecture : Une nouvelle approche basée sur les diagrammes de décisions multivalués Journées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France |
||
hal-03659318v1
Conference papers
Influence indépendante de l'exploration et de l'exploitation : le cas des systèmes de recommandation par métaheuristiques CNIA 2022 - Conférence Nationale en Intelligence Artificielle, Jun 2022, Saint Etienne, France |
||
hal-03654966v1
Conference papers
A Task Programming Implementation for the Particle in Cell Code Smilei Platform for Advanced Scientific Computing, Jun 2022, Basel, Switzerland ![]() |
||
hal-03675515v1
Conference papers
État de l'art : Liage de ressources lexicales du français RÉCITAL 2022 - 24e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2022, Avignon, France |
||
hal-03676506v1
Conference papers
Identification des Expressions Polylexicales dans les Tweets Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France |
||
hal-03583589v1
Conference papers
Trajectory planning in Dynamics Environment : Application for Haptic Perception in Safe HumanRobot Interaction 24TH INTERNATIONAL CONFERENCE ON HUMAN-COMPUTER INTERACTION, Jun 2022, Gothenburg, Sweden |
||
hal-03594927v1
Conference papers
A Gazebo Simulator for Continuum Parallel Robots 18th International Symposium on Advances in Robot Kinematics (ARK 2022), Jun 2022, Bilbao, Spain |
||
hal-03610293v1
Conference papers
A panorama of methods for dealing with sagging cables in cable-driven parallel robots ARK 2022 - 18th International Symposium on Advances in robots kinematics, Jun 2022, Bilbao, Spain |
||
hal-03621688v3
Conference papers
A linearization method based on Lie algebra for pose estimation in a time horizon ARK 2022 - 18th International Symposium on Advances in Robot Kinematics, Jun 2022, Bilbao, Spain |
||
hal-03658833v1
Conference papers
Don't burst blindly: for a better use of natural language processing to fight opinion bubbles in news recommendations PoliticalNLP 2022 - First Workshop on Natural Language Processing for Political sciences, Jun 2022, Marseille, France |
||
hal-03596653v1
Conference papers
From FreEM to D'AlemBERT Proceedings of the 13th Language Resources and Evaluation Conference, European Language Resources Association, Jun 2022, Marseille, France ![]() |
||
hal-03674156v1
Conference papers
GTL-Healthmob: Simulation platform for urban mobility and epidemic control 6èmes Journées des Démonstrateurs en Automatique, Jun 2022, Angers, France |
||
hal-03650833v1
Conference papers
Neural Enhanced Control for Quadrotor Linear Behavior Fitting ICUAS 2022 - IEEE International Conference on Unmanned Aircraft Systems, Jun 2022, Dubrovnik, Croatia |
||
hal-03450625v1
Conference papers
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking ACNS, Jun 2022, Rome, Italy |
||
hal-03362828v2
Conference papers
Transformer versus LSTM Language Models Trained on Uncertain ASR Hypotheses in Limited Data Scenarios LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France |
||
hal-03189354v2
Conference papers
Adapting Language Models When Training on Privacy-Transformed Data LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France |
||
|