Zobrazeno 1 - 10
of 107
pro vyhledávání: '"Hayoun, P."'
Static analysis is a growing application of software engineering, leading to a range of essential security tools, bug-finding tools, as well as software verification. Recent years show an increase of universal static analysis tools that validate a ra
Externí odkaz:
http://arxiv.org/abs/2404.12747
Autor:
Abraham, Uri, Hayoun, Avi
We present a formal framework for proving the correctness of set implementations backed by binary-search-tree (BST) and linked lists, which are often difficult to prove correct using automation. This is because many concurrent set implementations adm
Externí odkaz:
http://arxiv.org/abs/2305.07758
Autor:
Hayoun, Shmuel Y., Halachmi, Meir, Serebro, Doron, Twizer, Kfir, Medezinski, Elinor, Korkidi, Liron, Cohen, Moshik, Orr, Itai
Achieving safe and reliable autonomous driving relies greatly on the ability to achieve an accurate and robust perception system; however, this cannot be fully realized without precisely calibrated sensors. Environmental and operational conditions as
Externí odkaz:
http://arxiv.org/abs/2206.02856
Autor:
Shmuel Y. Hayoun, Meir Halachmi, Doron Serebro, Kfir Twizer, Elinor Medezinski, Liron Korkidi, Moshik Cohen, Itai Orr
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-16 (2024)
Abstract Widespread adaptation of autonomous, robotic systems relies greatly on safe and reliable operation, which in many cases is derived from the ability to maintain accurate and robust perception capabilities. Environmental and operational condit
Externí odkaz:
https://doaj.org/article/97b38f0ba87143808b3f604e14ae7934
Autor:
Julia López Alcolea, Ana Fernández Alfonso, Raquel Cano Alonso, Ana Álvarez Vázquez, Alejandro Díaz Moreno, David García Castellanos, Lucía Sanabria Greciano, Chawar Hayoun, Manuel Recio Rodríguez, Cristina Andreu Vázquez, Israel John Thuissard Vasallo, Vicente Martínez de Vega
Publikováno v:
Diagnostics, Vol 14, Iss 22, p 2592 (2024)
Background: The increasing integration of AI in chest X-ray evaluation holds promise for enhancing diagnostic accuracy and optimizing clinical workflows. However, understanding its performance in real-world clinical settings is essential. Objectives:
Externí odkaz:
https://doaj.org/article/98339a8d6ab149b8acb5495a4bffc7c5
The challenge of mapping indoor environments is addressed. Typical heuristic algorithms for solving the motion planning problem are frontier-based methods, that are especially effective when the environment is completely unknown. However, in cases wh
Externí odkaz:
http://arxiv.org/abs/2109.08490
Autor:
Corentin Chaumont, Camilia Hayoun, Arnaud Savoure, Raphael Al Hamoud, Nathanael Auquier, Emily McDonnell, Helene Eltchaninoff, Frederic Anselme
Publikováno v:
Journal of the American Heart Association: Cardiovascular and Cerebrovascular Disease, Vol 13, Iss 6 (2024)
Background Cryoballoon ablation is currently the gold standard technique for single‐shot pulmonary vein isolation (PVI). Pulsed field ablation (PFA) has recently emerged as an interesting nonthermal alternative energy for PVI. The purpose of our st
Externí odkaz:
https://doaj.org/article/b3e1589af5fc4fa9b320fc971c3894c1
Autor:
Bruno Halioua, Jonathan Taieb, Marie France Bru, Yaron Ben Hayoun, Helene Raynal, Charles Taieb, Marie Aleth Richard
Publikováno v:
JEADV Clinical Practice, Vol 2, Iss 4, Pp 965-967 (2023)
Externí odkaz:
https://doaj.org/article/0efc60ce52f14d68bddc273665e4a00f
Autor:
Zwecher, Elchanan, Iceland, Eran, Hayoun, Shmuel Y., Revivo, Ahavatya, Levy, Sean R., Barel, Ariel
The problem of autonomous indoor mapping is addressed. The goal is to minimize the time to achieve a predefined percentage of exposure with some desired level of certainty. The use of a pre-trained generative deep neural network, acting as a map pred
Externí odkaz:
http://arxiv.org/abs/2011.02043
Autor:
Rémi Millot, Mikaël Demolliens, Jean-José Filippi, Sally Pugliese, Alban Delmas, Alizée Boussard, Loriane Alonso, Adeline Suchel, Emilie Poletti, Jean-François Luca, Reda Hayoun, Laura Gutierrez, Alexandre Vela, Romain Bastien, Antoine Aiello
Publikováno v:
Fishes, Vol 9, Iss 6, p 190 (2024)
Successful aquacultural production of juvenile fish requires that the optimal rearing conditions be applied. However, for many fish species, there is a significant knowledge gap concerning these conditions. In this study, we evaluated the effects of
Externí odkaz:
https://doaj.org/article/e5ea861cf07d498c8190ef2bf9b51993