Zobrazeno 1 - 10
of 18 775
pro vyhledávání: '"Morris, J A"'
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features from subtyping to modular combination of case branches. Our goal is the modular com
Externí odkaz:
http://arxiv.org/abs/2410.11742
Autor:
Morris, J. R.
Publikováno v:
Phys.Lett.B 847 (2023) 138325
A modified Reissner-Nordstr\"om spacetime is considered here, where the central object (for example, a black hole or naked singularity) possesses a mass, with an ordinary, i.e., Standard Model (SM) electric charge, along with a dark electric charge a
Externí odkaz:
http://arxiv.org/abs/2311.10890
Publikováno v:
Advances in Medical Education and Practice, Vol Volume 15, Pp 1059-1067 (2024)
Stephanie Stroever,1 Colten Lanning,2 Miloš Buhavac,3 Cameran Mecham,4 Andrea Weitz,4 Frank Frankovsky,2 Andres Rios,2 James Morris5 1Department of Medical Education, Texas Tech University Health Sciences Center School of Medicine, Lubbock, TX, USA;
Externí odkaz:
https://doaj.org/article/ab8b7e61223844119c296ca40d0e6b50
We propose a novel approach to soundly combining linear types with effect handlers. Linear type systems statically ensure that resources such as file handles are used exactly once. Effect handlers provide a modular programming abstraction for impleme
Externí odkaz:
http://arxiv.org/abs/2307.09383
Autor:
Hubers, Alex, Morris, J. Garrett
We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and variant subtyping, record extension, and modular composition of case branche
Externí odkaz:
http://arxiv.org/abs/2307.08759
Autor:
Maher A, Bennett M, Huang HCC, Gaughwin P, Johnson M, Brady M, Patterson K, Buettikofer T, Morris J, Rainbird VM, Mitchell I, Bissett B
Publikováno v:
Journal of Multidisciplinary Healthcare, Vol Volume 17, Pp 3981-3991 (2024)
Allison Maher,1 Michelle Bennett,1 Hsin-Chia Carol Huang,1,2 Philip Gaughwin,1,3 Mary Johnson,1 Madeleine Brady,1 Kacie Patterson,1,3 Tanya Buettikofer,1,3 Jo Morris,1 Veronica Mary Rainbird,3 Imogen Mitchell,1,2 Bernie Bissett1,3 1Rehabilitation and
Externí odkaz:
https://doaj.org/article/be261e605a3b48deb67f796333a9fabb
Autor:
Jun, Inyoung, Marini, Simone, Boucher, Christina A., Morris, J. Glenn, Bian, Jiang, Prosperi, Mattia
Bacterial infections are responsible for high mortality worldwide. Antimicrobial resistance underlying the infection, and multifaceted patient's clinical status can hamper the correct choice of antibiotic treatment. Randomized clinical trials provide
Externí odkaz:
http://arxiv.org/abs/2207.07458
Publikováno v:
Frontiers in Endocrinology, Vol 15 (2024)
Hypertension affects one-third of the adult population worldwide, with primary aldosteronism (PA) accounting for at least 5-10% of these cases. The aldosterone synthase enzyme (CYP11B2) plays a pivotal role in PA manifestation, as increased expressio
Externí odkaz:
https://doaj.org/article/4d4ae6fdc7b84ba19ae243f08804095f
Autor:
Stephen E Flaherty III, Olivier Bezy, Brianna LaCarubba Paulhus, LouJin Song, Mary Piper, Jincheng Pang, Yoson Park, Shoh Asano, Yu-Chin Lien, John D Griffin, Andrew Robertson, Alan Opsahl, Dinesh Hirenallur Shanthappa, Youngwook Ahn, Evanthia Pashos, Rebecca A Simmons, Morris J Birnbaum, Zhidan Wu
Publikováno v:
eLife, Vol 12 (2024)
From a forward mutagenetic screen to discover mutations associated with obesity, we identified mutations in the Spag7 gene linked to metabolic dysfunction in mice. Here, we show that SPAG7 KO mice are born smaller and develop obesity and glucose into
Externí odkaz:
https://doaj.org/article/4c48137f953943ab9ab7d2ee4fda5031
Autor:
Morris, J. R.
Publikováno v:
Annals Phys. 438 (2022) 168782
Energy minimizing BPS equations and solutions are obtained for a class of models in Maxwell-scalar theory, where an abelian electric charge is immersed in an effective dielectric of a real scalar field. The first order BPS equations are developed usi
Externí odkaz:
http://arxiv.org/abs/2202.03988