Skip to Main content Skip to Navigation

tel-01607782v1  Theses
Eddie Aamari. Convergence Rates for Geometric Inference
Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩
hal-01666248v1  Conference papers
Emanuela AbbateAngelo IolloGabriella Puppo. A relaxation scheme for the simulation of low Mach number flows
FVCA 2017 - International Conference on Finite Volumes for Complex Applications 8, Jun 2017, Lille, France. pp.227-235, ⟨10.1007/978-3-319-57394-6_25⟩
tel-01816069v1  Theses
Marc Abeille. Exploration-Exploitation with Thompson Sampling in Linear Systems
Mathematics [math]. Université de Lille 1, 2017. English
hal-01444075v1  Book sections
Remi AbgrallMario Ricchiuto. High order methods for CFD
Encyclopedia of Computational Mechanics, John Wiley & Sons, Ltd, 2017
hal-01440209v1  Journal articles
Badr Abou El MajdOuail OuchettoJean-Antoine DésidériAbderrahmane Habbal. Hessian transfer for multilevel and adaptive shape optimization
International Journal for Simulation and Multidisciplinary Design Optimization, EDP sciences/NPU (China), 2017, 8, 18 p. ⟨10.1051/smdo/2017002⟩
hal-01568899v3  Conference papers
Hassane AbouaïssaOla Alhaj HasanCédric JoinMichel FliessDidier Defer. Energy saving for building heating via a simple and efficient model-free control design: First steps with computer simulations
21st International Conference on System Theory, Control and Computing, ICSTCC 2017, Oct 2017, Sinaia, Romania
hal-01614110v1  Conference papers
Francesco AccianiPaolo FrascaGeert HeijenkAnton Stoorvogel. Using a linear gain to accelerate average consensus over unreliable networks
CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.3569-3574
hal-01578815v1  Conference papers
yinoussa AdagolodjoRaffaella TrivisonneNazim HaouchineStéphane CotinHadrien Courtecuisse. Silhouette-based Pose Estimation for Deformable Organs Application to Surgical Augmented Reality
IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2017, Vancouver, Canada
hal-01597072v1  Conference papers
Emmanuel AgulloAurélien FalcoLuc GiraudGuillaume Sylvand. Vers une factorisation symbolique hiérarchique de rang faible pour des matrices creuses
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS'17), Jun 2017, Sophia Antipolis, France
hal-01220311v1  Journal articles
Hafiz AhmedRosane UshirobiraDenis EfimovDamien TranMohamedou Sow et al.  Monitoring biological rhythms through the dynamic model identification of an oyster population
IEEE transactions on systems, man, and cybernetics, Institute of Electrical and Electronics Engineers (IEEE), 2017, 47 (6), ⟨10.1109/TSMC.2016.2523923⟩
hal-01584770v1  Conference papers
Benedikt AhrensPeter Lefanu Lumsdaine. Displayed Categories
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.5⟩
hal-01579271v1  Conference papers
Benedikt AhrensPeter Lefanu LumsdaineVladimir Voevodsky. Categorical Structures for Type Theory in Univalent Foundations
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.8:1 - 8:16, ⟨10.4230/LIPIcs.CSL.2017.8⟩
tel-01615829v1  Theses
Ouassim Ait Elhara. Stochastic Black-Box Optimization and Benchmarking in Large Dimensions
Artificial Intelligence [cs.AI]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS211⟩
hal-01541229v1  Conference papers
Ahmed Ait Hammou Oulhaj. A finite volume scheme for a seawater intrusion model with cross-diffusion
FVCA8 2017 - International Conference on Finite Volumes for Complex Applications 8, Jun 2017, Lille, France. pp.421-429, ⟨10.1007/978-3-319-57397-7_35⟩
tel-01684705v1  Theses
Mohammad Al Khatib. Stability verification, scheduling, and synthesis of cyber-physical systems
Classical Analysis and ODEs [math.CA]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM041⟩
hal-01571099v1  Conference papers
Clément AlbertAnne DutfoyStéphane Girard. On the extrapolation limits of extreme-value theory for risk management
MMR 2017 - 10th International Conference on Mathematical Methods in Reliability, Jul 2017, Grenoble, France. pp.5
hal-01533220v1  Conference papers
Clément AlbertAnne DutfoyStéphane Girard. Etude de l'erreur relative d'approximation des quantiles extrêmes
49èmes Journées de Statistique organisées par la Société Française de Statistique, May 2017, Avignon, France
hal-01571047v1  Conference papers
Clément AlbertAnne DutfoyStéphane Girard. On the relative approximation error of extreme quantiles by the block maxima method
10th International Conference on Extreme Value Analysis, Jun 2017, Delft, Netherlands
tel-01538557v1  Theses
Matteo Carlo Maria Aletti. Mathematical Modelling and Simulations of the Hemodynamics in the eye
Numerical Analysis [math.NA]. Université Pierre et Marie Curie (UPMC Paris 6), 2017. English
hal-01702428v1  Conference papers
Sarah Ali HassanCaroline JaphetMichel KernMartin Vohralík. Space-time domain decomposition methods and a posteriori error estimates for the heat equation
EDP-NORMANDIE 2017 - VIe Colloque Edp-normandie, Oct 2017, Caen, France. pp.1-18
hal-01321566v1  Journal articles
Grégoire AllaireJeffrey Rauch. Instability of dielectrics and conductors in electrostatic fields
Archive for Rational Mechanics and Analysis, Springer Verlag, 2017, 124, pp.233-268
hal-01536668v1  Conference papers
Grégoire AllaireCharles DapognyAlexis FaureGeorgios Michailidis. A model of layer by layer mechanical constraint for additive manufacturing in shape and topology optimization
12th World Congress on Structural and Multidisciplinary Optimization (WCSMO12), Jun 2017, Brunswick, Germany
hal-01575000v1  Journal articles
Robin AllesiardoRaphaël FéraudOdalric-Ambrym Maillard. The Non-stationary Stochastic Multi-armed Bandit Problem
International Journal of Data Science and Analytics, Springer Verlag, 2017, 3 (4), pp.267-283. ⟨10.1007/s41060-017-0050-5⟩
hal-01652533v1  Conference papers
Zaid AllybokusKonstantin AvrachenkovJérémie LeguayLorenzo Maggi. Real-Time Fair Resource Allocation in Distributed Software Defined Networks
29th Int Teletraffic Congress (ITC) / 1st International Conference on Networking Science and Practice / 1st International Workshop on Softwarized Infrastructures for 5G and Fog Computing (Soft5) / PhD Workshop on Modelling Communication Networks, Sep 2017, Genoa, Italy. pp.9
hal-01090645v1  Journal articles
Jorge AlmeidaMiguel CouceiroTamas Waldhauser. On the topological semigroup of equational classes of finite functions under composition
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2017, 28 (1), pp.5-28
hal-01251878v4  Journal articles
Pierre AlquierBenjamin Guedj. An Oracle Inequality for Quasi-Bayesian Non-Negative Matrix Factorization
Mathematical Methods of Statistics, Allerton Press, Springer (link), 2017, 26 (1), pp.55 - 67. ⟨10.3103/S1066530717010045⟩
hal-01322230v3  Journal articles
Patrick AmestoyAlfredo ButtariJean-yves L'ExcellentThéo Mary. On the Complexity of the Block Low-Rank Multifrontal Factorization
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2017, 39 (4), pp.34. ⟨10.1137/16M1077192⟩
hal-01614759v1  Journal articles
Hamed AminiAndreea MincaAgnès Sulem. Optimal equity infusions in interbank networks
Journal of Financial Stability, Elsevier, 2017, 31, pp.1-17. ⟨10.1016/j.jfs.2017.05.008⟩
hal-01598238v1  Conference papers
Faisal AmlaniStéphanie ChaillatSamuel P GrothAdrien Loseille. 3D metric-based anisotropic mesh adaptation for the fast multipole accelerated boundary element method in acoustics
WAVES 2017 - 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation, May 2017, Minneapolis, United States
hal-01369583v1  Journal articles
Habib AmmariFaouzi Triki. Identification of an inclusion in multifrequency electric impedance tomography
Communications in Partial Differential Equations, Taylor & Francis, 2017, 42 (1), pp.159-177. ⟨10.1080/03605302.2016.1258578⟩
hal-02009467v1  Journal articles
Pedro AntunesEdouard Oudet. Numerical Minimization of Dirichlet Laplacian Eigenvalues of Four-Dimensional Geometries
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2017, 39 (3), pp.B508-B521. ⟨10.1137/16M1083773⟩
hal-01502051v1  Conference papers
yoshinori AonoPhong Q. Nguyen. Random Sampling Revisited: Lattice Enumeration with Discrete Pruning
EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. pp.65 - 102
hal-01634630v1  Conference papers
Simon ApersAlain SarletteFrancesco Ticozzi. When Does Memory Speed-up Mixing?
IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia
hal-01634611v1  Conference papers
Simon ApersFrancesco TicozziAlain Sarlette. Bounding the convergence time of local probabilistic evolution
Geometric Science of Information, Second International Conference, GSI 2017, Nov 2017, Paris, France
hal-01395592v1  Poster communications
Simon ApersAlain SarletteFrancesco Ticozzi. Fast Mixing with Quantum Walks vs. Classical Processes
Quantum Information Processing (QIP) 2017, Jan 2017, Seattle, United States
hal-01583854v1  Conference papers
Julyan ArbelDidier Fraix-BurnetStéphane Girard. Les écoles d'astrostatistique " Statistics for Astrophysics
CFIES 2017 - 5ème Colloque Francophone International sur l’Enseignement de la Statistique, Sep 2017, Grenoble, France
hal-01069810v2  Journal articles
Sylvain ArguillereEmmanuel Trélat. Sub-Riemannian structures on groups of diffeomorphisms
Journal of the Institute of Mathematics of Jussieu, Cambridge University Press (CUP), 2017, 16 (4), pp.745--785. ⟨10.1017/S1474748015000249⟩
tel-01447286v1  Theses
Aurora Armiento. Inverse problems and data assimilation methods applied to protein polymerisation
Optimization and Control [math.OC]. Université Paris 7 - Diderot, 2017. English
hal-01343717v2  Journal articles
Naiara ArrizabalagaLoïc Le TreustNicolas Raymond. On the MIT Bag Model in the Non-relativistic Limit
Communications in Mathematical Physics, Springer Verlag, 2017, 354 (2), pp.641-669. ⟨10.1007/s00220-017-2916-8⟩
hal-01192862v1  Journal articles
Roland AssarafBenjamin JourdainTony LelièvreRaphaël Roux. Computation of sensitivities for the invariant measure of a parameter dependent diffusion
Stochastics and Partial Differential Equations: Analysis and Computations, Springer US, 2017, June 2018, 6 (2), pp.125-183. ⟨10.1007/s40072-017-0105-6⟩
hal-01596575v2  Books
Franck AssousPatrick CiarletSimon Labrunie. Mathematical foundations of computational electromagnetism
Springer, 2017, Mathematical Foundations of Computational Electromagnetism, 978-3-319-70841-6. ⟨10.1007/978-3-319-70842-3⟩
tel-01512620v3  Theses
Chloé Audebert. Mathematical liver modeling : hemodynamics and function in hepatectomy
General Mathematics [math.GM]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066077⟩
hal-01422024v1  Journal articles
Lorenzo Audibert. Sampling method for sign changing contrast
Inverse Problems and Imaging , AIMS American Institute of Mathematical Sciences, In press
hal-01422027v1  Journal articles
Lorenzo AudibertHoussem Haddar. The Generalized Linear Sampling Method for limited aperture measurements
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2017, 10 (2), pp.845-870. ⟨10.1137/16M110112X⟩
hal-01254888v1  Directions of work or proceedings
Emmanuel AudusseStéphane DellacherieDo Minh HieuPascal Omnesyohan Penel. Godunov type scheme for the linear wave equation with Coriolis source term
Nov 2015, Paris, France. ESAIM: Proceedings and Surveys, 58, 2017, LMLFN 2015 – Low Velocity Flows – Application to Low Mach and Low Froude regimes, ⟨10.1051/proc/201758001⟩
hal-01645410v1  Conference papers
Amélie AusselLaure BuhryRadu Ranta. Stability conditions of Hopfield ring networks with discontinuous piecewise-affine activation functions
56th IEEE Conference on Decision and Control, CDC 2017, Dec 2017, Melbourne, Australia
hal-01648135v1  Journal articles
Konstantin AvrachenkovPavel ChebotarevAlexey Mishenin. Semi-supervised Learning with Regularized Laplacian
Optimization Methods and Software, Taylor & Francis, 2017, 32 (2), pp. 222 - 236. ⟨10.1080/10556788.2016.1193176⟩
hal-01648312v1  Conference papers
Konstantin AvrachenkovVivek BorkarSarath Pattathil. Controlling G-AIMD by Index Policy
CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.1-6
hal-01647915v1  Conference papers
Konstantin AvrachenkovPavel ChebotarevDmytro Rubanov. Kernels on Graphs as Proximity Measures
Proceedings of the 14th Workshop on Algorithms and Models for the Web Graph (WAW 2017), Jun 2017, Toronto, Canada
hal-01646881v1  Conference papers
Konstantin AvrachenkovPhilippe JacquetJithin K Sreedharan. Hamiltonian System Approach to Distributed Spectral Decomposition in Networks
nDS 2017 - 10th International Workshop on Multidimensional (nD) Systems, Sep 2017, Zielona Gora, Poland
hal-01648129v1  Journal articles
Konstantin AvrachenkovJasper GoselingBerksan Serbetci. A Low-Complexity Approach to Distributed Cooperative Caching with Geographic Constraints
Proceedings of the ACM on Measurement and Analysis of Computing Systems , ACM, 2017, 1, pp.27:1 - 27:24. ⟨10.1145/3084465⟩
tel-01743808v1  Theses
Rémi Azouit. Adiabatic elimination for open quantum systems
Quantum Algebra [math.QA]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEM008⟩
hal-01118276v2  Journal articles
Francis Bach. On the Equivalence between Kernel Quadrature Rules and Random Feature Expansions
Journal of Machine Learning Research, Microtome Publishing, 2017, 18 (21), pp.1-38
hal-01370000v1  Journal articles
Mehdi BadraTakéo Takahashi. Feedback boundary stabilization of 2d fluid-structure interaction systems
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2017, 37 (5), pp.2315-2373. ⟨10.3934/dcds.2017102⟩
tel-01675005v2  Theses
Zeinab Badreddine. Mass transportation in sub-Riemannian structures admitting singular minimizing geodesics
Differential Geometry [math.DG]. Université Bourgogne Franche-Comté, 2017. English. ⟨NNT : 2017UBFCK034⟩