Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Comparing negation in logic programming and in Prolog Book Chapter

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

January 1994
Performance evaluation of parallel and distributed systems : solution methods : proceedings of the third QMIPS [Quantitative Modeling in Parallel Systems] workshop, [Torino, Italy, 25-26.09.1993], part 1 Book

O.J. Boxma (Onno) and G.M. Koole (Ger)

January 1994
A compensation approach for queueing problems Book

I.J.B.F. Adan

January 1994
Contributions to multigrid : a selection of contributions to the fourth European multigrid conference, held in Amsterdam, 06-09.07.1993 Book

P.W. Hemker (Piet) and P. Wesseling

January 1994
Stochastic processes and point processes of excursions Book

J.A.M. van der Weide (Hans)

January 1994
Dynamic feedback in nonlinear synthesis problems Book

H.J.C. Huijberts

January 1994
Stability analysis of a difference scheme for three-dimensional advection-diffusion problems Book Chapter

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

January 1994
Wiskunde en praktijk in historisch perspectief : reader Book

January 1994
Wiskunde en praktijk in historisch perspectief : syllabus Book

G. Alberts (Gerard)

January 1994
Vakantiecursus [Centrum voor Wiskunde en Informatica] 1994 : computeralgebra Book

January 1994
Polymer Dynamics in Random Media, Replica Theory, Ternary Systems: Mappings and Equivalences Article

Macromolecular Symposia, 31-44.

U. Ebert (Ute) and L. Schäfer

January 1994
Universal Aspects of Polymer Diffusion in Random Media Article

Macromolecular Symposia, 17-29.

L. Schäfer and U. Ebert (Ute)

January 1994
On optimality of regular projective estimators for semimartingale models II. Asymptotically linear estimators. Article

Stochastics Stochastics Reports, 47(3-4), 247-268.

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

January 1994
The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model Article

Communications of the ACM, 37(2), 50-62.

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

January 1994
Query Optimization Strategies for Browsing Sessions In Proceedings

M.L. Kersten (Martin) and M.F.N. de Boer

January 1994
An Approach to Schema Integration Based on Transformations and Behaviour In Proceedings

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

January 1994
Fast, Randomized Join-Order Selection - Why Use Transformations? In Proceedings

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

January 1994
Markov properties of cluster processes Tech Report

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

January 1994
Discussion contribution to U. Grenander and M.I. Miller: Representations of knowledge in complex systems Article

Journal of the Royal Statistical Society - Series B: Statistical Methodology, 585-585.

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

January 1994
Stochastic annealing for nearest-neighbour point processes with application to object recognition Article

Advances in Applied Probability, 281-300.

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

January 1994
Some problems in applied algebra Book Chapter

M. Hazewinkel (Michiel)

January 1994
Editorial: From universal morphisms to megabytes: a Baayen space odyssey Book Chapter

January 1994
The Wouthuysen equation Book Chapter

M. Hazewinkel (Michiel)

January 1994
Modular termination proofs for logic and pure prolog programs Book Chapter

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

January 1994
Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics In Proceedings

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

January 1994
Reasoning about prolog programs: from modes through types to assertions Article

Formal Aspects of Computing, 6(6A), 743-765.

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

January 1994
Logic programming and negation: a survey Article

Journal of Logic Programming, 9-71.

K.R. Apt (Krzysztof) and R.N. Bol

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

Previous

Next

Available Years