The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Evaluating the Impact of Information Distortion on Normalized Compression Distance (Q3540922) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- The Alcuin Number of a Graph (Q3541095) (← links)
- The Partial Augment–Relabel Algorithm for the Maximum Flow Problem (Q3541108) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- The Diffusion of Perturbations in a Model of Coupled Random Boolean Networks (Q3541777) (← links)
- Case-Based Reasoning Within Semantic Web Technologies (Q3541837) (← links)
- About the Security of MTI/C0 and MQV (Q3541885) (← links)
- Heuristic Search for the Analysis of Graph Transition Systems (Q3541978) (← links)
- WATSON-CRICK BORDERED WORDS AND THEIR SYNTACTIC MONOID (Q3542877) (← links)
- Robust distributed model predictive control (Q3542911) (← links)
- Robust output feedback<b><i>H</i></b><sub><b>∞</b></sub>control of uncertain Markovian jump systems with mode-dependent time-delays (Q3542946) (← links)
- Frequency domain analysis for non-linear Volterra systems with a general non-linear output function (Q3542963) (← links)
- Robust<i><b>H</b></i><sub><b>∞</b></sub>model predictive control for uncertain systems using relaxation matrices (Q3542997) (← links)
- Robust<b>ℓ</b><sub>1</sub>performance analysis for linear systems with parametric uncertainties (Q3543015) (← links)
- Mapping from parametric characteristics to generalized frequency response functions of non-linear systems (Q3543035) (← links)
- Adaptive output-feedback control for a class of uncertain stochastic non-linear systems with time delays (Q3543051) (← links)
- Perturbation analysis of stochastic fluid models with respect to the fluid arrival process (Q3543055) (← links)
- DL-FOIL Concept Learning in Description Logics (Q3543272) (← links)
- Foundations of Onto-Relational Learning (Q3543274) (← links)
- Immune Systems and Computation: An Interdisciplinary Adventure (Q3543329) (← links)
- From Gene Regulation to Stochastic Fusion (Q3543333) (← links)
- The Role of Conceptual Structure in Designing Cellular Automata to Perform Collective Computation (Q3543340) (← links)
- An Introduction to Quantum Filtering (Q3544233) (← links)
- Combinatorial Optimization with Explicit Delineation of the Ground Set by a Collection of Subsets (Q3544249) (← links)
- Indices for Testing Neural Codes (Q3544320) (← links)
- Analytical and Simulation Results for the Stochastic Spatial Fitzhugh-Nagumo Model Neuron (Q3544330) (← links)
- Stimulus Representation and the Timing of Reward-Prediction Errors in Models of the Dopamine System (Q3544332) (← links)
- An Ongoing Subthreshold Neuronal State Established Through Dynamic Coassembling of Cortical Cells (Q3544333) (← links)
- Simple Reconstruction of Binary Near-Perfect Phylogenetic Trees (Q3545135) (← links)
- Hopf Bifurcation From Viscous Shock Waves (Q3545242) (← links)
- Implementing Generating Set Search Methods for Linearly Constrained Minimization (Q3545257) (← links)
- Quasirandom Groups (Q3545904) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Constructing Packings in Grassmannian Manifolds via Alternating Projection (Q3546249) (← links)
- The van der Waerden Number<i>W</i>(2, 6) Is 1132 (Q3546251) (← links)
- Lattice problems in NP ∩ coNP (Q3546284) (← links)
- On the impossibility of dimension reduction in l <sub>1</sub> (Q3546289) (← links)
- On the Sum-of-Squares algorithm for bin packing (Q3546292) (← links)
- Trade-offs for fully dynamic transitive closure on DAGs: breaking through the <i>O</i> ( <i>n</i> <sup>2</sup> barrier (Q3546293) (← links)
- The complexity of XPath query evaluation and XML typing (Q3546299) (← links)
- Hardness of approximating the shortest vector problem in lattices (Q3546301) (← links)
- Fast and accurate algorithms for protein side-chain packing (Q3546318) (← links)
- Dynamic ordered sets with exponential search trees (Q3546335) (← links)
- On counting homomorphisms to directed acyclic graphs (Q3546354) (← links)
- Efficient core computation in data exchange (Q3546361) (← links)
- XPath satisfiability in the presence of DTDs (Q3546365) (← links)
- Deblocking of block-transform compressed images using weighted sums of symmetrically aligned pixels (Q3546396) (← links)
- Complete parameterization of piecewise-polynomial interpolation kernels (Q3546397) (← links)
