Skip to Main content Skip to Navigation

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-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-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-02376217v1  Book sections
Ivan LaneseDavide SangiorgiGianluigi Zavattaro. Playing with Bisimulation in Erlang
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩
hal-02094713v1  Book sections
Laurent RomaryJennifer Edmond. A Tangential View on Impact for the Arts and Humanities through the Lens of the DARIAH-ERIC
Bente Maegaard; Riccardo Pozzo. Stay Tuned To The Future - Impact of the Research Infrastructures for Social Sciences and Humanities, Leo S. Olschki Editore, 2019, 978 88 222 6643 9
hal-01817952v1  Book sections
Fredrik Johansson. Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms
Johannes Blümlein; Carsten Schneider; Peter Paule. Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, Springer, pp.269-293, 2019, Texts & Monographs in Symbolic Computation
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-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-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-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-01974528v1  Book sections
Md SahidullahHéctor DelgadoMassimiliano TodiscoTomi KinnunenNicholas Evans et al.  Introduction to Voice Presentation Attack Detection and Recent Advances
Sébastien Marcel; Mark S. Nixon; Julian Fierrez; Nicholas Evans. Handbook of Biometric Anti-Spoofing: Presentation Attack Detection, Springer, pp.321-361, 2019, Advances in Computer Vision and Pattern Recognition, 978-3-319-92626-1. ⟨10.1007/978-3-319-92627-8_15⟩
hal-02103355v1  Conference papers
Vianney DebavelaereAlexandre BôneStanley Durrleman​Stéphanie Allassonnière. Clustering of longitudinal shape data sets using mixture of separate or branching trajectories
Medical Image Computing and Computer Assisted Intervention -- MICCAI, 2019, Shenzhen, China. pp.66-74
hal-01905491v1  Journal articles
Miguel CouceiroPierre MercurialiRomain PéchouxAbdallah Saffidine. On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press, 33 (3), pp.197-218
hal-02112538v2  Journal articles
Laurent BuséClément LarocheFatmanur Yıldırım. Implicitizing rational curves by the method of moving quadrics
Computer-Aided Design, Elsevier, 2019, Proceedings of the Symposium on Physical and Solid Modeling (SPM) 2019, 114, pp.101-111. ⟨10.1016/j.cad.2019.05.019⟩
hal-01570853v4  Journal articles
Paul GörlachEvelyne HubertThéo Papadopoulo. Rational invariants of even ternary forms under the orthogonal group
Foundations of Computational Mathematics, Springer Verlag, 2019, 19, pp.1315-1361. ⟨10.1007/s10208-018-9404-1⟩
hal-01254954v4  Journal articles
Evelyne Hubert. Invariant Algebraic Sets and Symmetrization of Polynomial Systems
Journal of Symbolic Computation, Elsevier, 2019, 95, pp.53-67. ⟨10.1016/j.jsc.2018.09.002⟩
hal-01943834v1  Journal articles
Billel GuelmameStéphane JuncaDidier Clamond. Regularizing effect for conservation laws with a Lipschitz convex flux
Communications in Mathematical Sciences, International Press, 2019, 17 (8), pp.2223-2238. ⟨10.4310/CMS.2019.v17.n8.a6⟩
hal-01959069v1  Journal articles
Thierry GoudonLaurent Monasse. Fokker-Planck approach of Ostwald ripening: simulation of a modified Lifschitz-Slyozov-Wagner system with a diffusive correction
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, In press
hal-02431335v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes of the Seventh International Workshop "What can FCA do for Artificial Intelligence?
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2019 (What can FCA do for Artificial Intelligence?), 2019, CEUR Workshop Proceedings 2529,, pp.87, 2019
hal-02181585v1  Book sections
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. Order-preserving Biclustering Based on FCA and Pattern Structures
Annalisa Appice; Michelangelo Ceci; Corrado Loglisci; Giuseppe Manco; Elio Masciari; Zbigniew W. Ras. Complex Pattern Mining: New Challenges, Methods and Applications, Springer Series on Studies in Computational Intelligence, In press
hal-02148974v1  Journal articles
Malcolm Egan. Properties of Tight Frames that are Regular Schemes
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, In press, pp.1-15. ⟨10.1007/s12095-019-00378-2⟩