[comp.doc.techreports] Tech. Reports--- CWI

MFLLL002@VE.BOGECN.EDU (03/08/91)

CWI
PO box 4079
1009 AB  Amsterdam
The Netherlands



Listed below is the list of 1990 publications of our institute.
These reports are available on exchange basis for your reports or
other publications on corresponding subjects. However, please do not send
any reprints.

They are also available from our Sales Department. The prices (%M) of the
documents - subject to change without prior notice - are given in Dutch
currency. Foreign payments are subject to a surcharge per remittance to cover
bank, postal and handling charges. Where appropriate you will be invoiced
with your order.

If you wish to obtain any of these reports, then print this list, please
encircle the issues that you are interested in and return this list.
Please add your name and address.

Ordering through electronic mail can be done by sending mail to: rob@cwi.nl

The departments are ordered as follows:

Department of Algebra, Analysis and Geometry
Department of Computer Science
Department of Numerical Mathematics
Department of Operations Research, Statistics, and System Theory


March 1991



<<< DEPARTMENT OF ANALYSIS, ALGEBRA AND GEOMETRY >>>


%A N. M. Temme
%A A. B. Olde Daalhuis
%T Uniform asymptotic approximation of Fermi-Dirac integrals
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9001

%A M. Zwaan
%T Dynamic MRI reconstruction as a moment problem, Pt. III: An error analysis of reconstruction by sinc and spline interpolation in
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9002

%A H. J. A. M. Heijmans
%T Grey-level morphology
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9003

%A O. Diekmann
%A M. Kretzschmar
%T Patterns in the effects of infectious diseases on population growth
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9004

%A S. N. M. Ruijsenaars
%T Finite-dimensional soliton systems
%C Amsterdam
%D [1990]
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9005

%A J. B. T. M. Roerdink
%T Mathematical morphology on homogeneous spaces, Pt. II: The transitive case
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9006

%A O. Diekmann
%A S. A. van Gils
%T The center manifold for delay equations in the light of suns and stars
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9007

%A J. van de Lune
%A E. Wattel
%T Systematic computations on Gauss' lattice point problem: in commemoration of Johannes Gualtherus van der Corput, 1890-1975
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9008

%A H. J. A. M. Heijmans
%T From binary to grey-level morphology
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9009

%A J. M. A. M. van Neerven
%T On the topology induced by the adjoint of a semigroup of operators
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9010

%A A. B. Olde Daalhuis
%A N. M. Temme
%T Uniform Airy type expansions of integrals
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9011

%A J. B. T. M. Roerdink
%T Mathematical morphology on the sphere
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9012

%A T. H. Koornwinder
%T Askey-Wilson polynomials as zonal spherical functions on the SU(2) quantum group
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9013

%A T. H. Koornwinder
%T Handling hypergeometric series in Maple
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9014

%A E. Badertscher
%A T. H. Koornwinder
%T Continuous Hahn polynomials of differential operator argument and analysis on Riemannian symmetric spaces of constant curvature
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9015

%A H. J. A. M. Heijmans
%T Morphological filtering and iteration
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9016

%A O. Diekmann
%T Modelling infectious diseases in structured populations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9017

%A G. Greiner
%A J. M. A. M. van Neerven
%T Adjoints of semigroups acting on vector-valued function spaces
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9018

%A H. J. A. M. Heijmans
%A P. Nacken
%A A. Toet a.o.
%T Graph morphology
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9019

%A G. I. Olshanskii
%T Complex Lie semigroups, Hardy spaces and the Gelfand-Gindikin program
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9020

%A G. I. Olshanskii
%T Twisted Yangians and infinite-dimensional classical Lie algebras
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9021

%A J. de Vries
%T A proof of the relativized, non-metric form of Furstenberg's structure theorem
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9022

%A O. Diekmann
%A K. Dietz
%A J. A. P. Heesterbeek
%T The basic reproduction ratio for sexually transmitted diseases, Pt. I: Theoretical considerations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9023

%A J. B. T. M. Roerdink
%A M. Zwaan
%T Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9024

%A J. B. T. M. Roerdink
%T On the construction of translation and rotation invariant morphological operators
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9025

%A V. V. Koroliuk
%T Central limit theorem for non-homogeneous processes with independent increments and semimarkov switchings
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Analysis, Algebra and Geometry ; R 9026




 <<< DEPARTMENT OF COMPUTER SCIENCE >>>



%A J. F. Groote
%A F. W. Vaandrager
%T An efficient algorithm for branching bisimulation and stuttering equivalence
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9001

%A R. J. van Glabbeek
%T The refinement theorem for ST-bisimulation semantics
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9002

%A A. Middeldorp
%T Unique normal forms for disjoint unions of conditional term rewriting systems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9003

%A S. J. Mullender
%A G. van Rossum
%A A. S. Tanenbaum a.o.
%T Amoebe: a distributed operating system for the 1990s
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9004

%A L. G. L. T. Meertens
%T Paramorphisms
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9005

%A J. Jeuring
%T Algorithms from theorems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9006

%A J. W. Spee
%T Finding all minimal covers of a set using implicit enumeration
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9007

%A J. H"ubl
%A I. Herman
%T Modeling clip: some more results
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9008

%A E. H. Blake
%T Introduction to aspects of object oriented graphics
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9009

%A K. R. Apt
%A M. Bezem
%T Acyclic programs: extended abstract
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9010

%A E. Kranakis
%A D. Krizanc
%A J. van den Berg
%T Computing boolean functions on anonymous networks
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9011

%A T. De Nicola
%A F. W. Vaandrager
%T Three logics for branching bisimulation
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9012

%A J. W. Klop
%T Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9013

%A J. T. Tromp
%A P. van Emde Boas
%T Associative storage modification machines
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9014

%A J. F. Groote
%T Specification and verification of real time systems in ACP
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9015

%A K. R. Apt
%A F. S. de Boer
%A E.-R. Olderog
%T Proving termination of parallel programs
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9016

%A J. T. Tromp
%T More computations on Gauss' lattice point problem
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9017

%A J.-M. Jacquet
%A L. Monteiro
%T Comparative semantics for a parallel contextual programming language
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9018

%A F. S. de Boer
%A J. N. Kok
%A C. Palamidessi a.o.
%T From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9019

%A R. J. van Glabbeek
%A S. A. Smolka
%A B. Steffen a.o.
%T Reactive, generative, and stratified models of probabilistic processes
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9020

%A R. De Nicola
%A U. Montanari
%A F. W. Vaandrager
%T Back and forth bisimulations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9021

%A M. Bakker
%T At last an ISO C binding of GKS
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9022

%A L. Kossen
%T Resolution and logical consequences
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9023

%A M. J. Coster
%T Some algorithms on addition chains and their complexity
%C Amsterdam
%D 1990
%M 20.00
%R CWI. Department of Computer Science ; R 9024

%A R. N. Bol
%T Generalizing completeness results for loop checks
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9025

%A R. N. Bol
%T Towards more efficient loop checks
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9026

%A E. Horita
%A J. W. de Bakker
%A J. J. M. M. Rutten
%T Fully abstract denotational models for nonuniform concurrent languages
%C Amsterdam
%D 1990
%M 20.00
%R CWI. Department of Computer Science ; R 9027

%A J. C. M. Baeten
%A J. A. Bergstra
%T Process algebra with zero object
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9028

%A R. J. van Glabbeek
%T The linear time - branching time spectrum
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9029

%A J. F. Groote
%T A new strategy for proving $\omega$-completeness applied to process algebra
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9030

%A L. Cherkasova
%T A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9031

%A D. B. M. Otten
%A P. J. W. ten Hagen
%T On the role of delegation and inheritance in object-oriented database systems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9032

%A J. W. de Bakker
%A J. H. A. Warmerdam
%T Metric pomset semantics for a concurrent language with recursion
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9033

%A R. C. Veltkamp
%T The $\gamma$-neighborhood graph
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9034

%A J. N. E. Bos
%A D. Chaum
%T SmartCash: a practical electronic payment system
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9035

%A K. R. Apt
%A E.-R. Olderog
%T Introduction to program verification
%C Amsterdam
%D 1990
%M 20.00
%R CWI. Department of Computer Science ; R 9036

%A J. Rekers
%A J. W. C. Koorn
%T Substring parsing for arbitrary context-free grammars
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9037

%A D. J. N. van Eijck
%T Quantifiers
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9038

%A D. J. N. van Eijck
%T Determiners
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9039

%A E. Kranakis
%A D. Krizanc
%T Computing boolean functions on anonymous hypercube networks: extended abstract
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9040

%A J. R. Kennaway
%A J. W. Klop
%A M. R. Sleep a.o.
%T Transfinite reductions in orthogonal term rewriting systems
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9041

%A J. R. Kennaway
%A J. W. Klop
%A M. R. Sleep a.o.
%T Transfinite reductions in orthogonal term rewriting systems (extended abstract
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9042

%A J. R. Kennaway
%A J. W. Klop
%A M. R. Sleep a.o.
%T An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9043

%A G. Kissin
%T Upper and lower bounds on switching energy in VLSI
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9044

%A M. H. H. van Dijk
%A J. W. C. Koorn
%T GSE, a generic syntax-directed editor
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9045

%A F. S. de Boer
%A C. Palamidessi
%T A fully abstract model for concurrent logic languages
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9046

%A M. Pocchiola
%A E. Kranakis
%T Camera placement in integer lattices: extended abstract
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9047

%A K. R. Apt
%A D. Pedreschi
%T Studies in pure PROLOG: termination
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9048

%A C. A. van den Berg
%A M. L. Kersten
%T Logging and recovery in PRISMA
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9049

%A M. L. Kersten
%A S. Shair-Ali
%A C. A. van den Berg
%T Performance analysis of a dynamic query processing scheme
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9050

%A J. L. H. Rogier
%A D. B. M. Otten
%T Retrospective creation of virtual alternative hierarchies
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9051

%A P. H. M. America
%A J. J. M. M. Rutten
%T A layered semantics for a parallel object-oriented language
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9052

%A J. C. M. Baeten
%A J. A. Bergstra
%T Real time process algebra
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9053

%A R. N. Bol
%A J. F. Groote
%T The meaning of negative premises in transition system specifications
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9054

%A D. J. N. van Eijck
%T Formal semantics
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9055

%A P. J. Veerkamp
%A P. Bernus
%A P. J. W. ten Hagen a.o.
%T IDDL: a language for intelligent interactive integrated CAD systems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9056

%A P. J. Veerkamp
%T Multiple worlds in an intelligent CAD system
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9057

%A A. Middeldorp
%A Y. Toyama
%T Completeness of combinations of constructor systems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9058

%A H. Takeda
%A T. Tomiyama
%A H. Yoshikawa a.o.
%T Modeling design processes
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9059

%A J. L. H. Rogier
%T A component class for design objects
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9060

%A E. Kranakis
%A D. Krizanc
%T Computing boolean functions on Cayley networks (extended abstract
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9061

%A J. J. M. M. Rutten
%T Explicit canonical representatives for weak bisimulation equivalence and congruence
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9062

%A J. J. M. M. Rutten
%T Nonwellfounded sets and programming language semantics
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9063

%A P. Klint
%T A meta-environment for generating programming environments
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9064

%A F. Arbab
%A I. Herman
%T MANIFOLD: a language for specification of inter-process communication
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9065

%A F. Arbab
%A I. Herman
%T Examples in MANIFOLD
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9066

%A D. J. N. van Eijck
%T Discourse representation theory
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Computer Science ; R 9067

%A J. W. de Bakker
%A J. H. A. Warmerdam
%T Four domains for concurrency
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9068

%A J. F. Groote
%A A. Ponse
%T Process algebra with guards: combining Hoare logic with process algebra
%C Amsterdam
%D 1990
%M 20.00
%R CWI. Department of Computer Science ; R 9069

%A P. J. Veerkamp
%A T. Kiriyama
%A D. Xue a.o.
%T Representation and implementation of design knowledge for intlligent CAD: theoretical aspects
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9070

%A T. Kiriyama
%A D. Xue
%A T. Tomiyama a.o.
%T Representation and implementation of design knowledge for intlligent CAD: implementational aspects
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9071

%A E. A. van der Meulen
%T Deriving incremental implementations from algebraic specifications
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9072

%A J. W. Klop
%T Term rewriting systems
%C Amsterdam
%D 1990
%M 31.00
%R CWI. Department of Computer Science ; R 9073

%A J. van der Vegt
%T Editing objects of a hierarchical structured drawing
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Computer Science ; R 9074

%A R. N. Bol
%T Loop checking and negation
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Computer Science ; R 9075

%R CWI. Department of Computer Science ; R 9076   Has not been published yet



  <<< DEPARTMENT OF NUMERICAL MATHEMATICS >>>


%A P. J. van der Houwen
%A B. P. Sommeijer
%T Iterated Runge-Kutta methods on parallel computers
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Numerical Mathematics ; R 9001

%A K. Strehmel
%A W. H. Hundsdorfer
%A R. Weiner a.o.
%T The linearly implicit Euler method for quasi-linear parabolic differential equations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9002

%A J. Molenaar
%A P. W. Hemker
%T A multigrid approach for the solution of the 2D semiconductor equations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9003

%A J.-A. Desideri
%A P. W. Hemker
%T Analysis of the convergence of iterative implicit and defect-correction algorithms for hyperbolic problems
%C Amsterdam
%D 1990
%M 24.00
%R CWI. Department of Numerical Mathematics ; R 9004

%A R. R. P. van Nooyen
%T An exponential fitting method in two dimensions
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9005

%A P. A. Zegeling
%A J. G. Blom
%T An evaluation of the gradient-weighted moving-finite-element method in one space dimension
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Numerical Mathematics ; R 9006

%A P. W. Hemker
%A B. Koren
%T Defect correction and nonlinear multigrid for steady Euler equations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9007

%A P. J. van der Houwen
%A B. P. Sommeijer
%T Parallel ODE solvers
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9008

%A H. T. M. van der Maarel
%A B. Koren
%T Spurious entropy generation in a non-smooth geometry
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9009

%A H. J. J. te Riele
%T Parallel processing in number-theoretical problems
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Numerical Mathematics ; R 9010

%A R. A. Trompert
%A J. G. Verwer
%T Analysis of the implicit Euler local uniform grid refinement method
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Numerical Mathematics ; R 9011

%A W. H. Hundsdorfer
%T Unconditional convergence of some Crank-Nicolson LOD methods for initial-boundary value problems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9012

%A E. D. de Goede
%T A time splitting method for the three-dimensional shallow water equations
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9013

%A P. W. Hemker
%A H. T. M. van der Maarel
%A C. T. H. Everaars
%T BASIS: a data structure for adaptive multigrid computations
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Numerical Mathematics ; R 9014

%A H. T. M. van der Maarel
%A P. W. Hemker
%A C. T. H. Everaars
%T EULER: an adaptive Euler code
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Numerical Mathematics ; R 9015

%A P. J. van der Houwen
%A B. P. Sommeijer
%A Nguyen huu Cong
%T Stability of collocation-based Runge-Kutta-Nystr"om methods
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9016

%A J. J. F. M. Schlichting
%T NUMVEC FORTRAN library manual, chapter: basic linear algebra : routine: MATMUL : chapter: simultaneous linear equations : routine
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Numerical Mathematics ; R 9017

%A J. J. F. M. Schlichting
%A H. A. van der Vorst
%T NUMVEC FORTRAN library manual, chapter: partial differential equations : routine: ICCG3D
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9018

%A P. A. Zegeling
%A J. G. Blom
%T A note on the grid movement induced by MFE
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9019

%A P. J. van der Houwen
%A J. Mooiman
%A F. W. Wubs
%T Numerical analysis of time-dependent Boussinesq models
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9020

%A B. Koren
%T Low-diffusion rotated upwind schemes, multigrid and defect correction for steady, multi-dimensional Euler flows
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9021

%A R. A. Trompert
%A J. G. Verwer
%T Runge-Kutta methods and local uniform grid refinement
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Numerical Mathematics ; R 9022

%A M. Louter-Nool
%T Block-Cholesky for parallel processing
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Numerical Mathematics ; R 9023



  <<< DEPARTMENT OF OPERATIONS RESEARCH,STATISTICS,AND SYSTEM THEORY >>>


%A J. A. Hoogeveen
%T Minimizing maximum earliness and maximum lateness on a single machine
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9001

%A M. Kuijper
%A J. M. Schumacher
%T Minimality of descriptor representations under external equivalence
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9002

%A J. W. Cohen
%T The two-dimensional random walk, its hitting process and its classification
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9003

%A N. G. Gamkrelidze
%T On a local limit theorem for lattice distribution
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9004

%A J. A. Hoogeveen
%T Analysis of Christofides' heuristic: some paths are more difficult than cycles
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9005

%A J. L. van den Berg
%A O. J. Boxma
%T The M/G/1 queue with processor sharing and its relation to a feedback queue
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9006

%A F. A. van der Duyn Schouten
%A P. Wartenhorst
%T Time to failure, time to repair and availability of a two-unit standby system with Markovian degrading units
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9007

%A J. A. Hoogeveen
%A S. L. van de Velde
%T Polynomial-time algorithms for single-machine multicriteria scheduling
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9008

%A S. L. van de Velde
%T Dual decomposition of single-machine scheduling problems
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9009

%A S. L. van de Velde
%T Duality-based algorithms for scheduling unrelated parallel machines
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9010

%A M. C. J. van Pul
%T Asymptotic properties of statistical models in software reliability
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9011

%A G. Ding
%A A. Schrijver
%A P. D. Seymour
%T Disjoint paths in a planar graph: a general theorem
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9012

%A G. Ding
%A A. Schrijver
%A P. D. Seymour
%T Disjoint cycles in directed graphs on the torus and the Klein bottle
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9013

%A A. Frank
%A A. Schrijver
%T Edge-disjoint circuits in graphs on the torus
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9014

%A A. Schrijver
%A P. D. Seymour
%T A simpler proof and a generalization of the zero-trees theorem
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9015

%A J. W. Cohen
%T On the attained waiting time
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9016

%A O. J. Boxma
%A H. Levy
%A J. A. Weststrate
%T Efficient visit orders for polling systems
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9017

%A B. Veltman
%A B. J. Lageweg
%A J. K. Lenstra
%T Multiprocessor scheduling with communication delays
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9018

%A R. J. Chitashvili
%A N. L. Lazrieva
%A T. A. Toronjadze
%T Asymptotic theory of M-estimators in general statistical models, Pt. I: On asymptotic behaviour of estimators under model disturb
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9019

%A R. J. Chitashvili
%A N. L. Lazrieva
%A T. A. Toronjadze
%T Asymptotic theory of M-estimators in general statistical models, Pt. II: On asymptotic behaviour of estimators in the presence of
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9020

%A R. Helmers
%A P. Janssen
%A N. Veraverbeke
%T Bootstrapping U-quantiles
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9021

%A J. W. Cohen
%T On the random walk with zero drifts in the first quadrant of $R_ 2$
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9022

%A R. P. C. Rodgers
%A A. J. Baddeley
%T Nested Monte Carlo study of random packing on the sphere
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9023

%A A. W. J. Kolen
%A J. K. Lenstra
%T Combinatorics in operations research
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9024

%A P. R. de Waal
%T A constrained optimisation problem in a processor sharing queue
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9025

%A J. A. Hoogeveen
%A S. L. van de Velde
%T A new lower bound approach for single-machine multicriteria scheduling
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9026

%A D. M. Bakker
%T Gradient projection for nonparametric maximum likelihood estimation with interval censored data
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9027

%A A. M. H. Gerards
%T On Tutte's characterization of graphic matroids: a graphic proof
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9028

%A K. E. Dzhaparidze
%A P. J. C. Spreij
%T On second order optimality of regular projective estimators, Pt. I
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9029

%A J. A. Hoogeveen
%A H. Oosterhout
%A S. L. van de Velde
%T New lower and upper bounds for scheduling around a small common due date
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9030

%A P. Wartenhorst
%T Bounds for the interval availability distribution
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9031

%A M. Kuijper
%A J. M. Schumacher
%T Realization and partial fractions
%C Amsterdam
%D 1990
%M 12.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9032

%A R. Helmers
%T A local limit theorem for L-statistics
%C Amsterdam
%D 1990
%M 6.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9033

%A F. B. Shepherd
%T Near-perfect matrices
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9034

%A D. M. Bakker
%T Two nonparametric estimators of the survival function of bivariate right censored observations
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9035

%A K. E. Dzhaparidze
%T On iterative estimators
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9036

%A A. Schrijver
%T Tait's flyping conjecture for well-connected links
%C Amsterdam
%D 1990
%M 16.00
%R CWI. Department of Operations Research,Statistics,and System Theory ; R 9037


 _
|_|  Please send us the reports marked above on exchange basis.
 _
|_|  Please send us the reports marked above with an invoice


  Institution: ...............................................................

  Address    : ...............................................................

               ...............................................................

               ...............................................................

  Date       : .............................         .........................
                                                            (signature)