Publications
-
A Graphical User Interface for Maude-NPA
This paper presents a graphical user interface (GUI) for the Maude-NPA, a crypto protocol analysis tool that takes into account algebraic properties of cryptosystems not supported by other tools, such…
-
Measurements of OH and HO2 Concentrations During the Mcma-2006 Field Campaign – Part 1: Deployment of the Indiana University Laser-Induced Fluorescence Instrument
Measurements of tropospheric hydroxyl and hydroperoxy radicals were made during the MCMA field campaign as part of the MILAGRO project during March 2006.
-
Nightside Ionospheric Electrodynamics Associated with Substorms: PFISR and THEMIS ASI Observations
Observations from the newly available Poker Flat Incoherent Scatter Radar have been used to study the ionospheric electrodynamics during the substorm expansion phase.
-
Active Botnet Probing to Identify Obscure Command and Control Channels
We consider the problem of identifying obscure chat-like botnet command and control (C & C) communications, which are indistinguishable from human-human communication using traditional signature-based techniques.
-
Computer-Related Risk Futures
This paper reflects on many risks in the development and use of computer-related systems. It considers past and future alternatives, suggests some remedial approaches, and offers a few broad conclusions.
-
Decreased Alpha-Synuclein Expression in the Aging Mouse Substantia Nigra
Here we compared α-synuclein expression in the substantia nigra and other brain regions of young (2-month-old), middle-aged (10-month-old), and old (20-month-old) mice.
-
Far-Field Evanescent Wave Propagation Using Coupled Subwavelength Gratings for a MEMS Sensor
A technique was developed to couple near-field evanescent waves into observable diffraction orders in the far-field region.
-
Influence of Formulation Factors on Tablet Formulations with Liquid Permeation Enhancer Using Factorial Design
Factorial design was used to evaluate the effect of three formulation factors: drug percentage, polymer type, and tablet binder percentage on tablet characteristics.
-
Teaching For Understanding In Earth Science: Comparing Three Professional Development Designs For Middle School Science Teachers
This paper compares and contrasts the impacts of three professional development designs aimed at middle school Earth science teachers on how teachers plan and enact instruction.
-
The Effect of Microwave-Frequency Discharge-Activated Oxygen on the Microscale Structure of Low-Temperature Water Ice Films
Low-temperature, amorphous water ice films grown by vapor deposition under high-vacuum are exposed to microwave-frequency discharge-activated oxygen in order to investigate its effect on the ice surface.
-
You can be too rich: mediated communication in a virtual world
In order to understand the benefits and problems that voice brings to virtual worlds, we used qualitative methods to gather and analyze data from Second Life users.
-
Performing a wish: desiderative assertions and performativity
This talk shows that assertions of hearer or speaker desires can be used to bring about conduct-guiding performative effects, like those induced by performatively used modals, and that in such…