Publications
-
Roles of Insulin and Transferrin in Neural Progenitor Survival and Proliferation
In the current study, we examined the requirements for NSC proliferation and survival in vitro using the neurosphere culture system.
-
Hydrogen and magnesium incorporation on c-plane and m-plane GaN surfaces
We present first-principles calculations for m-plane and c-plane In0.25Ga0.75N surfaces, focusing on how the growth conditions affect indium incorporation.
-
An intelligent fitting room using multi-camera perception
In this paper, we describe the architecture of the vision system for the Responsive Mirror, a novel system for retail fitting rooms that enables online social fashion comparisons in physical…
-
Mobile recommendations for leisure activities
We demonstrate a context-aware mobile system for recommending information about leisure activities (Shopping, Eating, Doing, Seeing, and Reading), codenamed Magitti, which infers the users leisure activity from context and patterns…
-
A Brief Overview of PVS
Abstract PVS is now 15 years old, and has been extensively used in research, industry, and teaching. The system is very expressive, with unique features such as predicate subtypes, recursive…
-
Amperometric Gas Sensors – a Review
The amperometric gas sensor, or AGS, belongs to a large and important class of electrochemical gas sensors, and they play an ever-increasing role in environmental monitoring, medical and health applications,…
-
Using PFISR Measurements and Gravity Wave Dissipative Theory to Determine the Neutral, Background Thermospheric Winds
Understanding the propagation and dissipation of an atmospheric gravity wave (GW) in the thermosphere requires an accurate dissipative GW dispersion relation, the GW's horizontal wavelength and period, and the background…
-
Voice-Based Speaker Recognition Combining Acoustic and Stylistic Features
We present a survey of the state of the art in voice-based speaker identification research. We describe the general framework of a text-independent speaker verification system, and, as an example,…
-
Introduction to the 2nd Edition of the Workshop “Advances in Semantics for Web Services 2007” (Semantics4Ws 2007)
These proceedings contain the papers accepted for the 2nd edition of the workshop ”Advances in Semantics for Web services 2007” (semantics4ws 2007).
-
Large-Scale Many-Class Learning
We present novel online index learning algorithms. When compared to other approaches, including one-versus-rest and top-down learning and classification using support vector machines, we find that indexing is highly advantageous…
-
Lifting Abstract Interpreters to Quantified Logical Domains
We describe a general technique for building abstract interpreters over powerful universally quantified abstract domains that leverage existing quantifier-free domains.
-
SWIFFT: a Modest Proposal for FFT Hashing
We propose SWIFFT, a collection of compression functions that are highly parallelizable and admit very efficient implementations on modern microprocessors.