Publications
-
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.
-
A Micromachined Surface Stress Sensor with Electronic Readout
A micromachined surface stress sensor has been fabricated and integrated off chip with a low-noise, differential capacitance, electronic readout circuit.
-
First Estimates of Volume Distribution of HF-Pump Enhanced Emissions at 6300 and 5577 Angstrom: a Comparison Between Observations and Theory
We present bi-static observations of radio-wave induced optical emissions at 6300 and 5577 Å from a night-time radio-induced optical emission ionospheric pumping experiment at the HIPAS (Fairbanks) facility in Alaska.
-
How Post-Secondary Journalism Educators Teach Advanced Car Data Analysis Skills In The Digital Age
Survey responses from 232 journalism educators in 33 nations were analyzed for descriptions of how they have taught a subset of the most pedagogically challenging computer-assisted reporting (CAR) skills-advanced data…
-
AAAI Spring Symposium – Technical Report: Preface
-
PFISR Nightside Observations of Naturally Enhanced Ion Acoustic Lines, and Their Relation to Boundary Auroral Features
We present results from a coordinated camera and radar study of the auroral ionosphere conducted during March of 2006 from Poker Flat, Alaska.
-
Preferences in Interactive Systems: Technical Challenges and Case Studies
This survey considers preference handling in applications such as recommender systems, personal assistant agents, and personalized user interfaces
-
Supporting the Art of Teaching in a Data-Rich, High Performance Learning Environment
Data-driven decision-making (DDDM) has become part of the school accountability and reform lexicon. The term commonly refers to policies and practices involving the use of student achievement and other data…
-
Toward Establishing Trust in Adaptive Agents
We present the results of a study among test users of CALO, one such complex adaptive agent system, to investigate themes surrounding trust and understandability. We identify and discuss eight…