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

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