Publications
-
Parallel Interhemispheric Processing in Hemineglect: Relation to Visual Field Defects
To study whether unconscious parallel processing depends on visual functional integrity, we compared the performance of neglect patients with visual field defects (VFDs) (n = 11) and hemianopic patients with partial or complete blindness…
-
The Verified Software Initiative: a Manifesto
We propose an ambitious and long-term research program toward the construction of error-free software systems.
-
Quantitative Comparison of Metrics for Change Detection in Video Patrolling Applications
This paper provides a comprehensive quantitative comparison of metrics for detecting visual anomalies between two videos that are recorded along same path but at different times by a camera on…
-
The Metacyc Database of Metabolic Pathways and Enzymes and the Biocyc Collection of Pathway/Genome Databases
Each BioCyc PGDB contains the predicted metabolic network of one organism, including metabolic pathways, enzymes, metabolites and reactions predicted by the Pathway Tools software using MetaCyc as a reference database.
-
Biodistribution, Toxicity and Radiation Dosimetry Studies of the Serotonin Transporter Radioligand 4-[18F]-ADAM in Rats and Monkeys
4-[18F]-ADAM is a potent serotonin transport imaging agent. We studied its toxicity in rats and radiation dosimetry in monkeys before human studies are undertaken.
-
Effects of Ramelteon and Triazolam in a Mouse Genetic Model of Early Morning Awakenings
We test the hypothesis that timed daily administration of a melatonin agonist, ramelteon, or a benzodiazepine, triazolam, normalizes the timing of daily wheel-running rhythms in early runner mice.
-
A Micropower Electrocardiogram Amplifier
We introduce an electrocardiogram (EKG) preamplifier with a power consumption of 2.8 muW, 8.1 muV rms input-referred noise, and a common-mode rejection ratio of 90 dB.
-
Reanalysis of tyrannosaurus rex mass spectra
We reanalyze Asara et al.s tandem mass spectra using a different search engine and different statistical tools.
-
Controlling error propagation in mobile-infrastructure based localization
This paper proposes a computationally efficient error control mechanism to mitigate the error propagation effect for mobile-infrastructure based localization
-
Learning communities in a large enterprise
This paper reports on our study of the deployment of online learning communities in a large enterprise of IT services.
-
GaN and InGaN(112_2) surfaces: group-III adlayers and indium incorporation
In this talk, the speaker will discuss PARC's approach to circuit design and modeling in the context of building sensor systems in partnership with Thinfilm Electronics based on an ink-jet…
-
Integrated plan tracking and prognosis 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.