Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

On the occur-check free prolog programs Article

ACM Transactions on Programming Languages and Systems, 16(3), 687-726.

K.R. Apt (Krzysztof) and A. Pellegrini

January 1994
A new definition of SLDNF-resolution Article

Journal of Logic Programming, 18(2), 177-190.

K.R. Apt (Krzysztof) and K. Doets

January 1994
Programmverifikation: Sequentielle, parallele und verteilte programme Book

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1994
Approximation methods for n-component solute transport and ion-exchange Article

Journal of Computational and Applied Mathematics, 53(2), 275-290.

P.M.C. Thoolen and P.W. Hemker (Piet)

January 1994
Discrete approximation of parabolic PDE's with a discontinuous initial condition Article

International Journal of Computational Fluid Dynamics, 2(4), 375-392.

P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

January 1994
From universal morphisms to megabytes: A Baayen space odyssey Book

January 1994
A set of algorithms for the incomplete gamma functions Article

Probability in the Engineering and Informational Sciences, 291-307.

N.M. Temme (Nico)

January 1994
Aspects of algorithms and complexity Dissertation

Quantum Computing and Advanced System Research

J.T. Tromp (John)

December 1993
Models and axioms for a fragment of real time process algebra Dissertation

A.S. Klusener (Steven)

December 1993
Extending modal logic Dissertation

M. de Rijke (Maarten)

December 1993
Representation and learning in feedforward neural networks Article

CWI Quarterly, 6(4), 385-408.

H.L. Trentelman

December 1993
30 Years after Sketchpad: relaxation of geometric constraints revisited Article

CWI Quarterly, 6(4), 363-383.

C.W.A.M. van Overveld

December 1993
A spline-wavelet image decomposition for a difference engine Article

CWI Quarterly, 6(4), 335-362.

P.C. Marais, E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

December 1993
Hyperfunctions and analytic functionals Article

CWI Quarterly, 6(4), 317-333.

V.V. Zharinov (Victor)

December 1993
Technologie overdracht : CWI in bedrijf, 08.10.1993 Booklet

October 1993
Foreword: Science of Computer Programming Vol: 21 Nr: 2 Article

Science of Computer Programming, 21(2), 91-92.

K.R. Apt (Krzysztof) and M. Hagiya

October 1993
Robust multigrid methods for the steady and unsteady incompressible Navier-Stokes equations in general coordinates Dissertation

C.W. Oosterlee (Kees)

September 1993
Management van autonome onderzoekers: HRM bij het Centrum voor Wiskunde en Informatica (CWI) : verslag van de eerste fase van het Human Resource Managementprogramma bij het CWI Book

E. van Sluijs

September 1993
Stochastic scheduling games with Markov Decision Arrival Processes Article

Computers & Mathematics with Applications, 26(6), 141-148.

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

September 1993
The basic reproduction ratio for sexually transmitted diseases part 2. Effects of variable HIV infectivity Article

Mathematical Biosciences, 117(1-2), 35-47.

K. Dietz, J.A.P. Heesterbeek (Hans) and D.W. Tudor

September 1993
Transition system specifications with negative premises Article

Theoretical Computer Science, 118(2), 263-299.

J.F. Groote (Jan Friso)

September 1993
Multicommodity flows and polyhedra Article

CWI Quarterly, 6(3), 281-296.

A.M.H. Gerards (Bert)

September 1993
Edge-disjoint paths in graphs on surfaces Article

CWI Quarterly, 6(3), 267-280.

M. de Graaf (Mart)

September 1993
A group-theoretical approach to disjoint paths in directed graphs Article

CWI Quarterly, 6(3), 257-266.

A. Schrijver (Lex)

September 1993
Rooted routing in the plane Article

CWI Quarterly, 6(3), 241-255.

B. Reed

September 1993
Minimum circulation of railway stock Article

CWI Quarterly, 6(3), 205-217.

A. Schrijver (Lex)

September 1993
Packing paths and Steiner trees: routing of electronic circuits Article

CWI Quarterly, 6(3), 185-204.

A. Martin and R. Weismantel

September 1993
Paths and flows: a historical survey Article

CWI Quarterly, 6(3), 169-183.

A. Schrijver (Lex)

September 1993
A Difference Engine for Image Reconstruction In Proceedings

E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

September 1993
EMG '93 : European multigrid conference : a CWI conference, Amsterdam, 06-09.07.1993 : book of abstracts Book

July 1993
A nonextremal Camion basis Article

Linear Algebra and its Applications, 195-199.

R.G. Bland, C.W. Ko and B. Sturmfels

July 1993
The Amsterdam hypermedia model: Extending hypertext to support *real* multimedia Article

Hypermedia Journal, 5(1), 47-69.

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

July 1993
Resource bounded Reductions Dissertation

H.M. Buhrman (Harry)

June 1993
Parameterized Feasible Boundaries in Gradient Vector Fields In Proceedings

M. Worring (Marcel), A.W.M. Smeulders (Arnold), L. Staib and J. Duncan

June 1993
Some recent results on adjoint semigroups Article

CWI Quarterly, 6(2), 139-153.

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

June 1993
2D computational morphology Article

CWI Quarterly, 6(2), 121--138.

R.C. Veltkamp (Remco)

June 1993
Information and entropy Article

CWI Quarterly, 6(2), 97-120.

J.M. Schumacher (Hans)

June 1993
Authoring multimedia in the CMIF environment In Proceedings

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

April 1993
Application of a solution-adaptive multigrid method to the Euler equations Article

CWI Quarterly, 6(1), 49-75.

H.T.M. van der Maarel (Eric), P.W. Hemker (Piet), B. Koren (Barry) and J.A. Michelsen

March 1993
Cell-centered genuinely multidimensional upwind algorithms and structured meshes Article

CWI Quarterly, 6(1), 29-48.

P. van Ransbeeck and C. Hirsch

March 1993
Development of cell-vertex multidimensional upwind solvers for the compressible flow equations Article

CWI Quarterly, 6(1), 1-28.

H. Deconinck, R. Struijs, H. Paillère, L.A. Catalano, P. De Palma, M. Napolitano and G. Pascazio

March 1993
A local grid refinement method for the Euler equations Dissertation

Scientific Computing

H.T.M. van der Maarel (Eric)

February 1993
Reversibility in Natural Language Processing Dissertation

G.J. M. van Noord (Gertjan)

January 1993
Symposium Asymptotiek en speciale functies, t.g.v. het 25-jarig jubileum van Nico M. Temme, 08.01.1993 : Uitnodiging en programma Other

January 1993
Evaluation of the numerical results Book Chapter

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

January 1993
Monotone, higher-order accurate, multi-dimensional upwinding In Proceedings

B. Koren (Barry) and H.T.M. van der Maarel (Eric)

January 1993
Iterative defect correction and multigrid accelerated explicit time stepping for the steady Euler equations In Proceedings

B. Koren (Barry) and M.H. Lallemand

January 1993
New trends in the solution of the Navier-Stokes equations for compressible flows In Proceedings

H. Deconinck, P.W. Hemker (Piet) and B. Koren (Barry)

January 1993
On steady, inviscid shock waves at continuously curved, convex surfaces Article

Theoretical and Computational Fluid Dynamics, 177-195.

B. Koren (Barry) and H.T.M. van der Maarel (Eric)

January 1993
The computation of $R_ 0$ for discrete-time epidemic models with dynamic heterogeneity Tech Report

M.C.M. de Jong, O. Diekmann (Odo) and J.A.P. Heesterbeek (Hans)

January 1993
Optimal repairman assignment in two maintenance models which are equivalent to routing models with early decisions Tech Report

G.M. Koole (Ger)

January 1993
Optimization of static traffic allocation policies Tech Report

M.B. Combé (Marco) and O.J. Boxma (Onno)

January 1993
The correlated M/G/1 queue Tech Report

O.J. Boxma (Onno) and M.B. Combé (Marco)

January 1993
Understanding the world: from facts to concepts, from concepts to propositions Tech Report

D.J.N. van Eijck (Jan) and Q.T. Nguyen

January 1993
Expressiveness results for process algebras Tech Report

F.W. Vaandrager (Frits)

January 1993
Fast parallel permutation algorithms Tech Report

J. Keller (Jörg)

January 1993
Structured multimedia authoring Tech Report

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

January 1993
CMIFed: a presentation environment for portable hypermedia documents Tech Report

G. van Rossum (Guido), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and D.C.A. Bulterman (Dick)

January 1993
The Amsterdam hypermedia model: extending hypertext to support real multimedia Tech Report

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

January 1993
A lower bound on wait-free counting Tech Report

S. Moran and G. Taubenfeld

January 1993
Uniform self-stabilizing leader election Tech Report

S. Dolev, A. Israeli and S. Moran

January 1993
Termination and confluence of rule execution Tech Report

M.H. van der Voort and A.P.J.M. Siebes (Arno)

January 1993
Changing preferences Tech Report

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and A. Frolova

January 1993
Procedural dynamic semantics, verb-phrase ellipsis, and presupposition Tech Report

D.J.N. van Eijck (Jan) and N. Francez

January 1993
Reasoning about update logic Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1993
Forward and backward simulations, part II: timing-based systems Tech Report

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

January 1993
A project on parameter identification in reaction kinetics Tech Report

P.W. Hemker (Piet) and J. Kok (Jan)

January 1993
A note on singularities caused by the hydrodynamic dispersion tensor Tech Report

R.A. Trompert (Ronald)

January 1993
Some experiences of solving 1-D semiconductor device equations on a matrix coprocessor by a domain decomposition method Tech Report

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

January 1993
Butcher-Kuntzmann methods for nonstiff problems on parallel computers Tech Report

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

January 1993
VLUGR2: a vectorized local uniform grid refinement code for PDE's in 2D Tech Report

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

January 1993
A theory for simulator tools Tech Report

H.P. Korver

January 1993
A characterization of stable models using a non-monotonic operator Tech Report

F. J. M. Teusink (Frank)

January 1993
Binary snapshots Tech Report

J.H. Hoepman (Jaap-Henk) and J.T. Tromp (John)

January 1993
Schema integration in object-oriented databases Tech Report

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

January 1993
Modal logic, transition systems and processes Tech Report

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and V.N. Stebletsova (Vera)

January 1993
An efficient off-line electronic cash system based on the representation problem Tech Report

S.A. Brands (Stefan)

January 1993
Comparing quasi-Newton methods for solving sparse interface problems Tech Report

C.-H. Lai

January 1993
Local uniform grid refinement and system of coupled partial differential equations Tech Report

R.A. Trompert (Ronald)

January 1993
Continuity of singular perturbations in the graph topology Tech Report

J. de Does (Jesse) and J.M. Schumacher (Hans)

January 1993
On the ergodicity conditions of the hitting point process of the semi-homogeneous, zero-drift random walk on the first quadrant Tech Report

J.W. Cohen

January 1993
Modular termination proofs for logic and pure Prolog programs Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

January 1993
A strategy for dynamic interpretation: a fragment and an implementation Tech Report

O. Bouchez, D.J.N. van Eijck (Jan) and O. Istace

January 1993
Saving comparisons in the Crochemore-Perrin string matching algorithm Tech Report

D. Breslauer (Dany)

January 1993
RIPE integrity primitives Part I Final report of RACE 1040 Tech Report

Consortium RIPE

January 1993
An object model for multimedia programming Tech Report

F. Arbab (Farhad), I. Herman (Ivan) and G.J. Reynolds

January 1993
A robust upwind discretization method for advection, diffusion and source terms Tech Report

B. Koren (Barry)

January 1993
One machine scheduling with delayed precedence constraints Tech Report

E. Balas, J.K. Lenstra (Jan Karel) and A. Vazacopoulos

January 1993
Stochastic annealing for nearest-neighbour point processes with application to object recognition Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1993
Single term off-line coins Tech Report

N.T. Ferguson

January 1993
A strange application of Kolmogorov complexity Tech Report

A. Shen (Alexander)

January 1993
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

Previous

Next

Available Years