: Bounding Lossy Compression using Lossless Codes at Reduced Precision.
: Three-Element Min-Sol and Conservative Min-Cost-Hom.
: Formal Verification, Engineering and Business Value. 1-4
, Neri Merhav
: Zero-Delay and Causal Single-User and Multi-User Lossy Source Coding with Decoder Side Information.
Rodrigo C. de Lamare
: Joint Iterative Power Allocation and Linear Interference Suppression Algorithms in Cooperative DS-CDMA Networks.
, Carlos Borrego Iglesias
, Simone Campana
, Alessandro Di Girolamo
, Ivan Dzhunov
, Xavier Espinal Curull
, Stavro Gayazov
, Erekle Magradze
, Michal Maciej Nowotka
, Lorenzo Rinaldi
, Pablo Saiz
, Jaroslava Schovancova
, Graeme Andrew Stewart
, Michael Wright
: Automating ATLAS Computing Operations using the Site Status Board.
: Tree-based Arithmetic and Compressed Representations of Giant Numbers.
: Binary Tree Arithmetic with Generalized Constructors.
: On Two Infinite Families of Pairing Bijections.
: Knowledge Discovery System For Fiber Reinforced Polymer Matrix Composite Laminate.
, Hemanth K. S.
: A Novel Design Specification Distance(DSD) Based K-Mean Clustering Performace Evluation on Engineering Materials Database.
: A nonenumerative algorithm to find the k longest (shortest) paths in a DAG.
: Ring Theory, Group Actions, Evolutionary Algorithms, and Global Optimization.
: Reconstructing Self Organizing Maps as Spider Graphs for better visual interpretation of large unstructured datasets.
: The Parameterized Complexity of some Permutation Group Problems.
Yuri I. Manin
: Zipf's law and L. Levin's probability distributions.
, F. Kunwar
: A Self-Organizing Neural Scheme for Door Detection in Different Environments.
, Louis Wehenkel
: On the Construction of the Inclusion Boundary Neighbourhood for Markov Equivalence Classes of Bayesian Network Structures.
: An Information-Theoretic External Cluster-Validity Measure.
: Reduction of Maximum Entropy Models to Hidden Markov Models.
: Polynomial Value Iteration Algorithms for Detrerminstic MDPs.
: Exploiting Functional Dependence in Bayesian Network Inference.
Peter P. Wakker
: Decision Principles to justify Carnap's Updating Method and to Suggest Corrections of Probability Judgments (Invited Talks).
: Algebraic Logic, I Quantifier Theories and Completeness Theorems.