Skip to Main content Skip to Navigation


...
hal-03418759v1  Book sections
Nicolas BelloirJérémy BuissonLionel Touseau. Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons
Developments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩
...
hal-03398607v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
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-03293492v2  Journal articles
Bernard Brogliato. Dissipative dynamical systems with set-valued feedback loops Well-posed set-valued Lur'e dynamical systems
IEEE Control Systems Magazine, Institute of Electrical and Electronics Engineers, In press, pp.1-49
...
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
...
hal-01981553v1  Conference papers
Florent CapelliNicolas CrosettiJoachim NiehrenJan Ramon. Linear Programs with Conjunctive Queries
25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom
...
hal-03338278v2  Journal articles
Yishu DuLoris MarchalGuillaume PallezYves Robert. Optimal Checkpointing Strategies for Iterative Applications
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩
...
hal-03407123v1  Conference papers
Guilhem JaberDavide Sangiorgi. Games, mobile processes, and functions
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)., Feb 2022, Göttingen, Germany
...
hal-03340899v1  Conference papers
Benjamin Wesolowski. The supersingular isogeny path and endomorphism ring problems are equivalent
FOCS 2021 - 62nd Annual IEEE Symposium on Foundations of Computer Science, Feb 2022, Denver, Colorado, United States
...
hal-03249123v2  Conference papers
Guillaume Moroz. New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science, Feb 2022, Denver, United States
...
hal-03447060v1  Conference papers
Abid AliFarhood NeginFrancois BremondSusanne Thümmler. Video-based Behavior Understanding of Children for Objective Diagnosis of Autism
VISAPP 2022 - International Conference on Computer Vision Theory and Applications, Feb 2022, Online, France
...
hal-03367972v1  Conference papers
Youness MoukafihAbdelghani GhanemKarima AbidiNada SbihiMounir Ghogho et al.  SimSCL: A Simple fully-Supervised Contrastive Learning Framework for Text Representation
AJCAI 2021 - 34th Australasian Joint Conference on Artificial Intelligence, Feb 2022, Sydney, Australia
...
hal-03432380v1  Conference papers
Jinglei ShiXiaoran JiangChristine Guillemot. Deep Video Frame Rate Up-conversion Network using Feature-based Progressive Residue Refinement a
International Conference on Computer Vision Theory and Applications, Feb 2022, online, France
...
hal-03417019v1  Conference papers
Vorakit VorakitphanElena CabrioSerena Villata. PROTECT - A Pipeline for Propaganda Detection and Classification
Eighth Italian Conference on Computational Linguistics (CLIC-it 2021), Jan 2022, Milan, Italy
...
hal-03367052v4  Conference papers
Loïc PujetNicolas Tabareau. Observational Equality: Now For Good
POPL, Jan 2022, Philadelphie, United States
...
hal-03426997v1  Conference papers
Azalea RaadLuc MarangetViktor Vafeiadis. Extending Intel-x86 Consistency and Persistency
POPL 2022 - Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
...
hal-03447072v1  Conference papers
Alain DelaëtDenis MerigouxAymeric Fromherz. Turning Catala into a Proof Platform for the Law
POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
...
hal-03431155v2  Conference papers
David CoudertAndré NusserLaurent Viennot. Hyperbolicity Computation through Dominating Sets
Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2022, Jan 2022, Westin Alexandria Old Town, United States
...
hal-03420133v1  Conference papers
Valentin GabeurArsha NagraniChen SunKarteek AlahariCordelia Schmid. Masking Modalities for Cross-modal Video Retrieval
WACV 2022 - Winter Conference on Applications of Computer Vision, Jan 2022, Waikoloa, United States. pp.1-10
...
hal-02971697v1  Journal articles
Mickael SerenoXiyao WangLonni BesançonMichael McguffinTobias Isenberg. Collaborative Work in Augmented Reality: A Survey
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TVCG.2020.3032761⟩
...
hal-02636987v2  Journal articles
Bruno DonassoloArnaud LegrandPanayotis MertikopoulosIlhem Fajjari. Online Reconfiguration of IoT Applications in the Fog: The Information-Coordination Trade-off
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (5), pp.1156-1172. ⟨10.1109/TPDS.2021.3097281⟩
...
hal-03427170v1  Conference papers
Julien BensmailHervé HocquardDimitri LajouEric Sopena. A proof of the Multiplicative 1-2-3 Conjecture
CALDAM 2022 - 8th Annual International Conference on Algorithms and Discrete Applied Mathematics, 2022, Puducherry, India
...
hal-03342677v1  Journal articles
Wesley WillettBon Adriel AsenieroSheelagh CarpendalePierre DragicevicYvonne Jansen et al.  Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, ⟨10.1109/TVCG.2021.3114844⟩
...
hal-03360776v1  Journal articles
Xin ChenJian ZhangChi-Wing FuJean-Daniel FeketeYunhai Wang. Pyramid-based Scatterplots Sampling for Progressive and Streaming Data Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TVCG.2021.3114880⟩
...
hal-03426711v1  Journal articles
Giuseppe CastagnaMickael LaurentKim NguyenMatthew Lutze. On Type-Cases, Union Elimination, and Occurrence Typing
Proceedings of the ACM on Programming Languages, ACM, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩
...
hal-03408015v1  Book sections
Nigel SmartEmmanuel Thomé. History of Cryptographic Key Sizes
Computational Cryptography, In press
...
hal-03348149v1  Journal articles
Natkamon TovanichPierre DragicevicPetra Isenberg. Gender in 30 Years of IEEE Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, ⟨10.1109/TVCG.2021.3114787⟩
...
hal-03348145v1  Journal articles
Natkamon TovanichNicolas SouliéNicolas HeulotPetra Isenberg. MiningVis: Visual Analytics of the Bitcoin Mining Economy
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, ⟨10.1109/TVCG.2021.3114821⟩
hal-02926215v1  Journal articles
Laurent GirinSimon LeglaiveXiaoyu BieJulien DiardThomas Hueber et al.  Dynamical Variational Autoencoders: A Comprehensive Review
Foundations and Trends in Machine Learning, Now Publishers, 2022, 15 (1-2), pp.1-175
...
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, 2022, 42 (1), pp.159-185. ⟨10.7151/dmgt.2250⟩
...
hal-03461189v1  Conference papers
Konstantin AvrachenkovVivek BorkarKishor Patil. Deep Reinforcement Learning for Web Crawling
The Seventh Indian Control Conference 2021, Dec 2021, Mumbai, India
...
hal-03361299v1  Conference papers
Esragul KorkmazMathieu FavergeGrégoire PichonPierre Ramet. Deciding Non-Compressible Blocks in Sparse Direct Solvers using Incomplete Factorization
HiPC 2021 - 28th IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.1-10
...
hal-03404798v1  Conference papers
Johannes LangguthIoannis PanagiotasBora Uçar. Shared-memory implementation of the Karp-Sipser kernelization process
HiPC 2021 - 28th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.1-10
...
hal-03439247v1  Conference papers
S AkshayBlaise GenestLoïc HélouëtS KrishnaSparsa Roychowdhury. Resilience of Timed Systems
FSTTCS 2021 -- 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IARCS, Dec 2021, Virtual Conference due to COVID, India. ⟨10.4230/LIPIcs.FSTTCS.2021.33⟩
...
hal-03407454v1  Conference papers
Christophe CerisaraAlfredo Cuzzocrea. Unsupervised Risk for Privacy
IEEE BigData, Special Session on Privacy and Security of Big Data, Dec 2021, Orlando/Virtual, United States
...
hal-03337243v1  Conference papers
Martin JedwabnyPierre BisquertMadalina Croitoru. Probabilistic rule induction for transparent CBR under uncertainty
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge, United Kingdom
...
hal-03306173v1  Conference papers
Gabriele PerozziAndrey PolyakovFélix Miranda-VillatoroBernard Brogliato. Upgrading linear to sliding mode feedback algorithm for a digital controller
CDSC 2021 : 60th IEEE Conference on Decision and Control, Dec 2021, Fairmont Austin, United States. pp.1-6
...
hal-03449915v1  Conference papers
Guillermo Valle PerezJonas BeskowGustav HenterAndre HolzapfelPierre-Yves Oudeyer et al.  Transflower: probabilistic autoregressive dance generation with multimodal attention
SIGGRAPH Asia 2021 - 14th ACM SIGGRAPH Conference and Exhibition on Computer Graphics and Interactive Techniques, Dec 2021, Tokyo, Japan. ⟨10.1145/3478513.3480570⟩
...
hal-03410152v1  Conference papers
Oualid ZariChuan XuGiovanni Neglia. Efficient passive membership inference attack in federated learning
Privacy in Machine Learning - NeurIPS PriML workshop, Dec 2021, Virtual, France
...
hal-03351536v1  Conference papers
Areski HimeurBruno YunPierre BisquertMadalina Croitoru. Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks
41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI 2021), Dec 2021, Cambridge (virtual), United Kingdom
...
hal-03313472v1  Conference papers
Andrey PolyakovDenis EfimovXubin Ping. On energetically optimal finite-time stabilization
IEEE Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03372669v1  Conference papers
Duc Hau NguyenGuillaume GravierPascale Sébillot. A Study of the Plausibility of Attention between RNN Encoders in Natural Language Inference
ICMLA 2021 - 20th IEEE International Conference on Machine Learning and Applications, Dec 2021, Pasadena, United States. pp.1-7
...
cea-03080029v5  Conference papers
Emmanuelle AnceaumeAntonella PozzoThibault RieutordSara Tucci-Piergiovanni. On finality in blockchains
OPODIS 2021 - 25th Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France
...
hal-03185142v2  Conference papers
Muhammad Umar NiaziAlain KibangouCarlos Canudas de WitDenis NikitinLiudmila Tumash et al.  Effective Testing Policies for Controlling an Epidemic Outbreak
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03185149v1  Conference papers
Muhammad Umar NiaziCarlos Canudas de WitAlain KibangouPierre-Alexandre Bliman. Optimal Control of Urban Human Mobility for Epidemic Mitigation
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03431458v1  Conference papers
Frédéric MazencMichael Malisoff. Feedback Stabilization with Discrete Measurements using Bounds on Fundamental Matrices
CDC2021 - Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03431462v1  Conference papers
Frederic MazencMichael Malisoff. New Fixed Time and Fast Converging Reduced Order Observers
CDC2021 - Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03349701v1  Conference papers
Yu ZhouAndrey PolyakovGang Zheng. On Strict Homogeneous Lyapunov Function for Generalized Homogeneous PI Controller
The 60th Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03353584v1  Conference papers
Samuele ZoboliVincent AndrieuDaniele AstolfiGiacomo CasadeiJilles Dibangoye et al.  Reinforcement Learning Policies With Local LQR Guarantees For Nonlinear Discrete-Time Systems
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Texas, United States. pp.1-8
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-03340020v1  Conference papers
Sami DallaliClara FontaineEitan Altman. Splittable Routing Games in Ring Topology with Losses
ASMTA 2021 - 26th International Conference on Analytical & Stochastic Modelling Techniques & Applications, Dec 2021, Virtual, Japan
...
hal-03356021v2  Conference papers
Pierre ChampionThomas ThebaudGaël Le LanAnthony LarcherDenis Jouvet. On the invertibility of a voice privacy system using embedding alignement
ASRU 2021 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
...
hal-03364271v1  Conference papers
Marc BaloupThomas PietrzakMartin HachetGéry Casiez. Non-isomorphic Interaction Techniques for Controlling Avatar Facial Expressions in VR
Proceedings of the ACM Symposium on Virtual Reality Software and Technology (VRST 2021), Dec 2021, Osaka, Japan. ⟨10.1145/3489849.3489867⟩
...
hal-03368978v1  Conference papers
Thibault FriedrichArnaud ProuzeauMichael Mcguffin. The Effect of Increased Body Motion in Virtual Reality on a Placement-Retrieval Task
VRST 2021 - 27th ACM Symposium on Virtual Reality Software and Technology, Dec 2021, Osaka, Japan. ⟨10.1145/3489849.3489888⟩
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-03439096v1  Conference papers
Tristan KarchLaetitia TeodorescuKatja HofmannClément Moulin-FrierPierre-Yves Oudeyer. Grounding Spatio-Temporal Language with Transformers
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtuel, France
...
hal-03357422v1  Conference papers
Yiqin GaoGuillaume AupyYves RobertFrédéric Vivien. Work-in-Progress: Evaluating Task Dropping Strategies for Overloaded Real-Time Systems
RTSS 2021 - 42nd IEEE Real-Time Systems Symposium, Dec 2021, Dortmund, Germany. pp.1-4
...
hal-03342467v1  Conference papers
Alain KibangouThembani MoyoWalter Musakwa. Dynamic Linear Model for Urban Essential Traffic Congestion and Emissions
CCA 2021 - Control Conference Africa, Dec 2021, Magaliesburg, South Africa. pp.1-6
...
hal-03379913v1  Conference papers
Alif PranataOlivier BaraisJohann BourcierLudovic Noirie. ChaT: Evaluation of Reconfigurable Distributed Network Systems Using Metamorphic Testing
GLOBCOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain. pp.1-6
...
hal-03411870v1  Conference papers
Guilherme Iecker RicardoGiovanni NegliaThrasyvoulos Spyropoulos. Caching Heterogeneous Size Content in Small Cell Networks with CoMP Joint Transmissions
GLOBECOM 2021, IEEE Global Communications Conference, 7-11 December 2021, Madrid, Spain, Dec 2021, Madrid, Spain
...
hal-03328162v1  Conference papers
Gourab GhatakSanket Sanjay KalamkarYash GuptaShubhi Sharma. A Fine-Grained Analysis of Radar Detection in Vehicular Networks
IEEE GLOBECOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain
...
hal-03364714v1  Conference papers
Hicham LesfariFrédéric GiroireGiuseppe LenaChidung Lac. A multidimensional colored packing approach for network slicing with dedicated protection
IEEE Global Communications Conference (GLOBECOM), Dec 2021, Madrid, Spain
...
hal-03405911v2  Conference papers
Oumayma BounouJean PonceJustin Carpentier. Online Learning and Control of Dynamical Systems from Sensory Input
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems Year, Dec 2021, Sydney / Virtual, Australia
...
hal-03405165v1  Conference papers
Mathieu EvenRaphaël BerthierFrancis BachNicolas FlammarionPierre Gaillard et al.  A Continuized View on Nesterov Acceleration for Stochastic Gradient Descent and Randomized Gossip
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia. pp.1-32
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-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-03406107v1  Conference papers
Ð.Khuê Lê-HuuKarteek Alahari. Regularized Frank-Wolfe for Dense CRFs: Generalizing Mean Field and Beyond
NeurIPS 2021 - 35th Annual Conference on Neural Information Processing Systems, Dec 2021, Virtual-only Conference, Australia. pp.1-35
...
hal-03423559v1  Conference papers
Théo BodritoAlexandre ZouaouiJocelyn ChanussotJulien Mairal. A Trainable Spectral-Spatial Sparse Coding Model for Hyperspectral Image Restoration
NeurIPS 2021 – 35th Annual Conference on Neural Information Processing Systems, Dec 2021, Sydney, Australia. pp.1-19
...
hal-03353663v3  Conference papers
Ilyas ToumliltPierre SutraMarc Shapiro. Highly-Available and Consistent Group Collaboration at the Edge with Colony
Middleware 2021 - 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. ⟨10.1145/3464298.3493405⟩
...
hal-03405984v1  Conference papers
Hugo RichardPierre AblinBertrand ThirionAlexandre GramfortAapo Hyvärinen. Shared Independent Component Analysis for Multi-Subject Neuroimaging
35th Conference on Neural Information Processing Systems NeurIPS 2021, Dec 2021, Sydney (Virtual Conference), Australia
...
hal-03410901v1  Conference papers
Reda OuhammaOdalric MaillardVianney Perchet. Stochastic Online Linear Regression: the Forward Algorithm to Replace Ridge
NeurIPS 2021 - 35th International Conference on Neural Information Processing Systems, Dec 2021, Virtual, Canada
...
hal-03359793v1  Conference papers
Olivier BeaumontLionel Eyraud-DuboisAlena Shilova. Efficient Combination of Rematerialization and Offloading for Training DNNs
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual-only Conference, France
...
hal-03374399v1  Conference papers
Duy-Phuc PhamDamien MarionMathieu MastioAnnelie Heuser. Obfuscation Revealed: Leveraging Electromagnetic Signals for Obfuscated Malware Classification
ACSAC 2021 - Annual Computer Security Applications Conference, Dec 2021, Virtual Event, France. pp.1-14, ⟨10.1145/3485832.3485894⟩
...
hal-03416222v1  Conference papers
Unmesh PatilAlessandro RenzagliaAnshul PaigwarChristian Laugier. Real-time Collision Risk Estimation based on Stochastic Reachability Spaces
ICAR 2021 - International Conference on Advanced Robotics, Dec 2021, Ljubljana, Slovenia. pp.1-6
...
hal-03407011v2  Conference papers
Karim TitTeddy FuronMathias Rousset. Efficient Statistical Assessment of Neural Network Corruption Robustness
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Sydney (virtual), Australia