E1AR0002@SMUVM1.BITNET (09/12/86)
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 1986 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@mcvax.uucp February 1986 *** DEPARTMENT OF APPLIED MATHEMATICS *** AU: O. Diekmann TI: On the mathematical synthesis of psychological and behavioural mechanisms a nd population dynamics PP: Amsterdam PY: 1986 RN: Department of Applied Mathematics ; R 8601 MSC: 92A15 PR: f 3,90 AU: H. Roozen TI: Equilibrium and extinction in stochastic population dynamics PP: Amsterdam PY: 1986 RN: Department of Applied Mathematics ; R 8602 MSC: 35A40, 35B40, 35R60, 92A15 PR: f 3,90 AU: H. J. A. M. Heijmans AU: J. A. J. Metz TI: Small parameters in structured population models and the Trotter-Kato theor em PP: Amsterdam PY: 1986 RN: Department of Applied Mathematics ; R 8603 MSC: 92A15, 35A35, 47D05 PR: f 3,90 *** DEPARTMENT OF COMPUTER SCIENCE *** TI: Transition systems, metric spaces and ready sets in the semantics of unifor m concurrency AU: [by] J. W. de Bakker, J.-J. Ch. Meyer, E.-R. Olderog [et al.] PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8601 MSC: 69D41, 69F32, 69F33 PR: f 16,30 AU: P. J. W. ten Hagen AU: C. G. Trienekens TI: Pattern representation PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8602 MSC: 69K31, 69K33, 69K36 PR: f 3,90 TI: Contrasting themes in the semantics of imperative concurrency AU: [by] J. W. de Bakker, J. N. Kok, J.-J. Ch. Meyer [et al.] PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8603 MSC: 69D41, 69F32, 69F33 PR: f 8,80 AU: T. Tomiyama AU: H. Yoshikawa TI: Extended general design theory PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8604 MSC: 69H12, 03E30, 54A05, 54D35, 69K14, 69L60 PR: f 5,10 AU: J. N. Kok TI: Denotational semantics of nets with nondeterminism PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8605 MSC: 69D41, 69F32, 69F33 PR: f 3,90 AU: E. Kranakis TI: Fixed point equations with parameters in the projective model PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8606 MSC: 69F11, 69F12, 69F32, 69F43 PR: f 3,90 AU: E. Kranakis TI: Approximating the projective model PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8607 MSC: 69F11, 69F12, 69F32, 69F43 PR: f 3,90 AU: F. W. Vaandrager TI: Verification of two communication protocols by means of process algebra PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8608 MSC: 69F11, 69F12, 69F32, 69F43, 69C22 PR: f 11,40 AU: J. A. Bergstra AU: J. W. Klop AU: E.-R. Olderog TI: Failure semantics with fair abstraction PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8609 MSC: 69F11, 69F12, 69F32, 69F43 PR: f 8,80 AU: T. Budd TI: The cleaning person algorithm PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8610 MSC: 69E20, 69D42, 69D43 PR: f 3,90 AU: E. Kranakis AU: P. M. B. Vit|anyi TI: Distributed control in computer networks and cross-sections of colored mult idimensional bodies PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8611 MSC: 69C21, 69F21, 69G12, 26B15, 28A75 PR: f 3,90 AU: M. Li AU: L. Longpr|e AU: P. M. B. Vit|anyi TI: The power of the queue PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8612 MSC: 69F11, 69F13, 69F22, 94B60 PR: f 3,90 AU: P. J. F. Lucas TI: Knowledge representation and inference in rule-based systems PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8613 MSC: 69K11, 69K14 PR: f 3,90 AU: J. W. Klop AU: E. Kranakis TI: Lower bounds for a class of Kostka numbers PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8614 MSC: 05A10, 05A20 PR: f 3,90 AU: M. L. Kersten AU: F. H. Schippers TI: A general object-centered database langauge STI: a preliminary definition PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8615 MSC: 69D42, 69H23, 69K14 PR: f 3,90 AU: L. C. van der Gaag TI: PROLOG: an expert system building tool PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8616 MSC: 69K11, 69D42 PR: f 3,90 AU: J. A. Bergstra AU: J. Heering AU: P. Klint TI: Module algebra PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8617 MSC: 69D20, 69D22, 69D43, 69F32 PR: f 6,30 AU: J. A. Bergstra AU: J. V. Tucker TI: Algebraic specifications of computable and semicomputable datatypes PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8619 MSC: 69D22, 69D43, 69F32 PR: f 8,80 TI: Generation of interactive programming environments: GIPE AU: ed. [by] J. Heering, J. Sidi [and] A. Verhoog EDN: Intermediate report PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8620 MSC: 69D21, 69D26, 69D41, 69D44, 69F32 PR: f 51,20 TI: Needed reduction and spine strategies for the lambda calculus AU: [by] H. P. Barendregt, J. R. Kennaway, J. W. Klop [et al.] PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8621 MSC: 03B40, 69D11, 69F41 PR: f 6,30 AU: J. C. Ebergen TI: A technique to design delay-insensitive VLSI circuits PP: Amsterdam PY: 1986 RN: Department of Computer Science ; R 8622 MSC: 69B61, 69B71, 69F11, 94C99 PR: f 3,90 *** DEPARTMENT OF MATHEMATICAL STATISTICS *** AU: A. J. van Es AU: R. Helmers TI: Elementary symmetric polynomials of increasing order PP: Amsterdam PY: 1986 RN: Department of Mathematical Statistics ; R 8601 MSC: 60F05 PR: f 3,90 AU: S. A. van de Geer TI: A new approach to least squares estimation, with applications PP: Amsterdam PY: 1986 RN: Department of Mathematical Statistics ; R 8602 MSC: 60B10, 60G50, 62J05 PR: f 3,90 AU: R. D. Gill AU: J. A. Wellner TI: Large sample theory of empirical distributions in biased sampling models PP: Amsterdam PY: 1986 RN: Department of Mathematical Statistics ; R 8603 MSC: 62G05, 60F05, 62G30, 60G44 PR: f 3,90 AU: R. D. Gill TI: Non- and semi-parametric maximum likelihood estimators and the Von Mises me thod, Pt. I PP: Amsterdam PY: 1986 RN: Department of Mathematical Statistics ; R 8604 MSC: 62G05, 62G20, 60B12, 60F17, 46A05 PR: f 3,90 *** DEPARTMENT OF NUMERICAL MATHEMATICS *** AU: B. Koren TI: Euler flow solutions for a transonic windtunnel section PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8601 MSC: 35B30, 65N50, 76G15, 76H05 PR: f 3,90 AU: P. W. Hemker AU: G. M. Johnson TI: Multigrid approaches to the Euler equations PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8602 MSC: 65N30 PR: f 3,90 AU: W. H. Hundsdorfer AU: J. G. Verwer TI: Linear stability of the hopscotch scheme PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8603 MSC: 65M10 PR: f 3,90 TI: On the numerical integration of second-order initial value problems with a periodic forcing function AU: [by] P. J. van der Houwen, B. P. Sommeijer, K. Strehmel [et al.] PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8604 MSC: 65L05 PR: f 3,90 AU: P. J. van der Houwen AU: F. W. Wubs TI: The method of lines and exponential fitting PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8605 MSC: 65M20, 76B15 PR: f 3,90 AU: W. H. Hundsdorfer TI: A note on monotonicity of a Rosenbrock method PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8606 MSC: 65L20, 65H10 PR: f 3,90 AU: K. Burrage AU: W. H. Hundsdorfer TI: The order of B-convergence of algebraically stable Runge-Kutta methods PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8607 MSC: 65L05 PR: f 3,90 AU: J. M. Sanz-Serna AU: J. G. Verwer TI: Convergence analysis of one-step schemes in the method of lines PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8608 MSC: 65M10, 65M20 PR: f 3,90 AU: H. J. J. te Riele TI: On the sign of the difference $\pi(x)-li(x)$ PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8609 MSC: 11A41, 11M26, 11Y99, 65G99 PR: f 3,90 AU: B. P. Sommeijer TI: NUMVEC FORTRAN library manual STI: chapter: parabolic PDEs : routine: BDMG PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8610 MSC: 65M20, 65L05, 65V05 PR: f 3,90 AU: S. P. Spekreijse TI: Multigrid solution of monotone second-order discretizations of hyperbolic c onservation laws PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8611 MSC: 35L65, 65N05, 76G15 PR: f 3,90 AU: P. J. van der Houwen AU: B. P. Sommeijer TI: Phase-lag analysis of implicit Runge-Kutta methods PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8612 MSC: 65L05 PR: f 3,90 AU: E. de Goede TI: Stabilization of the Lax-Wendroff methods and a generalized one-step Runge- Kutta method for hyperbolic initial-value problems PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8613 MSC: 65M10, 65M20 PR: f 3,90 TI: NUMVEC FORTRAN library manual STI: chapter: simultaneous linear equations AU: [by] W. Hoffmann [and] W. M. Lioen PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8614 MSC: 65V05, 65F05, 15A06 PR: f 5,10 AU: J. H. M. ten #Thije Boonkkamp TI: The odd-even hopscotch pressure correction scheme for the incompressible Na vier-Stokes equations PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8615 MSC: 65M20, 76D05 PR: f 3,90 AU: B. Koren TI: Evaluation of second order schemes and defect correction for the multigrid computation of airfoil flows with steady Euler equations PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8616 MSC: 65N30, 76G15, 76H05 PR: f 3,90 AU: P. J. van der Houwen AU: B. P. Sommeijer AU: F. W. Wubs TI: Analysis of smoothing operators in the solution of partial differential equ ations by explicit difference schemes PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8617 MSC: 65M10, 65M20 PR: f 3,90 AU: J. G. Blom AU: H. Brunner TI: Discretized collocation and iterated collocation for nonlinear Volterra int egral equations of the second kind PP: Amsterdam PY: 1986 RN: Department of Numerical Mathematics ; R 8618 MSC: 45-04, 65R20, 45D05, 45L10 PR: f 3,90 *** DEPARTMENT OF OPERATIONS RESEARCH AND SYSTEM THEORY *** AU: R. K. Boel AU: J. H. van Schuppen TI: Overload control for switches of communications systems STI: a two-phase model for call request processing PP: Amsterdam PY: 1986 RN: Department of Operations Research and System Theory ; R 8601 MSC: 93E20, 90B22, 60K25 PR: f 3,90 AU: J. W. Polderman TI: On the necessity of identifying the true parameter in adaptive LQ control PP: Amsterdam PY: 1986 RN: Department of Operations Research and System Theory ; R 8602 MSC: 93C40 PR: f 3,90 AU: O. J. Boxma TI: Models of two queues: a few new views PP: Amsterdam PY: 1986 RN: Department of Operations Research and System Theory ; R 8603 MSC: 60K25, 69C40 PR: f 3,90 AU: J. M. Schumacher TI: Transformations of linear systems under external equivalence PP: Amsterdam PY: 1986 RN: Department of Operations Research and System Theory ; R 8604 MSC: 93B17, 93B20, 93C35, 34A30, 15A22, 15A36 PR: f 3,90 AU: O. J. Boxma AU: F. G. Forst TI: Minimizing the expected weighted number of tardy jobs in stochastic flow sh ops PP: Amsterdam PY: 1986 RN: Department of Operations Research and System Theory ; R 8605 MSC: 90B35 PR: f 3,90 AU: O. J. Boxma AU: W. P. Groenendijk TI: Pseudo-conservation laws in cyclic-service systems PP: Amsterdam PY: 1986 RN: Department of Operations Research and System Theory ; R 8606 MSC: 60K25, 69C40 PR: f 3,90 *** DEPARTMENT OF PURE MATHEMATICS *** AU: B. Hoogenboom AU: T. H. Koornwinder TI: Fonctions d'entrelacement sur les groupes de Lie compacts et polyn^omes oth ogonaux de plusieurs variables [Intertwining functions on compact Lie groups and orthogonal polynomials in several variables] PP: Amsterdam PY: 1986 RN: Department of Pure Mathematics ; R 8601 MSC: 17B20, 22E46, 33A65, 33A75, 43A75, 43A90 PR: f 3,90 AU: G. F. Helminck TI: Deformations of connections, the Riemann Hilbert problem and $\tau$-functio ns PP: Amsterdam PY: 1986 RN: Department of Pure Mathematics ; R 8602 MSC: 30Q15, 35F20 PR: f 3,90 AU: J. C. van der Meer AU: R. Cushman TI: Constrained normalization of Hamiltonian systems and perturbed Keplerian mo tion PP: Amsterdam PY: 1986 RN: Department of Pure Mathematics ; R 8603 MSC: 58F05, 34C29, 70F15, 70F05, 70M05 PR: f 3,90 _ |_| Please send us the reports marked above on exchange basis. _ |_| Please send us the reports marked above with an invoice Institution: ............................................................... Address : ............................................................... ............................................................... ............................................................... Date : ............................. ......................... (signature)