Concept
Recursively enumerable language
Related publications (17)
0/1 vertex and facet enumeration with BDDs
In polyhedral studies of 0/1 polytopes two prominent problems exist. One is the vertex enumeration problem: Given a system of inequalities, enumerate its feasible 0/1 points. Another one is the convex hull problem: Given a set of 0/1 points in dimension d, ...
2007Electromagnetic modelling of planar circuits in bounded layered media
Printed circuits in bounded media encompass a wide range of practical structures such as discontinuities in waveguides, planar circuits embedded in shielded multilayered media or even two-dimensional printed periodic structures. The Electromagnetic (EM) mo ...
EPFL2007From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata
Determinisation and complementation are foundational notions in computer science. When considering finite automata on finite words nondeterminisation and complementation are one and the same. Given a nondeterministic finite automaton there exists an expone ...
2005LP-TRAP: Linear predictive temporal patterns
Autoregressive modeling is applied for approximating the temporal evolution of spectral density in critical-band-sized sub-bands of a segment of speech signal. The generalized autocorrelation linear predictive technique allows for a compromise between fitt ...
IDIAP2004LP-TRAP: Linear predictive temporal patterns
Autoregressive modeling is applied for approximating the temporal evolution of spectral density in critical-band-sized sub-bands of a segment of speech signal. The generalized autocorrelation linear predictive technique allows for a compromise between fitt ...
2004The 3-regular nets with 4 and 6 vertices per unit cell
The 3-regular nets with 4 and 6 vertices per unit cell are enumerated. The large number of nets obtained (5 nets and 269 nets resp.) is in stark contrast to the relatively small number of nets which are of crystallographic interest. This subset of crystall ...
1997Recursive linear estimation in Krein spaces. II. Applications
We show that several applications considered in the context of Hoo filtering and game theory, risk sensitive control and estimation, follow as special cases of the Krein space Kalman filter. We show that these problems can be cast into the problem of calcu ...
IEEE1993