Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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 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. Stebletsova

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
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, P. Gacs, M. Li (Ming), P.M.B. Vitányi (Paul) and W.H. Zurek

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

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

Previous

Next

Available Years