Zobrazeno 1 - 10
of 10 079
pro vyhledávání: '"Brown P. E."'
Domain adaptive semantic segmentation is the task of generating precise and dense predictions for an unlabeled target domain using a model trained on a labeled source domain. While significant efforts have been devoted to improving unsupervised domai
Externí odkaz:
http://arxiv.org/abs/2410.16485
Publikováno v:
Proceedings of the 12th International Joint Conference on Automated Reasoning, LNAI 14739, pp 86-104, 2024
Dependent type theory gives an expressive type system facilitating succinct formalizations of mathematical concepts. In practice, it is mainly used for interactive theorem proving with intensional type theories, with PVS being a notable exception. In
Externí odkaz:
http://arxiv.org/abs/2410.14232
Recently an extension to higher-order logic -- called DHOL -- was introduced, enriching the language with dependent types, and creating a powerful extensional type theory. In this paper we propose two ways how choice can be added to DHOL. We extend t
Externí odkaz:
http://arxiv.org/abs/2410.08874
Recent breakthroughs in machine learning and artificial intelligence, fueled by scientific data, are revolutionizing the discovery of new materials. Despite the wealth of existing scientific literature, the availability of both structured experimenta
Externí odkaz:
http://arxiv.org/abs/2410.03963
H$_2$O$_2$ is part of Europa's water-ice radiolytic cycle and a potential source of oxidants to Europa's subsurface ocean. However, factors controlling the concentration of this critical surface species remain unclear. Though laboratory experiments s
Externí odkaz:
http://arxiv.org/abs/2408.14639
An important testable prediction of dynamical instability models for the early evolution of the Solar System is that Jupiter Trojans share a source population with the Kuiper belt. Concrete evidence of this prediction remains elusive, as Kuiper belt
Externí odkaz:
http://arxiv.org/abs/2407.21168
Autor:
Low, Yen Sia, Jackson, Michael L., Hyde, Rebecca J., Brown, Robert E., Sanghavi, Neil M., Baldwin, Julian D., Pike, C. William, Muralidharan, Jananee, Hui, Gavin, Alexander, Natasha, Hassan, Hadeel, Nene, Rahul V., Pike, Morgan, Pokrzywa, Courtney J., Vedak, Shivam, Yan, Adam Paul, Yao, Dong-han, Zipursky, Amy R., Dinh, Christina, Ballentine, Philip, Derieg, Dan C., Polony, Vladimir, Chawdry, Rehan N., Davies, Jordan, Hyde, Brigham B., Shah, Nigam H., Gombar, Saurabh
Evidence to guide healthcare decisions is often limited by a lack of relevant and trustworthy literature as well as difficulty in contextualizing existing research for a specific patient. Large language models (LLMs) could potentially address both ch
Externí odkaz:
http://arxiv.org/abs/2407.00541
Autor:
Moradinasab, Nazanin, Shankman, Laura S., Deaton, Rebecca A., Owens, Gary K., Brown, Donald E.
Domain adaptive semantic segmentation aims to generate accurate and dense predictions for an unlabeled target domain by leveraging a supervised model trained on a labeled source domain. The prevalent self-training approach involves retraining the den
Externí odkaz:
http://arxiv.org/abs/2406.19225
Autor:
Blanks, Zachary, Brown, Donald E.
Quantifying the complexity and irregularity of time series data is a primary pursuit across various data-scientific disciplines. Sample entropy (SampEn) is a widely adopted metric for this purpose, but its reliability is sensitive to the choice of it
Externí odkaz:
http://arxiv.org/abs/2405.06112
Autor:
Davis, M. Ryleigh, Brown, Michael E.
Publikováno v:
The Planetary Science Journal (2024)
We examine high spatial resolution Galileo/NIMS observations of the young (~1 My - 20 My) impact features, Pwyll and Manann\'{a}n craters, on Europa's trailing hemisphere in an effort to constrain irradiation timescales. We characterize their composi
Externí odkaz:
http://arxiv.org/abs/2404.15474