Zobrazeno 1 - 10
of 656
pro vyhledávání: '"Scott Dana"'
Autor:
Ulrike Egerer, Scott Dana, David Jager, Geng Xia, Brooke J. Stanislawski, Shashank Yellapantula
Publikováno v:
Scientific Data, Vol 11, Iss 1, Pp 1-15 (2024)
Abstract Wind loading is a primary contributor to structural design costs of concentrating solar-thermal power collectors, such as heliostats and parabolic troughs. These structures must resist the mechanical forces generated by turbulent wind, while
Externí odkaz:
https://doaj.org/article/d2814e286d2f46f0b46d01fd98300b30
Publikováno v:
Intelligent Computer Mathematics (CICM 2023). Lecture Notes in Computer Science, vol 14101, pp. 69-83. Springer, Cham
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic embedding of category theory by providing a formalization of the noti
Externí odkaz:
http://arxiv.org/abs/2306.09074
We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. The notion of equality has
Externí odkaz:
http://arxiv.org/abs/2112.06339
A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the derivative, which is inspired by Ehrenfeucht-Fra\"iss\'e games. In thi
Externí odkaz:
http://arxiv.org/abs/1910.12863
Publikováno v:
In Teaching and Learning in Nursing April 2023 18(2):349-352
Autor:
de Wit, Emmie, Feldmann, Friederike, Cronin, Jacqueline, Goldin, Kerry, Mercado-Hernandez, Reinaldo, Williamson, Brandi N., Meade-White, Kimberly, Okumura, Atsushi, Callison, Julie, Weatherman, Sarah, Rosenke, Rebecca, Avanzato, Victoria A., Lovaglio, Jamie, Scott, Dana P., Marzi, Andrea, Feldmann, Heinz
Publikováno v:
In eBioMedicine January 2023 87
Autor:
Fischer, Robert J, Bushmaker, Trenton, Williamson, Brandi N, Pérez-Pérez, Lizzette, Feldmann, Friederike, Lovaglio, Jamie, Scott, Dana, Saturday, Greg, Feldmann, Heinz, Munster, Vincent J, Wit, Emmie de, Doremalen, Neeltje van
Publikováno v:
Journal of Infectious Diseases; 9/15/2024, Vol. 230 Issue 3, p657-661, 5p
Autor:
Haddock, Elaine, Saturday, Greg, Feldmann, Friederike, Hanley, Patrick W., Okumura, Atsushi, Lovaglio, Jamie, Long, Dan, Thomas, Tina, Scott, Dana P., Pulliam, Mikayla, Richt, Jürgen A., de Wit, Emmie, Feldmann, Heinz
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2021 Jan 01. 118(2), 1-7.
Externí odkaz:
https://www.jstor.org/stable/27005949
Autor:
de Wit, Emmie, Feldmann, Friederike, Cronin, Jacqueline, Jordan, Robert, Okumura, Atsushi, Thomas, Tina, Scott, Dana, Cihlar, Tomas, Feldmann, Heinz
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2020 Mar . 117(12), 6771-6776.
Externí odkaz:
https://www.jstor.org/stable/26929594
Autor:
Benzmüller, Christoph, Scott, Dana S.
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive p
Externí odkaz:
http://arxiv.org/abs/1609.01493