Centrum Wiskunde & Informatica

Triangularly implicit iteration methods for ODE-IVP solvers Tech Report

P.J. van der Houwen (Piet) and J.J.B. de Swart (Jacques)

January 1995
A mechanistic model to describe the spread of phocid distemper virus Tech Report

A.A. de Koeijer, O. Diekmann (Odo) and P.J.H. Reijnders

January 1995
Subtypes and bounded quantification from a fibred perspective In Proceedings

B.P.F. Jacobs

January 1995
Filosofische aspecten van machinaal leren [Philosophical aspects of machine learning] Tech Report

H.A.N. van Maanen

January 1995
On the identification of Wiener-Hopf factors Tech Report

N. Bayer

January 1995
Logging in a computational steering environment Tech Report

J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1995
Manual of spIds, a software package for parameter identification in dynamic systems Tech Report

C.T.H. Everaars (Kees), P.W. Hemker (Piet) and W.J.H. Stortelder (Walter)

January 1995
A proof system for finite trees Tech Report

P. Blackburn (Patrick), W. P. M. Meyer Viol (Wilfried) and M. de Rijke (Maarten)

January 1995

Previous

Next