leff@smu.CSNET (Laurence Leff) (07/10/87)
========= CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE PO box 4079 1009 AB Amsterdam The Netherlands Listed below is a list of publications of the first 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. 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 July 1987 ************************************************* AU = author TI = title STI = sub-title PP = place of publication PY = publication year RN = report number PR = price ************************************************* ***** DEPARTMENT OF APPLIED MATHEMATICS ***** AU: Jiang Furu TI: Boundary value problems for ordinary differential equations with multiple turning points PP: Amsterdam PY: 1987 RN: CWI. Department of Applied Mathematics ; R 8701 PR: f 4,-- AU: H. Roozen TI: An asymptotic solution to a two-dimensional exit problem arising in population dynamics PP: Amsterdam PY: 1987 RN: CWI. Department of Applied Mathematics ; R 8702 PR: f 4,-- AU: J. B. T. M. Roerdink TI: The biennial life strategy in a random environment PP: Amsterdam PY: 1987 RN: CWI. Department of Applied Mathematics ; R 8703 PR: f 4,-- AU: J. Grasman AU: J. B. T. M. Roerdink TI: Stochastic and chaotic relaxation oscillations PP: Amsterdam PY: 1987 RN: CWI. Department of Applied Mathematics ; R 8704 PR: f 4,-- ***** DEPARTMENT OF COMPUTER SCIENCE ***** AU: J. C. M. Baeten AU: R. J. van Glabbeek TI: Another look at abstraction in process algebra PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8701 PR: f 5,20 AU: S. van Egmond AU: F. C. Heerman AU: J. C. van Vliet TI: INFORM: an interactive syntax-directed formulae-editor PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8702 PR: f 4,-- AU: R. van Liere AU: P. J. W. ten Hagen TI: Introduction to dialogue cells PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8703 PR: f 4,-- AU: L. M. Kirousis AU: E. Kranakis AU: P. M. B. Vit|anyi TI: Atomic multireader register PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8704 PR: f 4,-- AU: J. A. Bergstra AU: J. Heering AU: P. Klint TI: ASF: an algebraic specification formalism PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8705 PR: f 7,70 AU: J. A. Kaandorp TI: Interactive generation of fractal objects PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8706 PR: f 4,-- TI: On proving register atomicity AU: [by] B. Awerbuch, L. M. Kirousis, E. Kranakis [et al.] PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8707 PR: f 4,-- AU: P. M. B. Vit|anyi TI: Locality, communication and interconnect length in multicomputers PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8708 PR: f 4,-- AU: P. America AU: J. J. M. M. Rutten TI: Solving reflexive domain equations in a category of complete metric spaces PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8709 PR: f 5,20 AU: F. S. de Boer TI: A proof rule for process-creation PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8710 PR: f 6,40 AU: A. P. J. M. Siebes AU: M. L. Kersten TI: Using design axioms and topology to model database semantics PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8711 PR: f 4,-- AU: J. Rekers TI: A parser generator for finitely ambiguous context-free grammars PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8712 PR: f 4,-- AU: S. J. Mullender TI: Process management in a distributed operating system PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8713 PR: f 4,-- AU: P. H. Rodenburg TI: Algebraic specifications for parametrized data types: the case of minimal computable algebras and parameters with equality PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8714 PR: f 4,-- AU: L. M. Kirousis TI: On effectively labeling planar projections of polyhedra PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8715 PR: f 4,-- AU: J. C. M. Baeten AU: R. J. van Glabbeek TI: Merge and termination in process algebra PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8716 PR: f 4,-- AU: T. Tomiyama AU: P. J. W. ten Hagen TI: The concept of intelligent integrated interactive CAD systems PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8717 PR: f 5,20 AU: P. J. W. ten Hagen AU: R. van Liere TI: A model for graphical interaction PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8718 PR: f 4,-- AU: P. J. W. ten Hagen AU: H. J. Schouten TI: Parallel graphical output from dialogue cells PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8719 PR: f 4,-- AU: T. Tomiyama AU: P. J. W. ten Hagen TI: Organization of design knowledge in an intelligent CAD environment PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8720 PR: f 5,20 AU: J. C. M. Baeten AU: R. J. van Glabbeek TI: Abstraction and empty process in process algebra PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8721 PR: f 4,-- AU: L. M. Kirousis AU: E. Kranakis AU: P. M. B. Vit|anyi TI: Atomic multireader register PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8722 PR: f 5,20 AU: I. Shizgal TI: An Amoeba replicated service organisation PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8723 PR: f 4,-- AU: J. N. Kok TI: A fully abstract semantics for data flow nets PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8724 PR: f 4,-- AU: J. A. Bergstra AU: J. W. Klop TI: $ACP_ \tau$: a universal axiom system for process specification PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8725 PR: f 4,-- AU: V. Akman TI: Steps into a geometer's workbench PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8726 PR: f 4,-- AU: V. Akman TI: Geometry and graphics applied to robotics PP: Amsterdam PY: 1987 RN: CWI. Department of Computer Science ; R 8727 PR: f 4,-- ***** DEPARTMENT OF MATHEMATICAL STATISTICS ***** AU: E. Valkeila TI: A Prohorov bound for a Poisson process and a Bernoulli process PP: Amsterdam PY: 1987 RN: CWI. Department of Mathematical Statistics ; R 8701 PR: f 4,-- AU: N. Keiding AU: R. D. Gill TI: Random truncation models and Markov processes PP: Amsterdam PY: 1987 RN: CWI. Department of Mathematical Statistics ; R 8702 PR: f 8,90 AU: M. L. Eaton TI: Admissibility in fair Bayes prediction problems, Pt. 1: general theory PP: Amsterdam PY: 1987 RN: CWI. Department of Mathematical Statistics ; R 8703 PR: f 6,40 AU: T. A. Louis AU: J. K. Bailey TI: Controlling error rates using prior information and marginal totals to select tumor sites PP: Amsterdam PY: 1987 RN: CWI. Department of Mathematical Statistics ; R 8704 PR: f 5,20 AU: T. A. Louis TI: Efficient monotone sequential design PP: Amsterdam PY: 1987 RN: CWI. Department of Mathematical Statistics ; R 8705 PR: f 4,-- AU: M. L. Eaton TI: Concentration inequalities for Gauss-Markov estimators PP: Amsterdam PY: 1987 RN: CWI. Department of Mathematical Statistics ; R 8706 PR: f 5,20 ***** DEPARTMENT OF NUMERICAL MATHEMATICS ***** AU: J. H. M. ten Thije Boonkkamp TI: The odd-even hopscotch pressure correction scheme for the computation of free convection in a square cavity PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8701 PR: f 4,-- AU: M. Louter-Nool TI: Translation of algorithm 539: basic linear algebra subprograms for FORTRAN usage in FORTRAN 200 for the Cyber 205 PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8702 PR: f 4,-- AU: E. D. de Goede AU: F. W. Wubs TI: Explicit-implicit methods for time-dependent partial differential equations PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8703 PR: f 4,-- AU: P. J. van der Houwen AU: B. P. Sommeijer TI: Diagonally implicit Runge-Kutta-Nystr"om methods for oscillatory problems PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8704 PR: f 4,-- AU: P. J. van der Houwen AU: C. Boon AU: F. W. Wubs TI: Analysis of smoothing matrices for the preconditioning of elliptic difference equations PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8705 PR: f 4,-- AU: B. P. Sommeijer TI: A note on a diagonally implicit Runge-Kutta-Nystr"om method PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8706 PR: f 4,-- AU: P. J. van der Houwen AU: B. P. Sommeijer TI: Improving the stability of predictor-corrector methods by residue smoothing PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8707 PR: f 4,-- AU: W. Hundsdorfer TI: Stability results for $\theta$-methods applied to a class of stiff differential-algebraic equations PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8708 PR: f 4,-- AU: M. Bergman TI: Implementation of elementary functions in ADA PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8709 PR: f 4,-- AU: J. N. Kok TI: Design and implementation of elementary functions in ADA PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8710 PR: f 4,-- AU: J. G. Verwer TI: Some stability results for the hopscotch difference method when applied to convection-diffusion equations PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8711 PR: f 4,-- AU: W. Hoffmann TI: NUMVEC FORTRAN library manual STI: chapter: simultaneous linear equations, update #1 PP: Amsterdam PY: 1987 RN: CWI. Department of Numerical Mathematics ; R 8712 PR: f 4,-- ***** DEPARTMENT OF OPERATIONS RESEARCH AND SYSTEM THEORY ***** AU: A. Schrijver TI: Polyhedral combinatorics PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8701 PR: f 10,20 AU: J. L. van den Berg AU: O. J. Boxma TI: Throughput analysis of a flow-controlled communication network with buffer space limitations PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8702 PR: f 4,-- AU: M. Desrochers TI: A note on the partitioning shortest path algorithm PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8703 PR: f 4,-- AU: J. W. Polderman TI: A state space approach to the problem of adaptive pole assignment PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8704 PR: f 4,-- AU: J. W. Polderman TI: Adaptive exponential stabilization of a first order continuous-time system PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8705 PR: f 4,-- AU: S. A. Smulders TI: Modelling and filtering of freeway traffic flow PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8706 PR: f 4,-- AU: O. J. Boxma AU: W. P. Groenendijk TI: Waiting times in discrete-time cyclic-service systems PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8707 PR: f 4,-- AU: J. L. van den Berg AU: O. J. Boxma AU: W. P. Groenendijk TI: Sojourn times in the M/G/1 queue with deterministic feedback PP: Amsterdam PY: 1987 RN: CWI. Department of Operations Research and System Theory ; R 8708 PR: f 4,-- ***** DEPARTMENT OF PURE MATHEMATICS ***** AU: M. Hu`sek AU: J. de Vries TI: A note on compactifications of products of semigroups PP: Amsterdam PY: 1987 RN: CWI. Department of Pure Mathematics ; R 8701 PR: f 4,-- AU: S. N. M. Ruijsenaars TI: Relativistic Calogero-Moser systems and solitons PP: Amsterdam PY: 1987 RN: CWI. Department of Pure Mathematics ; R 8702 PR: f 4,-- _ |_| Please send us the reports marked above on exchange basis. _ |_| Please send us the reports marked above with an invoice Institution: ............................................................... Address : ............................................................... ............................................................... ............................................................... Date : ............................. ......................... (signature)