Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Matrixdependent prolongations and restrictions in a blackbox multigrid solver Tech Report

P.M. de Zeeuw (Paul)

January 1988
Multigrid, defect correction and upwind schemes for the steady Navier-Stokes equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

January 1988
Lectures on linear and nonlinear filtering Tech Report

M. Hazewinkel (Michiel)

January 1988
A short tutorial on Lie algebras Tech Report

M. Hazewinkel (Michiel)

January 1988
Mathematical models of predator-prey-plant interactions in a patchy environment Tech Report

O. Diekmann (Odo), J.A.J. Metz and M.W. Sabelis

January 1988
Algorithmics and heuristics in combinatorial optimization Tech Report

J.K. Lenstra (Jan Karel)

January 1988
Filtering of freeway traffic flow Tech Report

S.A. Smulders

January 1988
Reflections and calculations on a prey-predator-patch problem Tech Report

O. Diekmann (Odo), J.A.J. Metz and M.W. Sabelis

January 1988
Functional dependencies of variables in wait-free programs Tech Report

E. Kranakis (Evangelos)

January 1988
Uniform asymptotic expansions of a class of integrals in terms of modified Bessel functions, with application to confluent hypergeometric functions Tech Report

N.M. Temme (Nico)

January 1988
A compositional semantics for concurrent PROLOG Tech Report

J.N. Kok (Joost)

January 1988
Arithmetic classification of perfect models of stratified programs Tech Report

K.R. Apt (Krzysztof) and H.A. Blair

January 1988
The use of smoothing techniques in the method of lines Tech Report

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

January 1988
Multigrid and defect correction for the steady Navier-Stokes equations Tech Report

B. Koren (Barry)

January 1988
State representations of linear systems with output constraints Tech Report

J.M. Schumacher (Hans)

January 1988
Appraising fairness in languages for distributed programming Tech Report

K.R. Apt (Krzysztof), N. Francez and S. Katz

January 1988
Some observations on redundancy in a context Tech Report

F.W. Vaandrager (Frits)

January 1988
Towards shorter algebraic specifications: a simple language definition and its compilation to PROLOG Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1988
Term rewriting systems with rule priorities Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and W.P. Weijland

January 1988
The certainty factor model and its basis in probability theory Tech Report

L.C. van der Gaag

January 1988
STDWIN: a standard window system interface Tech Report

G. van Rossum (Guido)

January 1988
An exact incremental hidden surface removal algorithm Tech Report

A.A.M. Kuijk (Fons), P.J.W. ten Hagen (Paul) and V. Akman (Varol)

January 1988
An integrated text and syntax-directed editor Tech Report

M.H. Logger

January 1988
An adaptive moving grid method for one-dimensional systems of partial differential equations Tech Report

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

January 1988
Conditionally and strictly distribution-free tests for randomized block designs that are asymptotically optimal Tech Report

S. Tardif

January 1988
Censoring, truncation and filtering in statistical models based on counting processes Tech Report

P.K. Andersen, Ø. Borgan, R.D. Gill (Richard) and N. Keiding

January 1988
Two decades of applied Kolmogorov complexity : in memoriam Andrei Nikolaevich Kolmogorov 1903-1987 Tech Report

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

January 1988
The power of physical representations Tech Report

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

January 1988
Incremental generation of parsers Tech Report

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

January 1988
ASF system user's guide Tech Report

P.R.H. Hendriks

January 1988
The statistical analysis of a large number of rare events Tech Report

E.V. Khmaladze

January 1988
Factoring with the quadratic sieve on large vector computers Tech Report

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

January 1988
Estimating a regression function Tech Report

S.A. van de Geer (Sara)

January 1988
Asymptotic normality of minimum $L_ 1$-norm estimators in linear regression Tech Report

S.A. van de Geer (Sara)

January 1988
Large sample theory for statistical inference in several software reliability models Tech Report

W.A.J. Geurts, M.M.A. Hasselaar and J.H. Verhagen (Josine)

January 1988
Prospective classification of distance-transitive graphs Tech Report

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

January 1988
Linear groups and distance-transitive graphs Tech Report

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

January 1988
A numerical study of three moving grid methods for one-dimensional partial differential equations which are based on the method of lines Tech Report

R.M. Furzeland, J.G. Verwer (Jan) and P.A. Zegeling (Paul)

January 1988
Modular specifications in process algebra : with curious queues Tech Report

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

January 1988
Minimizing total completion time in the two-machine flow shop by Langrangian relaxation Tech Report

S.L. van de Velde

January 1988
The algebraic basis of mathematical morphology Tech Report

H.J.A.M. Heijmans (Henk) and C. Ronse

January 1988
Introduction to logic programming (revised and extended version) Tech Report

K.R. Apt (Krzysztof)

January 1988
A distributed debugger for Amoeba Tech Report

I.J.P. Elshoff

January 1988
Optimization of the MPQS-factoring algorithm on the Cyber 205 and on the NEC SX-2 Tech Report

W.M. Lioen (Walter), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

January 1988
Smoothed predictor-corrector methods for solving partial differential equations Tech Report

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

January 1988
Multiplicative iterative algorithms for convex programming Tech Report

P.P.B. Eggermont

January 1988
Concurrent evaluation of side-effects Tech Report

M. de Rooy

January 1988
Semantics and consistency of rule-based expert systems Tech Report

M.A. Bezem

January 1988
Berry-Esseen rates and bootstrap results for generalized L-statistics Tech Report

R. Helmers (Roelof), P. Janssen and R. Serfling

January 1988
Tail triviality for sums of stationary random variables Tech Report

H.C.P. Berbee (Henri) and W.T.F. den Hollander (Frank)

January 1988
Meixner-Pollaczek polynomials and the Heisenberg algebra Tech Report

T.H. Koornwinder

January 1988
Job shop scheduling by simulated annealing Tech Report

P.J.M. van Laarhoven, E.H.L. Aarts (Emile) and J.K. Lenstra (Jan Karel)

January 1988
Jacobi functions as limit cases of q-ultraspherical polynomials Tech Report

T.H. Koornwinder

January 1988
On the Amoeba protocol Tech Report

J.C. Mulder

January 1988
The Klein bottle and multicommodity flows Tech Report

A. Schrijver (Lex)

January 1988
Homotopy and crossings of systems of curves on a surface Tech Report

A. Schrijver (Lex)

January 1988
Disjoint circuits of prescribed homotopies in a graph on a compact surface Tech Report

A. Schrijver (Lex)

January 1988
Expert systems as deductive systems Tech Report

A. P. W. Eliëns (Anton)

January 1988
On semigroups and populations Tech Report

O. Diekmann (Odo)

January 1988
Efficient computing of least fixpoints Tech Report

K.R. Apt (Krzysztof)

January 1988
Correctness and full abstraction of metric semantics for concurrency Tech Report

J.J.M.M. Rutten (Jan)

January 1988
A fixpoint semantics for guarded Horn clauses Tech Report

C. Palamidessi (Catuscia)

January 1988
Data flow semantics Tech Report

J.N. Kok (Joost)

January 1988
Boolean functions, invariance groups and parallel complexity Tech Report

P. Clote and E. Kranakis (Evangelos)

January 1988
Completeness of resolution by transfinite induction Tech Report

M.A. Bezem

January 1988
A kernel approach to estimation of the sphere radius density in Wicksell's corpuscle problem Tech Report

A.J. van Es (Bert) and A.W. Hoogendoorn

January 1988
On a rate of convergence of the multiknapsack value function Tech Report

S.A. van de Geer (Sara) and L. Stougie (Leen)

January 1988
A semiparametric model for citation counts Tech Report

A.P. van der Plas

January 1988
Line Gauss-Seidel relaxation and multigrid for steady, two-dimensional flow computations Tech Report

B. Koren (Barry), P.M. de Zeeuw (Paul) and P.W. Hemker (Piet)

January 1988
Iterated $ theta $ -method for hyperbolic equations Tech Report

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

January 1988
Upwind discretization of the steady Navier-Stokes equations Tech Report

B. Koren (Barry)

January 1988
A pseudoconversation law for service systems with a polling table Tech Report

O.J. Boxma (Onno), W.P. Groenendijk and J.A. Weststrate

January 1988
A simpler and faster algorithm for optimal total-work-content-power due date determination Tech Report

S.L. van de Velde

January 1988
Calculation of the availability of a two-unit parallel system with cold standby: an illustration of the embedding technique Tech Report

F.A. van der Duyn Schouten and T. Ronner

January 1988
A conservation-law based approximation algorithm for waiting times in polling systems Tech Report

W.P. Groenendijk

January 1988
On distance-transitive graphs and involutions Tech Report

J.T.M. van Bon (John)

January 1988
Synchrony with empty process Tech Report

W.P. Weijland

January 1988
An interpolation theorem in equational logic Tech Report

P.H. Rodenburg and R.J. van Glabbeek (Rob)

January 1988
Partially specified probability measures in expert systems Tech Report

L.C. van der Gaag

January 1988
Representations of the twisted SU(2) quantum group and some q-hypergeometric orthogonal polynomials Tech Report

T.H. Koornwinder

January 1988
Nongaussian linear filtering, identification of linear systems, and the symplectic group Tech Report

M. Hazewinkel (Michiel)

January 1988
Control of freeway traffic flow Tech Report

S.A. Smulders

January 1988
A statistical analysis of spatial point patterns : a case study Tech Report

M.J. Rottschäfer and L.G. Barendregt

January 1988
Determinism $ ightarrow $ (Event structure isomorphism = Step sequence equivalence) Tech Report

F.W. Vaandrager (Frits)

January 1988
Checking the Goldbach conjecture on a vector computer Tech Report

A. Granville, J. van de Lune (Jan) and H.J.J. te Riele (Herman)

January 1988
Robustness improvement of point Gauss-Seidel relaxation for steady, hypersonic flow computations Tech Report

B. Koren (Barry)

January 1988
LINPACK routines based on the level 2 BLAS Tech Report

M. Nool (Margreet)

January 1988
A Hille-Yosida type theorem for a class of weakly * continuous semigroups Tech Report

P.P. Clément (Philippe), O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and C.J.E. Thieme

January 1988
Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent PROLOG Tech Report

J.W. de Bakker (Jaco) and J.N. Kok (Joost)

January 1988
Comparative semantics for flow of control in logic programming without logic Tech Report

J.W. de Bakker (Jaco)

January 1988
Dialogue cell resource model and basic dialogue cells Tech Report

H.J. Schouten and N. Keilman

January 1988
On the estimation of multidimensional demographic models with population registration data Tech Report

R.D. Gill (Richard) and N. Keilman

January 1988
Process algebra and Hoare's logic Tech Report

A. Ponse (Alban)

January 1988
Index formulas for generalized Wiener-Hopf operators and Boson-Fermion correspondence in 2N dimensions Tech Report

S.N.M. Ruijsenaars (Simon)

January 1988
The 'structural memory' : a network model for human perception of serial objects Tech Report

J.J.W. van der Vegt (Jaap), H.F.J.M. Buffart and C.C. van Leeuwen

January 1988
Algebraic specification of a compiler for a language with pointers Tech Report

E.A. van der Meulen (Emma)

January 1988
Estimating the weight undersize distribution for the Wicksell problem Tech Report

A.W. Hoogendoorn

January 1988
Random truncation models and Markov processes Tech Report

N. Keiding and R.D. Gill (Richard)

January 1988
Distributed routing for load balancing Tech Report

R.K. Boel and J.H. van Schuppen (Jan)

January 1988
The escalator boxcar train: basic theory and an application to Daphnia population dynamics Tech Report

A.M. de Roos, O. Diekmann (Odo) and J.A.J. Metz

January 1988

Previous

Next

Available Years