Zobrazeno 1 - 10
of 9 956
pro vyhledávání: '"A. Flatt"'
Autor:
Zhong, Peter, You, Shu-Hung, Campanoni, Simone, Findler, Robert Bruce, Flatt, Matthew, Dimoulas, Christos
In Racket, the LLVM IR, Rust, and other modern languages, programmers and static analyses can hint, with special annotations, that certain parts of a program are unreachable. Same as other assumptions about undefined behavior; the compiler assumes th
Externí odkaz:
http://arxiv.org/abs/2407.04917
Structural build-up in fresh cement paste at rest is characterized by time evolutions of storage modulus and yield stress, which both increase linearly in time during the induction period of hydration, followed by an exponential evolution after enter
Externí odkaz:
http://arxiv.org/abs/2404.02850
Autor:
Zhang, Yihong, Wang, Yisu Remy, Flatt, Oliver, Cao, David, Zucker, Philip, Rosenthal, Eli, Tatlock, Zachary, Willsey, Max
We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, it supports efficient incremental execution, cooperating analyses, and lattice-based reasoning. Like EqSat, it supports term rewriting,
Externí odkaz:
http://arxiv.org/abs/2304.04332
Autor:
Sarah Wicks, Christopher Beirne, Cristina Azzopardi Schellmann, Eleanor Flatt, Sandy Quirós Beita, Rigoberto Pereira Rocha, Andrew Whitworth
Publikováno v:
Neotropical Biology and Conservation, Vol 19, Iss 3, Pp 379-392 (2024)
The sparsity of post-translocation monitoring data for rehabilitated felids leaves a pressing gap in our current understanding of their integration into and use of novel landscapes. Remote monitoring tools such as GPS collars can provide crucial insi
Externí odkaz:
https://doaj.org/article/bf53775eee8b4bd9b8047c105f38f93d
Publikováno v:
Arquivos Brasileiros de Cardiologia, Vol 121, Iss 5 (2024)
Resumo Fundamento O tecido adiposo visceral (TAV) pode ser um contribuinte modificável específico para o comprometimento autonômico relacionado à composição corporal. Objetivos Comparar a variabilidade da frequência cardíaca (VFC) entre grupo
Externí odkaz:
https://doaj.org/article/46e0dc39263c4f049ddcd8cc67c27241
Autor:
Riccardo Manca, Jhon Alexander Moreno, Alessandra Nicoletti, Neil J. Henderson, Jason D. Flatt
Publikováno v:
Frontiers in Human Neuroscience, Vol 18 (2024)
Externí odkaz:
https://doaj.org/article/9767a5dc158141a896f35023c461716c
Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to enable verification and conflict clause generation. Smaller proof certificates speed up th
Externí odkaz:
http://arxiv.org/abs/2209.03398
Autor:
Dinh T. Nguyen, Lingyang Zhu, Danielle L. Gray, Toby J. Woods, Chandrashekhar Padhi, Kristen M. Flatt, Douglas A. Mitchell, Wilfred A. van der Donk
Publikováno v:
ACS Central Science, Vol 10, Iss 5, Pp 1022-1032 (2024)
Externí odkaz:
https://doaj.org/article/863a59fb381046c2bfa098527855dc53
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-8 (2024)
Abstract Critical coupling in integrated photonic devices enables the efficient transfer of energy from a waveguide to a resonator, a key operation for many applications. This condition is achieved when the resonator loss rate is equal to the couplin
Externí odkaz:
https://doaj.org/article/73b3373e91b7451889ef14ced25e2258
Autor:
R. Jean Cadigan, Margaret Waltz, John M. Conley, Rami M. Major, Elizabeth K. Branch, Eric T. Juengst, Michael A. Flatt
Publikováno v:
New Genetics and Society, Vol 43, Iss 1 (2024)
Heritable human genome editing has garnered significant attention in scholarly and lay media, yet questions remain about whether, when, and how heritable genome editing ought to proceed. Drawing on interviews with scientists who use genome editing in
Externí odkaz:
https://doaj.org/article/0048ad613c944b879ffae611dc1da541