Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Two heads are better than two tapes Tech Report

T. Jiang (Tao), J.I. Seiferas and P.M.B. Vitányi (Paul)

January 1994
Tarskian variations dynamic parameters in classical semantics Tech Report

J. F. A. K. van Benthem (Johan) and G. Cepparello (Giovanna)

January 1994
Proof-checking a data link protocol Tech Report

L. Helmink, M.P.A. Sellink and F.W. Vaandrager (Frits)

January 1994
Self-stabilizing wait-free clock synchronization Tech Report

M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1994
Randomized wait-free naming Tech Report

A. Panconesi, M. Papatriantafilou (Marina), P. Tsigas (Philippas) and P.M.B. Vitányi (Paul)

January 1994
Uniform deterministic self-stabilizing ring-orientation on odd-length rings Tech Report

J.H. Hoepman (Jaap-Henk)

January 1994
Solving domain equations in a category of compact metric spaces Tech Report

F. van Breugel and J.H.A. Warmerdam

January 1994
Origin tracking for higher-order term rewriting systems Tech Report

A. van Deursen (Arie) and T.B. Dinesh

January 1994
Object space versus image space A comparison of image synthesis algorithms Tech Report

T. van Rij

January 1994
Antialiasing and shading, an implementation Tech Report

T. van Rij

January 1994
An approximate Riemann solver for magnetohydrodynamics (that works in more than one dimension) Tech Report

K.G. Powell

January 1994
Parallel predictor-corrector methods Tech Report

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

January 1994
Explicit methods for stiff ODEs from atmospheric chemistry Tech Report

J.G. Verwer (Jan) and D. Simpson

January 1994
Supervisory control for nondeterministic systems Tech Report

A.A.F. Overkamp (Ard)

January 1994
Modelling dependence between interaarival and service times with Markovian arrival processes Tech Report

M.B. Combé (Marco)

January 1994
Impatient customers in the MAP/G/I queue Tech Report

M.B. Combé (Marco)

January 1994
Computable processes Tech Report

H.P. Barendregt (Henk), H. Wupper and H. Mulder (Hans)

January 1994
Architectural support for data mining Tech Report

M. Holsheimer and M.L. Kersten (Martin)

January 1994
Modularity of UN-> for left-linear term rewriting systems Tech Report

M. Marchiori

January 1994
Spatial audio in graphical applications Tech Report

J.D. Mulder (Jurriaan) and E.H. Dooijes

January 1994
Asymptotics of zeros of incomplete gamma functions Tech Report

N.M. Temme (Nico)

January 1994
Strong orientations without even directed circuits Tech Report

A.M.H. Gerards (Bert) and F.B. Shepherd (Bruce)

January 1994
Optimal probabilistic allocation of customer types to servers Tech Report

S.C. Borst (Sem)

January 1994
Top-down image analysis by cost minimization in hierarchical graph structures Tech Report

P. F. M. Nacken (Peter)

January 1994
Image segmentation by connectivity preserving relinking in hierarchical graph structures Tech Report

P. F. M. Nacken (Peter)

January 1994
On orthonormal polynomials and kernel polynomials associated with a matrix spectral distribution function Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

January 1994
Morphological operators for image sequences Tech Report

J. Goutsias (John), H.J.A.M. Heijmans (Henk) and D. Sivakumar

January 1994
On the analysis of the symmetrical shortest queue Tech Report

J.W. Cohen

January 1994
Polling models with and without switchover times Tech Report

S.C. Borst (Sem) and O.J. Boxma (Onno)

January 1994
A complete term rewriting system for decimal integer arithmetic Tech Report

H.R. Walters (Pum)

January 1994
Privacy from partial broadcast Tech Report

M. Franklin and M. Yung (Moti)

January 1994
Multigrid and advection Tech Report

P.M. de Zeeuw (Paul)

January 1994
Numerical smog prediction Tech Report

M. van Loon (Martin)

January 1994
The force of infection in populations of varying size: a modelling problem Tech Report

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

January 1994
On the maximum number of customers simultaneously present in a queue Tech Report

R.J. Boucherie (Richard)

January 1994
Matching Tech Report

A.M.H. Gerards (Bert)

January 1994
Queueing-theoretic solution methods for models of parallel and distributed systems Tech Report

O.J. Boxma (Onno), G.M. Koole (Ger) and Z. Liu (Zhe)

January 1994
Cost distributions of search spaces in query optimization Tech Report

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 1994
Homogeneous discoveries contain no surprises: inferring risk-profiles from large databases Tech Report

A.P.J.M. Siebes (Arno)

January 1994
Uniformly-distributed random generation of join orders Tech Report

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 1994
How a rainbow coloring function can simulate wait-free handshaking Tech Report

M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1994
A bottom-up semantics for constructive negation Tech Report

A. Bossi, M. Fabris and M.C. Meo

January 1994
GEL, a graph exchange language Tech Report

J.F.T. Kamperman (Jasper)

January 1994
Idempotent most general unifiers for infinite sets Tech Report

W.J. Fokkink (Wan)

January 1994
Preconditioning and multigrid for Euler flows with low-subsonic regions Tech Report

B. Koren (Barry)

January 1994
Condition improvement for point relaxation in multigrid, subsonic Euler-flow computations Tech Report

B. Koren (Barry)

January 1994
A preconditioned Jacobi-Davidson method for solving large generalized eigenvalue problems Tech Report

J.G.L. Booten, H.A. van der Vorst (Henk), P.M. Meijer and H.J.J. te Riele (Herman)

January 1994
An investigation of data reuse on the Cray S-MP system 500 Tech Report

A.J. Stewart, M. Nool (Margreet), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

January 1994
Dimensional splitting with unconditional stability for advection on a sphere Tech Report

W. Hundsdorfer (Willem) and E.J. Spee (Edwin)

January 1994
A survey of program slicing techniques Tech Report

F. Tip (Frank)

January 1994
Indefeasible semantics and defeasible pragmatics Tech Report

M. Kameyama

January 1994
The integration project for the JACK environment Tech Report

A. Bouali, S. Gnesi and S. Larosa

January 1994
A path-based variable-free system for predicate logic Tech Report

D. Ben-Shalom

January 1994
Verification of an audio control protocol Tech Report

D.J.B. Bosscher (Doeko), I. Polak and F.W. Vaandrager (Frits)

January 1994
A logic for variable aliasing in logic programs Tech Report

E. Marchiori

January 1994
More on unfold/fold transformations of normal programs: preservation of fitting's semantics Tech Report

A. Bossi and S. Etalle (Sandro)

January 1994
An environment for computational steering Tech Report

J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1994
Hyperslice visualization of scalar functions of many variables Tech Report

J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1994
Visualization of multi-dimensional scalar functions using hyperslice Tech Report

R. van Liere (Robert) and J.J. van Wijk (Jack)

January 1994
Cross-covariance functions characterise bounded regular closed sets Tech Report

A.J. Cabo (Annoesjka) and R.H.P. Janssen (René)

January 1994
On the determination of the stationary distribution of a symmetric clocked buffered switch Tech Report

J.W. Cohen

January 1994
Type equivalence, subtyping, and type transformations in object-oriented databases Tech Report

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

January 1994
Branching bisimulation as a strong bisimulation Tech Report

A. Bouali and R. de Nicola

January 1994
Efficient parallel predictor-corrector methods Tech Report

J.J.B. de Swart (Jacques)

January 1994
Vectorization aspects of a spherical advection scheme on a reduced grid Tech Report

J.G. Blom (Joke), W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1994
Update 1 to: Factorizations of $ a^ n pm 1,13 leq a < 100 $ Tech Report

R.P. Brent, P.L. Montgomery and H.J.J. te Riele (Herman)

January 1994
Approximating inverse submatrices for parallel finite element preconditioning Tech Report

M.C. Dracopoulos

January 1994
Waiting-time approximations for multiple-server polling systems Tech Report

S.C. Borst (Sem) and R.D. van der Mei (Rob)

January 1994
A limit theorem for scaled vacancies of the Boolean model Tech Report

I.S. Molchanov (Ilya)

January 1994
Generic techniques for source-level debugging and dynamic program slicing Tech Report

F. Tip (Frank)

January 1994
More (on) unification-free Prolog programs Tech Report

S. Etalle (Sandro)

January 1994
Off-line cash transfer by smart cards Tech Report

S.A. Brands (Stefan)

January 1994
A Lindström theorem for modal logic Tech Report

M. de Rijke (Maarten)

January 1994
A trying C++ experience (Why COMPARE dropped C++) Tech Report

T.B. Dinesh

January 1994
A finite automaton learning system using genetic programming Tech Report

H.H. Ehrenburg and H.A.N. van Maanen

January 1994
The impact of catalogs and join algorithms on probabilistic query optimization Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1994
Action transducers and timed automata Tech Report

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1994
Lazy rewriting on eager machinery Tech Report

J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

January 1994
Zooming in, zooming out Tech Report

P. Blackburn (Patrick) and M. de Rijke (Maarten)

January 1994
The development of Runge-Kutta methods for partial differential equations Tech Report

P.J. van der Houwen (Piet)

January 1994
Remarks on sparse-grid finite-volume multigrid Tech Report

P.W. Hemker (Piet)

January 1994
Stability analysis of an odd-even-line hopscotch method for three-dimensional advection-diffusion problems Tech Report

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

January 1994
Numerical multigrid software for elliptic PDE's : routines: MGD1M and MGD5M Tech Report

M. Nool (Margreet) and P.M. de Zeeuw (Paul)

January 1994
A note on bootstrapping the local time of the empirical process Tech Report

R. Helmers (Roelof)

January 1994
Delaunay transformations of a Delaunay polytope Tech Report

M. Laurent (Monique)

January 1994
Impulsive-smooth behavior in multimode systems Tech Report

A.H.W. Geerts and J.M. Schumacher (Hans)

January 1994
Equilibrium and transient system effectiveness of a production unit with an output buffer Tech Report

P.R. de Waal and S.G. Vanneste

January 1994
An $ H_infty $-parameter estimator and its interpretation Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

January 1994
Load sharing in models with communication delays Tech Report

R.A.B. van der Geest

January 1994
The algebra of modal logic Tech Report

P. Blackburn (Patrick), M. de Rijke (Maarten) and Y. Venema

January 1994
The STO-problem is NP-hard Tech Report

K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling

January 1994
Formal methods in the development of PREMO Tech Report

D.A. Duce, D.J. Duke, P.J.W. ten Hagen (Paul), I. Herman (Ivan) and G.J. Reynolds

January 1994
Some uses of constructive negation for classical problems in non-monotonic reasoning Tech Report

E. Marchiori

January 1994
Comparing negation in logic programming and in Prolog Tech Report

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1994
Knowledge abstraction using heuristic search Tech Report

D. Riaño

January 1994
A note on splitting errors for advection-reaction equations Tech Report

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

January 1994
Explicit parallel block Cholesky algorithms on the CRAY APP Tech Report

M. Nool (Margreet)

January 1994
Convergence aspects of step-parallel iteration of Runge-Kutta methods Tech Report

W.A. van der Veen (Wolter), J.J.B. de Swart (Jacques) and P.J. van der Houwen (Piet)

January 1994
The BM AP/M/s queue Tech Report

M.B. Combé (Marco)

January 1994
On strong laws for generalized L-statistics with dependent data Tech Report

D. Gilat and R. Helmers (Roelof)

January 1994

Previous

Next

Available Years