Publications
-
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.
-
Back-Illuminated Image Sensors Come to the Forefront
Recently, a breakthrough in novel materials and fabrication methods was achieved that will make higher-performance back-thinned imagers readily available for mass production. Using ultrathin silicon-on-insulator wafer technology, the method will…
-
Color Enhancement in Image Fusion
We propose an innovative approach to enhance the color in image fusion. We propose a gamma correction function to the normalized color components.
-
Comparative Study of SnO2- and In2O3- Based Ozone Sensors
In this paper we present the results of comparative study of ozone sensors that are designed using undoped SnO2 and In2O3 films.
-
A Demonstration of the Radar Personal Assistant
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this…
-
A Framework for Efficient and Composable Oblivious Transfer
We propose a simple and general framework for constructing oblivious transfer (OT) protocols that are efficient, universally composable, and generally realizable under any one of a variety of standard number-theoretic…
-
Constraint-Based Approach for Analysis of Hybrid Systems
This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) for verification of hybrid systems.
-
Cross Sections and Reaction Rates for Comparative Planetary Aeronomy
In this chapter we describe the current knowledge of a selection of collision processes and chemical reactions of importance to planetary aeronomy.