: A three-valued semantics for logic programmers.
: The accurate optimal-success/error-rate calculations applied to the realizations of the reliable and short-period integer ambiguity resolution in carrier-phase GPS/GNSS positioning.
, Ahmed Helmy
: IMPACT: Investigation of Mobile-user Patterns Across University Campuses using WLAN Trace Analysis.
, Toru Fujiwara
: Relations between the Local Weight Distributions of a Linear Block Code, Its Extended Code, and Its Even Weight Subcode.
, Volker Pohl
: Spectral Factorization, Whitening- and Estimation Filter -- Stability, Smoothness Properties and FIR Approximation Behavior.
Todd L. Veldhuizen
: Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law.
: Signature coding for OR channel with asynchronous access.
, Jae C. Oh
: Polymorphic Self-* Agents for Stigmergic Fault Mitigation in Large-Scale Real-Time Embedded Systems.
: Channel combining and splitting for cutoff rate improvement.
: Sequential Predictions based on Algorithmic Complexity.
Peter D. Turney
: Measuring Semantic Similarity by Latent Relational Analysis.
: Very Simple Chaitin Machines for Concrete AIT.
: Disks, Partitions, Volumes and RAID Performance with the Linux Operating System.
, Gil Wiechman
: On Achievable Rates and Complexity of LDPC Codes for Parallel Channels with Application to Puncturing.
: A 3D RGB Axis-based Color-oriented Cryptography.
: ZEUS - A Domain-Oriented Fact Comparison Based Authentication Protocol.
Michael B. Baer
: A General Framework for Codes Involving Redundancy Minimization.
: Modelling the Eulerian Path Problem using a String Matching Framework.
: Special Cases of Encodings by Generalized Adaptive Codes.
: Modelling the EAH Data Compression Algorithm using Graph Theory.
: Translating the EAH Data Compression Algorithm into Automata Theory.
, Hoi-Kwong Lo
: Conference Key Agreement and Quantum Sharing of Classical Secrets with Noisy GHZ States.
: Max Product for Max-Weight Independent Set and Matching.
: Unified Theory of Source Coding: Part I -- Two Terminal Problems.
: Unified Theory of Source Coding: Part II -- Multiterminal Problems.
: Decompositions of graphs of functions and efficient iterations of lookup tables.
: Cluster Variation Method in Statistical Physics and Probabilistic Graphical Models.
: Combinations and Mixtures of Optimal Policies in Unichain Markov Decision Processes are Optimal.
: Embeddability of Arrangements of Pseudocircles into the Sphere.
: A probabilistic branching bisimulation for quantum processes.
: A new quantum lower bound method, with an application to strong direct product theorem for quantum search.
: Entanglement in Interactive Proof Systems with Binary Answers.
Yuri N. Kosovtsov
: Finding Liouvillian first integrals of rational ODEs of any order in finite terms.