Skip to Main content Skip to Navigation


...
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
...
hal-02373906v1  Journal articles
Qinghua ZhangLiangquan Zhang. Stability Analysis of the Kalman Predictor
International Journal of Control, Taylor & Francis, 2019, pp.1-16. ⟨10.1080/00207179.2019.1638971⟩
...
hal-02174938v2  Journal articles
Florentin DelaineBérengère LebentalHervé Rivano. In Situ Calibration Algorithms for Environmental Sensor Networks: a Review
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2019, 19 (15), pp 5968 - 5978. ⟨10.1109/JSEN.2019.2910317⟩
hal-01624049v1  Journal articles
Claude Le BrisFrédéric LegollFrançois Madiot. Multiscale Finite Element methods for advection-dominated problems in perforated domains
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (2), pp.773-825. ⟨10.1137/17M1152048⟩
...
hal-02296014v1  Journal articles
Alexander BentkampJasmin BlanchetteDietrich Klakow. A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (2), pp.347-368. ⟨10.1007/s10817-018-9481-5⟩
...
hal-02378053v1  Journal articles
David GommeletJulien Le TanouAline RoumyMichael RopertChristine Guillemot. Optical-Flow Based Nonlinear Weighted Prediction for SDR and Backward Compatible HDR Video Coding
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TIP.2019.2945685⟩
...
hal-02155040v1  Journal articles
Jinglei ShiXiaoran JiangChristine Guillemot. A framework for learning depth from a flexible subset of dense and sparse light field views
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.5867-5880. ⟨10.1109/TIP.2019.2923323⟩
...
hal-02130555v1  Journal articles
Mikaël Le PenduChristine GuillemotAljosa Smolic. A Fourier Disparity Layer representation for Light Fields
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.5740 - 5753. ⟨10.1109/TIP.2019.2922099⟩
...
hal-02371659v1  Journal articles
Anthony StrockXavier HinautNicolas P. Rougier. A Robust Model of Gated Working Memory
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2019, pp.1-29. ⟨10.1162/neco_a_01249⟩
...
hal-02012672v1  Journal articles
George GiakkoupisPhilipp Woelfel. Efficient Randomized Test-And-Set Implementations
Distributed Computing, Springer Verlag, In press, pp.565-586. ⟨10.1007/s00446-019-00349-z⟩
hal-02138892v1  Journal articles
Pablo OliveraSilvio DaneseNicolas JayGioacchino NatoliLaurent Peyrin-Biroulet. Big data in IBD: a look into the future
Nature reviews. Gastroenterology & hepatology, Nature Publishing Group, 2009-, 2019, 16 (5), pp.312-321. ⟨10.1038/s41575-019-0102-5⟩
...
hal-02378897v1  Journal articles
Mohammed Riyadh Abdmeziem. Securing IoT-based collaborative applications using a new compressed and distributed MIKEY mode
International Journal of Information and Computer Security, Inderscience, 2019
...
hal-02177158v1  Journal articles
Paul TempleMathieu AcherJean-Marc Jézéquel. Empirical Assessment of Multimorphic Testing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-21. ⟨10.1109/TSE.2019.2926971⟩
hal-02313981v1  Journal articles
Carolina SaavedraRodrigo SalasLaurent Bougrain. Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩
...
hal-01950684v1  Journal articles
Malcolm EganNir OrenMichal Jakob. Hybrid Mechanisms for On-Demand Transport
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2019, pp.1-13. ⟨10.1109/TITS.2018.2886579⟩
...
hal-02418002v1  Journal articles
Caroline Landry. L'amplification de tests pour DevOps
Linux Magazine France, Diamond Editions, 2019, 227, pp.1-16
hal-02404534v1  Journal articles
Maxime Sermesant. Improving Cardiac Arrhythmia Therapy with Medical Imaging
ERCIM News, ERCIM, 2019, pp.10-11
...
hal-02381163v1  Journal articles
Qingliang ChenPaolo TorroniSerena Villata. Principles and practice of multi-agent systems
Knowledge Engineering Review, Cambridge University Press (CUP), 2019, 34, ⟨10.1017/S0269888918000243⟩
hal-02381116v1  Journal articles
Beishui LiaoNir OrenLeendert van der TorreSerena Villata. Prioritized norms in formal argumentation
Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩
hal-02418394v1  Journal articles
Thierry GoudonAlexis Vasseur. Statistical Stability for Transport in Random Media
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (1), pp.507-530. ⟨10.1137/18M1184643⟩
hal-02418639v1  Journal articles
Thierry GoudonJulien BarreDan Crisan. Two-dimensional pseudo-gravity model: particles motion in a non-potential singular force field
Transactions of the American Mathematical Society, American Mathematical Society, 2019
hal-01662537v1  Journal articles
Ludovic RiffordAbbas Moameni. Uniquely minimizing costs for the Kantorovitch problem
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc In press
hal-02418396v1  Journal articles
Blum JacquesHolger HeumannEric NardonXiao Song. Automating the design of tokamak experiment scenarios
Journal of Computational Physics, Elsevier, 2019, 394, pp.594-614. ⟨10.1016/j.jcp.2019.05.046⟩
...
hal-02418404v1  Journal articles
Thierry GoudonLéo Vivion. Numerical investigation of Landau damping in dynamical Lorentz gases
Physica D: Nonlinear Phenomena, Elsevier, 2019
...
hal-01802998v1  Journal articles
Paulo AmorimThierry GoudonFernando Peruani. An ant navigation model based on Weber's law
Journal of Mathematical Biology, Springer Verlag (Germany), 2019
...
hal-01237204v3  Journal articles
Ruslan SadykovFrançois VanderbeckArtur PessoaIssam TahiriEduardo Uchoa. Primal Heuristics for Branch-and-Price: the assets of diving methods
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2019, 31 (2), pp.251-267. ⟨10.1287/ijoc.2018.0822⟩
...
hal-01993462v1  Journal articles
Maria ChudnovskyIrene LoFrédéric MaffrayNicolas TrotignonKristina Vušković. Coloring square-free Berge graphs
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 135, pp.96-128. ⟨10.1016/j.jctb.2018.07.010⟩
hal-02333202v1  Journal articles
Pierre AboulkerMarthe BonamyNicolas BousquetLouis Esperet. Distributed Coloring in Sparse Graphs with Fewer Colors
The Electronic Journal of Combinatorics, Open Journal Systems, 2019, 26 (4), pp.P4.20. ⟨10.1145/3212734.3212740⟩
...
hal-02113563v1  Journal articles
François Pellegrini. Sécurité et hygiène numérique des professionnels
Dalloz IP/IT, Dalloz, 2019, pp.233-236
...
hal-01988399v2  Journal articles
Julien BensmailFionn Mc InerneyKasper Lyngsie. On {a,b}-edge-weightings of bipartite graphs with odd a,b
Discussiones Mathematicae Graph Theory, University of Zielona Góra, In press
hal-02429560v1  Journal articles
Vlad BallyLucia Caramellino. Total variation distance between stochastic polynomials and invariance principles
Annals of Probability, Institute of Mathematical Statistics, 2019, 47, pp.3762 - 3811. ⟨10.1214/19-AOP1346⟩
...
hal-02380723v1  Journal articles
Maya BrianiLucia CaramellinoGiulia TerenziAntonino Zanette. Numerical stability of a hybrid method for pricing options
International Journal of Theoretical and Applied Finance, World Scientific Publishing, 2019, pp.1950036. ⟨10.1142/S0219024919500365⟩
...
hal-02297702v1  Journal articles
Anthony CoutantKatherine RoperDaniel Trejo-BanosDominique BouthinonMartin Carpenter et al.  Closed-loop cycles of experiment design, execution, and learning accelerate systems biology model development in yeast
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2019, 116 (36), pp.18142-18147. ⟨10.1073/pnas.1900548116⟩
...
hal-02378273v1  Journal articles
Ken DéguernelEmmanuel VincentJérôme NikaGérard AssayagKamel Smaïli. Learning of Hierarchical Temporal Structures for Guided Improvisation
Computer Music Journal, Massachusetts Institute of Technology Press (MIT Press), 2019, 43 (2)