Publications from 2039

An introduction to minimum disclosure Article

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

Adding Name Sets and Workstation Filters to GKS: a Future Extension Article

M. Bakker (Miente)

Uitnodiging afscheidsreceptie F. J. M. Barning, 25.02.1988 Other

Thirteenth conference on the mathematics of operations research and systems theory : Lunteren, 13-15.01.1988 : program and abstracts Booklet

Thirteenth conference on the mathematics of operations research : Lunteren, 13-15.01.1988 : program Booklet

Transonic shock wave-turbulent boundary layer interaction on a curved surface Article

C. Nebbeling and B. Koren (Barry)

Defect correction and multigrid for an efficient and accurate computation of airfoil flows Article

B. Koren (Barry)

Factoriseren en primaliteitstesten [Factorization and primality tests] : een inleiding [an introduction] Tech Report

H.J.J. te Riele (Herman)

Finite difference methods for the three-dimensional hydrodynamic equations Tech Report

E.D. de Goede (Erik)

Note on explicit parallel multistep Runge-Kutta methods Tech Report

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

Semantic correctness for a parallel object-oriented language Tech Report

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

Module algebra Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

Cauchy problems with state-dependent time evolution Tech Report

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

A stochastic model of traffic flow on freeways Tech Report

E.A.G. Weits

On the equivalence of BS-stability and B-consistency Tech Report

W. Hundsdorfer (Willem) and J. Schneid

Pressure correction splitting methods for the computation of oscillatory free convection in low Pr fluids Tech Report

J.H.M. ten Thije Boonkkamp

A note on pole placement by static output feedback for single-input systems Tech Report

J.W. van der Woude (Jacob)

A graph theoretic characterization for the rank of the transfer matrix of a structured system Tech Report

J.W. van der Woude (Jacob)

The biennial life strategy in a random environment : supplement Tech Report

J.B.T.M. Roerdink (Jos)

The velocity of spatial population expansion Tech Report

F. van den Bosch, J.A.J. Metz and O. Diekmann (Odo)

On the Hellinger type distances for filtered experiments Tech Report

K.O. Dzhaparidze (Kacha) and E. Valkeila

On the smooth fit boundary conditions in the optimal stopping problem for semimartingales Tech Report

R.J. Chitashvili

Variable step iteration of high-order Runge-Kutta methods on parallel computers Tech Report

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

A moving-grid method for one-dimensionl PDEs based on the method of lines Tech Report

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

A functional approach to database semantics Tech Report

A.P.J.M. Siebes (Arno) and M.L. Kersten (Martin)

Structured operational semantics and bisimulation as a congruence Tech Report

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

Parallel inference based on delta processing Tech Report

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

Implementation of modular algebraic specifications Tech Report

N.W.P. van Diepen

A vector-like architecture for raster graphics Tech Report

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

Metric semantics for concurrency Tech Report

J.W. de Bakker (Jaco) and J.-J.C. Meyer (John-Jules)

Random upper semicontinuous functions and extremal processes Tech Report

W. Vervaat

Invariant measures in abstract topological dynamics Tech Report

J. de Vries (Jan)

Sojourn times in feedback and processor sharing queues Tech Report

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

Waiting-time approximations for cyclic-service systems with mixed service strategies Tech Report

W.P. Groenendijk

Reliability of stochastically forced systems Tech Report

H.N.M. Roozen

The algebra of synchronous processes Tech Report

W.P. Weijland

Mathematical morphology for structures without translation symmetry Tech Report

J.B.T.M. Roerdink (Jos) and H.J.A.M. Heijmans (Henk)

A sufficient condition for a product form distribution of a queueing network with controlled arrivals Tech Report

P.R. de Waal

Analytic methods for the modeling of flexible structures Tech Report

J.M. Schumacher (Hans)

Defect correction and nonlinear multigrid for the steady Euler equations Tech Report

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

Behind the screen: DSS from an OR point of view Tech Report

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

A tutorial introduction to differentiable manifolds and calculus on manifolds Tech Report

M. Hazewinkel (Michiel)

Using a graph rewriting system for databases Tech Report

M.L. Kersten (Martin), A.P.J.M. Siebes (Arno) and C.A. van den Berg (Carel)

A time and space efficient implementation of a dynamic index in a main-memory DBS Tech Report

M.L. Kersten (Martin)

Matrixdependent prolongations and restrictions in a blackbox multigrid solver Tech Report

P.M. de Zeeuw (Paul)

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

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

Lectures on linear and nonlinear filtering Tech Report

M. Hazewinkel (Michiel)

A short tutorial on Lie algebras Tech Report

M. Hazewinkel (Michiel)

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

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

Algorithmics and heuristics in combinatorial optimization Tech Report

J.K. Lenstra (Jan Karel)

Filtering of freeway traffic flow Tech Report

S.A. Smulders

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

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

Functional dependencies of variables in wait-free programs Tech Report

E. Kranakis (Evangelos)

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)

A compositional semantics for concurrent PROLOG Tech Report

J.N. Kok (Joost)

Arithmetic classification of perfect models of stratified programs Tech Report

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

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

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

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

B. Koren (Barry)

State representations of linear systems with output constraints Tech Report

J.M. Schumacher (Hans)

Appraising fairness in languages for distributed programming Tech Report

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

Some observations on redundancy in a context Tech Report

F.W. Vaandrager (Frits)

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

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

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

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

L.C. van der Gaag

STDWIN: a standard window system interface Tech Report

G. van Rossum (Guido)

An exact incremental hidden surface removal algorithm Tech Report

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

An integrated text and syntax-directed editor Tech Report

M.H. Logger

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

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

S. Tardif

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

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

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)

The power of physical representations Tech Report

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

Incremental generation of parsers Tech Report

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

ASF system user's guide Tech Report

P.R.H. Hendriks

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

E.V. Khmaladze

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)

Estimating a regression function Tech Report

S.A. van de Geer (Sara)

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

S.A. van de Geer (Sara)

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)

Prospective classification of distance-transitive graphs Tech Report

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

Linear groups and distance-transitive graphs Tech Report

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

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)

Modular specifications in process algebra : with curious queues Tech Report

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

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

S.L. van de Velde

The algebraic basis of mathematical morphology Tech Report

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

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

K.R. Apt (Krzysztof)

A distributed debugger for Amoeba Tech Report

I.J.P. Elshoff

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)

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

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

Multiplicative iterative algorithms for convex programming Tech Report

P.P.B. Eggermont

Concurrent evaluation of side-effects Tech Report

M. de Rooy

Semantics and consistency of rule-based expert systems Tech Report

M.A. Bezem

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

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

Tail triviality for sums of stationary random variables Tech Report

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

Meixner-Pollaczek polynomials and the Heisenberg algebra Tech Report

T.H. Koornwinder

Job shop scheduling by simulated annealing Tech Report

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

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

T.H. Koornwinder

On the Amoeba protocol Tech Report

J.C. Mulder

The Klein bottle and multicommodity flows Tech Report

A. Schrijver (Lex)

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

A. Schrijver (Lex)