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