Publications
-
Prosodic phonology in LFG: a new proposal
In this paper we outline a new architecture for modeling the interaction between syntax and prosody.
-
Integrated diagnosis and plan assessment for autonomous production processes
In this paper, we propose a method to integrate diagnosis with plan assessment to prevent plan failure, and to gain diagnostic information when needed.
-
User initiated learning for adaptive interfaces
We describe the knowledge representation and reasoning required to replace the expert, so as to automatically generate labeled training examples, select features, and learn the required concept.
-
User initiated learning for adaptive interfaces
We address this shortcoming by developing a framework for user-initiated learning (UIL), where the end user can define new learning tasks, after which the system automatically generates a learning component,…
-
A depth-first approach to target-value search
In this paper, we consider how to improve the scalability and efficiency of target-value-path search on directed acyclic graphs.
-
Computationally efficient tiered inference for multiple fault diagnosis
This paper proposes an efficient computation structure for statistical diagnosis featuring two main ideas.
-
Automated redesign with the general redesign engine
Abstract Given a system design SD, a key task is to optimize this design with respect to minimizing the probability of failures, e.g., catastrophic failures. We consider the task of…
-
Working and Episodic Memory in HIV Infection, Alcoholism, and Their Comorbidity: Baseline and 1-Year Follow-Up Examinations
Selective memory deficits occur in individuals with human immunodeficiency virus (HIV) infection and those with chronic alcoholism, but the potential compounded effect of these conditions is seldom considered, despite the…
-
Zebrafish Chemical Screening Reveals an Inhibitor of Dusp6 That Expands Cardiac Cell Lineages
The dual-specificity phosphatase 6 (Dusp6) functions as a feedback regulator of fibroblast growth factor (FGF) signaling to limit the activity of extracellular signal–regulated kinases (ERKs) 1 and 2.
-
Coordinating Asynchronous and Open Distributed Systems Under Semiring-Based Timing Constraints
We focus on coordinating actors and roles through message manipulations based on event-based timing constraints. In addition, different types of timing constraints are generalized into a semiring-based constraint structure; and…
-
Calculating Protoplanet Collisions in the Early Solar System
We study shock-synthesized high-pressure phases in meteorites in infer the conditions under which they formed. These phase are found in or adjacent to locally melted veins or pockets that formed…
-
Cellular and Genetic Mechanisms Involved in the Generation of Protective and Pathogenic Immune Responses in Human Chagas Disease
Perhaps one of the most intriguing aspects of human Chagas disease is the complex network of events that underlie the generation of protective versus pathogenic immune responses during the chronic…