Skip to Main content Skip to Navigation

hal-03533746v1  Book sections
Jean-Louis DinhChristophe GodinEugenio Azpeitia. Introduction to to Computational Modeling of Multicellular Tissues
Plant Systems Biology, 2395, Springer New York, pp.107-145, 2022, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1816-5_7⟩
hal-03445686v1  Conference papers
Junxiong WangImmanuel TrummerDebabrota Basu. UDO: Universal Database Optimization using Reinforcement Learning
Proceedings of the VLDB Endowment, Sep 2022, Sydney, Australia. pp.3402-3414, ⟨10.14778/3484224.3484236⟩
hal-03473179v1  Conference papers
Véronique CortierAntoine DallonStéphanie Delaune. A small bound on the number of sessions for security protocols
35th IEEE Computer Security Foundations Symposium- CSF 2022, Aug 2022, Haifa, Israel
hal-03500153v1  Journal articles
Jaechul LeeCédric KillianSebastien Le BeuxDaniel Chillet. Distance-aware Approximate Nanophotonic Interconnect
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2022, 27 (2), pp.1-30. ⟨10.1145/3484309⟩
hal-03516799v1  Conference papers
Jean-Baptiste HorelChristian LaugierLina MarssoRadu MateescuLucie Muller et al.  Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
Design, Automation and Test in Europe - Autonomous Systems Design (DATE/ASD'2022), Mar 2022, Antwerp, Belgium
hal-03468875v1  Conference papers
Shideh RezaeifarRobert DadashiNino VieillardLéonard HussenotOlivier Bachem et al.  Offline Reinforcement Learning as Anti-Exploration
36th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI), Feb 2022, Vancouver, Canada
hal-02927063v1  Journal articles
Maxence VandrommeJulie JacquesJulien TaillardLaetitia JourdanClarisse Dhaenens. A Biclustering Method for Heterogeneous and Temporal Medical Data
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2022, 34 (2), pp.506-518. ⟨10.1109/TKDE.2020.2983692⟩
hal-03519235v1  Conference papers
Xiaodong JiaAndre KornellBert LindenhoviusMichael MisloveVladimir Zamdzhiev. Semantics for Variational Quantum Programming
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
hal-03529739v1  Journal articles
Thomas Debris-AlazardLeo DucasWessel P.J. van Woerden. An Algorithmic Reduction Theory for Binary Codes: LLL and more
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TIT.2022.3143620⟩
hal-02963833v1  Journal articles
Yasir Saleem ShaikhPablo SotresSamuel FrickerCarmen Lopez de la TorreNoel Crespi et al.  IoTRec: the IoT Recommender for smart parking system
IEEE Transactions on Emerging Topics in Computing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TETC.2020.3014722⟩
hal-03516360v1  Journal articles
Angela BonifatiStefania DumbravaGeorge FletcherJan HiddersMatthias Hofer et al.  Threshold Queries in Theory and in the Wild
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2022
hal-03494872v1  Book sections
Olivier SentieysDaniel Menard. Customizing Number Representation and Precision
Approximate Computing Techniques - From Component- to Application-Level, Springer, In press
hal-03494874v1  Book sections
Etienne DupuisSilviu-Ioan FilipOlivier SentieysDavid NovoIan O'Connor et al.  Approximations in Deep Learning
Approximate Computing Techniques - From Component- to Application-Level, In press
hal-03527581v1  Conference papers
Denis BéchetAnnie Foret. Categorial Dependency Grammars: Analysis and Learning (Invited Talk)
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Dec 2021, Montpellier, France
hal-03489444v1  Journal articles
Francesco BronzinoPaul SchmittSara AyoubiHyojoon KimRenata Teixeira et al.  Traffic Refinery: Cost-Aware Data Representation for Machine Learning on Network Traffic
Proceedings of the ACM on Measurement and Analysis of Computing Systems , ACM, 2021, 5 (3), pp.1-24. ⟨10.1145/3491052⟩
hal-03328014v1  Conference papers
Roberto FrancoHéctor RíosAlejandra Ferreira de LozaDenis EfimovLouis Cassany et al.  Blood Glucose Regulation in Patients with Type 1 Diabetes Mellitus: A Robust MRAC Approach
60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
hal-03523838v1  Book sections
Ioannis Z. EmirisApostolos ChalkisEmmanouil ChristoforouTheodore Dalamagas. Modeling of Crisis Periods in Stock Markets
Learning and Intelligent Optimization, 12931, Springer International Publishing, pp.55-65, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92121-7_5⟩
hal-03469452v1  Journal articles
Jean Goubault-LarrecqXiaodong Jia. Separating minimal valuations, point-continuous valuations, and continuous valuations
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2021, pp.1-19. ⟨10.1017/S0960129521000384⟩
hal-03393750v1  Conference papers
Mathieu GoutayFayçal Ait AoudiaJakob HoydisJean-Marie Gorce. End-to-End Learning of OFDM Waveforms with PAPR and ACLR Constraints
GLOBECOM 2021 - IEEE Global Communication Conference, Dec 2021, Madrid, Spain. pp.1-5
hal-03528956v1  Conference papers
Supriya AdhataraoCedric Lauradoux. How are PDF files published in the Scientific Community?
WIFS 2021 - IEEE International Workshop on Information Forensics and Security, Dec 2021, Montpellier, France. pp.1-6, ⟨10.1109/WIFS53200.2021.9648374⟩
hal-03331063v1  Conference papers
Fatima-Zahra BoujdadDavid NiyitegekaReda BellafqiraGouenou CoatrieuxEmmanuelle Génin et al.  A Hybrid Cloud Deployment Architecture For Privacy-preserving Collaborative Genome-Wide Association Studies
ICDF2C - 12th EAI International Conference on Digital Forensics & Cyber Crime, Dec 2021, Singapour, Singapore
hal-03426874v1  Conference papers
David EmukpereXavier Alameda-PinedaChris Reinke. Successor Feature Neural Episodic Control
NeurIPS 2021 - 35th International Conference on Neural Information Processing Systems, Dec 2021, Virtual, Canada. pp.1-12
hal-03406994v1  Conference papers
Othmane MarfoqGiovanni NegliaAurélien BelletLaetitia KameniRichard Vidal. Federated Multi-Task Learning under a Mixture of Distributions
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Sydney, Australia
hal-03477779v1  Conference papers
Huy VoElena SizikovaCordelia SchmidPatrick PérezJean Ponce. Large-Scale Unsupervised Object Discovery
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, Canada
hal-03292031v1  Conference papers
Guillaume Le MoingJean PonceCordelia Schmid. CCVS: Context-aware Controllable Video Synthesis
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
hal-03406072v1  Conference papers
Gaspard BeugnotJulien MairalAlessandro Rudi. Beyond Tikhonov: Faster Learning with Self-Concordant Losses via Iterative Regularization
NeurIPS 2021 – 35th Annual Conference on Neural Information Processing Systems, Dec 2021, Virtual, France. pp.1-37
hal-03348022v1  Conference papers
Alice Pellet-MaryDamien Stehlé. On the hardness of the NTRU problem
Asiacrypt 2021 - 27th Annual International Conference on the Theory and Applications of Cryptology and Information Security, Dec 2021, Singapore, Singapore. ⟨10.1007/978-3-030-92062-3_1⟩
hal-03494256v1  Conference papers
Mariko TatsumiYuxiang XieCaroline WhiteSilviu-Ioan FilipOlivier Sentieys et al.  MPTorch and MPArchimedes: Open Source Frameworks to Explore Custom Mixed- Precision Operations for DNN Training on Edge Devices
ROAD4NN 2021 - 2nd ROAD4NN Workshop: Research Open Automatic Design for Neural Networks, Dec 2021, San Francisco, United States
hal-03371489v1  Conference papers
Laetitia ChapelRémi FlamaryHaoran WuCédric FévotteGilles Gasso. Unbalanced Optimal Transport through Non-negative Penalized Linear Regression
Advances in Neural Information Processing Systems (NeurIPS), Dec 2021, Virtual, Canada
hal-03464124v1  Journal articles
Ioan Marius BilascoDelphine PouxBenjamin AllaertNacim IhaddadeneChaabane Djeraba et al.  Dynamic Facial Expression Recognition under Partial Occlusion with Optical Flow Reconstruction
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/TIP.2021.3129120⟩
hal-03455973v1  Journal articles
W. WaitesM. CavaliereD. ManheimJ. Panovska-GriffithsV. Danos. Rule-based epidemic models
Journal of Theoretical Biology, Elsevier, 2021, 530, pp.110851. ⟨10.1016/j.jtbi.2021.110851⟩
hal-03475739v1  Conference papers
Olivier BlazySayantan MukherjeeHuyen NguyenDuong Hieu PhanDamien Stehlé. An Anonymous Trace-and-Revoke Broadcast Encryption Scheme
ACISP 2021 - Australasian Conference on Information Security and Privacy, Dec 2021, Perth, Australia. pp.214-233, ⟨10.1007/978-3-030-90567-5_11⟩
hal-03509072v1  Journal articles
Chengcheng SongHaoping WangYang TianGang Zheng. Event-triggered observer design for output-sampled systems
Nonlinear Analysis: Hybrid Systems, Elsevier, 2021, 43, pp.101112. ⟨10.1016/j.nahs.2021.101112⟩
hal-03517563v1  Book sections
Michel AbdallaBjörn HaaseJulia Hesse. Security Analysis of CPace
Mehdi Tibouchi; Huaxiong Wang. Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.711-741, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_24⟩
hal-03509082v1  Journal articles
Ke WuGang ZhengJunfeng Zhang. Fem-based trajectory tracking control of a soft trunk robot
Robotics and Autonomous Systems, Elsevier, 2021, pp.103961. ⟨10.1016/j.robot.2021.103961⟩
hal-03505730v1  Journal articles
Nachiket VartakDirk DrasdoFabian GeislerTohru ItohRonald P.J.Oude Elferink et al.  On the Mechanisms of Biliary Flux
Hepatology, Wiley-Blackwell, 2021, 74 (6), pp.3497-3512. ⟨10.1002/hep.32027⟩
hal-03517558v1  Book sections
Michel AbdallaManuel BarbosaJonathan KatzJulian LossJiayu Xu. Algebraic Adversaries in the Universal Composability Framework
Mehdi Tibouchi; Huaxiong Wang. Advances in Cryptology – ASIACRYPT 2021, 13092, Springer International Publishing, pp.311-341, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92078-4_11⟩
hal-03449930v1  Conference papers
Hélène Le Cadre. Network Games Equilibrium Computation: Duality Extension and Coordination
PGMO Days 2021 - Programme Gaspard Monge Pour l'optimisation, la recherche opérationnelle et leurs interactions avec les sciences des données, Nov 2021, Palaiseau, France