Guarding the Guardians

Assuring the Guardians

Ultra-critical systems are growing more complex, and future systems are likely to be autonomous and cannot be assured by traditional means. Runtime Verification (RV) can act as the last line of defense to protect the public safety, but only if the RV system itself is trusted. In this paper, we describe a model-checking framework for runtime monitors. This tool is integrated into the Copilot lan...

Genome Guardians

Small RNAs bound by Argonaute proteins, such as piRNAs, have been shown in eukaryotes to silence foreign DNA elements like transposons by promoting the formation of heterochromatin. Other Argonaute-bound RNAs, such as microRNAs and siRNAs, induce posttranscriptional gene silencing. Homologs of Argonautes have been identified in prokaryotes, and bioinformatic analysis has suggested they may act ...

Guarding Art Galleries by Guarding Witnesses

Let P be a simple polygon. We define a witness set W to be a set of points such that if any (prospective) guard set G guards W , then it is guaranteed that G guards P . We show that not all polygons admit a finite witness set. If a finite minimal witness set exists, then it cannot contain any witness in the interior of P ; all witnesses must lie on the boundary of P , and there can be at most o...

Guarding the Body

Guarding the Gate

BACKGROUND Failed treatment trials are common in major depressive disorder and treatment-resistant depression, and remotely performed multifaceted, centralized structured interviews can potentially enhance signal detection by ensuring that enrolled patients meet eligibility criteria. METHODS We assessed the use of a specific remote structured interview that validated the diagnosis, level of t...