HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01924680v1  Journal articles
Nouredine MelabAlbert ZomayaImen Chakroun. Parallel optimization using/for multi and many-core high performance computing
Journal of Parallel and Distributed Computing, Elsevier, 2018, 112, pp.109 - 110. ⟨10.1016/j.jpdc.2017.11.011⟩
hal-03612592v1  Conference papers
Julia LawallHimadri Chhaya-ShaileshJean-Pierre LoziBaptiste LepersWilly Zwaenepoel et al.  OS Scheduling with Nest: Keeping Tasks Close Together on Warm Cores
EuroSys 2022 - Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩
hal-01646112v1  Conference papers
Dan XuWanli OuyangXavier Alameda-PinedaElisa RicciXiaogang Wang et al.  Learning Deep Structured Multi-Scale Features using Attention-Gated CRFs for Contour Prediction
Advances in Neural Information Processing Systems, Dec 2017, Long Beach, United States. pp.3961-3970
inria-00114795v1  Journal articles
Olivera MarjanovicHala Skaf-MolliPascal MolliClaude Godart. Innovative Learning Designs Enabled by Process-Driven Collaborative Editing
Journal of Educational Technology and Society, International Forum of Educational Technology and Society, 2006
hal-01113410v1  Journal articles
Pedro MaiaThais BatistaEverton CavalcanteAugusto BaffaFlavia C. Delicato et al.  A Web Platform for Interconnecting Body Sensors and Improving Health Care
Procedia Computer Science, Elsevier, 2014, Fourth International Conference on Selected Topics in Mobile & Wireless Networking (MoWNet'2014), 40, pp.135-142. ⟨10.1016/j.procs.2014.10.041⟩
hal-01945508v1  Conference papers
Marta AvalosRichard NockCheng OngJulien RouarKe Sun. Representation Learning of Compositional Data
NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada
inria-00328629v2  Journal articles
Phong Q. NguyenDamien Stehlé. Low-dimensional lattice basis reduction revisited
ACM Transactions on Algorithms, Association for Computing Machinery, 2009, To appear, pp.Article 46
hal-00550981v1  Journal articles
Phong Q. NguyenDamien Stehlé. An LLL Algorithm with Quadratic Complexity
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2009, pp.874-903
hal-01398933v1  Conference papers
Zdravko I. BotevPierre l'EcuyerBruno Tuffin. Permutation Monte Carlo : applications, analysis and extension
11th International Workshop on Rare Event Simulation (RESIM 2016), Apr 2016, Eindhoven, Netherlands
hal-00546901v1  Conference papers
Damien StehléMark Watkins. On the Extremality of an 80-Dimensional Lattice
ANTS-IX, Jul 2010, France. pp.340--356
hal-00550983v1  Conference papers
Xavier PujolDamien Stehlé. Rigorous and efficient short lattice vectors enumeration
Asiacrypt 2008, 2008, Australia. pp.390-405
ensl-00327678v2  Journal articles
Ivan MorelDamien StehléGilles Villard. Analyse numérique et réduction de réseaux
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (1), pp.115-144. ⟨10.3166/tsi.29.115-144⟩
hal-00550979v1  Conference papers
Ivan MorelDamien StehléGilles Villard. H-LLL: Using Householder inside LLL
ISSAC 2009, 2009, South Korea. pp.271-278
hal-00778070v1  Journal articles
Stéphane GaubertT.M. GawlitzaH. SeidlA. AdjéE. Goubault. Abstract interpretation meets convex optimization
Journal of Symbolic Computation, Elsevier, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. ⟨10.1016/j.jsc.2011.12.048⟩
inria-00539929v1  Conference papers
Jérémie DetreyGuillaume HanrotXavier PujolDamien Stehlé. Accelerating lattice reduction with FPGAs
First International Conference on Cryptology and Information Security in Latin America (LATINCRYPT'10), Aug 2010, Puebla, Mexico. pp.124-143, ⟨10.1007/978-3-642-14712-8_8⟩
hal-00851874v1  Journal articles
Nathalie HenryHoward GoodellNiklas ElmqvistJean-Daniel Fekete. 20 Years of four HCI conferences: A Visual Exploration
International Journal of Human-Computer Interaction, Taylor & Francis, 2007, Special issue in honor of Ben Shneiderman's 60th birthday: Reflections on Human-Computer Interaction, 23 (3), pp.239-285. ⟨10.1080/10447310701702402⟩
hal-00851672v1  Conference papers
Nathalie HenryJean-Daniel Fekete. MatLink: Enhanced Matrix Visualization for Analyzing Social Networks
Human-Computer Interaction - INTERACT 2007, IFIP, Sep 2007, Rio de Janeiro, Brazil. pp.288-302, ⟨10.1007/978-3-540-74800-7_24⟩
hal-02387182v1  Conference papers
Oana BalmauRachid GuerraouiAnne-Marie KermarrecAlexandre MaurerMatej Pavlovic et al.  The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral.
NETYS 2019 - 7th International Conference on NETworked sYStems, Jun 2019, Marrakech, Morocco. pp.347-364, ⟨10.1007/978-3-030-31277-0_23⟩
hal-01949938v1  Conference papers
Zdravko I. BotevYi-Lung ChenPierre l'EcuyerShev Macnamara. Exact Posterior Simulation from the Linear Lasso regression
2018 Winter Simulation Conference, Dec 2018, Goteborg, Sweden
hal-01561552v1  Conference papers
Zdravko BotevPierre l'Ecuyer. Accurate computation of the right tail of the sum of dependent log-normal variates
WSC 2017 - Winter Simulation Conference, Dec 2017, Las Vegas, United States
hal-01944513v1  Conference papers
Alex HolcombeCharles LudowiciSteve Haroz. Is there a reproducibility crisis around here? Maybe not, but we still need to change
VSS 2019 - Vision Sciences Society, May 2019, St. Pete Beach, Florida, United States
hal-02554342v1  Conference papers
Baptiste LepersRedha GouicemDamien CarverJean-Pierre LoziNicolas Palix et al.  Provable Multicore Schedulers with Ipanema: Application to Work Conservation
Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩