Zobrazeno 1 - 10
of 6 918
pro vyhledávání: '"Ferreira, A F"'
Holographic models that consider classical vector fields in a 5-d background provide successful effective descriptions for heavy vector meson spectra. This holds both in the vacuum and in a thermal medium, like the quark gluon plasma. However, it is
Externí odkaz:
http://arxiv.org/abs/2410.09091
Autor:
Kongni, Steve J., Njougouo, Thierry, Louodop, Patrick, Tchitnga, Robert, Ferreira, Fernando F., Cerdeira, Hilda A.
Systems of oscillators whose internal phases and spatial dynamics are coupled, swarmalators, present diverse collective behaviors which in some cases lead to explosive synchronization in a finite population as a function of the coupling parameter bet
Externí odkaz:
http://arxiv.org/abs/2409.10039
Autor:
Wang, Fanwen, Luo, Yihao, Wen, Ke, Huang, Jiahao, Ferreira, Pedro F., Luo, Yaqing, Wu, Yinzhe, Munoz, Camila, Pennell, Dudley J., Scott, Andrew D., Nielles-Vallespin, Sonia, Yang, Guang
Diffusion tensor based cardiovascular magnetic resonance (DT-CMR) offers a non-invasive method to visualize the myocardial microstructure. With the assumption that the heart is stationary, frames are acquired with multiple repetitions for different d
Externí odkaz:
http://arxiv.org/abs/2406.13788
Autor:
Wang, Fanwen, Ferreira, Pedro F., Munoz, Camila, Wen, Ke, Luo, Yaqing, Huang, Jiahao, Wu, Yinzhe, Pennell, Dudley J., Scott, Andrew D., Nielles-Vallespin, Sonia, Yang, Guang
Publikováno v:
ISMRM 2024 Digital poster 2141
Motivation: Post-processing of in-vivo diffusion tensor CMR (DT-CMR) is challenging due to the low SNR and variation in contrast between frames which makes image registration difficult, and the need to manually reject frames corrupted by motion. Goal
Externí odkaz:
http://arxiv.org/abs/2406.13708
Autor:
Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex,
Externí odkaz:
http://arxiv.org/abs/2405.04282
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. Howe
Externí odkaz:
http://arxiv.org/abs/2401.14244
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as Dafny, has increased considerably in the last decade, these are still
Externí odkaz:
http://arxiv.org/abs/2401.00963
Autor:
Yeung, Michael, Watts, Todd, Tan, Sean YW, Ferreira, Pedro F., Scott, Andrew D., Nielles-Vallespin, Sonia, Yang, Guang
Stain variation is a unique challenge associated with automated analysis of digital pathology. Numerous methods have been developed to improve the robustness of machine learning methods to stain variation, but comparative studies have demonstrated li
Externí odkaz:
http://arxiv.org/abs/2311.06552
Autor:
Wang, Lichao, Huang, Jiahao, Xing, Xiaodan, Wu, Yinzhe, Rajakulasingam, Ramyah, Scott, Andrew D., Ferreira, Pedro F, De Silva, Ranil, Nielles-Vallespin, Sonia, Yang, Guang
This study proposes a pipeline that incorporates a novel style transfer model and a simultaneous super-resolution and segmentation model. The proposed pipeline aims to enhance diffusion tensor imaging (DTI) images by translating them into the late ga
Externí odkaz:
http://arxiv.org/abs/2309.15485
Autor:
Braga, Nelson R. F., Ferreira, Yan F.
Heavy vector mesons provide important information about the quark gluon plasma (QGP) formed in heavy ion collisions. This happens because the fraction of quarkonium states that are produced depends on the properties of the medium. The intensity of th
Externí odkaz:
http://arxiv.org/abs/2309.11643