Zobrazeno 1 - 10
of 121 021
pro vyhledávání: '"William, B."'
Autor:
Langdon, William B.
Testing can be key to software quality assurance. Automated verification may increase throughput and reduce human fallibility errors. Test scripts supply inputs, run programs and check their outputs mechanically using test oracles. In software engine
Externí odkaz:
http://arxiv.org/abs/2409.14076
Motivated by the burning and cooling processes, the burning game is introduced. The game is played on a graph $G$ by the two players (Burner and Staller) that take turns selecting vertices of $G$ to burn; as in the burning process, burning vertices s
Externí odkaz:
http://arxiv.org/abs/2409.11328
Autor:
Gong, Jingzhi, Li, Sisi, d'Aloisio, Giordano, Ding, Zishuo, Ye, Yulong, Langdon, William B., Sarro, Federica
Tuning the parameters and prompts for improving AI-based text-to-image generation has remained a substantial yet unaddressed challenge. Hence we introduce GreenStableYolo, which improves the parameters and prompts for Stable Diffusion to both reduce
Externí odkaz:
http://arxiv.org/abs/2407.14982
This study investigates the foundational characteristics of image-to-image translation networks, specifically examining their suitability and transferability within the context of routine clinical environments, despite achieving high levels of perfor
Externí odkaz:
http://arxiv.org/abs/2403.18651
The main result is that the only non trivial closed ideal in the Banach algebra $L(L^p)$ of bounded linear operators on $L^p(0,1)$, $1\le p < \infty$, that has a left approximate identity is the ideal of compact operators. The algebra $L(L^1)$ has at
Externí odkaz:
http://arxiv.org/abs/2402.13438
Publikováno v:
Icarus 411 (2024) 115955
With the goal of matching spacecraft measurements from Juno and Galileo missions, we construct ensembles of 2, 3, 4, 5, and 6 layer models for Jupiter's interior. All except our two layer models can match the planet's gravity field as measured by the
Externí odkaz:
http://arxiv.org/abs/2401.12166
Publikováno v:
Journal of Geophysical Research-Planets (2023), 128, e2023JE007928
Craters are probes of planetary surface and interior properties. Here we measure depths, widths, and spacing of circumferential ring-graben surrounding the two largest multiring impact structures on Europa, Tyre and Callanish. We estimate formation c
Externí odkaz:
http://arxiv.org/abs/2401.10380
We build on the theory of capital requirements (CRs) to create a new framework for modeling dynamic risk preferences. The key question is how to evaluate the risk of a payoff stream sequentially as new information is revealed. In our model, we associ
Externí odkaz:
http://arxiv.org/abs/2401.06020
Autor:
Ahamed, Shadab, Xu, Yixi, Gowdy, Claire, O, Joo H., Bloise, Ingrid, Wilson, Don, Martineau, Patrick, Bénard, François, Yousefirizi, Fereshteh, Dodhia, Rahul, Lavista, Juan M., Weeks, William B., Uribe, Carlos F., Rahmim, Arman
This study performs comprehensive evaluation of four neural network architectures (UNet, SegResNet, DynUNet, and SwinUNETR) for lymphoma lesion segmentation from PET/CT images. These networks were trained, validated, and tested on a diverse, multi-in
Externí odkaz:
http://arxiv.org/abs/2311.09614