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⟩
-
-
-
-
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⟩
-
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⟩
-
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⟩
-
-
-
-
-
-
-
-
Mladen Čičić, Carlos Vivas, Carlos Canudas de Wit, Francisco Rubio. Optimal Renewable Energy Curtailment Minimization Control Using a Combined Electromobility and Grid Model. IFAC 2023 - The 22nd World Congress of the International Federation of Automatic Control, IFAC, Jul 2023, Yokohama, Japan. ⟨hal-04015224⟩
Number of full text documents
83 066
Submissions distribution by document type
Keywords
Model checking
Simulation
Segmentation
Wireless sensor networks
Cryptography
Inverse problem
Complexity
Robustness
Classification
Robotique
Machine learning
Data mining
Privacy
Clustering
Parallelism
Semantic web
Réécriture
GPU
Cloud Computing
Cloud computing
Evaluation
Complexité
Learning
Fault tolerance
Artificial intelligence
Control
Distributed systems
Modelling
Parallélisme
Routing
Adaptation
Semantics
XML
Validation
Apprentissage automatique
IoT
Coq
Interoperability
Interaction
Game theory
Deep learning
Internet of Things
Vision par ordinateur
Apprentissage
Estimation
Web sémantique
Inverse problems
Visualization
Semantic Web
Ordonnancement
Performance
Computer vision
Image processing
Optimal control
Sécurité
Bioinformatics
Virtual reality
Scalability
Verification
MPI
Neural networks
Optimization
Algorithm
Static analysis
Concurrency
EEG
Data assimilation
Augmented reality
Robotics
Formal methods
Security
Performance evaluation
Matching
Deep Learning
Scheduling
Modélisation
Reliability
FPGA
Real-time
RDF
Ontologies
Diffusion MRI
Algorithms
Machine Learning
Monitoring
Ontology
Modeling
Rewriting
Optimisation
MRI
Embedded systems
Stability
FMRI
Cloud
Registration
Finite element method
Energy efficiency
Sparsity
Compilation
Reinforcement learning