Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

ARM : abstract rewriting machine Tech Report

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

January 1993
A positive finite-difference advection scheme applied on locally refined grids Tech Report

W. Hundsdorfer (Willem), B. Koren (Barry), M. van Loon (Martin) and J.G. Verwer (Jan)

January 1993
Preconditioning in parallel Runge-Kutta methods for stiff initial value problems Tech Report

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

January 1993
On the reciprocal relationship between life histories and population dynamics Tech Report

O. Diekmann (Odo) and H. Metz

January 1993
On the construction of morphological operators which are selfdual and activity-extensive Tech Report

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

January 1993
Efficient algorithms for mathematical morphology based on chamfer distances Tech Report

P. F. M. Nacken (Peter)

January 1993
Chamfer metrics in mathematical morphology Tech Report

P. F. M. Nacken (Peter)

January 1993
On the unification free Prolog programs Tech Report

K.R. Apt (Krzysztof) and S. Etalle (Sandro)

January 1993
Bisimulations and predicate logic Tech Report

R.T.P. Fernando (Tim)

January 1993
MANIFOLD version 1.0 programming: programs and problems Tech Report

C.L. Blom (Kees)

January 1993
Three metric domains of processes for bisimulation Tech Report

F. van Breugel

January 1993
Comparative semantics for linear arrays of communicating processes Tech Report

J.W. de Bakker (Jaco), F. van Breugel and A. de Bruin (Arie)

January 1993
Relating state transformation semantics and predicate transformer semantics for parallel programs Tech Report

F. van Breugel

January 1993
Topological models for higher order control flow Tech Report

J.W. de Bakker (Jaco) and F. van Breugel

January 1993
Thermodynamics of computation and information distance Tech Report

C.H. Bennett (Charles), P. Gacs (Péter), M. Li (Ming), P.M.B. Vitányi (Paul) and W.H. Zurek (Wojciech)

January 1993
Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Tech Report

N.M. Temme (Nico)

January 1993
On constructing multi-variate orthonormal polynomials associated with spectral distribution functions Tech Report

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

January 1993
The use of service limits for efficient operation of multistation single-medium communication systems Tech Report

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

January 1993
A polling system with a dormant server Tech Report

S.C. Borst (Sem)

January 1993
Annual report ... / CWI. Department of Computer Science. Department of Software Technology Tech Report

January 1993
Service independent building blocks Tech Report

A.S. Klusener (Steven), B. van Vlijmen and A. van Waveren

January 1993
Manray : a replicated workers program in manifold Tech Report

P. Spilling and F. Arbab (Farhad)

January 1993
Isomorphisms between predicate and state transformers Tech Report

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1993
Parallel experiments with simple linear algebra operations on a Cray S-MP system 500 matrix Tech Report

C.-H. Lai, H.J.J. te Riele (Herman) and A. Ualit

January 1993
Relations between varieties of Kolmogorov complexities Tech Report

V.A. Uspensky and A. Shen (Alexander)

January 1993
More problems in rewriting Tech Report

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1993
The Boltzmann entropy and randomness tests Tech Report

P. Gacs (Péter)

January 1993
A user's guide to the Software Testpilot Tech Report

H. Kesten and F. Kwakkel

January 1993
Homomorphism preserving algebraic specifications require hidden sorts Tech Report

J.A. Bergstra (Jan) and J. Heering (Jan)

January 1993
Perpetual reductions and strong normalization in orthogonal term rewriting systems Tech Report

Z. Khasidashvili

January 1993
A structural co-induction theorem Tech Report

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

January 1993
Higher order recursive program schemes are Turing incomplete Tech Report

Z. Khasidashvili

January 1993
Regular layouts of butterfly networks in three dimensions Tech Report

J. Keller (Jörg)

January 1993
Declarative programming in Prolog Tech Report

K.R. Apt (Krzysztof)

January 1993
Identification in the limit of categorial grammars Tech Report

M. Kanazawa

January 1993
Schema refinement and schema integration in object-oriented databases Tech Report

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

January 1993
Evaluation of discretization schemes for advection-diffusion equations Tech Report

B. Koren (Barry) and C.B. Vreugdenhil

January 1993
The legacy of Kermack and McKendrick Tech Report

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1993
A cell-cycle model revisited Tech Report

O. Diekmann (Odo), M. Gyllenberg, H.R. Thieme and S.M. Verduyn Lunel (Sjoerd)

January 1993
Line transects, covariance functions and set approximation Tech Report

A.J. Cabo (Annoesjka) and A.J. Baddeley (Adrian)

January 1993
On interpolating random fields using a finite number of observations Tech Report

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

January 1993
Kaplan-Meier estimators of interpoint distance distributions for spatial point processes Tech Report

A.J. Baddeley (Adrian) and R.D. Gill (Richard)

January 1993
Event structures and orthognal term graph rewriting Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1993
Perpetual reductions in orthogonal combinatory reduction systems Tech Report

Z. Khasidashvili

January 1993
Comparing curried and uncurried rewriting Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1993
Operational semantics, bisimulations and logical complexity Tech Report

R.T.P. Fernando (Tim)

January 1993
Simultaneous replacement in normal programs Tech Report

A. Bossi, N. Cocco and S. Etalle (Sandro)

January 1993
Reasoning about Prolog programs: from modes through types to assertions Tech Report

K.R. Apt (Krzysztof) and E. Marchiori

January 1993
A proof procedure for extended logic programs Tech Report

F. J. M. Teusink (Frank)

January 1993
An evaluation of explicit pseudo-steady-state approximation schemes for stiff ODE systems from chemical kinetics Tech Report

J.G. Verwer (Jan) and M. van Loon (Martin)

January 1993
Parallel iteration across the steps of high order Runge-Kutta methods for nonstiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

January 1993
Some problems of applied algebra Tech Report

M. Hazewinkel (Michiel)

January 1993
Control of a random walk with noisy delayed information Tech Report

E. Altman and G.M. Koole (Ger)

January 1993
MADE: a multimedia application development environment Tech Report

I. Herman (Ivan), G.J. Reynolds and J. Davy

January 1993
Comparing combinatory reduction systems and higher-order rewrite systems Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
Combinatory reduction systems: introduction and survey Tech Report

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
Differential logic programs: semantics and programming methodologies Tech Report

A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M.C. Meo

January 1993
Datalog with non-deterministic choice computes NDP-PTIME Tech Report

L. Corciulo, F. Gianotti and D. Pedreschi

January 1993
Generalizing finiteness conditions of labelled transition systems Tech Report

F. van Breugel

January 1993
The tyft/tyxt format reduces to tree rules Tech Report

W.J. Fokkink (Wan)

January 1993
Basic process algebra with iteration: completenss of its equational axioms Tech Report

W.J. Fokkink (Wan) and H. Zantema (Hans)

January 1993
Method of lines and direct discretization : a comparison for linear advection Tech Report

W. Hundsdorfer (Willem) and R.A. Trompert (Ronald)

January 1993
Gauss-Seidel iteration for stiff ODEs from chemical kinetics Tech Report

J.G. Verwer (Jan)

January 1993
Time integration of three-dimensional numerical transport models Tech Report

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

January 1993
Chebyshev best-fit geometric elements Tech Report

G.T. Anthony, H.M. Anthony, B. Bittner, B.P. Butler, M.G. Cox, R. Drieschner, R. Elligsen, A.B. Forbes, H. Groß, S.A. Hannaby, et al. J. Kok (Jan)

January 1993
EUVEL: an EULER vector extension library Tech Report

W.M. Lioen (Walter) and M. Nool (Margreet)

January 1993
A vectorizable adaptive grid solver for PDEs in 3D Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1993
Parallel iteration of symmetric Runge-Kutta methods for nonstiff initial value problems Tech Report

N. Cong

January 1993
BASIS3, a data structure for 3-dimensional sparse grids Tech Report

P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

January 1993
Multiparameter quantum groups and multiparameter R-matrices Tech Report

M. Hazewinkel (Michiel)

January 1993
Numerical detection and continuation of codimension-two homoclinic bifurcations Tech Report

A.R. Champneys and Y.A. Kuznetsov

January 1993
Quantum homogeneous spaces, duality, and quantum 2-spheres Tech Report

M. Dijkhuizen and T.H. Koornwinder

January 1993
The p-q-r-medial axis algorithm requires only local operations Tech Report

P. F. M. Nacken (Peter)

January 1993
Area-interaction point processes Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

January 1993
Multiservers queues with impatient customers Tech Report

O.J. Boxma (Onno) and P.R. de Waal

January 1993
Stochastic realization of a Gaussian stochastic control system Tech Report

J.H. van Schuppen (Jan)

January 1993
A hierarchical highway recognition from satellite images Tech Report

M. Haindl, A. Gagalowicz and B. Jedynak

January 1993
A comparison of additivity axioms in timed transition systems Tech Report

A.S.A. Jeffrey, S.A. Schneider (Steve) and F.W. Vaandrager (Frits)

January 1993
Transforming acyclic programs Tech Report

A. Bossi and S. Etalle (Sandro)

January 1993
Detecting feature interacties with Caesar/Aldébaran Tech Report

H.P. Korver

January 1993
A computer-checked verification of Milner's scheduler Tech Report

H.P. Korver and J.G. Springintveld

January 1993
Approximable sets Tech Report

R. Beigel, M. Kummer and F. Stephan

January 1993
Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

January 1993
The regulator problem with robust stability Tech Report

M.K.K. Cevik and J.M. Schumacher (Hans)

January 1993
Talking about trees In Proceedings

P. Blackburn (Patrick), C. Gardent (Claire) and W. P. M. Meyer Viol (Wilfried)

January 1993
Facilitaire dienst = Facility department : brochure Booklet

January 1993
Retrieving (JPEG) pictures in portable hypermedia documents In Proceedings

D.C.A. Bulterman (Dick)

January 1993
Statistical analysis of software reliability models Dissertation

M.C. J. van Pul (Mark)

January 1993
Incremental rewriting Dissertation

Software Engineering

E.A. van der Meulen (Emma)

January 1993
Overview research activities (ORA) / Centrum voor Wiskunde en Informatica (CWI) 1993-2008 Miscellaneous

January 1993
Preface Preface

J.W. de Bakker (Jaco), W.P. de Roever and G. Rozenberg

January 1993
Simulation-based comparison of hash functions for emulated shared memory In Proceedings

C. Engelmann (Curd) and J. Keller (Jörg)

January 1993
WYSIWYG editors: And what now? In Proceedings

E.D.G. Boeve (Eddy), L.G. Barfield (Lon) and S. Pemberton (Steven)

January 1993
Incomplete line $LU$ as smoother and as preconditioner In Proceedings

P.M. de Zeeuw (Paul)

January 1993
Complexity of disjoint paths problems in planar graphs In Proceedings

A. Schrijver (Lex)

January 1993
Parallel iteration schemes for implicit ODEIVP methods In Proceedings

P.J. van der Houwen (Piet)

January 1993
Enquire Software

S. Pemberton (Steven)

January 1993
Authoring multimedia in the CMIF environment In Proceedings

L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)

January 1993
Confluence and superdevelopments In Proceedings

F. van Raamsdonk (Femke)

January 1993
Parallel step-by-step methods In Proceedings

P.J. van der Houwen (Piet)

January 1993

Previous

Next

Available Years