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⟩
-
-
-
Camilla Fiorini, Pierre-Marie Boulvard, Long Li, Etienne Mémin. A Two-Step Numerical Scheme in Time for Surface Quasi Geostrophic Equations Under Location Uncertainty. Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.57-67, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_5⟩. ⟨hal-03910769⟩
-
-
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⟩
-
-
-
-
-
-
-
Number of full text documents
80 570
Submissions distribution by document type
Keywords
Bioinformatics
Formal methods
Performance
FPGA
Scheduling
Monitoring
Modeling
Modelling
Computer vision
Parallélisme
Simulation
Model checking
Inverse problem
Data mining
FMRI
Reinforcement learning
Interoperability
Energy efficiency
Parallelism
Registration
Internet of Things
Diffusion MRI
Cloud computing
Semantics
Real-time
Apprentissage
Réécriture
Machine learning
Distributed systems
Complexité
Vision par ordinateur
Semantic Web
Cryptographie
Apprentissage automatique
Neural networks
Image processing
Privacy
Ordonnancement
Ontologies
Reliability
Segmentation
Control
Rewriting
Coq
Optimisation
Artificial intelligence
EEG
Web sémantique
Semantic web
Stability
Machine Learning
Data assimilation
Algorithm
Compilation
Cloud
Algorithms
Embedded systems
Sparsity
Learning
Deep Learning
Classification
Security
Ontology
Optimal control
Optimization
Cryptography
Robustness
Verification
IoT
Adaptation
Validation
XML
Concurrency
Estimation
RDF
MPI
Finite element method
Inverse problems
MRI
Clustering
Interaction
Robotics
Cloud Computing
Matching
Visualization
Complexity
Performance evaluation
GPU
Fault tolerance
Virtual reality
Deep learning
Static analysis
Scalability
Evaluation
Routing
Wireless sensor networks
Robotique
Modélisation
Game theory
Sécurité