Sanjay Mittal

Learn More
A precise def in i t ion is provided for general configurat ion tasks. Two important assumptions are ident i f ied: (i) functional architecture and (ii) key component per funct ion. A domainindependent model is presented based on these assumptions. These assumptions are shown to be both useful and tenable in real domains. They are useful because they l imit(More)
In this article, we present a programming language for expressing classificatory problem solvers. CSRL (Conceptual Structures Representation Language) provides structures for representing classification trees, for navigating within those trees, and for encoding uncertainty judgments about the presence of hypotheses. We discuss the motivations, theory, and(More)
BACKGROUND Although the diagnosis of Creutzfeld-Jakob disease (CJD) is straightforward in fully developed cases, a definitive diagnosis can be difficult early in the course of the illness. T2-weighted magnetic resonance imaging (MRI) signal abnormalities, and recently, diffusion-weighted MRI abnormalities, have been described in patients with CJD,(More)
A prospective analysis of all new pediatric cases of chronic renal failure (CRF) was performed at our hospital over a 1-year period. The diagnosis of CRF was based on serum creatinine >2 mg/dl with supportive clinical, laboratory, and radiological findings. There were a total of 48 patients with CRF with a median age of 13 years (range 10 days to 16 years).(More)
Many design problems can be formulated as a process of searching a “well-defined” space of artifacts with similar functionality. The dimensions of such spaces are largely known and are constrained by relations obtained from the implicit functionality of the designed artifact. After identifying the kinds of knowledge that mediate the search for acceptable(More)
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they extended and debugged small knowledge systems in a simulated economics domain called Truckin Everyone learned how to use the Loops environment, formulated the knowledge for their own program, and represented it in Loops At the end(More)
Constraint satisfaction (CSP) is a powerful and extensively used framework for describing search problems. A CSP is typically defined as the problem of finding consistent assignment of values to a fixed set of variables given some constraints over these variables. However, for many synthesis tasks such as configuration and model composition, the set of(More)
OBJECTIVE ANTHEM-HF evaluated a novel autonomic regulation therapy (ART) via either left or right vagus nerve stimulation (VNS) in patients with heart failure (HF) and reduced ejection fraction (HFrEF). METHODS AND RESULTS Sixty subjects (New York Heart Association [NYHA] functional class II-III, left ventricular ejection fraction (LVEF) ≤ 40%, left(More)