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 186
Submissions distribution by document type
Keywords
Compilation
Model checking
Neural networks
Parallelism
Réécriture
Interaction
Ontologies
Image processing
Cryptography
Simulation
RDF
Semantic web
Algorithms
Real-time
Reliability
Sparsity
Cloud Computing
GPU
Coq
Game theory
Security
Scheduling
Reinforcement learning
Optimisation
Deep learning
Robotics
Ontology
Evaluation
Artificial intelligence
EEG
Semantics
Vision par ordinateur
Fault tolerance
Internet of Things
Classification
Segmentation
Formal methods
Apprentissage
Data assimilation
Augmented reality
Machine Learning
Distributed systems
Adaptation
Performance evaluation
Modélisation
Verification
Privacy
Semantic Web
Inverse problems
Optimal control
Bioinformatics
Control
Registration
Apprentissage automatique
IoT
Scalability
Computer vision
Concurrency
Validation
Optimization
Wireless sensor networks
Web sémantique
Finite element method
FMRI
Energy efficiency
Cloud
Robustness
MRI
Stability
Modelling
Sécurité
MPI
FPGA
Embedded systems
Inverse problem
Clustering
Performance
Modeling
Virtual reality
Complexity
Static analysis
XML
Algorithm
Routing
Machine learning
Cloud computing
Complexité
Ordonnancement
Robotique
Rewriting
Matching
Monitoring
Deep Learning
Parallélisme
Estimation
Visualization
Interoperability
Learning
Data mining
Diffusion MRI