Výsledky vyhledávání - "Moeller, Mark"

Report

KATch: A Fast Symbolic Verifier for NetKAT

Autor: Moeller, Mark, Jacobs, Jules, Belanger, Olivier Savary, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our results extend the techniques obtained in prior work on symbolic automata an

Externí odkaz: http://arxiv.org/abs/2404.04760

Zobrazit plný text záznamu

Akademický článek

Physician Stress During Electronic Health Record Inbox Work: In Situ Measurement With Wearable Sensors

Autor: Akbar, Fatema, Mark, Gloria, Prausnitz, Stephanie, Warton, E Margaret, East, Jeffrey A, Moeller, Mark F, Reed, Mary E, Lieu, Tracy A

Publikováno v: JMIR Medical Informatics, Vol 9, Iss 4, p e24014 (2021)

BackgroundIncreased work through electronic health record (EHR) messaging is frequently cited as a factor of physician burnout. However, studies to date have relied on anecdotal or self-reported measures, which limit the ability to match EHR use patt

Externí odkaz: https://doaj.org/article/586174c03616413c87ef7731de578c74

Zobrazit plný text záznamu

Using varied forms of communication to enhance worship engagement at First Baptist Church of San Angelo, Texas

Autor: Moeller, Mark L.

Publikováno v: Theological Research Exchange Network (TREN) Access this title online.

Thesis (D.W.S.)--Institute for Worship Studies, 2003.
Includes bibliographical references (leaves 126-130).

Externí odkaz: http://www.tren.com

Zobrazit plný text záznamu

Automata Learning with an Incomplete Teacher

Autor: Moeller, Mark, Wiener, Thomas, Solko-Breslin, Alaia, Koch, Caleb, Foster, Nate, Silva, Alexandra

The preceding decade has seen significant interest in use of active learning to build models of programs and protocols. But existing algorithms assume the existence of an idealized oracle - a so-called Minimally Adequate Teacher (MAT) - that cannot b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::efd86c9f9d6be4cb89dcf91c41799079

Zobrazit plný text záznamu

Automata Learning with an Incomplete Teacher (Artifact)

Autor: Moeller, Mark, Wiener, Thomas, Solko-Breslin, Alaia, Koch, Caleb, Foster, Nate, Silva, Alexandra

We provide an implementation of the automata learning software described in the associated ECOOP article. In particular, the artifact is a Docker image with the source code for nerode and nerode-learn, along with the scripts and benchmark inputs need

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::85639361f128311de072610107d32571

Zobrazit plný text záznamu

Dissertation/ Thesis

Measurement of unsteady forces on a circular cylinder in cross flow at subcritical Reynolds numbers

Autor: Moeller, Mark Jay

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Ocean Engineering, 1983.
MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING.
Vita.
Includes bibliographical references.
by Mark Jay Moeller.
Ph.D.

Externí odkaz: http://hdl.handle.net/1721.1/118101

Zobrazit plný text záznamu