Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Pierre Weis"'
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-11 (2024)
Abstract We present Svetlana (SuperVised sEgmenTation cLAssifier for NapAri), an open-source Napari plugin dedicated to the manual or automatic classification of segmentation results. A few recent software tools have made it possible to automatically
Externí odkaz:
https://doaj.org/article/8c031cabec93432693721188aee781d5
Publikováno v:
Modelica
2019, ⟨10.3384/ecp19157841⟩
2019, ⟨10.3384/ecp19157841⟩
We present a new Simulink (Simulink) to Modelica (Mod-elica) translation chain embedded into Nsp. Translated models can be edited (original Simulink diagrams are preserved through translation) and simulated. This translation chain makes use of the Si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf927f5d08c36f4e70a425b4f4e784d2
https://hal.archives-ouvertes.fr/hal-01948681v2
https://hal.archives-ouvertes.fr/hal-01948681v2
Autor:
Valentin Debarnot, Pierre Weiss
Publikováno v:
Biological Imaging, Vol 4 (2024)
We propose a neural network architecture and a training procedure to estimate blurring operators and deblur images from a single degraded image. Our key assumption is that the forward operators can be parameterized by a low-dimensional vector. The mo
Externí odkaz:
https://doaj.org/article/8398d32405b3470d8dd58153f29ae3de
Autor:
Morgane Dos Santos, Christelle Demarquay, Louis Ermeneux, Fazia Aberkane, Pauline Bléry, Pierre Weiss, Fabien Milliat, Noëlle Mathieu
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-11 (2021)
Abstract Osteoradionecrosis (ORN) is one of the most feared side effects of radiotherapy following cancers of the upper aero-digestive tract and leading to severe functional defects in patients. Today, our lack of knowledge about the physiopathology
Externí odkaz:
https://doaj.org/article/7ce266c647024817a99460401b686278
Autor:
Guillaume Melquiond, Sylvie Boldo, Micaela Mayero, Pierre Weis, François Clément, Jean-Christophe Filliâtre
Publikováno v:
Journal of Automated Reasoning
Journal of Automated Reasoning, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
Journal of Automated Reasoning, Springer Verlag, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
Journal of Automated Reasoning, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
Journal of Automated Reasoning, Springer Verlag, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
We formally prove correct a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors at several levels: the numerical scheme introduces method errors, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8e1c49f3d4ed4f1930f139a691a67c9
https://inria.hal.science/hal-00649240v3/file/RR-7826.pdf
https://inria.hal.science/hal-00649240v3/file/RR-7826.pdf
Autor:
Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. Van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael D. Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
Publikováno v:
Scopus-Elsevier
Journal of Functional Programming, 6(4), 621-655. Cambridge University Press
Journal of functional programming, 6(4), 621-655. Cambridge University Press
Journal of Functional Programming, 6(4), 621-655. Cambridge University Press
Journal of functional programming, 6(4), 621-655. Cambridge University Press
Over 25 implementations of different functional languages are benchmarked using the same program, a floating-point intensive application taken from molecular biology. The principal aspects studied are compile time and execution time for the various i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aff88a684085280750705c0e46b4c52a
https://doi.org/10.1017/s0956796800001891
https://doi.org/10.1017/s0956796800001891
Autor:
Guillaume Melquiond, Sylvie Boldo, François Clément, Pierre Weis, Jean-Christophe Filliítre, Micaela Mayero
Publikováno v:
Computers & Mathematics with Applications
Computers & Mathematics with Applications, Elsevier, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
Computers & Mathematics with Applications, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
Computers & Mathematics with Applications, Elsevier, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
Computers & Mathematics with Applications, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted. Scientific computing programs make no exception in that respect, and even bring specific accuracy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f374a65722bba58d40447c77e32cd52d
Publikováno v:
Inverse Problems in Science and Engineering
Inverse Problems in Science and Engineering, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
Inverse Problems in Science and Engineering, Taylor & Francis, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
Inverse Problems in Science and Engineering, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
Inverse Problems in Science and Engineering, Taylor & Francis, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
International audience; We transpose an optimal control technique to the image segmentation problem. The idea is to consider image segmentation as a parameter estimation problem. The parameter to estimate is the color of the pixels of the image. We u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67ebc6787638209805dd0ddbacc9b605
https://inria.hal.science/inria-00533799
https://inria.hal.science/inria-00533799
Autor:
Micaela Mayero, Guillaume Melquiond, Jean-Christophe Filliâtre, Sylvie Boldo, François Clément, Pierre Weis
Publikováno v:
ITP'10-Interactive Theorem Proving
ITP'10-Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Interactive Theorem Proving ISBN: 9783642140518
ITP
ITP'10-Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Interactive Theorem Proving ISBN: 9783642140518
ITP
Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in Coq. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e296769dde39a55caca47149892be950
https://inria.hal.science/inria-00450789v3/file/RR-7181.pdf
https://inria.hal.science/inria-00450789v3/file/RR-7181.pdf
Autor:
Pierre Tournier, Jérôme Guicheux, Arnaud Paré, Aymeric Maltezeanu, Thibaut Blondy, Joëlle Veziers, Caroline Vignes, Manon André, Julie Lesoeur, Ana Barbeito, Raphaël Bardonnet, Christophe Blanquart, Pierre Corre, Valérie Geoffroy, Pierre Weiss, Alexis Gaudin
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-13 (2021)
Abstract In skeletal surgical procedures, bone regeneration in irregular and hard-to-reach areas may present clinical challenges. In order to overcome the limitations of traditional autologous bone grafts and bone substitutes, an extrudable and easy-
Externí odkaz:
https://doaj.org/article/7e57b958d5f045e599b25244a0048b33