Bundy, Alan

McNeill, F.

Priddle-Higson, A.

Schafer, B.

Edinburgh Research Explorer

English

Clausal Resolution for Branching-Time Temporal Logic.

First-order Resolution for CTL.

Resolution theorem proving.

TRP++: A Temporal Resolution Prover.

Ontology Evolution in Law (Extended Abstract)

In this paper we show how ideas based on system theoretic modeling of linear behaviors may be used for decoding of linear codes. In particular we show how Sudan's bivariate interpolation approach to list decoding of RS codes allows a system theoretic interpretation

Kuijper, M.

Polderman, J.W.

CiteSeerX

University of Twente Research Information

A behavioral approach to list decoding.

A system-theoretic derivation of the Welch-Berlekamp algorithm.

A unifying systemtheoretic framework for errors-and-erasures Reed-Solomon decoding.

Algorithms for decoding and interpolation.

An algorithm for computing a shortest linear recurrence relation for a sequence of matrices: generalizing the Berlekamp-Massey algorithm.

An algorithm for constructing a minimal partial realization in the multivariable case.

Behavioral models for list decoding.

Decoding of Reed-Solomon codes beyond the error correction bound.

Decoding of Reed-Solomon codes beyond the error correction diameter.

Decoding Reed-Solomon codes beyond half the minimum distance.

From time series to linear system. part II: Exact modelling.

Further results on the use of a generalized B-M algorithm for BCH decoding beyond the designed error-correcting capability.

Introduction to mathematical systems theory: a behavioral approach, volume 26 of Texts in Applied Mathematics.

Linear Systems.

Minimal bases of rational vector spaces, with applications to multivariable linear systems.

On constructing a shortest linear recurrence relation.

Paradigms and puzzles in the theory of dynamical systems.

Parametrizations and ﬁnite options,.

The Berlekamp-Massey algorithm, error-correction, keystreams and modelling.

The predictable degree property and row reducedness for systems over a ﬁnite ring. Linear Algebra and its Applications,

Systems theoretic methods in decoding