Viser resultater for "matthieu martel"
Viser 1 - 2 af 2 resultater
Voksenindhold er synligt.
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
2017
EN
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
466,89 kr.
Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation
International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16–20, 2018, Proceedings
2018
EN
This book constitutes the refereed joint proceedings of the International Workshop on Point-of-Care Ultrasound, POCUS 2018, the International Workshop on Bio-Imaging and Visualization for Patient-Customized Simulations, BIVPCS 2017, the International Workshop on Correction of Brainshift with Intra-Operative Ultrasound, CuRIOUS 2018, and the International Workshop on Computational Precision Medicine, CPM 2018, held in conjunction with the 21st International Conference on Medical Imaging and...
466,89 kr.