Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Admissibility in fair Bayes prediction problems Tech Report

M.L. Eaton

January 1987
Controlling error rates using prior information and marginal totals to select tumor sites Tech Report

T.A. Louis and J.K. Bailey

January 1987
Efficient monotone sequential design Tech Report

T.A. Louis

January 1987
Concentration inequalities for Gauss-Markov estimators Tech Report

M.L. Eaton

January 1987
Stochastic and chaotic relaxation oscillations Tech Report

J. Grasman (Johan) and J.B.T.M. Roerdink (Jos)

January 1987
Some stability results for the hopscotch difference method when applied to convection-diffusion equations Tech Report

J.G. Verwer (Jan)

January 1987
NUMVEC FORTRAN library manual : chapter: simultaneous linear equations, update #1 Tech Report

W. Hoffmann (Walter)

January 1987
A numerical study of a 1D stationary semiconductor model Tech Report

B.P. Sommeijer (Ben), W. Hundsdorfer (Willem), C.T.H. Everaars (Kees), P.J. van der Houwen (Piet) and J.G. Verwer (Jan)

January 1987
BEELDEN: een studie naar de mathematische morfologie van Serra [Images: a study to the mathematical morphology of Serra] Tech Report

M. van Herwijnen

January 1987
Low-order spectral models of the atmospheric circulation: a survey Tech Report

H.E. de Swart (Huibert)

January 1987
An abstracto reader prepared for IFIP WG 2.1 Tech Report

L.G.L.T. Meertens (Lambert)

January 1987
Representing knowledge in two distinct descriptions: extensional vs. intensional Tech Report

T. Tomiyama and P.J.W. ten Hagen (Paul)

January 1987
Verification of an algorithm for log-time sorting by square comparison Tech Report

J.C. Mulder and W.P. Weijland

January 1987
Strongly sequential rewriting systems Tech Report

J.W. Klop (Jan Willem) and A. Middeldorp

January 1987
A convergence theorem in process algebra Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1987
Consistency of rule-based expert systems Tech Report

M.A. Bezem

January 1987
A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations Tech Report

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1987
Stabilization of explicit difference schemes by smoothing techniques Tech Report

P.J. van der Houwen (Piet)

January 1987
Perspectives on parallel computing Tech Report

G.A.P. Kindervater (Gerard), J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1987
Sojourn times in feedback queues Tech Report

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

January 1987
Local search for constrained routing problems Tech Report

M.W.P. Savelsbergh

January 1987
Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials Tech Report

T.H. Koornwinder

January 1987
Action-angle maps and scattering theory for some finite-dimensional integrable systems : the pure solution case Tech Report

S.N.M. Ruijsenaars (Simon)

January 1987
String theory and algebraic geometry of moduli spaces Tech Report

D.J. Smit

January 1987
Verification of a systolic algorithm for string comparison Tech Report

L. Kossen and W.P. Weijland

January 1987
Two normal form theorems for CSP programs Tech Report

K.R. Apt (Krzysztof), L. Bougé and P. Clermont

January 1987
Product-integrals and counting processes Tech Report

R.D. Gill (Richard) and S. Johansen

January 1987
On the Edgeworth expansion and the bootstrap approximation for a studentized U-statistic Tech Report

R. Helmers (Roelof)

January 1987
Non- and semi-parametric maximum likelihood estimators and the Von Mises method Tech Report

R.D. Gill (Richard)

January 1987
An experimental-computational investigation of transonic shock wave-turbulent boundary layer interaction in a curved test section Tech Report

C. Nebbeling and B. Koren (Barry)

January 1987
Optimization of the real level 2 BLAS on the CYBER 205 Tech Report

W.M. Lioen (Walter), M. Nool (Margreet) and H.J.J. te Riele (Herman)

January 1987
Two queues with alternating service and switching times Tech Report

O.J. Boxma (Onno) and W.P. Groenendijk

January 1987
Performance analysis and optimal control of an M/M/1/k queueing system with impatient customers Tech Report

P.R. de Waal

January 1987
Knowledge engineering in design Tech Report

V. Akman (Varol), P.J.W. ten Hagen (Paul), J.L.H. Rogier (Jan) and P. J. Veerkamp (Paul)

January 1987
Mathematical morphology: an algebraic approach Tech Report

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

January 1987
Type-checking mini-ML: an algebraic specification with user-defined syntax Tech Report

P.R.H. Hendriks

January 1987
Semantics for PROLOG via term rewrite systems Tech Report

J.C.M. Baeten (Jos) and W.P. Weijland

January 1987
Semantics for logic programs without occur check Tech Report

W.P. Weijland

January 1987
Introduction to logic programming Tech Report

K.R. Apt (Krzysztof)

January 1987
Intelligent systems interconnection: what should come after open systems interconnection? Tech Report

P. Bernus and Z. Létray

January 1987
Locality, communication, and interconnect length in multicomputers Tech Report

P.M.B. Vitányi (Paul)

January 1987
Design as a formal, knowledge engineered activity Tech Report

V. Akman (Varol), P.J.W. ten Hagen (Paul) and T. Tomiyama

January 1987
On a consistent estimate of the index of an extreme value distribution Tech Report

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

January 1987
Large quantile estimation under extreme-value conditions Tech Report

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

January 1987
Convergence of Runge-Kutta methods on classes of stiff initial value problems Tech Report

W. Hundsdorfer (Willem)

January 1987
Approximation algorithms for scheduling unrelated parallel machines Tech Report

J.K. Lenstra (Jan Karel), D.B. Shmoys and É. Tardos

January 1987
Vehicle routing with time windows: optimization and approximation Tech Report

M. Desrochers, J.K. Lenstra (Jan Karel), M.W.P. Savelsbergh and F. Soumis

January 1987
Functional description of CAR, an interactive system for computer aided routing Tech Report

J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

January 1987
Jacobi polynomials as generalized Faber polynomials Tech Report

A.I. Zayed (Ahmed)

January 1987
Resource management in DICE Tech Report

R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1987
Correctness proofs for systolic algorithms: a palindrome recognizer Tech Report

W.P. Weijland

January 1987
Readies and failures in the algebra of communicating processes Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

January 1987
A queueing network model for analyzing a class of branch and bound algorithms on a master-slave architecture Tech Report

O.J. Boxma (Onno) and G.A.P. Kindervater (Gerard)

January 1987
Distributed match-making Tech Report

S.J. Mullender (Sape) and P.M.B. Vitányi (Paul)

January 1987
Proposal for standard mathematical packages in ADA Tech Report

J. Kok (Jan)

January 1987
NUMVEC FORTRAN library manual : chapter: simultaneous linear equations : routine: SVDTJP and LSQMNS Tech Report

P.P.M. de Rijk

January 1987
Vectorization of the odd-even Hopscotch scheme and the alternating direction implicit scheme for the two-dimensional Burger's equations Tech Report

E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

January 1987
Decomposition of graphs on surfaces and a homotopic circulation theorem Tech Report

A. Schrijver (Lex)

January 1987
Introduction to nilpotent approximation filtering Tech Report

M. Hazewinkel (Michiel)

January 1987
Principles of lazy and incremental program generation Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

January 1987
A very simple construction for atomic multiwriter register Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1987
Tape versus queue and stacks: the lower bounds Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1987
C-GKS: a C implementation of GKS, the graphical kernel system Tech Report

M.M. de Ruiter

January 1987
Fixpoint representations of characteristic sets of linear-time temporal formulas Tech Report

E. Kranakis (Evangelos) and K.N. Oikonomou (Kostas)

January 1987
Edge-disjoint homotopic paths in straight-line planar graphs Tech Report

A. Schrijver (Lex)

January 1987
Residual smoothing for accelerating the ADI iteration method for elliptic difference equations Tech Report

J.H.M. ten Thije Boonkkamp

January 1987
Graphs related to Held's simple group Tech Report

J.T.M. van Bon (John), A.M. Cohen (Arjeh) and H. Cuypers

January 1987
Parallel computing in combinatorial optimization Tech Report

G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

January 1987
An innovation approach to goodness of fit tests in $R m$ Tech Report

E.V. Khmaladze

January 1987
A central limit theorem for M-estimators by the Von Mises method Tech Report

C.C. Heesterman

January 1987
Multigrid methods for elliptic PDEs Tech Report

W.M. Lioen (Walter)

January 1987
A comparative study of Chebyshev acceleration and residue smoothing in the solution of nonlinear elliptic difference equations Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and G. Pontrelli

January 1987
A classification scheme for vehicle routing and scheduling problems Tech Report

M. Desrochers, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

January 1987
How to estimate the efficacy of periodic control of an infectious plant disease Tech Report

H.R. Thieme and J.A.P. Heesterbeek (Hans)

January 1987
On a biorthogonal system associated with uniform asymptotic expansions Tech Report

K. Soni and N.M. Temme (Nico)

January 1987
Analysis of a six-component barotropic spectral model: chaotic motion, predictability and vacillation Tech Report

H.E. de Swart (Huibert)

January 1987
Contractions in comparing concurrency semantics Tech Report

J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

January 1987
Interaction management in CAD systems with a history mechanism Tech Report

Y. Yamaguchi, F. Kimura and P.J.W. ten Hagen (Paul)

January 1987
A network approach to the certainty factor model Tech Report

L.C. van der Gaag

January 1987
Simple multireader registers using time-stamp schemes Tech Report

A. Israeli, M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1987
A semantic approach to fairness Tech Report

J.J.M.M. Rutten (Jan) and J.I. Zucker

January 1987
Stability and convergence of the Peaceman-Rachford ADI method for initial-boundary value problems Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1987
Solving bidiagonal systems of linear equations on the CDC CYBER 205 Tech Report

J.J.F.M. Schlichting and H.A. van der Vorst (Henk)

January 1987
An integrated data description language for coding design knowledge Tech Report

B. Veth

January 1987
Logical input devices and interaction Tech Report

R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1987
Designing equivalent semantic models for process creation Tech Report

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1987
Algebraic and arithmetic geometry in string theory Tech Report

D.J. Smit

January 1987
Distance regular antipodal covers of Johnson and Hamming graphs Tech Report

J.T.M. van Bon (John)

January 1987
Fractals (mathematics, programming and applications) Tech Report

H.A. Lauwerier and J.A. Kaandorp (Jaap)

January 1987
Resource-constrained project scheduling: an international exercise in DSS development Tech Report

J.M. Anthonisse, K.M. van Hee and J.K. Lenstra (Jan Karel)

January 1987
On single lane roads Tech Report

A.J. Koning (Aris)

January 1987
Incremental generation of lexical scanners Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

January 1987
Minimum disclosure proofs of knowledge Tech Report

G. Brassard (Gilles), D. Chaum (David) and C. Crépeau (Claude)

January 1987
Management of stratified databases Tech Report

K.R. Apt (Krzysztof) and J.-M. Pugin

January 1987
Security without identification: card computers to make big brother obsolute Tech Report

D. Chaum (David)

January 1987
Macintosh gebruikers handleiding Book

F. Kuiper (Frank)

January 1987
Preface Preface

J.W. de Bakker (Jaco), A.J. Nijman and P.C. Treleaven

January 1987
Preface Article

J.W. de Bakker (Jaco), A.J. Nijman and P.C. Treleaven

January 1987
A fully abstract semantics for data flow nets In Proceedings

J.N. Kok (Joost)

January 1987
Lie algebraic methods in filtering and identification In Proceedings

M. Hazewinkel (Michiel)

January 1987

Previous

Next

Available Years