Zobrazeno 1 - 10
of 1 075
pro vyhledávání: '"Duboc, P."'
Autor:
Castagna, Giuseppe, Duboc, Guillaume
We define several techniques to extend gradual typing with semantic subtyping, specifically targeting dynamic languages. Focusing on the Elixir programming language, we provide the theoretical foundations for its type system. Our approach demonstrate
Externí odkaz:
http://arxiv.org/abs/2408.14345
Autor:
Moreira, Ana, Leifler, Ola, Betz, Stefanie, Brooks, Ian, Capilla, Rafael, Coroama, Vlad Constantin, Duboc, Leticia, Fernandes, Joao Paulo, Heldal, Rogardt, Lago, Patricia, Nguyen, Ngoc-Thanh, Oyedeji, Shola, Penzenstadler, Birgit, Peters, Anne Kathrin, Porras, Jari, Venters, Colin C.
Education for sustainable development has evolved to include more constructive approaches and a better understanding of what is needed to align education with the cultural, societal, and pedagogical changes required to avoid the risks posed by an uns
Externí odkaz:
http://arxiv.org/abs/2406.18945
Autor:
Essamlali, Abdelhadi, Millot-Maysounabe, Vincent, Chartier, Marion, Salin, Grégoire, Becq, Aymeric, Arrivé, Lionel, Camus, Marine Duboc, Szewczyk, Jérôme, Claude, Isabelle
Publikováno v:
International Journal of Biomedical Engineering and Clinical Science, 2023, 9 (4), pp.66-74
This article presents an evaluation of biliary tract segmentation methods used for 3D reconstruction, which may be very usefull in various critical interventions, such as endoscopic retrograde cholangiopancreatography (ERCP), using the 3D Slicer soft
Externí odkaz:
http://arxiv.org/abs/2312.03356
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 4
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of
Externí odkaz:
http://arxiv.org/abs/2306.06391
Autor:
Heldal, Rogardt, Nguyen, Ngoc-Thanh, Moreira, Ana, Lago, Patricia, Duboc, Leticia, Betz, Stefanie, Coroama, Vlad C., Penzenstadler, Birgit, Porras, Jari, Capilla, Rafael, Brooks, Ian, Oyedeji, Shola, Venters, Colin C.
Achieving the UN Sustainable Development Goals (SDGs) demands adequate levels of awareness and actions to address sustainability challenges. Software systems will play an important role in moving towards these targets. Sustainability skills are neces
Externí odkaz:
http://arxiv.org/abs/2305.00436
Autor:
Carole Duboc, Sabine L. Flitsch
Publikováno v:
JACS Au, Vol 4, Iss 2, Pp 276-278 (2024)
Externí odkaz:
https://doaj.org/article/ada01399c9304586a63be2b7452e5046
Publikováno v:
Wind Energy Science, Vol 9, Pp 25-48 (2024)
To design the next generations of wind turbines, engineers from the wind energy industry must now have access to new numerical tools, allowing the high-fidelity simulation of complex physical phenomena and thus a further calibration of lower-order mo
Externí odkaz:
https://doaj.org/article/a2d46d56bbe1455fafb36194413ce685
Publikováno v:
Environmental Sciences Europe, Vol 35, Iss 1, Pp 1-15 (2023)
Abstract Background To ensure a high level of public health and environmental protection, authorities that deliver scientific expertise to inform decision-makers and the public at large need to be independent from external stakeholders and free of co
Externí odkaz:
https://doaj.org/article/3606e8d200854c8ebf6b4191bbe865c4
Autor:
C. Seibert, N. Feuillet, G. Ratzov, C. Beck, P. Morena, L. Johannes, E. Ducassou, A. Cattaneo, C. Goldfinger, E. Moreno, A. Bieber, G. Bénâtre, B. Caron, M. Caron, M. Casse, T. Cavailhes, G. Del Manzo, C. E. Deschamps, P. A. Desiage, Q. Duboc, K. Fauquembergue, A. Ferrant, H. Guyard, E. Jacques, M. Laurencin, F. Leclerc, J. Patton, J. M. Saurel, G. St‐Onge, P. Woerther
Publikováno v:
Geochemistry, Geophysics, Geosystems, Vol 25, Iss 2, Pp n/a-n/a (2024)
Abstract The seismic potential of the Lesser Antilles subduction zone is poorly known and highly debated. Only two damaging earthquakes have been reported in the historical period, in 1839 and 1843, but their sources and magnitude are still uncertain
Externí odkaz:
https://doaj.org/article/1573edce30c7443c9600d3ef08885ec9
Autor:
C. Grinderslev, F. Houtin-Mongrolle, N. Nørmark Sørensen, G. Raimund Pirrung, P. Jacobs, A. Ahmed, B. Duboc
Publikováno v:
Wind Energy Science, Vol 8, Pp 1625-1638 (2023)
Vortex-induced vibrations on wind turbine blades are a complex phenomenon not predictable by standard engineering models. For this reason, higher-fidelity computational fluid dynamics (CFD) methods are needed. However, the term CFD covers a broad ran
Externí odkaz:
https://doaj.org/article/8243f9f17d7646839c64d40b090d3a83