Centrum Wiskunde & Informatica

A complete equational axiomatization for MPA with string iteration Tech Report

L. Aceto (Luca) and J.F. Groote (Jan Friso)

January 1997
A two-level approach to automated conformance testing of VHDL designs Tech Report

J.R. Moonen, J.M.T. Romijn (Judi), O. Sies (Olaf), J.G. Springintveld, L.M.G. Feijs (Loe) and R.L.C. Koymans

January 1997
How fast the Laplace equation was solved in 1995 Article

Applied Numerical Mathematics, 24(4), 439-455.

E.F.F. Botta, K. Dekker, Y. Notay, A. van der Ploeg (Auke), C. Vuik (Cornelis), F.W. Wubs (Fred) and P.M. de Zeeuw (Paul)

January 1997
Programming paradigms in an object-oriented multi-media standard Tech Report

D.J. Duke and I. Herman (Ivan)

January 1997
Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems Tech Report

D.J. Duke, I. Herman (Ivan), T. Rist and M. Wilson

January 1997
Typed logics with states Tech Report

D.J.N. van Eijck (Jan)

January 1997
Numerieke berekeningen aan een luchtstroming in een spleetblazer, uit het oogpunt van trekkrachtgeneratie in een nonwoven-produktieproces [Numerical computation of flow phenomena in a transport jet for the tractive power generation in a nonwoven producti Tech Report

D. Lanser (Debby)

January 1997
Connected morphological operators for binary images Tech Report

H.J.A.M. Heijmans (Henk)

January 1997

Previous

Next