Loading...
You can consult and search here for all Inria publications on HAL or on HAL-Inria.
This list of publications is automatically generated each night.
If at least one of the authors of the publication is associated with Inria, it will be included in this collection. Here to deposit HAL-Inria
Contact : archive-ouverte@inria.fr
Open Access
72 %
The latest publications
-
-
-
Nicolas Anciaux, Sabine Frittella, Baptiste Geoffroy, Benjamin Nguyen, Guillaume Scerri. A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent. EDBT 2024 - International Conference on Extending Database Technology, Mar 2024, Paestum, Italy. ⟨hal-04149000v2⟩
-
-
-
-
-
-
-
-
Debora Amadori, Boris Andreianov, Marco Di Francesco, Simone Fagioli, Théo Girard, et al.. The mathematical theory of Hughes' model : a survey of results. Crowd Dynamics, Volume 4 : Analytics and Human Factors in Crowd Modeling, Springer, In press, Modeling and Simulation in Science, Engineering and Technology, 978-3-031-46358-7. ⟨hal-04087181⟩
-
-
-
-
Number of full text documents
85 779
Submissions distribution by document type
Keywords
Vision par ordinateur
Image processing
XML
Semantics
Optimization
Cloud Computing
Apprentissage
Simulation
Interoperability
Coq
EEG
Static analysis
Ontologies
Distributed systems
Augmented reality
Registration
Matching
Monitoring
Cryptography
Réécriture
Scheduling
Apprentissage automatique
Parallélisme
Robustness
Algorithms
Optimal control
Estimation
Diffusion MRI
Machine Learning
Reliability
Parallelism
Segmentation
Routing
Adaptation
Complexity
Performance evaluation
Inverse problem
Computer vision
Security
Game theory
Sparsity
Rewriting
Real-time
Ontology
Cloud
HPC
Energy efficiency
Visualization
Modelling
Data mining
MRI
Fault tolerance
FMRI
Interaction
Compilation
Semantic Web
Concurrency
Scalability
Semantic web
Robotics
Classification
Deep Learning
Artificial intelligence
Virtual reality
FPGA
Deep learning
Model checking
Stability
Sécurité
Modélisation
Clustering
Reinforcement learning
Formal methods
Control
Privacy
Ordonnancement
Robotique
RDF
Neural networks
Inverse problems
Bioinformatics
MPI
Machine learning
Verification
Validation
Performance
Optimisation
Finite element method
GPU
Cloud computing
Embedded systems
Apprentissage profond
Evaluation
Modeling
Internet of Things
Algorithm
IoT
Data assimilation
Web sémantique
Learning