Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

6 463 Results
Structure: Internal structure identifier : 454310

Stabilization and operation of a Kerr-cat qubit

Alexander Grimm , Nicholas E. Frattini , Shruti Puri , Shantanu O. Mundhada , Steven Touzard et al.
Nature, 2020, 584, pp.205-209. ⟨10.1038/s41586-020-2587-z⟩
Journal articles hal-02379475v1

Partially Encrypted Machine Learning using Functional Encryption

Théo Ryffel , Edouard Dufour-Sans , Romain Gay , Francis Bach , David Pointcheval et al.
NeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
Conference papers hal-02357181v1

New Smooth Projective Hash Functions and One-Round Authenticated Key Exchange

Fabrice Benhamouda , Olivier Blazy , Celine Chevalier , David Pointcheval , Damien Vergnaud et al.
Cryptology ePrint Archive, 2013, 2013, pp.34
Journal articles hal-02307152v1
Image document

Numerical methods for immersed FSI with thin-walled structures

Ludovic Boilevin-Kayl , Miguel Angel Fernández , Jean-Frédéric Gerbeau
Computers and Fluids, 2019, 179, pp.744-763. ⟨10.1016/j.compfluid.2018.05.024⟩
Journal articles hal-01704575v2
Image document

Phase portrait control for 1D monostable and bistable reaction-diffusion equations

Camille Pouchol , Emmanuel Trélat , Enrique Zuazua
Nonlinearity, 2019, 32 (3), pp.884--909. ⟨10.1088/1361-6544/aaf07e⟩
Journal articles hal-01800382v1
Image document

Congested shallow water model: roof modelling in free surface flow

Edwige Godlewski , Martin Parisot , Jacques Sainte-Marie , Fabien Wahl
ESAIM: Mathematical Modelling and Numerical Analysis, 2018, 52 (5), pp.1679 - 1707. ⟨10.1051/m2an/2018032⟩
Journal articles hal-01368075v3
Image document

Flag structures on real 3-manifolds

Elisha Falbel , Jose Veloso
Geometriae Dedicata, 2020, ⟨10.1007/s10711-020-00528-4⟩
Journal articles hal-01778582v1
Image document

Regularity of solutions of the Stein equation and rates in the multivariate central limit theorem

Thomas Gallouët , Guillaume Mijoule , Yvik Swan
2018
Preprints, Working Papers, ... hal-01785397v1
Image document

A theory of effects and resources: adjunction models and polarised calculi

Pierre-Louis Curien , Marcelo Fiore , Guillaume Munch-Maccagnoni
Principles of Programmming Languages, Jan 2016, Saint-Petersbourg, Florida, United States. ⟨10.1145/2837614.2837652⟩
Conference papers hal-01256092v1

And/or trees: a local limit point of view

Nicolas Broutin , Cécile Mailler
Random Structures and Algorithms, 2018, 53 (1), pp.15--58. ⟨10.1002/rsa.20758⟩
Journal articles hal-01220794v1
Image document

Identity-based Encryption from Codes with Rank Metric

Philippe Gaborit , Adrien Hauteville , Duong Hieu Phan , Jean-Pierre Tillich
Crypto 2017 - Advances in Cryptology, Aug 2017, Santa-Barbara, United States. pp.194--224, ⟨10.1007/978-3-319-63697-9_7⟩
Conference papers hal-01589463v1
Image document

Numerical reconstruction of the first band(s) in an inverse Hill's problem

Athmane Bakhta , Virginie Ehrlacher , David Gontier
ESAIM: Control, Optimisation and Calculus of Variations, 2020, ⟨10.1051/cocv/2019031⟩
Journal articles hal-01591133v1

Numerical simulation of two-phase multi-component flow with reactive transport in porous media

Etienne Ahusborde , Michel Kern , Viatcheslav Vostrikov
SIAM Conference on Mathematical & Computational Issues in the Geoscience, Jun 2015, Stanford, United States
Conference papers hal-02145549v1

A clinical and neurophysiological motor signature of Unverricht–Lundborg disease

Elodie Hainque , Anne Blancher , Valerie Mesnage , Sophie Rivaud-Péchoux , Anne Bertrand et al.
Revue Neurologique, 2018, ⟨10.1016/j.neurol.2017.06.005⟩
Journal articles hal-01562621v1
Image document

Distributed synaptic weights in a LIF neural network and learning rules

Benoît Perthame , Delphine Salort , Gilles Wainrib
Physica D: Nonlinear Phenomena, 2017, 353-354, pp.20-30. ⟨10.1016/j.physd.2017.05.005⟩
Journal articles hal-01541093v1

Integrating Biological and Mathematical Models to Explain and Overcome Drug Resistance in Cancer, Part 1: Biological Facts and Studies in Drug Resistance

Aaron Goldman , Mohammad Kohandel , Jean Clairambault
Current Stem Cell Reports, 2017, ⟨10.1007/s40778-017-0097-1⟩
Journal articles hal-01558477v1
Image document

Mathematical Modelling and Simulations of the Hemodynamics in the eye

Matteo Carlo Maria Aletti
Numerical Analysis [math.NA]. Université Pierre et Marie Curie (UPMC Paris 6), 2017. English. ⟨NNT : ⟩
Theses tel-01538557v1
Image document

Position certainty propagation: a localization service for Ad-Hoc Networks

Abdallah Sobehy , Eric Renault , Paul Mühlethaler
Computers, 2019, 8 (1), pp.Article 6. ⟨10.3390/computers8010006⟩
Journal articles hal-02178389v1

Stability and convergence for seismic reconstruction using full waveform inversion

Hélène Barucq , Henri Calandra , Guy Chavent , Maarten V. de Hoop , Florian Faucher et al.
Johann Radon Institute for Computational and Applied Mathematics (RICAM) Group Seminar, Jul 2017, Linz, Austria
Conference papers hal-01623950v1

Stability and convergence analysis for seismic depth imaging using FWI

Hélène Barucq , Henri Calandra , Guy Chavent , Maarten V. de Hoop , Florian Faucher et al.
Computational Inverse Problems for Partial Differential Equations Workshop, May 2017, Oberwolfach, Germany. pp.67--70, ⟨10.4171/OWR/2017/24⟩
Conference papers hal-01623952v1
Image document

Model and methods to assess hepatic function from indocyanine green fluorescence dynamical measurements of liver tissue

Chloe Audebert , Irene Vignon-Clementel
European Journal of Pharmaceutical Sciences, 2018, ⟨10.1016/j.ejps.2018.01.008⟩
Journal articles hal-01696064v1
Image document

When Dijkstra meets vanishing point: a stereo vision approach for road detection

Yigong Zhang , Yingna Su , Jian Yang , Jean Ponce , Hui Kong et al.
IEEE Transactions on Image Processing, In press, pp.1-12
Journal articles hal-01678548v1
Image document

Combination of direct methods and homotopy in numerical optimal control: application to the optimization of chemotherapy in cancer

Antoine Olivier , Camille Pouchol
Journal of Optimization Theory and Applications, 2019, 181 (2), pp.479-503
Journal articles hal-01568779v2

Multiscale computations with MsFEM: a posteriori error estimation, adaptive strategy, and coupling with PGD model reduction

Ludovic Chamoin , Frédéric Legoll
8th International Conference on Multiscale Materials Modeling - MMM2016, Oct 2016, Dijon, France
Conference papers hal-01583202v1

Certified multiscale computations based on MsFEM and PGD model reduction

Ludovic Chamoin , Frédéric Legoll
7th European Congress on Computational Methods in Applied Sciences and Engineering - ECCOMAS 2016, Jun 2016, Crete Island, Greece
Conference papers hal-01583204v1
Image document

Typing heterogeneous dataflow graphs for static buffering and scheduling

Pierre Donat-Bouillud , Jean-Louis Giavitto
ICMC 2017 - 43rd International Computer Music Conference, Oct 2017, Shanghai, China
Conference papers hal-01585489v1
Image document

Adaptation d'une métagrammaire du français contemporain au français médiéval

Mathilde Regnault
TALN-RECITAL 2019 - 26e édition de la conférence TALN (Traitement Automatique des Langues Naturelles) et 21e édition de la conférence jeunes chercheur·euse·s RECITAL, Jul 2019, Toulouse, France
Conference papers hal-02147686v1
Image document

Méthodes MsFEM pour les plaques hétérogènes

Sébastien Brisard , Virginie Ehrlacher
CFM 2019 - 24ème Congrès Français de Mécanique, Aug 2019, Brest, France
Conference papers hal-02274963v1
Image document

Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction

Jihyeok Park , Xavier Rival , Sukyoung Ryu
SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩
Conference papers hal-01648682v1

A Generic Approach for Escaping Saddle points

Sashank J Reddi , Manzil Zaheer , Suvrit Sra , Barnabas Poczos , Francis Bach et al.
AISTATS 2018 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2018, Canary Islands, Spain
Conference papers hal-01652150v1