Learn More
Many modern applications are built by combining independently developed packages and services that are distributed over many machines with complex inter-dependencies. The assembly, installation, and management of such applications is hard, and usually performed either manually or by writing customized scripts. We present Engage, a system for configuring,(More)
Proton magnetic resonance spectroscopy ((1)HMRS) is an in vivo brain imaging method that can be used to investigate psychotropic drug mechanism of action. This study evaluated baseline (1)HMRS spectra of bipolar depressed patients and whether the level of cerebral metabolites changed after an open trial of lamotrigine, an anti-glutamatergic mood stabilizer.(More)
Dysfunctions in prefrontal cortical networks are thought to underlie working memory (WM) impairments consistently observed in both subjects with bipolar disorder and schizophrenia. It remains unclear, however, whether patterns of WM-related hemodynamic responses are similar in bipolar and schizophrenia subjects compared to controls. We used fMRI to(More)
OBJECTIVE Although several lines of evidence implicate gray matter abnormalities in the prefrontal cortex and anterior cingulate cortex in patients with bipolar disorder, findings have been largely inconsistent across studies. Differences in patients' medication status or mood state or the application of traditional volumetric methods that are insensitive(More)
Functional neuroimaging studies have implicated the involvement of the amygdala and ventrolateral prefrontal cortex (vlPFC) in the pathophysiology of bipolar disorder. Hyperactivity in the amygdala and hypoactivity in the vlPFC have been reported in manic bipolar patients scanned during the performance of an affective faces task. Whether this pattern of(More)
The <i>event-driven</i> programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program maintenance and understanding, as it requires each logical flow of control to be fragmented across multiple independent <i>callbacks</i>. We propose <i>tasks</i> as a new(More)
Microsporidia are obligate intracellular parasites that are ubiquitous in nature and have been recognized as causing an important emerging disease among immunocompromised individuals. Limited knowledge exists about the immune response against these organisms, and virtually nothing is known about the receptors involved in host recognition. Toll-like(More)
Dataflow analyses sacrifice path-sensitivity for efficiency and lead to false positives when used for verification. Predicate refinement based model checking methods are path-sensitive but must perform many expensive iterations to find all the relevant facts about a program, not all of which are naturally expressed and analyzed using predicates. We show how(More)
OBJECTIVES The inferior frontal cortical-striatal network plays an integral role in response inhibition in normal populations. While inferior frontal cortex (IFC) impairment has been reported in mania, this study explored whether this dysfunction persists in euthymia. METHODS Functional magnetic resonance imaging (fMRI) activation was evaluated in 32(More)