Skip to Main content Skip to Navigation

hal-01261473v1  Conference papers
Felienne HermansTijs van der Storm. Copy-Paste Tracking: Fixing Spreadsheets Without Breaking Them
ICLC 2015 - The first International Conference on Live Coding, Jul 2015, Leeds, United Kingdom
hal-00687220v1  Journal articles
Sylvain Duquesne. RNS arithmetic in Fpk and application to fast pairing computation
Journal of Mathematical Cryptology, De Gruyter, 2011, 5 (1), pp.51-88. ⟨10.1515/jmc.2011.006⟩
hal-03251807v1  Documents associated with scientific events
Martin HachetLionel CanioniJean-Paul GuilletStéphanie Fleck. HOBIT - a New Concept for Pedagogical Innovations in Learning and Teaching Optics
EDULEARN 21 - 13th annual International Conference on Education and New Learning Technologies, Jul 2021, virtual, Spain
hal-03257450v1  Conference papers
Sunit SivasankaranEmmanuel VincentDominique Fohr. Explaining deep learning models for speech enhancement
INTERSPEECH 2021, Aug 2021, Brno, Czech Republic
hal-03257252v1  Conference papers
Mozhdeh FarhadiGuillaume PierreDaniele Miorandi. Towards automated privacy compliance checking of applications in Cloud and Fog environments
FiCloud 2021 - 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Rome / Virtual, Italy
hal-00748204v1  Journal articles
Eric BadouelBernard FotsingRodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
Electronic Notes in Theoretical Computer Science, Elsevier, 2011, 229 (5), pp.39-56. ⟨10.1016/j.entcs.2011.02.015⟩
inria-00092668v1  Conference papers
Matthieu BasseurFranck SeynhaeveTalbi El-Ghazali. Design of Multi-Objective Evolutionary Algorithms: Application to the Flow-Shop Scheduling Problem
CEC 2002 - Congress on Evolutionary Computation, 2002, Honolulu, United States. pp.1151-1156
hal-03256693v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. Automatic synthesis of boolean networks from biological knowledge and data
International Conference of Optimization and Learning, OLA '2021, Jun 2021, Catane, Italy
hal-03106919v2  Reports
Jens Gustedt. Type-generic lambdas
[Research Report] N2634, ISO JCT1/SC22/WG14. 2021, pp.12
hal-03256590v1  Book sections
Matthieu BasseurArnaud Liefooghe. Metaheuristics for Biobjective Flow Shop Scheduling
Metaheuristics for production scheduling, Wiley, pp.225-252, 2013, 978-1-84821-497-2
hal-03256421v1  Journal articles
David DidierlaurentCyril JaudetSophie RibesHadj BatatiaLawrence O. Dierickx et al.  Comparison of an alternative and existing binning methods to reduce the acquisition duration of 4D PET/CT
Medical Physics : The international journal of medical physics research and practice, Wiley, 2014, 41 (11), pp.112503-1--112503-10. ⟨10.1118/1.4897612⟩
hal-03256417v1  Conference papers
Shimin SunLi HanSungchol ChoSunyoung HanJunfeng Wang et al.  Performance optimization of media distribution in overlay network using Open Flow
28th International Conference on Information Networking (ICOIN 2014), Feb 2014, Phuket, Thailand. pp.276--281, ⟨10.1109/ICOIN.2014.6799481⟩
hal-03256409v1  Conference papers
Lucie BarqueMarie CanditoPhilippe Muller. Temporal annotation within frame semantics (Chronos, 11th International Conference on Actionality, Tense, Aspect, Modality/Evidentiality, Pisa, Italy, 16/06/14-18/06/14)
Chronos 11, 11th International Conference on Actionality, Tense, Aspect, Modality/Evidentiality (2014), Jun 2014, Pisa, Italy