92106 results  save search

hal-00747647v1  Conference papers
Anne-Cécile OrgeriePaulo GonçalvesMatthieu ImbertJ. RidouxD. Veitch. Survey of network metrology platforms
SAINT 2012 - 12th IEEE/IPSJ International Symposium on Applications and the INTernet, 3rd Workshop on High Speed Network and Computing Environments, Jul 2012, Izmir, Turkey. pp.220-225, ⟨10.1109/SAINT.2012.41⟩
hal-02392997v1  Conference papers
Cosimo LaneveClaudio CoenAdele Veschetti. On the Prediction of Smart Contracts' Behaviours
SG65 - Colloquium in Honour of Stefania Gnesi, Oct 2019, Porto, Portugal. pp.397--415, ⟨10.1007/978-3-030-30985-5_23⟩
hal-00987475v1  Conference papers
Denny OetomoDavid DaneyKanako HaradaJean-Pierre MerletArianna Menciassi et al.  Topology design of surgical reconfigurable robots by interval analysis
IEEE International Conference on Robotics and Automation (ICRA), 2009, Kobe, Japan. pp.3085--3090, ⟨10.1109/ROBOT.2009.5152407⟩
hal-00987549v1  Conference papers
Denny OetomoDavid DaneyBijan ShirinzadehJean-Pierre Merlet. Certified workspace analysis of 3RRR planar parallel flexure mechanism
IEEE International Conference on Robotics and Automation (ICRA), 2008, Pasadena, United States. pp.3838--3843, ⟨10.1109/ROBOT.2008.4543800⟩
hal-02409672v1  Conference papers
Evariste NtaryamiraCristian MaximLiliana Cucu-Grosjean. Data consistency and temporal validity under the circular buffer communication paradigm
RACS '19 - Conference on Research in Adaptive and Convergent Systems, Sep 2019, Chongqing, China. pp.51-56, ⟨10.1145/3338840.3355682⟩
hal-01230785v1  Journal articles
Emilie DiotSébastien TavenasNicolas Trotignon. Detecting wheels
Applicable Analysis and Discrete Mathematics, 2014, 8 (1), ⟨10.2298/AADM131128023D⟩
ensl-01991239v1  Conference papers
Ignacio García-MarcoPascal KoiranSébastien Tavenas. Log-Concavity and Lower Bounds for Arithmetic Circuits
Mathematical Foundations of Computer Science (MFCS), 2015, Milan, Italy. pp.361-371
hal-02366723v1  Conference papers
Shihong RenStéphane LetzYann OrlareyRomain MichonDominique Fober et al.  Develop WebAudio Plugins in a Web Browser
WAC 2019 - Web Audio Conference, Dec 2019, Trindheim, Norway
hal-02381115v1  Conference papers
Shikang YuHu HanShiguang ShanAntitza DantchevaXilin Chen. Improving Face Sketch Recognition via Adversarial Sketch-Photo Transformation
FG 2019 - 14th IEEE International Conference on Automatic Face and Gesture Recognition, May 2019, Lille, France
hal-00681929v1  Conference papers
Pietro Marco CongedoChristophe Eric CorreRemi Abgrall. Robust performance assessment for an oscillating airfoil using a Time-Spectral Method and a non-intrusive uncertainty propagation method
ICCFD7 - International Conference on Computational Fluid Dynamics, Jul 2012, Island of Hawaii, United States
inria-00567292v1  Conference papers
Pietro Marco CongedoChristophe Eric Corre. Optimization under uncertainty of tear substitute rheological properties
International modeFRONTIER® Users' Meeting 2010, ESTECO, May 2010, Trieste, Italy
inria-00561882v1  Conference papers
Pietro Marco CongedoGuillaume BalaracChristophe Eric CorreCédric Duprat. Effects of inlet uncertainties on prediction of turbulent flows using RANS and LES simulations
20th AIAA Computational Fluid Dynamics Conference, AIAA, Jun 2011, Honolulu, Hawaii, USA, United States
inria-00549376v1  Conference papers
Pietro Marco CongedoChristophe Eric Corre. Simulation d'écoulements de gaz denses en turbines
Congrés Français de Mécanique, 2009, Marseille, France
hal-02132461v1  Conference papers
Konstantin AvrachenkovJasper GoselingBerksan Serbetci. Distributed Cooperative Caching for VoD with Geographic Constraints
WiOpt 2019 - 17th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Jun 2019, Avignon, France
hal-02404755v1  Conference papers
Sunjay CauligiGary SoellerBrian JohannesmeyerFraser BrownRiad Wahby et al.  FaCT: A DSL for Timing-Sensitive Computation
PLDI 2019 - 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2019, Phoenix, United States. ⟨10.1145/3314221.3314605⟩
inria-00591576v1  Conference papers
Pietro Marco CongedoPaola CinnellaSamuel HercusChristophe Eric Corre. Efficient robust optimization techniques for uncertain dense gas flows
CFD & Optimization - ECCOMAS Thematic Conference, ECCOMAS, May 2011, Antalya, Turkey
hal-01888607v1  Conference papers
Vitalii AksenovPetr KuznetsovAnatoly Shalyto. On Helping and Stacks
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
hal-01664898v1  Conference papers
Vitalii AksenovVincent GramoliPetr KuznetsovAnna MalovaSrivatsan Ravi. A Concurrency-Optimal Binary Search Tree
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
hal-01887733v1  Conference papers
Vitalii AksenovDan AlistarhPetr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
hal-02386364v1  Conference papers
Eleni FirippiMadalena Chaves. Period -control in a coupled system of two genetic oscillators for synthetic biology
FOSBE 2019 - 8th IFAC Conference on Foundations of Systems Biology in Engineering, Oct 2019, Valencia, Spain