Zobrazeno 1 - 10
of 546
pro vyhledávání: '"A. Grannan"'
Autor:
J. Dooling, M. Borland, W. Berg, J. Calvey, G. Decker, L. Emery, K. Harkay, R. Lindberg, G. Navrotksi, V. Sajaev, S. Shoaf, Y. P. Sun, K. P. Wootton, A. Xiao, A. Grannan, A. H. Lumpkin
Publikováno v:
Physical Review Accelerators and Beams, Vol 25, Iss 4, p 043001 (2022)
The Advanced Photon Source (APS) team is building a fourth-generation storage ring (4GSR), replacing the present double-bend achromat lattice with a multibend achromat system thereby allowing the production of ultrabright x-ray beams. The new lattice
Externí odkaz:
https://doaj.org/article/1935f2ad92b34d748990c750439f319b
Specifications for modular program verifiers are expressed as constraints on program states (e.g. preconditions) and relations on program states (e.g. postconditions). For programs whose domain is managing resources of any kind (e.g. cryptocurrencies
Externí odkaz:
http://arxiv.org/abs/2304.12530
Autor:
Ashty S. Karim, Dylan M. Brown, Chloé M. Archuleta, Sharisse Grannan, Ludmilla Aristilde, Yogesh Goyal, Josh N. Leonard, Niall M. Mangan, Arthur Prindle, Gabriel J. Rocklin, Keith J. Tyo, Laurie Zoloth, Michael C. Jewett, Susanna Calkins, Neha P. Kamat, Danielle Tullman-Ercek, Julius B. Lucks
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-14 (2024)
Abstract Synthetic biology allows us to reuse, repurpose, and reconfigure biological systems to address society’s most pressing challenges. Developing biotechnologies in this way requires integrating concepts across disciplines, posing challenges t
Externí odkaz:
https://doaj.org/article/65b629648b2a423697700487a37f6292
We develop a probabilistic framework for joint simulation of short-term electricity generation from renewable assets. In this paper we describe a method for producing hourly day-ahead scenarios of generated power at grid-scale across hundreds of asse
Externí odkaz:
http://arxiv.org/abs/2205.04736
Autor:
Hanbin Cho, Moaad Benjaber, C. Alexis Gkogkidis, Marina Buchheit, Juan F. Ruiz-Rodriguez, Benjamin L. Grannan, Kurt E. Weaver, Andrew L. Ko, Steven C. Cramer, Jeffrey G. Ojemann, Timothy Denison, Jeffrey A. Herron
Publikováno v:
IEEE Transactions on Neural Systems and Rehabilitation Engineering, Vol 32, Pp 3625-3635 (2024)
With the development and characterization of biomarkers that may reflect neural network state as well as a patient’s clinical deficits, there is growing interest in more complex stimulation designs. While current implantable neuromodulation systems
Externí odkaz:
https://doaj.org/article/795cc6a78df84236840e5c3397d2b4dd
We introduce REST, a novel term rewriting technique for theorem proving that uses online termination checking and can be integrated with existing program verifiers. REST enables flexible but terminating term rewriting for theorem proving by: (1) expl
Externí odkaz:
http://arxiv.org/abs/2202.05872
Autor:
Bonda, David, Kelly, Katherine A., Boop, Scott, Feroze, Abdullah H., Randle, Stephanie C., Bindschadler, Mike, Marashly, Ahmad, Owens, James, Lockrow, Jason, Bozarth, Xiuhua, Novotny, Edward, Friedman, Seth, Goldstein, Hannah E., Grannan, Benjamin L., Durfy, Sharon, Ojemann, Jeffrey G., Ko, Andrew L., Hauptman, Jason S.
Publikováno v:
In World Neurosurgery May 2024 185:e631-e639
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Understanding large scale circulations (LSCs) in turbulent convective systems is important for the study of stars, planets and in many industrial applications. The canonical model of the LSC is quasi-planar with additional horizontal sloshing and tor
Externí odkaz:
http://arxiv.org/abs/1808.10598