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
-
Lena M. Sauer, Rodrigo Cánovas, Daniel Barry Roche, Hosam Shams-Eldin, Patrice Ravel, et al.. FT-GPI, a highly sensitive and accurate predictor of GPI-anchored proteins, reveals the composition and evolution of the GPI proteome in Plasmodium species. Malaria Journal, 2023, 22 (1), pp.27-46. ⟨10.1186/s12936-022-04430-0⟩. ⟨lirmm-03962752⟩
-
-
-
-
-
Arnaud Debussche, Berenger Hug, Etienne Mémin. Modeling Under Location Uncertainty: A Convergent Large-Scale Representation of the Navier-Stokes Equations. Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.15-26, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_2⟩. ⟨hal-03910767⟩
-
Benjamin Dufée, Etienne Mémin, Dan Crisan. Observation-Based Noise Calibration: An Efficient Dynamics for the Ensemble Kalman Filter. Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.43-56, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_4⟩. ⟨hal-03910764⟩
-
Francesco Tucciarone, Etienne Mémin, Long Li. Primitive Equations Under Location Uncertainty: Analytical Description and Model Development. Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.287-300, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_18⟩. ⟨hal-03910760⟩
-
-
-
-
-
Fernando Fernandes dos Santos, Angeliki Kritikakou, Olivier Sentieys. Reliability evaluation of Convolutional Neural Network's basic operations on a RISC-V processor. IEEE Nuclear & Space Radiation Effects Conference, IEEE Nuclear and Plasma Sciences Society (NPSS), Jul 2023, Kansa City, MO, United States. ⟨hal-04047058⟩
-
-
Number of full text documents
83 145
Submissions distribution by document type
Keywords
Real-time
Artificial intelligence
Interoperability
Parallelism
Formal methods
Robustness
Complexity
Validation
Rewriting
FPGA
Computer vision
Bioinformatics
Robotique
Estimation
Segmentation
Ordonnancement
FMRI
Wireless sensor networks
Optimal control
Classification
Clustering
GPU
Data assimilation
Inverse problem
Registration
Verification
Static analysis
MRI
Vision par ordinateur
Machine Learning
Cloud computing
Apprentissage
Algorithm
Scheduling
Scalability
Simulation
Deep Learning
Modeling
Semantic web
Fault tolerance
RDF
Interaction
Monitoring
Cloud
Concurrency
Ontologies
EEG
Cryptography
Model checking
Finite element method
Security
Energy efficiency
Semantics
Optimisation
Neural networks
Game theory
Performance evaluation
Apprentissage automatique
Performance
Adaptation
Evaluation
Control
Parallélisme
Embedded systems
Optimization
Matching
IoT
Inverse problems
Diffusion MRI
Reliability
Réécriture
Algorithms
Modelling
Reinforcement learning
Robotics
Coq
Semantic Web
Deep learning
Distributed systems
Ontology
Stability
Sparsity
Privacy
Routing
Complexité
Sécurité
Virtual reality
Visualization
Modélisation
Data mining
Learning
Web sémantique
Image processing
Compilation
Cloud Computing
Machine learning
Augmented reality
MPI
Internet of Things
XML