Skip to Main content Skip to Navigation

hal-01332481v3  Journal articles
Jan BlechtaJosef MálekMartin Vohralík. Localization of the $W^{-1,q}$ norm for local a posteriori efficiency
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2020, 40 (2), pp.914-950. ⟨10.1093/imanum/drz002⟩
hal-01956180v3  Journal articles
Iain SmearsMartin Vohralík. Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (6), pp.1951-1973. ⟨10.1051/m2an/2020034⟩
hal-02487883v1  Journal articles
Gang Zheng. Control of a Silicone soft tripod robot via uncertainty compensation
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2801 - 2807. ⟨10.1109/LRA.2020.2974714⟩
hal-02406816v1  Journal articles
Chengcheng SongHaoping WangYang TianGang Zheng. Event-triggered observer design for delayed output-sampled systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (11), pp.4824 - 4831. ⟨10.1109/TAC.2019.2960267⟩
hal-02112188v3  Journal articles
Julien BensmailFrançois DrossHervé HocquardEric Sopena. From light edges to strong edge-colouring of 1-planar graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2020, vol. 22 no. 1 (2)
hal-02269482v2  Journal articles
Julien BensmailKasper Lyngsie. 1-2-3 Conjecture in Digraphs: More Results and Directions
Discrete Applied Mathematics, Elsevier, 2020, 284, pp.124-137
hal-01919007v2  Journal articles
Julien BensmailSoumen NandiMithun RoySagnik Sen. Classification of edge-critical underlying absolute planar cliques for signed graphs
The Australasian Journal of Combinatorics, Combinatorial Mathematics Society of Australasia (Inc.), 2020, 77 (1), pp.117-135
hal-03087763v1  Journal articles
Shihong RenStephane LetzYann OrlareyRomain MichonDominique Fober et al.  Using Faust DSL to Develop Custom, Sample Accurate DSP Code and Audio Plugins for the Web Browser
Journal of the Audio Engineering Society, Audio Engineering Society, 2020, 68 (10)
hal-03078608v1  Journal articles
Damiano CarraGiovanni NegliaPietro Michiardi. Elastic Provisioning of Cloud Caches: A Cost-Aware TTL Approach
IEEE/ACM Transactions on Networking, IEEE/ACM, 2020, 28 (3), pp.1283-1296. ⟨10.1109/TNET.2020.2980105⟩
hal-03152242v1  Journal articles
Peter AveryQuentin ClaironRobin HendersonC. James TaylorEmma Wilson. Robust and adaptive anticoagulant control
Journal of the Royal Statistical Society: Series C Applied Statistics, Wiley, 2020, 69 (3), pp.503-524. ⟨10.1111/rssc.12403⟩
hal-02124882v1  Journal articles
Alain FrancPierre BlanchardOlivier Coulaud. Nonlinear mapping and distance geometry
Optimization Letters, Springer Verlag, 2020, 14 (2), pp.453-467. ⟨10.1007/s11590-019-01431-y⟩
hal-03129901v1  Journal articles
Philippe JacquetDimitris MiliorisWojciech Szpankowski. Joint String Complexity for Markov Sources: Small Data Matters *
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2020
hal-03126614v1  Journal articles
Philippe JacquetBernard Mans. Blockchain moderated by empty blocks to reduce the energetic impact of crypto-moneys
International Journal of Computers, Communications and Control, Agora University of Oradea, 2020
hal-01840993v1  Journal articles
Eric CancèsVirginie EhrlacherFrédéric LegollBenjamin StammShuyang Xiang. An embedded corrector problem for homogenization. Part I: Theory
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2020, 18 (3), pp.1179-1209. ⟨10.1137/18M120035X⟩
hal-03107636v1  Journal articles
Haik SilmRosane UshirobiraDenis EfimovEmilia FridmanJean-Pierre Richard et al.  Distributed observers with time-varying delays
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3044271⟩
hal-02875447v2  Journal articles
Cristiana SantosNataliia BielovaCélestin Matte. Are cookie banners indeed compliant with the law?
Technology and Regulation, Tilburg University, 2020, 2020, pp.91-135. ⟨10.26116/TECHREG.2020.009⟩
hal-03139296v1  Journal articles
Stefania ColonnesePaolo Di LorenzoTiziana CattaiGaetano ScaranoFabrizio de Vico Fallani. A Joint Markov Model for Communities, Connectivity and Signals Defined Over Graphs
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2020, 27, pp.1160-1164. ⟨10.1109/LSP.2020.3005053⟩
hal-02864872v1  Journal articles
Pierre LaperdrixNataliia BielovaBenoit BaudryGildas Avoine. Browser Fingerprinting: A Survey
ACM Transactions on the Web,, 2020, 14 (2), pp.1-33. ⟨10.1145/3386040⟩
hal-03159859v1  Journal articles
Sergio EscaleraHugo EscalanteXavier BaróIsabelle GuyonMeysam Madadi et al.  Guest Editorial: Image and Video Inpainting and Denoising
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, 42 (5), pp.1021-1024. ⟨10.1109/TPAMI.2020.2971291⟩
hal-03120859v1  Journal articles
Naoki KobayashiUgo Dal LagoCharles Grellois. On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, ⟨10.23638/LMCS-16(4:2)2020⟩
hal-03059893v1  Journal articles
Jian WangStanislav AranovskiyEmilia FridmanDmitry SokolovDenis Efimov et al.  Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩
hal-02080706v2  Journal articles
Julien HerrmannGuillaume Aupy. H-Revolve: A Framework for Adjoint Computation on Synchronous Hierarchical Platforms
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2020, ⟨10.1145/3378672⟩
hal-02381877v1  Journal articles
Martin AvanziniUgo Dal LagoAkihisa Yamada. On probabilistic term rewriting
Science of Computer Programming, Elsevier, 2020, 185, pp.102338. ⟨10.1016/j.scico.2019.102338⟩
hal-02434157v1  Journal articles
Léa PilletteCamille JeunetBoris MansencalRoger N'KambouBernard N'Kaoua et al.  A physical learning companion for Mental-Imagery BCI User Training
International Journal of Human-Computer Studies, Elsevier, 2020, 136, pp.102380. ⟨10.1016/j.ijhcs.2019.102380⟩
hal-01939157v2  Journal articles
Elif Köksal ErsözMathieu DesrochesAntoni GuillamonJohn RinzelJoel Tabak. Canard-induced complex oscillations in an excitatory network
Journal of Mathematical Biology, Springer Verlag (Germany), 2020, 80 (7), pp.2075-2107. ⟨10.1007/s00285-020-01490-1⟩
hal-02945354v1  Journal articles
Mathieu AndreuxTomás AnglesGeorgios ExarchakisRoberto LeonarduzziGaspar Rochette et al.  Kymatio: Scattering Transforms in Python
Journal of Machine Learning Research, Microtome Publishing, 2020, 21 (60), pp.1-6
hal-03105643v1  Journal articles
Bertrand PetitManuel Serrano. Skini:Reactive Programming for Interactive Structured Music
The Art, Science, and Engineering of Programming, aosa, Inc., 2020
hal-02177779v1  Journal articles
Sarkis HalladjianHaichao MiaoDavid KouřilEduard GröllerIvan Viola et al.  ScaleTrotter: Illustrative Visual Travels Across Negative Scales
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2020, 26 (1), pp.654-664. ⟨10.1109/TVCG.2019.2934334⟩
hal-02873985v1  Journal articles
Ephraim SuhirJean-Marc SalottiJohann Nicolics. Required Repair Time to Assure the Given/Specified Availability
Universal Journal of Lasers, Optics, Photonics & Sensors, ETEXT Publishers, 2020, 1
hal-02167423v1  Journal articles
Matthieu SozeauAbhishek AnandSimon BoulierCyril CohenYannick Forster et al.  The MetaCoq Project
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-019-09540-0⟩
hal-02966633v1  Journal articles
Simon BoulierNicolas Tabareau. Model structure on the universe of all types in interval type theory
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2020, pp.1-32. ⟨10.1017/S0960129520000213⟩
hal-02901011v2  Journal articles
Jesper CockxNicolas TabareauThéo Winterhalter. The Taming of the Rew: A Type Theory with Computational Assumptions
Proceedings of the ACM on Programming Languages, ACM, 2020, POPL 2021, ⟨10.1145/3434341⟩
hal-02380682v1  Journal articles
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco Maggesi. Reduction Monads and Their Signatures
Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩
hal-02383109v1  Journal articles
Pierre-Marie PédrotNicolas Tabareau. The Fire Triangle
Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-28. ⟨10.1145/3371126⟩
hal-02388621v1  Journal articles
Guilhem Jaber. SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References
Proceedings of the ACM on Programming Languages, ACM, In press, 28, pp.1-28. ⟨10.1145/3371127⟩
hal-01909153v2  Journal articles
Yosra MarnissiEmilie ChouzenouxAmel Benazza-BenyahiaJean-Christophe Pesquet. Majorize-Minimize Adapted Metropolis-Hastings Algorithm
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2020, 68, pp.2356 - 2369. ⟨10.1109/TSP.2020.2983150⟩
hal-03066170v1  Journal articles
Jyoti MagguAngshul MajumdarEmilie Chouzenoux. Transformed Subspace Clustering
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TKDE.2020.2969354⟩
hal-02921322v1  Journal articles
Shalini SharmaAngshul MajumdarVíctor ElviraEmilie Chouzenoux. Blind Kalman Filtering for Short-term Load Forecasting
IEEE Transactions on Power Systems, Institute of Electrical and Electronics Engineers, 2020, 35 (6), pp.4916-4919
hal-02269910v1  Journal articles
Laurent BourgeoisArnaud Recoquillay. The Linear Sampling Method for Kirchhoff-Love Infinite Plates
Inverse Problems and Imaging , AIMS American Institute of Mathematical Sciences, 2020, ⟨10.3934/ipi.2020065⟩