Zobrazeno 1 - 10
of 8 618
pro vyhledávání: '"A, Cowles"'
Correctness proofs for floating point programs are difficult to verify. To simplify the task, a similar, but less complex system, known as logarithmic arithmetic can be used. The Boyer-Moore Theorem Prover, NQTHM, mechanically verified the correctnes
Externí odkaz:
http://arxiv.org/abs/2411.12923
Autor:
Ashley Steuer, Jason Fritzler, SaraBeth Boggan, Ian Daniel, Bobby Cowles, Cory Penn, Richard Goldstein, Dan Lin
Publikováno v:
Parasites & Vectors, Vol 17, Iss 1, Pp 1-11 (2024)
Abstract Background Current methods for obtaining fecal egg counts in horses are often inaccurate and variable depending on the analyst’s skill and experience. Automated digital scanning of fecal sample slides integrated with analysis by an artific
Externí odkaz:
https://doaj.org/article/5c582c6850ff4852876fc0af6d336908
Publikováno v:
Frontiers in Veterinary Science, Vol 11 (2024)
Abnormal blood glucose (BG) levels often seen in critically ill horses are significantly associated with adverse patient outcomes and increased mortality. Rapid and accurate BG monitoring is now considered an essential component of evidence-based equ
Externí odkaz:
https://doaj.org/article/9a62d16fa39d4a709d2335cfe063f78f
Autor:
Fred O. Omondi, MBChB, Meghan K. Murphy, DO, Moselle M. Stark, MD, Cheryl B. Cowles, MD, Phillip C. Greig, MD, Benoît J. Ndikumana, MMed (Obs & Gyn), Robert K. Parker, MD, MPH
Publikováno v:
AJOG Global Reports, Vol 4, Iss 3, Pp 100370- (2024)
Background: Twin pregnancies are associated with higher risks of adverse neonatal outcomes compared to singleton pregnancies. The choice of delivery mode, when twin A presents cephalic, remains a subject of debate. In low- and middle-income countries
Externí odkaz:
https://doaj.org/article/cda7166e5e5143fe846f5cc4daec5de2
Autor:
Omondi, Fred O., Murphy, Meghan K., Stark, Moselle M., Cowles, Cheryl B., Greig, Phillip C., Ndikumana, Benoît J., Parker, Robert K.
Publikováno v:
In AJOG Global Reports August 2024 4(3)
Autor:
Charles, Cristie Cowles
Publikováno v:
BYU Studies, 2023 Jan 01. 62(1), 169-175.
Externí odkaz:
https://www.jstor.org/stable/48772105
Autor:
Melisa Pasli, Sara Cowles, Jasmin Jo, Mahmoud Yaqoub, Hilal A. Kanaan, Andrew W. Ju, Sean Peach
Publikováno v:
Journal of Contemporary Brachytherapy, Vol 15, Iss 5, Pp 365-371 (2023)
The purpose of this report is to present the first documented application of GammaTile to an intra-cranial tumor of a patient with a symptomatic radiosensitive connective tissue disorder, a case where there were significant concerns with standard onc
Externí odkaz:
https://doaj.org/article/f87bbc793b9749fb957678dc8170f833
Publikováno v:
In Journal of Molecular Spectroscopy June-July 2024 402
Autor:
Kidambi, Sumanth *, Moye, Stephen C. *, Lee, James *, Cowles, Teaghan H. *, Strong, E. Brandon *, Wilkerson, Rob *, Paulsen, Michael J. *, Woo, Y. Joseph *, Ma, Michael R. *
Publikováno v:
In Seminars in Thoracic and Cardiovascular Surgery Summer 2024 36(2):216-229
Autor:
Stone, Kevin R., Walgenbach, Ann W., Slatter, Shadera, Turek, Thomas J., Ferguson-Dryden, Caroline, Dicker, Marie, Miltenberger, Emma, Cowles, Haley, Liu, Vivian, Wu, Stephanie, Vessal, Mani
Publikováno v:
In Arthroscopy: The Journal of Arthroscopic and Related Surgery June 2024