Zobrazeno 1 - 10
of 31 183
pro vyhledávání: '"D'Antoni, P."'
Autor:
Rovirola, Marc, Khaliq, M. Waqas, Casals, Blai, Begué, Adrian, Biskup, Neven, Coton, Noelia, Hernàndez, Joan Manel, Niño, Miguel Angel, Foerster, Michael, Hernández-Mínguez, Alberto, Ranchal, Rocío, Costache, Marius V., García-Santiago, Antoni, Macià, Ferran
The interaction between surface acoustic waves and magnetization offers an efficient route for electrically controlling magnetic states. Here, we demonstrate the excitation of magnetoacoustic waves in galfenol, a highly magnetostrictive alloy made of
Externí odkaz:
http://arxiv.org/abs/2409.04370
Autor:
Alomar, Antonia, Rubio, Ricardo, Salort, Laura, Albaiges, Gerard, Payà, Antoni, Piella, Gemma, Sukno, Federico
Craniofacial anomalies indicate early developmental disturbances and are usually linked to many genetic syndromes. Early diagnosis is critical, yet ultrasound (US) examinations often fail to identify these features. This study presents an AI-driven t
Externí odkaz:
http://arxiv.org/abs/2409.02826
Multi-view crowd localization predicts the ground locations of all people in the scene. Typical methods usually estimate the crowd density maps on the ground plane first, and then obtain the crowd locations. However, the performance of existing metho
Externí odkaz:
http://arxiv.org/abs/2409.01726
Autor:
Pérez-Romero, Jordi, Sallent, Oriol, Campoy, David, Gelonch, Antoni, Gelabert, Xavier, Klaiqi, Bleron
Radio Access Network (RAN) disaggregation is emerging as a key trend in beyond 5G, as it offers new opportunities for more flexible deployments and intelligent network management. A relevant problem in disaggregated RAN is the functional split select
Externí odkaz:
http://arxiv.org/abs/2409.01701
In top-down enumeration for program synthesis, abstraction-based pruning uses an abstract domain to approximate the set of possible values that a partial program, when completed, can output on a given input. If the set does not contain the desired ou
Externí odkaz:
http://arxiv.org/abs/2408.15822
Semantics-Guided Synthesis (SemGuS) provides a framework to specify synthesis problems in a solver-agnostic and domain-agnostic way, by allowing a user to provide both the syntax and semantics of the language in which the desired program should be sy
Externí odkaz:
http://arxiv.org/abs/2408.15475
Autor:
Liu, Jiangyi, Murphy, Charlie, Grover, Anvay, Johnson, Keith J. C., Reps, Thomas, D'Antoni, Loris
Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a formally defined semantics for the language. Because writing a formal semantics can be a dauntin
Externí odkaz:
http://arxiv.org/abs/2408.14668
Specifications allow us to formally state and understand what programs are intended to do. To help one extract useful properties from code, Park et al. recently proposed a framework that given (i) a quantifier-free query posed about a set of function
Externí odkaz:
http://arxiv.org/abs/2408.12539
Autor:
Kutchartt, Erico, González-Olabarria, José Ramón, Aquilué, Núria, Garcia-Gonzalo, Jordi, Trasobares, Antoni, Botequim, Brigite, Hauglin, Marius, Palaiologou, Palaiologos, Vassilev, Vassil, Cardil, Adrian, Navarrete, Miguel Ángel, Orazio, Christophe, Pirotti, Francesco
Canopy fuels and surface fuel models, topographic features and other canopy attributes such as stand height and canopy cover, provide the necessary spatial datasets required by various fire behaviour modelling simulators. This is a technical note rep
Externí odkaz:
http://arxiv.org/abs/2409.00008
Autor:
Kowalczuk, Antoni, Dubiński, Jan, Ghomi, Atiyeh Ashari, Sui, Yi, Stein, George, Wu, Jiapeng, Cresswell, Jesse C., Boenisch, Franziska, Dziedzic, Adam
Large-scale vision models have become integral in many applications due to their unprecedented performance and versatility across downstream tasks. However, the robustness of these foundation models has primarily been explored for a single task, name
Externí odkaz:
http://arxiv.org/abs/2407.12588