Centrum Wiskunde & Informatica

An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009
Kolmogorov Complexity in Randomness Extraction In Proceedings

J.M. Hitchcock (John), A. Pavan and N.V. Vinodchandran

January 2009
Synthesize nonblocking distributed supervisors with coordinators In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009
Efficient nonconflict check by using automaton abstractions In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009
Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings

I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)

January 2009
Dynamics with a range of choice Article

The special SCAN'08 issue of reliable computing

S. Živanovic (Sanja) and L. Kapitanski

January 2009
Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

January 2009
Aggregative synthesis of distributed supervisors based on automaton abstraction Tech Report

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009

Previous

Next