Zobrazeno 1 - 10
of 6 224
pro vyhledávání: '"MacBeth, A."'
Interactive proof assistants make it possible for ordinary mathematicians to write definitions and theorems in a formal proof language, like a programming language, so that a computer can parse them and check them against the rules of a formal axioma
Externí odkaz:
http://arxiv.org/abs/2411.11885
Autor:
Laliotis, Katherine, Macbeth, Emily, Hirata, Christopher M., Cao, Kaili, Yamamoto, Masaya, Troxel, Michael
The Nancy Grace Roman Space Telescope, set to launch in 2026, will bring unprecedented precision to measurements of weak gravitational lensing. Because weak lensing is an inherently small signal, it is imperative to minimize systematic errors in meas
Externí odkaz:
http://arxiv.org/abs/2410.11088
Autor:
Cao, Kaili, Hirata, Christopher M., Laliotis, Katherine, Yamamoto, Masaya, Macbeth, Emily, Troxel, M. A.
The Nancy Grace Roman Space Telescope will implement a devoted weak gravitational lensing program with its High Latitude Wide Area Survey. For cosmological purposes, a critical step in Roman image processing is to combine dithered undersampled images
Externí odkaz:
http://arxiv.org/abs/2410.05442
Autor:
Macbeth, Heather
I analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. I note two aspects where good style seems to differ between the two: in their incorporation of com
Externí odkaz:
http://arxiv.org/abs/2405.04699
Autor:
Macbeth, Heather
We prove an $L^2$ estimate for the drift heat equation on a complete gradient shrinking Ricci soliton. This estimate has a time-dependent weight which is Gaussian in its spatial asymptotics. When transferred and scaled to an estimate for the heat equ
Externí odkaz:
http://arxiv.org/abs/2402.03304
Publikováno v:
In Current Problems in Diagnostic Radiology January-February 2025 54(1):108-114
Autor:
Yamamoto, Masaya, Laliotis, Katherine, Macbeth, Emily, Zhang, Tianqing, Hirata, Christopher M., Troxel, M. A., Cao, Kaili, Choi, Ami, Givans, Jahmour, Heitmann, Katrin, Ishak, Mustapha, Jarvis, Mike, Kovacs, Eve, Long, Heyang, Mandelbaum, Rachel, Park, Andy, Porredon, Anna, Walter, Christopher W., Wood-Vasey, W. Michael
One challenge for applying current weak lensing analysis tools to the Nancy Grace Roman Space Telescope is that individual images will be undersampled. Our companion paper presented an initial application of Imcom - an algorithm that builds an optima
Externí odkaz:
http://arxiv.org/abs/2303.08750
Autor:
Hirata, Christopher M., Yamamoto, Masaya, Laliotis, Katherine, Macbeth, Emily, Troxel, M. A., Zhang, Tianqing, Cao, Kaili, Choi, Ami, Givans, Jahmour, Heitmann, Katrin, Ishak, Mustapha, Jarvis, Mike, Kovacs, Eve, Long, Heyang, Mandelbaum, Rachel, Park, Andy, Porredon, Anna, Walter, Christopher W., Wood-Vasey, W. Michael
The upcoming Nancy Grace Roman Space Telescope will carry out a wide-area survey in the near infrared. A key science objective is the measurement of cosmic structure via weak gravitational lensing. Roman data will be undersampled, which introduces ne
Externí odkaz:
http://arxiv.org/abs/2303.08749
Publikováno v:
In Journal of Affective Disorders 15 January 2025 369:995-1003
Autor:
Jianhong Hu, Viktoriya Korchina, Hana Zouk, Maegan V. Harden, David Murdock, Alyssa Macbeth, Steven M. Harrison, Niall Lennon, Christie Kovar, Adithya Balasubramanian, Lan Zhang, Gauthami Chandanavelli, Divya Pasham, Robb Rowley, Ken Wiley, Maureen E. Smith, Adam Gordon, Gail P. Jarvik, Patrick Sleiman, Melissa A. Kelly, Harris T. Bland, Mullai Murugan, Eric Venner, Eric Boerwinkle, the eMERGE III consortium, Cynthia Prows, Lisa Mahanta, Heidi L. Rehm, Richard A. Gibbs, Donna M. Muzny
Publikováno v:
BMC Research Notes, Vol 17, Iss 1, Pp 1-8 (2024)
Abstract Objective Data from DNA genotyping via a 96-SNP panel in a study of 25,015 clinical samples were utilized for quality control and tracking of sample identity in a clinical sequencing network. The study aimed to demonstrate the value of both
Externí odkaz:
https://doaj.org/article/3d38e5b62ab94770bb1d2b0b1ce48ef7