Zobrazeno 1 - 10
of 687
pro vyhledávání: '"Zakowski, P"'
Mechanized verification of liveness properties for programs with effects, nondeterminism, and nontermination is difficult. Existing temporal reasoning frameworks operate on the level of models (traces, automata) not executable code, creating a verifi
Externí odkaz:
http://arxiv.org/abs/2410.14906
Publikováno v:
2024
This paper provides a novel approach to reconciling complex low-level memory model features, such as pointer--integer casts, with desired refinements that are needed to justify the correctness of program transformations. The idea is to use a "two-pha
Externí odkaz:
http://arxiv.org/abs/2404.16143
This paper introduces Choice Trees (ctrees), a monad for modeling nondeterministic, recursive, and impure programs in Coq. Inspired by Xia et al.'s itrees, this novel data structure embeds computations into coinductive trees with three kind of nodes:
Externí odkaz:
http://arxiv.org/abs/2211.06863
Autor:
S. Shojaei Khatouni, S. Zakowski, R. Hosseini Vedad, M. Masjedi, A. Askar, J. C. E. Ewald, H. K. Trieu
Publikováno v:
Journal of Sensors and Sensor Systems, Vol 13, Pp 147-155 (2024)
This paper presents the development and evaluation of four sensors based on multiple fiber Bragg grating (FBG) constellations embedded in a silicon dioxide single-mode fiber (SMF) for simultaneous measurement of pressure, temperature, and bending cur
Externí odkaz:
https://doaj.org/article/0c610d0a37364dbcbcea6a7baf5fc555
Publikováno v:
International Medical Education, Vol 3, Iss 2, Pp 171-179 (2024)
Junior faculty are often called upon to deliver high-stakes large-group presentations. Training in the skills needed to do this effectively is often lacking. We devised a 1.25 h coaching program. The coach analyzed a practice run of the presentation
Externí odkaz:
https://doaj.org/article/191df28154504b89a0f35c6c8b7e1452
Publikováno v:
BMC Health Services Research, Vol 23, Iss 1, Pp 1-10 (2023)
Abstract Introduction Strategies to achieve efficiency in non-operating room locations have been described, but emergencies and competing priorities in a birth unit can make setting optimal staffing and operation benchmarks challenging. This study us
Externí odkaz:
https://doaj.org/article/f608bc80942f4f658358a8a9b53a3e69
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.
Publikováno v:
California Agriculture, Vol 77, Iss 02, Pp 40-48 (2023)
California has experienced an increase in the size and severity of wildfires in recent years, with wide-ranging impacts to agriculture. The 2020 wildfire season was particularly catastrophic, causing billions of dollars in damage to the state's world
Externí odkaz:
https://doaj.org/article/1d38c51c30334c9e909c7354f83c5250
Coinductive reasoning about infinitary structures such as streams is widely applicable. However, practical frameworks for developing coinductive proofs and finding reasoning principles that help structure such proofs remain a challenge, especially in
Externí odkaz:
http://arxiv.org/abs/2001.02659
Autor:
Xia, Li-yao, Zakowski, Yannick, He, Paul, Hur, Chung-Kil, Malecha, Gregory, Pierce, Benjamin C., Zdancewic, Steve
"Interaction trees" (ITrees) are a general-purpose data structure for representing the behaviors of recursive programs that interact with their environments. A coinductive variant of "free monads," ITrees are built out of uninterpreted events and the
Externí odkaz:
http://arxiv.org/abs/1906.00046