Publications
-
Interpro: the Integrative Protein Signature Database
The InterPro database integrates together predictive models or ‘signatures’ representing protein domains, families and functional sites from multiple, diverse source databases
-
Ir and Raman Characterization of the Zincocenes (eta(5)-C5Me5)2Zn2 and (eta(5)-C5Me5)(eta(1)-C5Me5)Zn
The measured Raman and IR spectra of solid, polycrystalline bis(pentamethylcyclopentadienyl)dizinc, (eta(5)-C5Me5)2Zn2, 1, and bis(pentamethylcyclopentadienyl)monozinc, (eta(5)-C5Me5)(eta(1)-C5Me5)Zn, 8, are reported in some detail.
-
Levers For Improving Mathematics Learning In High-Poverty High Schools
-
On the Impossibility of Basing Identity Based Encryption on Trapdoor Permutations
We show that there is no black-box construction of IBE from Trapdoor Permutations (TDP) or even from Chosen Ciphertext Secure Public Key Encryption (CCA-PKE).
-
Robots in the Kitchen: Exploiting Ubiquitous Sensing and Actuation
Our goal is to develop intelligent service robots that operate in standard human environments, automating common tasks. In pursuit of this goal, we follow the ubiquitous robotics paradigm, in which intelligent perception…
-
Trust and Automation in Verification Tools
We argue that trust need not be achieved at the expense of automation, and outline a lightweight approach where the results of untrusted verifiers are checked by a trusted offline…
-
The Social Web: Research and Opportunity
Introduces the concepts in Augmented Social Cognition, and speaks to the research problems and opportunities in this line of research for scientists.
-
Software prediction of threshold voltage shift for amorphous silicon TFT-based displays
This paper deals with software compensation of threshold voltage shift (VT shift) in amorphous silicon based active matrix OLED displays by use of an external microcontroller.
-
Reducing behavior problems in the elementary school classroom: A practice guide
Designed for elementary school educators and school- and district-level administrators, this guide offers prevention, implementation, and schoolwide strategies that can be used to reduce problematic behavior that interferes with the…
-
Proactive path maintenance over regions of interest in MANETs
We present Elliptic Demarcation of Information Transfer (EDIT) as a scheme to maintain paths between a source and destination more robustly and limit signaling overhead incurred in mobile ad hoc…
-
On using existing time-use study data for ubiquitous computing applications
We show in this paper how data from these studies may be used to improve ubiquitous and mobile applications.
-
An improved approach for generating max-fault min-cardinality diagnoses
This paper presents a new direct approach to determining MFMC vectors which shows 4-5 orders of magnitude performance improvement over prior algorithms.