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