Publications
-
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.
-
Reports of the AAAI 2008 Spring Symposia
The goal of the AI Meets Business Rules and Process Management AAAI symposium was to investigate the various approaches and standards to represent business rules, business process management, and the…
-
Semi-Empirical Formulas of Drag/Lift Coefficients for High Speed Rigid Body Manoeuvring in Water Column
Falling of rigid body through water column with high speed is investigated experimentally and theoretically. Several experiments were conducted to shoot rigid bodies with the density ratio higher than 1…
-
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.
-
10-GHz Divide-By-100 Prescaler Connects to 100-MHz Counter
Introduction The prescaler described here connects to the front end of a 100-MHz frequency counter to extend its coverage range to 10 GHz. The circuit is a far less expensive…
-
Trapdoors for Hard Lattices and New Cryptographic Constructions
Our contributions include a new notion of trapdoor function with preimage sampling, simple and efficient "hash-and-sign" digital signature schemes, and identity-based encryption.