Zobrazeno 1 - 10
of 4 451
pro vyhledávání: '"Bayless A"'
Autor:
Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John
Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper introduces the first method to efficiently generate proofs of unsatisfiability specifically for an impor
Externí odkaz:
http://arxiv.org/abs/2401.10703
Spiral arms are one of the most important features used to classify the morphology of local galaxies. The cosmic epoch when spiral arms first appeared contains essential clues to the evolution of disk galaxies. In this letter, we used James Webb Spac
Externí odkaz:
http://arxiv.org/abs/2312.12389
For $k\ge1$, let $R_k(x)$ denote the reciprocal sum up to $x$ of numbers with $k$ prime factors, counted with multiplicity. In prior work, the authors obtained estimates for $R_k(x)$, extending Mertens' second theorem, as well as a finer-scale estima
Externí odkaz:
http://arxiv.org/abs/2303.06481
Autor:
Wiktorowicz, Sloane J., Słowikowska, Agnieszka, Nofi, Larissa A., Rider, Nicole, Wolfgang, Angie, Hermis, Ninos, Jontof-Hutter, Daniel, Bayless, Amanda J., Cole, Gary M., Crawford, Kirk B., Tsarev, Valeri V., Owens, Michael C., Jaramillo, Ernest G., Maul, Geoffrey A., Graham, James R., Millar-Blanchaer, Maxwell A., Bott, Kimberly, Mauerhan, Jon C.
The POLISH2 optical polarimeter has been in operation at the Lick Observatory 3-m Shane telescope since 2011, and it was commissioned at the Gemini North 8-m in 2016. This instrument primarily targets exoplanets, asteroids, and the Crab pulsar, but i
Externí odkaz:
http://arxiv.org/abs/2211.09279
Publikováno v:
Advances in Medical Education and Practice, Vol Volume 15, Pp 181-187 (2024)
Paul J Hershberger,1 Stacy R Flowers,1 Sharlo L Bayless,2 Katharine Conway,1 Timothy N Crawford1,3 1Department of Family Medicine, Wright State University Boonshoft School of Medicine, Dayton, OH, USA; 2Wright State University Boonshoft School of Med
Externí odkaz:
https://doaj.org/article/4703def769e44234a855dd9c8fd00742
Publikováno v:
Journal of Pediatric Pharmacology & Therapeutics. 2024, Vol. 29 Issue 6, p636-644. 9p.
Autor:
Hobbs, Kallie J.1 (AUTHOR) kjhobbs@ncsu.edu, Bayless, Rosemary2 (AUTHOR) rlbayles@ncsu.edu, Sheats, M. Katie1 (AUTHOR) mkpeed@ncsu.edu
Publikováno v:
Cells (2073-4409). Sep2024, Vol. 13 Issue 17, p1489. 12p.
Autor:
Bayless, Amanda J., Fryer, Chris, Brown, Peter J., Young, Patrick, Roming, Pete, Davis, Michael, Lechner, Thomas, Slocum, Samuel, Echon, Janie D., Froning, Cynthia
There are currently many large-field surveys operational and planned including the powerful Vera C. Rubin Observatory Legacy Survey of Space and Time. These surveys will increase the number and diversity of transients dramatically. However, for some
Externí odkaz:
http://arxiv.org/abs/2112.01432
Publikováno v:
In Applied Geochemistry September 2024 170
Publikováno v:
In Children and Youth Services Review August 2024 163