103390 results  save search

hal-02401132v1  Conference papers
Marco PizzolatoRachid DericheErick Jorge Canales-RodriguezJean-Philippe Thiran. Spatially Varying Monte Carlo Sure for the Regularization of Biomedical Images
ISBI 2019 - IEEE 16th International Symposium on Biomedical Imaging, Apr 2019, Venice, Italy. pp.1639-1642, ⟨10.1109/ISBI.2019.8759338⟩
hal-02403379v1  Conference papers
Zakaria OurnaniMohammed Chakib BelgaidRomain RouvoyPierre RustJoël Penhoat et al.  Taming Energy Consumption Variations in Systems Benchmarking
International Conference on Performance Engineering (ICPE), Apr 2020, Edmonton, Canada
hal-02403088v1  Book sections
Emmanuel JeannotJesus Carretero. Conclusion
Ultrascale Computing Systems, 2019, 9781785618338
hal-01196827v1  Book sections
Robert BasmadjianPascal BouvryGeorges da CostaLászló GyarmatiDzmitry Kliazovich et al.  Green Data Centers
Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.159-196, 2015, ⟨10.1002/9781118981122.ch6⟩
hal-01205153v1  Book sections
Guillaume AupyAnne BenoitMohammed El Mehdi DiouriOlivier GlückLaurent Lefèvre. Energy-aware checkpointing strategies
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.279-317, 2015
hal-02402986v1  Conference papers
Adrien HemmerRemi BadonnelIsabelle Chrisment. A Process Mining Approach for Supporting IoT Predictive Security
Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
hal-02402976v1  Conference papers
Yuanrui ZhangFrédéric MalletHuibiao ZhuYixiang Chen. A Logical Approach for the Schedulability Analysis of CCSL
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩
hal-02402971v1  Conference papers
Ming HuTongquan WeiMin ZhangFrédéric MalletMingsong Chen. Sample-Guided Automated Synthesis for CCSL Specifications
DAC 2019 - 56th Annual Design Automation Conference 2019, Jun 2019, Las Vegas, United States. pp.1-6, ⟨10.1145/3316781.3317904⟩
hal-02402957v1  Journal articles
Daian YueVania JoloboffFrédéric Mallet. TRAP: trace runtime analysis of properties
Frontiers of Computer Science, Springer Verlag, 2019, 14 (3), ⟨10.1007/s11704-018-7217-7⟩
hal-02402646v1  Conference papers
Hugo TalibartFrançois Coste. Using residues coevolution to search for protein homologs through alignment of Potts models
Co-evolutionary methods for the prediction and design of protein structure and interactions, CECAM-HQ-EPFL, Jun 2019, Lausanne, Switzerland
hal-02402950v1  Conference papers
Alexandru VulpeAli PaikanRazvan CraciunescuPouyan ZiafatiSofoklis Kyriazakos et al.  IoT Security Approaches in Social Robots for Ambient Assisted Living Scenarios
The 22nd International Symposium on Wireless Personal Multimedia Communications, Nov 2019, Lisbon, Portugal
hal-02402941v1  Book sections
Peter BaumgartnerUwe Waldmann. Hierarchic Superposition Revisited
Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni-Yasmin Turhan and Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.15-56, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-22102-7_2⟩
tel-02399713v1  Habilitation à diriger des recherches
Marielle Simon. Microscopic derivation of degenerated diffusion phenomena
Mathematics [math]. Université de Lille, 2019
hal-02402853v1  Documents associated with scientific events
Constance ThierryYolande Le GallGéry CasiezJean-Christophe DuboisSylvain Malacria et al.  Interface for collecting answers to equivocal questions for crowdsourcing
Workshop Visualization & HCI for Crowd-Sourcing, Jun 2019, Clermont-Ferrand, France
hal-02402475v1  Conference papers
Wilhelm WimmerClair VandersteenNicolas GuevaraMarco CaversaccioHervé Delingette. Robust Cochlear Modiolar Axis Detection in CT
MICCAI 2019 - 22nd International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2019, Shenzhen, China. pp.3-10, ⟨10.1007/978-3-030-32254-0_1⟩