Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
A dichotomy theorem for the adjoint of a semigroup of operators Article

Proceedings of the American Mathematical Society, 119(3), 765-774.

J.M.A.M. van Neerven (Jan)

January 1993
A-stable diagonally implicit Runge-Kutta-Nyström methods for parallel computers Article

Numerical Algorithms, 4(3), 263-281.

N. Cong

January 1993
Parallel-iterated Runge-Kutta methods for stiff ordinary differential equations Article

Journal of Computational and Applied Mathematics, 45(1-2), 151-168.

B.P. Sommeijer (Ben)

January 1993
Asymptotic and numerical aspects of the noncentral chi-square distribution Article

Computers & Mathematics with Applications, 25(5), 55-63.

N.M. Temme (Nico)

January 1993
Mathematical morphology with noncommutative symmetry groups Book Chapter

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

January 1993
Note on hypergraphs and sphere orders Article

Journal of Graph Theory, 17(2), 173-176.

A. Schrijver (Lex)

January 1993
Asymptotic estimates of Stirling numbers Article

Studies in Applied Mathematics, 89(3), 233-243.

N.M. Temme (Nico)

January 1993
Tait's flyping conjecture for well-connected links Article

Journal of Combinatorial Theory - Series B, 58(1), 65-146.

A. Schrijver (Lex)

January 1993
A uniqueness condition for Gibbs measures, with application to the $2$-dimensional Ising antiferromagnet Article

Communications in Mathematical Physics, 152(1), 161-166.

J. van den Berg (Rob)

January 1993
A constrained optimization problem for a processor sharing queue Article

Naval Research Logistics, 40(5), 719-731.

P.R. de Waal

January 1993
Abstract multiplication semigroups Article

Mathematische Zeitschrift, 213(1), 1-15.

J.M.A.M. van Neerven (Jan)

January 1993
Local uniform grid refinement and systems of coupled partial differential equations Article

Applied Numerical Mathematics, 12(4), 331-355.

R.A. Trompert (Ronald)

January 1993
Modular properties of conditional term rewriting systems. Logic in computer science Article

Information and Computation, 104(1), 110-158.

A. Middeldorp

January 1993
Induced circuits in graphs on surfaces Book Chapter

A. Schrijver (Lex)

January 1993
Discrete wavelets and multiresolution analysis Book Chapter

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

January 1993
Wavelets: first steps Book Chapter

N.M. Temme (Nico)

January 1993
Graphs on the torus and geometry of numbers Article

Journal of Combinatorial Theory - Series B, 58(1), 147-158.

A. Schrijver (Lex)

January 1993
Hyperasymptotics and the Stokes' phenomenon Article

Proceedings of the Royal Society of Edinburgh A, 123(4), 731-743.

A.B. Olde Daalhuis

January 1993
Computing with Daubechies' wavelets Book Chapter

A.B. Olde Daalhuis

January 1993
Preconditioning in implicit initial-value problem methods on parallel computers Article

Advances in Computational Mathematics, 1(1), 39-60.

P.J. van der Houwen (Piet)

January 1993
Comparative transition system semantics Book Chapter

R.T.P. Fernando (Tim)

January 1993
Image compression using wavelets Book Chapter

P. F. M. Nacken (Peter)

January 1993
Explicit, high-order Runge-Kutta-Nyström methods for parallel computers In Proceedings

B.P. Sommeijer (Ben)

January 1993
An elimination theorem for regular behaviours with integration Book Chapter

W.J. Fokkink (Wan)

January 1993
Multigrid and advection Book Chapter

P.M. de Zeeuw (Paul)

January 1993
A robust upwind discretization method for advection, diffusion and source terms Book Chapter

B. Koren (Barry)

January 1993
Elements of topological dynamics Book

J. de Vries (Jan)

January 1993
Applying free partially commutative groups to paths and circuits in directed graphs on surfaces Book Chapter

A. Schrijver (Lex)

January 1993
A characterization of stable models using a non-monotonic operator In Proceedings

F. J. M. Teusink (Frank)

January 1993
A proof procedure for extended logic programs Book Chapter

F. J. M. Teusink (Frank)

January 1993
Wavelets understand fractals Book Chapter

M. Hazewinkel (Michiel)

January 1993
The Homing Cursor: A Tool for Three-Dimensional Chromosome Analysis Article

Cytometry, 14(5), 501-509.

A. Houtsmuller, A.W.M. Smeulders (Arnold), H.T.M. van der Voort, J. Oud and N. Nanninga

January 1993
Method for Counting Mitoses by Image Processing in Feulgen Stained Breast Cancer Sections Article

Cytometry, 14(3), 241-250.

T.K. ten Kate, J.A.M. Belien, A.W.M. Smeulders (Arnold) and J.P.A. Baak

January 1993
Digital Curvature Estimation Article

Computer Vision and Image Understanding, 58(3), 366-382.

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1993
Graph morphology in image analysis Book Chapter

H.J.A.M. Heijmans (Henk) and L. Vincent

January 1993
A two-machine repair model with variable repair rate Article

Naval Research Logistics, 40(4), 495-523.

F.A. van der Duyn Schouten and P. Wartenhorst

January 1993

Previous

Next

Available Years