Zobrazeno 1 - 10
of 5 754
pro vyhledávání: '"SEBASTIANI P"'
Autor:
Akram, Muhammad Waseem, Vannucci, Marco, Buttazzo, Giorgio, Colla, Valentina, Roccella, Stefano, Vannini, Andrea, Caruso, Giovanni, Nesi, Simone, Francini, Alessandra, Sebastiani, Luca
The leaf area index determines crop health and growth. Traditional methods for calculating it are time-consuming, destructive, costly, and limited to a scale. In this study, we automate the index estimation method using drone image data of grapevine
Externí odkaz:
http://arxiv.org/abs/2411.17897
All-Solution Satisfiability (AllSAT) and its extension, All-Solution Satisfiability Modulo Theories (AllSMT), have become more relevant in recent years, mainly in formal verification and artificial intelligence applications. The goal of these problem
Externí odkaz:
http://arxiv.org/abs/2410.18707
Autor:
Verdone, A., Devoto, A., Sebastiani, C., Carmignani, J., D'Onofrio, M., Giagu, S., Scardapane, S., Panella, M.
The experiments at the Large Hadron Collider at CERN generate vast amounts of complex data from high-energy particle collisions. This data presents significant challenges due to its volume and complex reconstruction, necessitating the use of advanced
Externí odkaz:
http://arxiv.org/abs/2407.14859
Autor:
Xiang, Qingyan, Sebastiani, Paola, Perls, Thomas, Andersen, Stacy L., Ukraintseva, Svetlana, Thinggaard, Mikael, Lok, Judith J.
The issue of "truncation by death" commonly arises in clinical research: subjects may die before their follow-up assessment, resulting in undefined clinical outcomes. This article addresses truncation by death by analyzing the Long Life Family Study
Externí odkaz:
http://arxiv.org/abs/2407.00846
This paper builds on top of a paper we have published very recently, in which we have proposed a novel approach to prime factorization (PF) by quantum annealing, where 8,219,999=32,749x251 was the highest prime product we were able to factorize -- wh
Externí odkaz:
http://arxiv.org/abs/2406.07732
Decision diagrams (DDs) are powerful tools to represent effectively propositional formulas, which are largely used in many domains, in particular in formal verification and in knowledge compilation. Some forms of DDs (e.g., OBDDs, SDDs) are canonical
Externí odkaz:
http://arxiv.org/abs/2404.16455
This paper focuses on the development of a space-variant regularization model for solving an under-determined linear inverse problem. The case study is a medical image reconstruction from few-view tomographic noisy data. The primary objective of the
Externí odkaz:
http://arxiv.org/abs/2404.16900
Autor:
Caso, Diego, García-Prieto, Ana, Sebastiani-Tofano, Eugenia, Kamra, Akashdeep, Hernández, Cayetano, Prieto, Pilar, Aliev, Farkhad G.
Ferromagnetic/Antiferromagnetic (FM/AFM) bilayers dynamics have been a recent topic of interest due to the interaction occurring at the interface, where the magnetic moments of the AFM can be imprinted into the FM, and the exchange bias field can aff
Externí odkaz:
http://arxiv.org/abs/2402.10292
In machine learning (ML) verification, the majority of procedures are non-quantitative and therefore cannot be used for verifying probabilistic models, or be applied in domains where hard guarantees are practically unachievable. The probabilistic for
Externí odkaz:
http://arxiv.org/abs/2402.04892
We establish both a Boltzmann-Gibbs principle and a Parisi formula for the limiting free energy of an abstract GREM (Generalized Random Energy Model) which provides an approximation of the TAP (Thouless-Anderson-Palmer) free energies associated to th
Externí odkaz:
http://arxiv.org/abs/2401.13507