leff@smu.UUCP (Laurence Leff) (02/29/88)
CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE (CMCS)
Centrum voor Wiskunde & Informatica (CWI)
PO box 4079
1009 AB Amsterdam
The Netherlands
Listed below is a list of publications of the second half of 1987 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 of the
documents - subject to change without prior notice - are given in Dutch
currency (%M). 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 to rob@cwi.nl
The departments are ordered as follows:
Department of Applied Mathematics
Department of Computer Science
Department of Mathematical Statistics
Department of Numerical Mathematics
Department of Operations Research & System Theory
Department of Pure Mathematics
February 1988
** DEPARTMENT OF APPLIED MATHEMATICS **
%A H. E. de Swart
%T Low-order spectral models of the atmospheric circulation: a survey
%C Amsterdam
%D 1987
%R CWI. Department of Applied Mathematics ; R 8705
%M f 6,40
%A P. Clement
%A O. Diekmann
%A M. Gyllenberg a.o.
%T Perturbation theory for dual semigroups, III: Nonlinear Lipschitz continu
ous perturbations in the sun-reflexive case
%C Amsterdam
%D 1987
%R CWI. Department of Applied Mathematics ; R 8706
%M f 4,--
%A H. J. A. M. Heijmans
%T Mathematical morphology: an algebraic approach
%C Amsterdam
%D 1987
%R CWI. Department of Applied Mathematics ; R 8707
%M f 4,--
%A H. R. Thieme
%A J. A. P. Heesterbeek
%T How to estimate the efficacy of periodic control of an infectious plant d
isease
%C Amsterdam
%D 1987
%R CWI. Department of Applied Mathematics ; R 8708
%M f 4,--
%A K. Soni
%A N. M. Temme
%T On a biorthogonal system associated with uniform asymptotic expansions
%C Amsterdam
%D 1987
%R CWI. Department of Applied Mathematics ; R 8709
%M f 4,--
%A H. E. de Swart
%T Analysis of a six-component barotropic spectral model: chaotic motion, pr
edictability and vacillation
%C Amsterdam
%D 1987
%R CWI. Department of Applied Mathematics ; R 8710
%M f 4,--
** DEPARTMENT OF COMPUTER SCIENCE **
%A T. Tomiyama
%A P. J. W. ten Hagen
%T Representing knowledge in two distinct descriptions: extensional vs. inte
nsional
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8728
%M f 4,--
%A J. C. Mulder
%A W. P. Weijland
%T Verification of an algorithm for log-time sorting by square comparison
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8729
%M f 4,--
%A J. W. Klop
%A A. Middeldorp
%T Strongly sequential term rewriting systems
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8730
%M f 6,40
%A B. Veth
%T An integrated data description language for coding design knowledge
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8731
%M f 4,--
%A P. America
%A J. W. de Bakker
%T Designing equivalent semantic models for process creation
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8732
%M f 11,60
%A J. A. Bergstra
%A J. W. Klop
%T A convergence theorem in process algebra
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8733
%M f 5,20
%A L. Kossen
%A W. P. Weijland
%T Verification of a systolic algorithm for string comparison
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8734
%M f 5,20
%A K. R. Apt
%A L. Bouge
%A P. Clermont
%T Two normal form theorems for CSP programs
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8735
%M f 4,--
%A M. Bezem
%T Consistency of rule-based expert systems
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8736
%M f 4,--
%A P. R. H. Hendriks
%T Type-checking mini-ML: an algebraic specification with user-defined synta
x
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8737
%M f 5,20
%A R. van Liere
%A P. J. W. ten Hagen
%T Logical input devices and interaction
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8738
%M f 4,--
%A J. C. M. Baeten
%A W. P. Weijland
%T Semantics for PROLOG via term rewrite systems
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8739
%M f 4,--
%A W. P. Weijland
%T Semantics for logic programs without occur check
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8740
%M f 4,--
%A K. R. Apt
%T Introduction to logic programming
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8741
%M f 8,90
%A P. Bernus
%A Z. Letray
%T Intelligent systems interconnection: what should come after open systems
interconnection?
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8742
%M f 4,--
%A P. M. B. Vitanyi
%T Locality, communication, and interconnect length in multicomputers
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8743
%M f 4,--
%A V. Akman
%A P. J. W. ten Hagen
%A T. Tomiyama
%T Design as a formal, knowledge engineered activity
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8744
%M f 4,--
%A V. Akman
%A P. J. W. ten Hagen
%A J. L. H. Rogier a.o.
%T Knowledge engineering in design
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8745
%M f 4,--
%A R. van Liere
%A P. J. W. ten Hagen
%T Resource management in DICE
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8746
%M f 5,20
%A W. P. Weijland
%T Correctness proofs for systolic algorithms: a palindrome recognizer
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8747
%M f 4,--
%A J. A. Bergstra
%A J. W. Klop
%A E.-R. Olderog
%T Readies and failures in the algebra of communicating processes
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8748
%M f 8,90
%A J. Heering
%A P. Klint
%A J. Rekers
%T Principles of lazy and incremental program generation
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8749
%M f 4,--
%A S. J. Mullender
%A P. M. B. Vitanyi
%T Distributed match-making
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8750
%M f 4,--
%A M. Li
%A P. M. B. Vitanyi
%T A very simple construction for atomic multiwriter register
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8751
%M f 4,--
%A M. Li
%A P. M. B. Vitanyi
%T Tape versus queue and stacks: the lower bounds
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8752
%M f 4,--
%A M. M. de Ruiter
%T C-GKS: a C implementation of GKS, the graphical kernel system
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8753
%M f 12,70
%A E. Kranakis
%A K. N. Oikonomou
%T Fixpoint representations of characteristic sets of linear-time temporal f
ormulas
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8754
%M f 5,20
%A J. N. Kok
%A J. J. M. M. Rutten
%T Contractions in comparing concurrency semantics
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8755
%M f 6,40
%A Y. Yamaguchi
%A F. Kimura
%A P. J. W. ten Hagen
%T Interaction management in CAD systems with a history mechanism
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8756
%M f 4,--
%A L. C. van der Gaag
%T A network approach to the certainty factor model
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8757
%M f 4,--
%A A. Israeli
%A M. Li
%A P. M. B. Vitanyi
%T Simple multireader registers using time-stamp schemes
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8758
%M f 4,--
%A J. J. M. M. Rutten
%A J. I. Zucker
%T A semantic approach to fairness
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8759
%M f 4,--
%A K. R. Apt
%A J.-M. Pugin
%T Management of stratified databases
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8760
%M f 4,--
%A J. Heering
%A P. Klint
%A J. Rekers
%T Incremental generation of lexical scanners
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8761
%M f 4,--
%A H. A. Lauwerier
%A J. A. Kaandorp
%T Fractals (mathematics, programming and applications)
%C Amsterdam
%D 1987
%R CWI. Department of Computer Science ; R 8762
%M f 5,20
** DEPARTMENT OF MATHEMATICAL STATISTICS **
%A R. D. Gill
%A S. Johansen
%T Product-integrals and counting processes
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8707
%M f 6,40
%A R. Helmers
%T On the Edgeworth expansion and the bootstrap approximation for a studenti
zed U-statistic
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8708
%M f 4,--
%A R. D. Gill
%T Non- and semi-parametric maximum likelihood estimators and the Von Mises
method, Part I
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8709
%M f 4,--
%A A. L. M. Dekkers
%A L. de Haan
%T On a consistent estimate of the index of an extreme value distribution
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8710
%M f 4,--
%A A. L. M. Dekkers
%A L. de Haan
%T Large quantile estimation under extreme-value conditions
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8711
%M f 4,--
%A E. V. Khmaladze
%T An innovation approach to goodness of fit tests in $R^ m$
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8712
%M f 4,--
%A C. C. Heesterman
%T A central limit theorem for M-estimators by the Von Mises method
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8713
%M f 4,--
%A A. J. Koning
%T On single lane roads
%C Amsterdam
%D 1987
%R CWI. Department of Mathematical Statistics ; R 8714
%M f 4,--
** DEPARTMENT OF NUMERICAL MATHEMATICS **
%A J. G. Blom
%A J. M. Sanz-Serna
%A J. G. Verwer
%T A Lagrangian moving grid scheme for one-dimensional evolutionary partial
differential equations
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8713
%M f 4,--
%A P. J. van der Houwen
%T Stabilization of explicit difference schemes by smoothing techniques
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8714
%M f 4,--
%A W. M. Lioen
%A M. Louter-Nool
%A H. J. J. te Riele
%T Optimization of the real level 2 BLAS on the CYBER 205
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8715
%M f 4,--
%A C. Nebbeling
%A B. Koren
%T An experimental-computational investigation of transonic shock wave-turbu
lent boundary layer interaction in a curved test section
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8716
%M f 4,--
%A W. H. Hundsdorfer
%T Convergence of Runge-Kutta methods on classes of stiff initial value prob
lems
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8717
%M f 4,--
%A J. Kok
%T Proposal for standard mathematical packages in ADA
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8718
%M f 4,--
%A P. P. M. de Rijk
%T NUMVEC FORTRAN library manual : chapter: simultaneous linear equations :
routine: SVDTJP and LSQMNS
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8719
%M f 4,--
%A E. D. de Goede
%A J. H. M. ten Thije Boonkkamp
%T Vectorization of the odd-even Hopscotch scheme and the alternating direct
ion implicit scheme for the two-dimensional Burger's equations
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8720
%M f 4,--
%A J. ten Thije Boonkkamp
%T Residual smoothing for accelerating the ADI iteration method for elliptic
difference equations
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8721
%M f 4,--
%A W. M. Lioen
%T Multigrid methods for elliptic PDEs
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8722
%M f 4,--
%A P. J. van der Houwen
%A B. P. Sommeijer
%A G. Pontrelli
%T A comparative study of Chebyshev acceleration and residue smoothing in th
e solution of nonlinear elliptic difference equations
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8723
%M f 4,--
%A W. H. Hundsdorfer
%A J. G. Verwer
%T Stability and convergence of the Peaceman-Rachford ADI method for initial
-boundary value problems
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8724
%M f 5,20
%A J. J. F. M. Schlichting
%A H. A. van der Vorst
%T Solving bidiagonal systems of linear equations on the CDC CYBER 205
%C Amsterdam
%D 1987
%R CWI. Department of Numerical Mathematics ; R 8725
%M f 7,70
** DEPARTMENT OF OPERATIONS RESEARCH & SYSTEM THEORY **
%A G. A. P. Kindervater
%A J. K. Lenstra
%A A. H. G. Rinnooy Kan
%T Perspectives on parallel computing
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8709
%M f 4,--
%A J. L. van den Berg
%A O. J. Boxma
%T Sojourn times in feedback queues
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8710
%M f 4,--
%A M. W. P. Savelsbergh
%T Local search for constrained routing problems
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8711
%M f 4,--
%A O. J. Boxma
%A W. P. Groenendijk
%T Two queues with alternating service and switching times
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8712
%M f 4,--
%A P. R. de Waal
%T Performance analysis and optimal control of an M/M/1/k queueing system wi
th impatient customers
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8713
%M f 4,--
%A J. K. Lenstra
%A D. B. Shmoys
%A E. Tardos
%T Approximation algorithms for scheduling unrelated parallel machines
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8714
%M f 4,--
%A M. Desrochers
%A J. K. Lenstra
%A M. W. P. Savelsbergh a.o.
%T Vehicle routing with time windows: optimization and approximation
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8715
%M f 4,--
%A J. M. Anthonisse
%A J. K. Lenstra
%A M. W. P. Savelsbergh
%T Functional description of CAR, an interactive system for computer aided r
outing
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8716
%M f 4,--
%A O. J. Boxma
%A G. A. P. Kindervater
%T A queueing network model for analyzing a class of branch and bound algori
thms on a master-slave architecture
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8717
%M f 4,--
%A A. Schrijver
%T Edge-disjoint homotopic paths in straight-line planar graphs
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8718
%M f 4,--
%A A. Schrijver
%T Decomposition of graphs on surfaces and a homotopic circulation theorem
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8719
%M f 7,70
%A G. A. P. Kindervater
%A J. K. Lenstra
%T Parallel computing in combinatorial optimization
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8720
%M f 5,20
%A M. Desrochers
%A J. K. Lenstra
%A M. W. P. Savelsbergh
%T A classification scheme for vehicle routing and scheduling problems
%C Amsterdam
%D 1987
%R CWI. Department of Operations Research and System Theory ; R 8721
%M f 4,--
** DEPARTMENT OF PURE MATHEMATICS **
%A T. H. Koornwinder
%T Group theoretic interpretations of Askey's scheme of hypergeometric ortho
gonal polynomials
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8703
%M f 5,20
%A S. N. M. Ruijsenaars
%T Action-angle maps and scattering theory for some finite-dimensional integ
rable systems : the pure solution case
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8704
%M f 5,20
%A D. J. Smit
%T String theory and algebraic geometry of moduli spaces
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8705
%M f 6,40
%A A. I. Zayed
%T Jacobi polynomials as generalized Faber polynomials
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8706
%M f 4,--
%A J. v. Bon
%A A. M. Cohen
%A H. Cuypers
%T Graphs related to Held's simple group
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8707
%M f 4,--
%A D. J. Smit
%T Algebraic and arithmetic geometry in string theory
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8708
%M f 4,--
%A M. Hazewinkel
%T Introduction to nilpotent approximation filtering
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8709
%M f 4,--
%A G. Brassard
%A D. Chaum
%A C. Crepeau
%T Minimum disclosure proofs of knowledge
%C Amsterdam
%D 1987
%R CWI. Department of Pure Mathematics ; R 8710
%M f 7,70
_
|_| Please send us the reports marked above on exchange basis.
_
|_| Please send us the reports marked above with an invoice
Institution: ...............................................................
Address : ...............................................................
...............................................................
...............................................................
Date : ............................. .........................
(signature)