: Towards an exact adaptive algorithm for the determinant of a rational matrix.
: Applying the Z-transform for the static analysis of floating-point numerical filters.
: Virtual Sensor Based Fault Detection and Classification on a Plasma Etch Reactor.
David R. Wright
: Motivation, Design, and Ubiquity: A Discussion of Research Ethics and Computer Science.
, Dongman Lee
: Efficient Batch Update of Unique Identifiers in a Distributed Hash Table for Resources in a Mobile Host.
, Prakash Ishwar
: On Non-Parametric Field Estimation using Randomly Deployed, Noisy, Binary Sensors.
Dimitar P. Guelev
: Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems.
Krzysztof R. Apt
: Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets.
, Gerald Chiang
: Design, Implementation, and Cooperative Coevolution of an Autonomous/ Teleoperated Control System for a Serpentine Robotic Manipulator.
Matthias R. Brust
: Applying Test-Paradigms in a Generic Tutoring System Concept for Web-based Learning.
Stefan Z. Stefanov
: Cointegration of the Daily Electric Power System Load and the Weather.
: A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata.
: Dualheap Selection Algorithm: Efficient, Inherently Parallel and Somewhat Mysterious.
: A new lower bound on the independence number of a graph.
: The Complexity of Determining Existence a Hamiltonian Cycle is $O(n^3)$.
: Dualheap Sort Algorithm: An Inherently Parallel Generalization of Heapsort.
: A simple generalization of the El-Gamal cryptosystem to non-abelian groups II.
: Optimal Replica Placement in Tree Networks with QoS and Bandwidth Constraints and the Closest Allocation Policy.
, P. Vijay Kumar
: Approximately-Universal Space-Time Codes for the Parallel, Multi-Block and Cooperative-Dynamic-Decode-and-Forward Channels.
: Scale-sensitive Psi-dimensions: the Capacity Measures for Classifiers Taking Values in R^Q.
: Design of optimal convolutional codes for joint decoding of correlated sources in wireless sensor networks.
Michael S. Noble
: Getting More From Your Multicore: Exploiting OpenMP From An Open Source Numerical Scripting Language.
: Unison as a Self-Stabilizing Wave Stream Algorithm in Asynchronous Anonymous Networks.