Publications
-
Time-Aware Relational Abstractions for Hybrid Systems
We present a technique to compute a time-aware relational abstraction for verifying (timing-related) safety properties of cyber-physical systems.
-
A Multicenter Evaluation of Oral Pressure Therapy for the Treatment of Obstructive Sleep Apnea
We aimed to evaluate the impact of a novel noninvasive oral pressure therapy (OPT) (Winx®, ApniCure) system on polysomnographic measures of sleep-disordered breathing, sleep architecture, and sleep stability in obstructive…
-
Logic and Epistemology in Safety Cases
-
Video Object Segmentation through Spatially Accurate and Temporally Dense Extraction of Primary Object Regions
In this paper, we propose a novel approach to extract primary object segments in videos in the ‘object proposal’ domain. The extracted primary object regions are then used to build…
-
Influence of Inhibitory Serotonergic Inputs to Orexin/Hypocretin Neurons on the Diurnal Rhythm of Sleep and Wakefulness
Inhibitory serotonergic input likely contributes to wakefulness bouts, affecting the diurnal rhythm of sleep and wakefulness.
-
Inquire Biology: A Textbook that Answers Questions
Inquire Biology provides unique capabilities through a knowledge representation that captures conceptual knowledge from the textbook and uses inference procedures to answer students’ questions.
-
A Vocabulary of Topological and Containment Relations for a Practical Biological Ontology
-
Outcomes from a Patient-Centered Residential Treatment Plan for Tobacco Dependence
-
Nicotine Reduces Established Levodopa-Induced Dyskinesias in a Monkey Model of Parkinson’s Disease
The goal of this study was to determine whether the duration of nicotine administration affects its ability to reduce LIDs in levodopa-primed and levadopa-naíve monkeys and also to test whether…
-
Novel Human Radiation Exposure Biomarker Panel Applicable for Patient Triage
A panel of only three proteins is sufficient to accurately distinguish an individual that was exposed to low-levels of ionizing radiation from an unexposed person. These findings have significant implications…
-
Dead End Metabolites – Defining the Known Unknowns of the E. coli Metabolic Network
We have analysed the occurrence of dead end metabolites within the database – these are metabolites which lack the requisite reactions (either metabolic or transport) that would account for their…
-
A Zero CO2-Emitting Process for Transportation Fuels from Coal and Natural Gas Resources
Simultaneous steam reforming of natural gas and conversion of coal to syngas was achieved in a gas-blown, electrically heated, entrained-flow gasifier. Conversions > 95% for both coal and natural gas…