Browse

ftp://ftp.cwi.nl (443)

	ftp://ftp.cwi.nl/pub/CWIreports/BS/oratie.ps.Z, 19940916 Kans in beeld Rede uitgesproken bij het aanvaarden van het ambt van bijzonder hoogleraar in de toepassingen van de wiskunde aan de Rijksuniversiteit te Leiden op vrijdag 4 december 1992 door DR. A.J. BADDELEY Mijnheer de Rector Magnificus, Leden van het Algemeen Bestuur van het Leids Universiteits
	ftp://ftp.cwi.nl/pub/CWIreports/BS/RUL9307.ps.Z, 19940916 1 The Rao-Blackwell theorem in stereology and some counterexamples A.J. Baddeley Centre for Mathematics and Computer Science P.O. Box 4079, 1009 AB Amsterdam The Netherlands Department of Mathematics and Computer Science University of Leiden, The Netherlands L.M. Cruz-Orive Anatomisches Institut,
	ftp://ftp.cwi.nl/pub/CWIreports/BS/UOA94278.ps.Z, 19940916 Markov properties of cluster processes A J Baddeley1;2 M N M van Lieshout3;4 J Moller5 1 Department of Mathematics, University of Western Australia, Nedlands WA 6009, Australia 2 Department of Mathematics and Computer Science, University of Leiden, The Netherlands 3 Department of Mathematics and
	ftp://ftp.cwi.nl/pub/CWIreports/BS/RUU718.ps.Z, 19940916 1 Kaplan-Meier estimators of interpoint distance distributions for spatial point processes Adrian Baddeley Centre for Mathematics and Computer Science Kruislaan 413, 1098 SJ Amsterdam The Netherlands Department of Mathematics and Computer Science University of Leiden The Netherlands Richard D. Gill
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9252.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMiniford: a Kernel for a Manifold-like Coordination LanguageE.P.B.M. RuttenComputer Science/Department of Interactive SystemsCS-R9252 1992 Minifold: a Kernel for a Manifold-like Coordination Language E.P.B.M. Rutten CWI P.O. Box 4079, 1009 AB Amsterdam,
	ftp://ftp.cwi.nl/pub/CWIreports/CST/CS-R9304.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStructured multimedia authoringL. Hardman, G. van Rossum, D.C.A. BultermanComputer Science/Department of Computer Systems and TelematicsCS-R9304 1993 1 Report CS-R9304 ISSN 0169-118X CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands Structured
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9246.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Declarative Approach for First-Order Built-in's of PrologK.R. Apt, E. Marchiori, C. PalamidessiComputer Science/Department of Software TechnologyCS-R9246 1992 A Declarative Approach for First-Order Built-in's of Prolog Krzysztof R. Apt CWI P.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9414.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLine segment rasterization in n-dimensional spaceC. WuthrichComputer Science/Department of Interactive SystemsCS-R9414 1994 Line segment rasterization in n-dimensional space Charles A. W uthrich ERCIM European Research Consortium in Informatics and
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9366.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Comparison of Additivity Axioms in Timed Transition SystemsAlan Jeffrey, Steve Schneider, Frits VaandragerComputer Science/Department of Software TechnologyCS-R9366 1993 A Comparison of Additivity Axioms in Timed Transition Systems Alan Jeffrey School
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9315.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTKaplan-Meier estimators for interpoint distance distributions of spatial point processesA. Baddeley, R.D. GillDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9315 1993 Kaplan-Meier Estimators of Interpoint Distance Distributions for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9368.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBasic process algebra with iteration: completeness of its equational axiomsW.J. Fokkink, H. ZantemaComputer Science/Department of Software TechnologyCS-R9368 1993 Basic Process Algebra with Iteration: Completeness of its Equational Axioms Willem Jan
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9213.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTIncidence and lattice calculus with applications to stochastic geometry and image analysisA.J. Baddeley, H.J.A.M. HeijmansDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9213 1992 1 Incidence and Lattice Calculus with Applications to
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9408.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe s-semantics approach: theory and applicationsA. Bossi, M. Gabbrielli, G. Levi, M. MartelliComputer Science/Department of Software TechnologyCS-R9408 1994 The s-semantics approach: theory and applications A. Bossi Dipartimento di Matematica Pura ed
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9360.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMADE: A Multimedia Application Development EnvironmentI. Herman, G.J. Reynolds, J. DavyComputer Science/Department of Interactive SystemsCS-R9360 1993 MADE: A Multimedia Application Development Environment Ivan Herman, Graham J Reynolds CWI Kruislaan 413,
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9321.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe regulator problem with robust stabilityM.K.K. Cevik, J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9321 1993 1 The Regulator Problem with Robust Stability M.K. K. Cevik Electrical and Electronics Engineering
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9208.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9424.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSolving Domain Equations in a Category of Compact Metric SpacesF. van Breugel, J. WarmerdamComputer Science/Department of Software TechnologyCS-R9424 1994 Solving Domain Equations in a Category of Compact Metric Spaces Franck van Breugel1;2 and Jeroen
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9233.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSpecification and generation of a $lambdacalculus environmentA. van DeursenComputer Science/Department of Software TechnologyCS-R9233 1992 Specification and Generation of a >=-calculus Environment Arie van Deursen CWI, P.O. Box 4079, 1009 AB Amsterdam,
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9232.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRouting of freeway traffic - A discrete-time state space model and routing problemsJ.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9232 1992 Routing of Freeway Traffic - A Discrete-Time State Space Model and Routing
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9231.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStochastic scheduling games with Markov decision arrival processesE. Altman, G. KooleDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9231 1992 Stochastic Scheduling Games with Markov Decision Arrival Processes Eitan Altman
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9359.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Proof Procedure for Extended Logic ProgramsF. TeusinkComputer Science/Department of Software TechnologyCS-R9359 1993 A Proof Procedure for Extended Logic Programs Frank Teusink CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands frankt@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9316.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTControl of a Random Walk with Noisy Delayed InformationE. Altman, G. KooleDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9316 1993 Control of a Random Walk with Noisy Delayed Information Eitan Altman INRIA Centre Sophia Antipolis
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9420.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProof-checking a data link protocolL. Helmink, M.P.A. Sellink, F.W. VaandragerComputer Science/Department of Software TechnologyCS-R9420 1994 Proof-Checking a Data Link Protocol L. Helmink Philips Research Laboratories Information and Software Technology
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9314.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTForward and backward simulations -- Part II: timing-based systemsN.A. Lynch, F.W. VaandragerComputer Science/Department of Software TechnologyCS-R9314 1993 1 Forward and Backward Simulations Part II: Timing-Based Systems Nancy Lynch MIT Laboratory for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9411.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSupervisory control for nondeterministic systemsA. OverkampDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9411 1994 Supervisory Control for Nondeterministic Systems Ard Overkamp CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9313.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTForward and backward simulations -- Part I: untimed systemsN.A. Lynch, F.W. VaandragerComputer Science/Department of Software TechnologyCS-R9313 1993 1 Forward and Backward Simulations Part I: Untimed Systems Nancy Lynch MIT Laboratory for Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9320.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSchema integration in object-oriented databasesC.J.E Thieme, A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9320 1993 Schema Integration in Object-Oriented Databases Christiaan Thieme and Arno Siebes fct,arnog@cwi.nl CWI,
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9201.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTowards a design theory for database triggersA.P.J.M. Siebes, M.H. van der Voort, M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9201 1992 Towards a Design Theory for Database Triggers A.P.J.M. Siebes, M.H. van der Voort and
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9409.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTInitial algebra and final coalgebra semantics for concurrencyJ.J.M.M. Rutten, D. TuriComputer Science/Department of Software TechnologyCS-R9409 1994 Initial Algebra and Final Coalgebra Semantics for Concurrency Jan Rutten and Daniele Turi CWI P.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9417.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDeclarative Interpretations ReconsideredK.R. Apt, M. GabbrielliComputer Science/Department of Software TechnologyCS-R9417 1994 Declarative Interpretations Reconsidered Krzysztof R. Apt CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands and Faculty of
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9235.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOptimal Multi-Writer Multi-Reader Atomic RegisterA. Israeli, A. ShahamComputer Science/Department of Algorithmics and ArchitectureCS-R9235 1992 1 Optimal Multi-Writer Multi-Reader Atomic Register Amos Israeli CWI P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9215.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFormal Specification of Manifold: a preliminary studyE.P.B.M. Rutten, F. Arbab, I. HermanComputer Science/Department of Interactive SystemsCS-R9215 1992 Formal Specification of Manifold: a Preliminary Study E.P.B.M. Rutten, F. Arbab, I. Herman CWI,
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9306.ps.Z, 19941204 VLUGR2: A Vectorized Local Uniform Grid Refinement Code for PDEs in 2D J.G. Blom, J.G. Verwer CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9402.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLogic Programming and Negation: A SurveyK.R. Apt, R. BolComputer Science/Department of Software TechnologyCS-R9402 1994 Logic Programming and Negation: A Survey Krzysztof R. Apt CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands and Faculty of
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9255.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTGraphics for ABCJ. Zwaan, R. ZwartComputer Science/Department of Algorithmics and ArchitectureCS-R9255 1992 Graphics for ABC Jaap Zwaan and Rolf Zwart CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands IHBO De Maere P.O. Box 1075, 7500 BB Enschede, The
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9402.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAsymptotics of zeros of incomplete gamma functionsN.M. TemmeDepartment of Analysis, Algebra and GeometryAM-R9402 1994 1 Asymptotics of Zeros of Incomplete Gamma Functions N. M. Temme CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands e-mail:
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9346.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA structural co-induction theoremJ.J.M.M. RuttenComputer Science/Department of Software TechnologyCS-R9346 1993 A Structural Co-induction Theorem J.J.M.M. Rutten CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9422.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9344.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHomomorphism preserving algebraic specifications require hidden sortsJ.A. Bergstra, J. HeeringComputer Science/Department of Software TechnologyCS-R9344 1993 Homomorphism Preserving Algebraic Specifications Require Hidden Sorts J.A. Bergstra Faculty of
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9244.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOptimal sorting in linear arrays with minimum global controlF. Abolhassan, J. Keller, D. ScheererComputer Science/Department of Algorithmics and ArchitectureCS-R9244 1992 1 Optimal Sorting in Linear Arrays with Minimum Global Control Ferri Abolhassan
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9437.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHow a Rainbow Coloring Function Can Simulate Wait-free HandshakingM. PapatriantafilouComputer Science/Department of Algorithmics and ArchitectureCS-R9437 1994 How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking Marina Papatriantafilou
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9302.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA theory for simulator toolsH.P. KorverComputer Science/Department of Software TechnologyCS-R9302 1993 A Theory for Simulator Tools Henri Korver CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands henri@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9235.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the optimality of FCFS for networks of multi-server queuesG. KooleDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9235 1992 On the Optimality of FCFS for Networks of Multi-Server Queues Ger Koole CWI P.O. Box 4079, 1009 AB
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9404.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOuterjoins as disjunctionsC.A. Galindo-LegariaComputer Science/Department of Algorithmics and ArchitectureCS-R9404 1994 Outerjoins as Disjunctions C esar A. Galindo-Legaria CWI P. O. Box 4079, 1009 AB Amsterdam, The Netherlands cesar@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9423.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9129.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn algebraic specification for the static semantics of PascalA. van DeursenComputer Science/Department of Software TechnologyCS-R9129 1991 An Algebraic Specification for the Static Semantics of Pascal A. van Deursen CWI, Department of Software Technology,
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9201.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9403.ps.Z, 19941204 VLUGR2: A Vectorizable Adaptive Grid Solver for PDEs in 2D J.G. Blom, R.A. Trompert, and J.G. Verwer CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9127.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHausdorff metric for capacitiesA.J.BaddeleyDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9127 1991 1 Hausdorff Metric for Capacities A. J. Baddeley CWI P.O. Box 4079, 1009 AB Amsterdam The Netherlands Department of Mathematics and
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9268.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTQuery optimization strategies for browsing sessionsM.L. Kersten, M.F.N de BoerComputer Science/Department of Algorithmics and ArchitectureCS-R9268 1992 Query Optimization Strategies for Browsing Sessions M. L. Kersten M.F.N. de Boer CWI, P.O. Box 4079
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9339.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRelating State Transformation Semantics and Predicate Transformer Semantics for Parallel ProgramsFranck van BreugelComputer Science/Department of Software TechnologyCS-R9339 1993 1 Relating State Transformation Semantics and Predicate Transformer
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9365.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTGeneralizing Finiteness Conditions of Labelled Transition SystemsF. van BreugelComputer Science/Department of Software TechnologyCS-R9365 1993 1 Generalizing Finiteness Conditions of Labelled Transition Systems Franck van Breugel CWI P.O. Box 94079, 1090
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9451.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTType equivalence, subtyping, and type transformations in object-oriented databasesC.J.E. Thieme, A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9451 1994 Type Equivalence, Subtyping, and Type Transformations in
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9303.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFast Parallel Permutation AlgorithmsJ. KellerComputer Science/Department of Algorithmics and ArchitectureCS-R9303 1993 1 Fast Parallel Permutation Algorithms Jorg Keller CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9418.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTVectorization Aspects of a Spherical Advection Scheme on a Reduced Grid J.G. Blom, W. Hundsdorfer, J.G. VerwerDepartment of Numerical MathematicsNM-R9418 1994 Vectorization Aspects of a Spherical Advection Scheme on a Reduced Grid J.G. Blom, W.
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9430.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHomogeneous Discoveries Contain no Surprises: Inferring Risk-profiles from Large DatabasesArno SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9430 1994 Homogeneous Discoveries Contain no Surprises: Inferring Risk-profiles from Large
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9320.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStochastic Realization of a Gaussian Stochastic Control SystemJ.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9320 1993 Stochastic Realization of a Gaussian Stochastic Control System J.H. van Schuppen CWI, P.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9401.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProduct forms based on backward traffic equationsR.J. BoucherieDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9401 1994 Product Forms Based on Backward Traffic Equations Richard J. Boucherie CWI P.O. Box 94079, 1090 GB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9202.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSurvey of continuities of curves and surfacesR. C. VeltkampComputer Science/Department of Interactive SystemsCS-R9202 1992 Survey of Continuities of Curves and Surfaces Remco C. Veltkamp CWI, Department of Interactive Systems Kruislaan 413, 1098 SJ
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9338.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTIsomorphisms between State and Predicate TransformersM. Bonsangue, J. N. KokComputer Science/Department of Software TechnologyCS-R9338 1993 Isomorphisms between Predicate and State Transformers Marcello Bonsangue CWI P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9301.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOptimal repairman assignment in two maintenance models which are equivalent to routing models with early decisionsG. KooleDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9301 1993 Optimal Repairman Assignment in Two Maintenance Models
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9261.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTModelling interaction tools in the Views architectureE.D.G. BoeveComputer Science/Department of Algorithmics and ArchitectureCS-R9261 1992 Modelling Interaction Tools in the Views Architecture Eddy Boeve CWI P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9215.ps.Z, 19941204 Divisibility Properties of Integers x and k Satisfying 1k + 2k + + (x 1)k = xk P. Moree Mathematical Institute, University of Leiden P.O. Box 9512, 2300 RA Leiden, The Netherlands H.J.J. te Riele CWI, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands J. Urbanowicz* Institute of Mathematics, Polish
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9421.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSelf-Stabilizing Wait-Free Clock SynchronizationM. Papatriantafilou, P. TsigasComputer Science/Department of Algorithmics and ArchitectureCS-R9421 1994 Self-Stabilizing Wait-Free Clock Synchronization Marina Papatriantafilou Email: ptrianta@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9460.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAction Transducers and Timed AutomataN.A. Lynch, F.W. VaandragerComputer Science/Department of Software TechnologyCS-R9460 1994 Action Transducers and Timed Automata Nancy Lynch MIT Laboratory for Computer Science Cambridge, MA 02139, USA
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9331.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the Unification Free Prolog ProgramsK.R. Apt, S. EtalleComputer Science/Department of Software TechnologyCS-R9331 1993 On the Unification Free Prolog Programs Krzysztof R. Apt CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands and Sandro Etalle
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9318.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9354.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSchema refinement and schema integration in object-oriented databasesC. Thieme, A. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9354 1993 Schema Refinement and Schema Integration in Object-Oriented Databases Christiaan Thieme and
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9216.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Theory of First-Order Built-in's of PrologK.R. Apt, E. Marchiori, C. PalamidessiComputer Science/Department of Software TechnologyCS-R9216 1992 A Theory of First-Order Built-in's of Prolog Krzysztof R. Apt Centre for Mathematics and Computer Science
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9306.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStochastic annealing for nearest-neighbour point processes with application to object recognitionM N M van LieshoutDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9306 1993 Stochastic Annealing for Nearest-neighbour Point Processes
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9222.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStochastic realization of finite-valued processes and primes in the positive matricesG. Picci, J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9222 1992 Stochastic Realization of Finite-valued Processes and Primes in
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9438.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Survey of Program Slicing TechniquesF. TipComputer Science/Department of Software TechnologyCS-R9438 1994 A Survey of Program Slicing Techniques Frank Tip CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands tip@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9443.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Integration Project for the JACK EnvironementAmar Bouali, Stefania Gnesi, Salvatore LarosaComputer Science/Department of Software TechnologyCS-R9443 1994 The Integration Project for the JACK Environment Amar Bouali CWI P.O. Box 94079, 1090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9240.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHashing and rehashing in emulated shared memoryJ. KellerComputer Science/Department of Algorithmics and ArchitectureCS-R9240 1992 1 Hashing and Rehashing in Emulated Shared Memory Jorg Keller CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9223.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTuning of Gaussian stochastic control systemsJ.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9223 1992 Tuning of Gaussian Stochastic Control Systems J.H. van Schuppen CWI, P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9363.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDifferential logic programs: semantics and programming methodologiesA. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, M.C. MeoComputer Science/Department of Software TechnologyCS-R9363 1993 Differential Logic Programs: Semantics and Programming Methodologies
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9336.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComparative Semantics for Linear Arrays of Communicating ProcessesJ.W. de Bakker, F. van Breugel, A. de BruinComputer Science/Department of Software TechnologyCS-R9336 1993 1 Comparative Semantics for Linear Arrays of Communicating Processes a study of
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9303.ps.Z, 19941204 Comparing Quasi-Newton Methods for Solving Sparse Interface Problems C.-H. Lai CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9254.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSecond-order algebraic specification of static semanticsJ. HeeringComputer Science/Department of Software TechnologyCS-R9254 1992 Second-Order Algebraic Specification of Static Semantics Jan Heering CWI P.O. Box 4079, 1009 AB Amsterdam The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9432.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCost distribution of search spaces in query optimizationC.A. Galindo Legaria, J. Pellenkoft, M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9432 1994 Cost Distributions of Search Spaces in Query Optimization C esar
	ftp://ftp.cwi.nl/pub/CWIreports/CST/CS-R9306.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Amsterdam hypermedia model: extending hypertext to support real multimediaL. Hardman, D.C.A. Bulterman, G. van RossumComputer Science/Department of Computer Systems and TelematicsCS-R9306 1993 1 Report CS-R9306 ISSN 0169-118X CWI P.O. Box 4079, 1009
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9214.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMore Examples in ManifoldI. Herman, F. ArbabComputer Science/Department of Interactive SystemsCS-R9214 1992 More Examples in Manifold I. Herman, F. Arbab CWI Department of Interactive Systems Kruislaan 413, 1098 SJ Amsterdam, The Netherlands Tel.:
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9403.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn approach to schema integration based on transformations and behaviourC Thieme, A SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9403 1994 An Approach to Schema Integration Based on Transformations and Behaviour Christiaan Thieme
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9369.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTransforming acyclic programsA. Bossi S. EtalleComputer Science/Department of Software TechnologyCS-R9369 1993 Transforming Acyclic Programs Annalisa Bossi1, Sandro Etalle1;2. 1 Dipartimento di Matematica Pura ed Applicata, Universit a di Padova, Via
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9406.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTData Mining: the search for knowledge in databasesM. Holsheimer, A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9406 1994 Data Mining The Search for Knowledge in Databases Marcel Holsheimer, Arno Siebes fmarcel,arnog@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9402.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA structural characterisation of product form stochastic Petri netsR.J. Boucherie, M. Sereno Department of Operations Reasearch, Statistics, and System TheoryBS-R9402 1994 A Structural Characterisation of Product Form Stochastic Petri Nets Richard J.
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9371.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA computer-checked verification of Milner's schedulerH.P. Korver, J. SpringintveldComputer Science/Department of Software TechnologyCS-R9371 1993 A Computer-Checked Verification of Milner's Scheduler Henri Korver CWI P.O. Box 94079, 1090 GB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9357.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSimultaneous Replacement in Normal ProgramsA. Bossi, N. Cocco, S. EtalleComputer Science/Department of Software TechnologyCS-R9357 1993 Simultaneous Replacement in Normal Programs Annalisa Bossi Dipartimento di Matematica Pura ed Applicata, Universit a di
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9266.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe ergonomics of software porting. Automatically configuring software to the runtime environment -or- Everything you wanted to know about your C compiler, but didn't know who to askS. PembertonComputer Science/Department of Algorithmics and
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9457.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA trying C++ experience (why compare dropped C++)T.B. DineshComputer Science/Department of Software TechnologyCS-R9457 1994 A trying C++ experience (Why Compare dropped C++) T.B. Dinesh dinesh@cwi.nl CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9425.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOrigin Tracking for Higher-Order Term Rewriting SystemsA. van Deursen, T.B. DineshComputer Science/Department of Software TechnologyCS-R9425 1994 Origin Tracking for Higher-Order Term Rewriting Systems Arie van Deursen and T.B. Dinesh farie,dineshg@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9319.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMultiserver Queues with Impatient CustomersO.J. Boxma, P.R. de WaalDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9319 1993 Multiserver Queues with Impatient Customers O.J. Boxma, P.R. de Waal CWI P.O. Box 94079, 1090 GB Amsterdam,
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9262.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMaintaining presentation invariants in the Views systemJ. GanzevoortComputer Science/Department of Algorithmics and ArchitectureCS-R9262 1992 Maintaining Presentation Invariants in the Views System Job Ganzevoort CWI P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9334.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTManifold Version 1.0 Programming: Programs and ProblemsC.L. BlomComputer Science/Department of Interactive SystemsCS-R9334 1993 Centrum voor Wiskunde en InformaticaREPORTRAPPORTManifold Version 1.0 Programming: Programs and ProblemsC.L. BlomComputer
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9445.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTVerification of an Audio Control ProtocolDoeko Bosscher, Indra Polak, Frits VaandragerComputer Science/Department of Software TechnologyCS-R9445 1994 Verification of an Audio Control Protocol Doeko Bosscher CWI P.O. Box 94079, 1090 GB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9404.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the Power Series AlgorithmG. KooleDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9404 1994 On the Power Series Algorithm Ger Koole CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9405.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAssigning a Single Server to Inhomogeneous Queues with Switching CostsG. KooleDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9405 1994 Assigning a Single Server to Inhomogeneous Queues with Switching Costs Ger Koole CWI P.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9459.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Impact of Catalogs and Join Algorithms on Probabilistic Query OptimizationJ.Pellenkoft, C.A. Galindo-Legaria, M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9459 1994 The Impact of Catalogs and Join Algorithms on
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9431.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTUniformly-distributed random generation of join ordersC.A. Galindo Legaria, J. Pellenkoft, M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9431 1994 Uniformly-Distributed Random Generation of Join Orders C esar A.
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9309.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTermination and confluence of rule executionM.H. van der Voort, A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9309 1993 Termination and Confluence of Rule Execution Leonie van der Voort, Arno Siebes CWI P.O. Box 4079, 1009
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9318.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSingle Term Off-Line CoinsN. FergusonComputer Science/Department of Algorithmics and ArchitectureCS-R9318 1993 Single Term Off-Line Coins Niels Ferguson CWI P.O. Box 4079, 1009 AB Amsterdam The Netherlands e-mail: niels@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9267.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSemantics, Ordering and Recursion in the Weakest Precondition CalculusM. Bonsangue, J. KokComputer Science/Department of Software TechnologyCS-R9267 1992 Semantics, Orderings and Recursion in the Weakest Precondition Calculus Marcello Bonsangue CWI P.O.
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9367.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe tyft/tyxt format reduces to tree rulesW.J. FokkinkComputer Science/Department of Software TechnologyCS-R9367 1993 The Tyft/Tyxt Format Reduces to Tree Rules Willem Jan Fokkink CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands e-mail: wan@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9209.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Robinson-Schensted and Sch"utzenberger Algorithms Part II: Geometric InterpretationsM.A.A. van LeeuwenDepartment of Analysis, Algebra and GeometryAM-R9209 1992 The Robinson-Schensted and Sch utzenberger Algorithms Part II: Geometric Interpretations
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9335.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThree Metric Domains of Processes for BisimulationFranck van BreugelComputer Science/Department of Software TechnologyCS-R9335 1993 1 Three Metric Domains of Processes for Bisimulation Franck van Breugel CWI P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9316.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTModular Termination Proofs for Logic and Pure Prolog ProgramsK.R. Apt, D. PedreschiComputer Science/Department of Software TechnologyCS-R9316 1993 Modular Termination Proofs for Logic and Pure Prolog Programs Krzysztof R. Apt CWI P.O. Box 4079, 1009 AB
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9455.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOff-Line Cash Transfer by Smart CardsS. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9455 1994 1 Off-Line Cash Transfer by Smart Cards Stefan Brands CWI P.O. Box 94079, 1090 GB Amsterdam The Netherlands e-mail: brands@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9352.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA user's guide to the Software TestpilotM. L. Kersten, F. KwakkelComputer Science/Department of Algorithmics and ArchitectureCS-R9343 1993 1 Regular Layouts of Butterfly Networks in Three Dimensions Jorg Keller CWI P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/CST/CS-R9305.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCMIFed: A presentation environment for portable hypermedia documentsG. van Rossum, A.J. Jansen, K.S. Mullender, D.C.A. BultermanComputer Science/Department of Computer Systems and TelematicsCS-R9305 1993 1 Report CS-R9305 ISSN 0169-118X CWI P.O. Box 4079,
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9340.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTopological Models for Higher Order Control FlowJ.W. de Bakker, F. van BreugelComputer Science/Department of Software TechnologyCS-R9340 1993 1 Topological Models for Higher Order Control Flow J.W. de Bakker1;2 and F. van Breugel1;2 1CWI P.O. Box 4079,
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9230.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOrigin TrackingA. van Deursen, P. Klint, F. TipComputer Science/Department of Software TechnologyCS-R9230 1992 Origin Tracking A. van Deursen, P. Klint, and F. Tip arie@cwi.nl, paulk@cwi.nl, tip@cwi.nl CWI, P.O. Box 4079, 1009 AB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9327.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn Object Model for Multimedia ProgrammingF. Arbab, I. Herman, G.J. ReynoldsComputer Science/Department of Interactive SystemsCS-R9327 1993 An Object Model for Multimedia Programming F. Arbab, I. Herman, G.J. Reynolds CWI P.O. Box 4079, 1009 AB Amsterdam,
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9407.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Goblin database programming languageM.L. Kersten, C.A. van den Berg, A.P.J.M. Siebes, C.J.E. Thieme, M.H. van der VoortComputer Science/Department of Algorithmics and ArchitectureCS-R9407 1994 The Goblin Database Programming Language M.L. Kersten, C.
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9217.ps.Z, 19941204 Tests on Semi-Lagrangian Transport and Interpolation M. van Loon CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9023.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTNested Monte Carlo study of random packing on the surface of a sphereR.P.C. Rodgers, A.J. BaddeleyDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9023 1990 Nested Monte Carlo study of random packing on the sphere R. P. C. Rodgers
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9429.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9305.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTContinuity of singular perturbations in the graph topologyJ. de Does, J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9305 1993 1 Continuity of Singular Perturbations in the Graph Topology J. de Does CWI P.O. Box 4079,
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9343.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRegular Layouts of Butterfly Networks in Three DimensionsJ. KellerComputer Science/Department of Algorithmics and ArchitectureCS-R9352 1993 1 A User s Guide to the Software Testpilot M.L. Kersten F. Kwakkel CWI, P.O. Box 4079 CWI, P.O. Box 4079 1009 AB
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9220.ps.Z, 19941204 Specification of MANIFOLD Version 1.0 Farhad Arbab Interactive Systems Center for Mathematics and Computer Science Kruislaan 413 1098 SJ Amsterdam The Netherlands Telephone: +31 20 5924056 Fax: +31 20 5924199 Telex: 12571 mactr nl Email: farhad@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9259.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProgramming aspects of Views. An open-architecture application environmentS. PembertonComputer Science/Department of Algorithmics and ArchitectureCS-R9259 1992 Programming Aspects of Views An Open-architecture Application Environment Steven Pemberton CWI
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9227.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Predicate Transformer for UnificationL. Colussi, E. MarchioriComputer Science/Department of Software TechnologyCS-R9227 1992 A Predicate Transformer for Unification Livio Colussi Dipartimento di Matematica Pura ed Applicata Universit a di Padova, Via
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9218.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTurning SOS rules into equationsL. Aceto, B. Bloom, F.W. VaandragerComputer Science/Department of Software TechnologyCS-R9218 1992 Turning SOS Rules into Equations Luca Aceto Hewlett-Packard Labs, Pisa Science Center, Corso Italia 115, 56125 Pisa, Italy;
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9124.ps.Z, 19941204 Analysis of a Three-Dimensional Point Pattern with Replication A. J. Baddeley R. A. Moyeed1 C. V. Howard2 A. Boyde3 CWI P.O. Box 4079, 1009 AB Amsterdam The Netherlands 1 School of Mathematical Sciences, University of Bath Claverton Down, Bath BA2 7AY, UK 2 Quantitative 3-D Microscopy Research Group
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9257.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Views application environmentS. PembertonComputer Science/Department of Algorithmics and ArchitectureCS-R9257 1992 The Views Application Environment Steven Pemberton CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands Email: Steven.Pemberton@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9301.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTExpressiveness results for process algebrasF.W. VaandragerComputer Science/Department of Software TechnologyCS-R9301 1993 1 Expressiveness Results for Process Algebras Frits W. Vaandrager CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands fritsv@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9241.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial OrdersJ.J.J.M. Rutten, D. TuriComputer Science/Department of Software TechnologyCS-R9241 1992 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9269.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSemantics of Manifold: Specification in ASF+SDF and ExtensionE.P.B.M. Rutten, S. ThiebauxComputer Science/Department of Interactive SystemsCS-R9269 1992 Semantics of Manifold: Specification in ASF+SDF and Extension E.P.B.M. Rutten, S. Thi ebaux CWI, P.O.
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9245.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProving Run-Time Properties of General Programs w.r.t Constructive NegationE. MarchioriComputer Science/Department of Software TechnologyCS-R9245 1992 Proving Run-Time Properties of General Programs w.r.t. Constructive Negation Elena Marchiori CWI P.O.
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9319.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBinary SnapshotsJ-H Hoepman, J. TrompComputer Science/Department of Algorithmics and ArchitectureCS-R9319 1993 Binary Snapshots Jaap-Henk Hoepman jhh@cwi.nl John Tromp tromp@cwi.nl CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9307.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the construction of morphological operators which re selfdual and activity-extensiveH.J.A.M. HeijmansDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9307 1993 1 On the Construction of Morphological Operators which are Selfdual and
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9221.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTVectorizing Matrix Operations arising from PDE Discretization on 9-Point StencilsJ.G. Blom, J.G. VerwerDepartment of Numerical MathematicsNM-R9221 1992 Vectorizing Matrix Operations arising from PDE Discretization on 9-Point Stencils J.G. Blom, J.G.
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9440.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTGEL, a Graph Exchange LanguageJ.F.T. KampermanComputer Science/Department of Software TechnologyCS-R9440 1994 GEL, a Graph Exchange Language J.F.Th.Kamperman (jasper@cwi.nl) CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9265.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe MUSA design methodologyS. Pemberton, L.G. BarfieldComputer Science/Department of Algorithmics and ArchitectureCS-R9265 1992 The MUSA Design Methodology Steven Pemberton and Lon Barfield CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands SERC P.O.
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9109.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRecognition of overlapping objects using Markov spatial processesA J Baddeley en M N M van LieshoutDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9109 1991 Recognition of Overlapping Objects using Markov Spatial Processes A. J.
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9353.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDeclarative Programming in PrologK.R. AptComputer Science/Department of Software TechnologyCS-R9353 1993 Declarative Programming in Prolog Krzysztof R. Apt CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands and Faculty of Mathematics and Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9122.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFacets of database triggersM.H. van der Voort, M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9122 1991 Facets of Database Triggers M.H. van der Voort M.L. Kersten CWI, P.O.Box 4079 1009 AB Amsterdam, The Netherlands April 28,
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9416.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFast, randomized join-order selection - Why use transformations C. Galindo-Legaria, J. Pellenkoft, M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9416 1994 Fast, Randomized Join-Order Selection \|Why Use Transformations C esar
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9315.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Characterization of Stable Models using a Non-Monotonic OperatorF. TeusinkComputer Science/Department of Software TechnologyCS-R9315 1993 A Characterization of Stable Models using a Non-Monotonic Operator Frank Teusink CWI P.O. Box 4079, 1009 AB
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9202.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTApproximate Analysis of an M/G/1 Priority Queue with Priority Changes due to ImpatienceP. de WaalDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9202 1992 1 Approximate Analysis of an M/G/1 Priority Queue with Priority Changes due to
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9405.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTVLUGR3: A Vectorizable Adaptive Grid Solver for PDEs in 3D. II. Code DescriptionJ.G. Blom, J.G. VerwerDepartment of Numerical MathematicsNM-R9405 1994 VLUGR3: A Vectorizable Adaptive Grid Solver for PDEs in 3D II. Code Description J.G. Blom, J.G. Verwer
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9243.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTReduction of network cost and wiring in Ranade's butterfly routingD. Cross, R. Drefenstedt, J. KellerComputer Science/Department of Algorithmics and ArchitectureCS-R9243 1992 1 Reduction of Network Cost and Wiring in Ranade's Butterfly Routing David Cross
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9413.ps.Z, 19941204
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9401.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOrigin Tracking in Primitive Recursive SchemesA. van DeursenComputer Science/Department of Software TechnologyCS-R9401 1994 Origin Tracking in Primitive Recursive Schemes Arie van Deursen CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands Email:
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9370.ps.Z, 19941204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDetecting feature interactions with Caesar/AldebaranH.P. KorverComputer Science/Department of Software TechnologyCS-R9370 1993 Detecting Feature Interactions with Caesar=Ald ebaran Henri Korver CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9446.ps.Z, 19941205 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA Logic for Variable Aliasing in Logic ProgramsE. MarchioriComputer Science/Department of Software TechnologyCS-R9446 1994 A Logic for Variable Aliasing in Logic Programs Elena Marchiori CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z, 19941207 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFormal Methods in the Development of PREMOD.A.Duce, D.J.Duke, P.J.W.ten Hagen, I. Herman, G.J. ReynoldsComputer Science/Department of Interactive SystemsCS-R9465 1994 Formal Methods in the Development of PREMO D.A. Duce Informatics Department, DRAL
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9474.ps.Z, 19950103 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThree-Valued Completion for Abductive Logic ProgramsF.J.M. TeusinkComputer Science/Department of Algorithmics and ArchitectureCS-R9474 1994 Three-Valued Completion for Abductive Logic Programs Frank Teusink CWI P.O. Box 94079, 1090 GB Amsterdam, The
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9506.ps.Z, 19950216 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOff-line electronic cash based on secret-key certificatesS.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9506 1995 Report CS-R9506ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9503.ps.Z, 19950216 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA calculus of transition systems (towards universal coalgebra)J.J.M.J. RuttenComputer Science/Department of Software TechnologyCS-R9503 1995 Report CS-R9503ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9504.ps.Z, 19950216 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComposing morphological filtersHenk J.A.M. HeijmansDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9504 1995 Report BS-R9504ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9505.ps.Z, 19950216
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9501.ps.Z, 19950216 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn implicit-explicit approach for atmospheric transport-chemistry problemsJ.G. Verwer, J.G. Blom and W. HundsdorferDepartment of Numerical MathematicsNM-R9501 1995 Report NM-R9501ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9504.ps.Z, 19950216 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA new algorithm for the recognition of series parallel graphsL.A.M. SchoenmakersComputer Science/Department of Algorithmics and ArchitectureCS-R9504 1995 Report CS-R9504ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9503.ps.Z, 19950216
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9425.ps.Z, 19950220 Centrum voor Wiskunde en InformaticaREPORTRAPPORTQueueing-theoretic solution methods for models of parallel and distributed systemsO.J. Boxma, G. Koole and Zhen LiuDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9425 1994 Report BS-R9425ISSN 0924-0659CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9507.ps.Z, 19950220 Centrum voor Wiskunde en InformaticaREPORTRAPPORTElements of generalized ultrametric domain theoryJ.J.M.M. RuttenComputer Science/Department of Software TechnologyCS-R9507 1995 Report CS-R9507ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9501.ps.Z, 19950220 Centrum voor Wiskunde en InformaticaREPORTRAPPORTWeak orthogonality implies confluence: the higher-order caseV. van Oostrom and F. van RaamsdonkComputer Science/Department of Software TechnologyCS-R9501 1995 Report CS-R9501ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9458.ps.Z, 19950220 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA finite automaton learning system using genetic programmingH.H. Ehrenburg and H.A.N. van MaanenComputer Science/Department of Algorithmics and ArchitectureCS-R9458 1994 Report CS-R9458ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9431.ps.Z, 19950221 Centrum voor Wiskunde en InformaticaREPORTRAPPORTImpulsive-smooth behavior in multimode systems, part I: state-space and polynomial representationsA.H.W. Geerts and J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9431 1994 Report BS-R9431ISSN 0924-0659CWIP.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9432.ps.Z, 19950221 Centrum voor Wiskunde en InformaticaREPORTRAPPORTImpulsive-smooth behavior in multimode systems, part II: minimality and equivalenceA.H.W. Geerts and J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9432 1994 Report BS-R9432ISSN 0924-0659CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9438.ps.Z, 19950221 Centrum voor Wiskunde en InformaticaREPORTRAPPORTGeneric eigenvalue assignment by memoryless real output feedbackJ. Rosenthal, J.M. Schumacher and J.C. WillemsDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9438 1994 Report BS-R9438ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9515.ps.Z, 19950227 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTransformations of CLP modulesS. Etalle and M. GabbrielliComputer Science/Department of Software TechnologyCS-R9515 1995 Report CS-R9515ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9516.ps.Z, 19950227 Centrum voor Wiskunde en InformaticaREPORTRAPPORTInteraction objects in the made multimedia environmentF.C. Heeman, I. Herman and G.J.P. ReynoldsComputer Science/Department of Interactive SystemsCS-R9516 1995 Report CS-R9516ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9511.ps.Z, 19950228 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPartial up and down logicJ. JasparsComputer Science/Department of Software TechnologyCS-R9511 1995 Report CS-R9511ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science.
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9434.ps.Z, 19950228 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn {infty}parameter estimator and its interpretationA.A. Stoorvogel and J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9434 1994 Report BS-R9434ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9512.ps.Z, 19950228 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHonesty in partial logicW. van der Hoek, J. Jaspars and E. ThijsseComputer Science/Department of Software TechnologyCS-R9512 1995 Report CS-R9512ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9509.ps.Z, 19950301 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRestrictive blinding of secret-key certificatesS.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9509 1995 Report CS-R9509ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9502.ps.Z, 19950304 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDiscrete approximations for singularly perturbed boundary value problems with parabolic layersP.A. Farrell, P.W. Hemker and G.I. ShishkinDepartment of Numerical MathematicsNM-R9502 1995 Report NM-R9502ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9510.ps.Z, 19950306 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSecret-key certificatesS.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9510 1995 Report CS-R9510ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9503.ps.Z, 19950308 Centrum voor Wiskunde en InformaticaREPORTRAPPORTUniform asymptotic expansions of integrals: a selection of problemsN.M. TemmeDepartment of Analysis, Algebra and GeometryAM-R9503 1995 Report AM-R9503ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9513.ps.Z, 19950308 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSelf-stabilizing mutual exclusion on directed graphsD. Alstein, J.H. Hoepman, B.E. Olivier and P.I.A. van der PutComputer Science/Department of Algorithmics and ArchitectureCS-R9513 1995 Report CS-R9513ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9468.ps.Z, 19950308 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComparing negation in logic programming and in prologK.R. Apt and F.J.M. TeusinkComputer Science/Department of Software TechnologyCS-R9468 1994 Report CS-R9468ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9502.ps.Z, 19950308 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA reference model for teleconferencing systemsC. Bonini, W.J. Fokkink and A. LeschComputer Science/Department of Software TechnologyCS-R9502 1995 Report CS-R9502ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9514.ps.Z, 19950309 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTowards self-stabilizing wait-free shared memory objectsJ.H. Hoepman, M. Papatriantafilou and P. TsigasComputer Science/Department of Algorithmics and ArchitectureCS-R9514 1995 Report CS-R9514ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9517.ps.Z, 19950309 Centrum voor Wiskunde en InformaticaREPORTRAPPORTModal model theoryM. de RijkeComputer Science/Department of Software TechnologyCS-R9517 1995 Report CS-R9517ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science. CWI is
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9420.ps.Z, 19950314 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the analysis of the symmetrical shortest queueJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9420 1994 Report BS-R9420ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9427.ps.Z, 19950314 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the determination of the stationary distribution of a symmetric clocked buffered switchJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9427 1994 Report BS-R9427ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9505.ps.Z, 19950315 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe workload in the M/G/1 queue with work removalR.J. Boucherie and O.J. BoxmaDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9505 1995 Report BS-R9505ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9506.ps.Z, 19950315 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStatic optimization of queueing systemsO.J. BoxmaDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9506 1995 Report BS-R9506ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9507.ps.Z, 19950321
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9505.ps.Z, 19950321 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA comparison of stiff ODE solvers for atmospheric chemistry problemsJ.G. Verwer, J.G. Blom, M. van Loon and E.J. SpeeDepartment of Numerical MathematicsNM-R9505 1995 Report NM-R9505ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9506.ps.Z, 19950323 Centrum voor Wiskunde en InformaticaREPORTRAPPORTIteration of Runge-Kutta methods with block triangular JacobiansP.J. van der Houwen and B.P. SommeijerDepartment of Numerical MathematicsNM-R9506 1995 Report NM-R9506ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9503.ps.Z, 19950323 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA vector/parallel method for a three-dimensional transport model coupled with bio-chemical termsB.P. Sommeijer and J. KokDepartment of Numerical MathematicsNM-R9503 1995 Report NM-R9503ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9504.ps.Z, 19950323 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDevelopment of semi-coarsening and sparse-grid techniquesP.M. de ZeeuwDepartment of Numerical MathematicsNM-R9504 1995 Report NM-R9504ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9504.ps.Z, 19950328 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn periodic cohort solutions of a size-structured population modelW. HuyerDepartment of Analysis, Algebra and GeometryAM-R9504 1995 Report AM-R9504ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9518.ps.Z, 19950329 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCalculational graph algorithmics: reconciling two approaches with dynamic algebraK. ClenaghanComputer Science/Department of Algorithmics and ArchitectureCS-R9518 1995 Report CS-R9518ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9502.ps.Z, 19950329 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the final size of epidemics within herdsO. Diekmann, A.A. de Koeijer and J.A.J. MetzDepartment of Analysis, Algebra and GeometryAM-R9502 1995 Report AM-R9502ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9520.ps.Z, 19950330 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCollapsing partial combinatory algebrasI. Bethke and J.W. KlopComputer Science/Department of Software TechnologyCS-R9520 1995 Report CS-R9520ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9473.ps.Z, 19950502 A Correctness Proof of the Bakery Protocol in CRL Jan Friso Groote Department of Philosophy, Utrecht University Heidelberglaan 8, 3584 CS Utrecht, The Netherlands jfg@phil.ruu.nl Henri Korver CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands henri@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9508.ps.Z, 19950502 Ntyft/ntyxt Rules Reduce to Ntree Rules Wan Fokkink Department of Computer Science CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands wan@cwi.nl Rob van Glabbeeky Computer Science Department Stanford University Stanford, CA 94305, USA rvg@cs.stanford.edu Groote and Vaandrager introduced the
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9501.ps.Z, 19950502 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Wouthuysen equationM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9501 1995 Report AM-R9501ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science. CWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9522.ps.Z, 19950503 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn efficient electronic payment system withstanding parallel attacksL.A.M. SchoenmakersComputer Science/Department of Algorithmics and ArchitectureCS-R9522 1995 Report CS-R9522ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9528.ps.Z, 19950508 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe MADE help systemM. Haindl and M.M. de RuiterComputer Science/Department of Interactive SystemsCS-R9528 1995 Report CS-R9528ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9510.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStatistical models of random polyhedraI.S. Molchanov and D. StoyanDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9510 1995 Report BS-R9510ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9525.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPython reference manualG. van RossumComputer Science/Department of Algorithmics and ArchitectureCS-R9525 1995 Report CS-R9525ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9526.ps.Z, 19950510
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9509.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAnalysis of the asymmetrical shortest two-server queueing modelJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9509 1995 Report BS-R9509ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9519.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA note on parallel executions of restrictive blind issuing protocols for secret-key certificatesS.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9519 1995 Report CS-R9519ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9524.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPython library referenceG. van RossumComputer Science/Department of Algorithmics and ArchitectureCS-R9524 1995 Report CS-R9524ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9521.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the symbiosis of a data mining environment and a DBMSM.L. Kersten and M. HolsheimerComputer Science/Department of Algorithmics and ArchitectureCS-R9521 1995 Report CS-R9521ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9527.ps.Z, 19950510 Centrum voor Wiskunde en InformaticaREPORTRAPPORTExtending and embedding the python interpreterG. van RossumComputer Science/Department of Algorithmics and ArchitectureCS-R9527 1995 Report CS-R9527ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9533.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTWhy combine logics P. Blackburn and M. de RijkeComputer Science/Department of Software TechnologyCS-R9533 1995 Report CS-R9533ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9513.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSystem identification with information theoretic criteriaA.A. Stoorvogel and J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9513 1995 Report BS-R9513ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9511.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSet-valued means of random particlesD. Stoyan and I.S. MolchanovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9511 1995 Report BS-R9511ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9512.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStructural identifiability of linear mamillary compartmental systemsJ.M. van den HofDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9512 1995 Report BS-R9512ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9535.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTInfinitary lambda calculusR. Kennaway, J.W. Klop, R. Sleep and F.-J. de VriesComputer Science/Department of Software TechnologyCS-R9535 1995 Report CS-R9535ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9523.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRestrictive blind issuing of secret-key certificates in parallel modeS.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9523 1995 Report CS-R9523ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9508.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA controllability test for general first-order representationsU. Helmke, J. Rosenthal and J.,M.,SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9508 1995 Report BS-R9508ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/BS/S-R9508.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA controllability test for general first-order representationsU. Helmke, J. Rosenthal and J.,M.,SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9508 1995 Report BS-R9508ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9534.ps.Z, 19950523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMore on restrictive blind issuing of secret-key certificates in parallel modeS.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9534 1995 Report CS-R9534ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9532.ps.Z, 19950523 1 A Multimedia Constraint System (or: do we have it MADE) J.E.A. van Hintum and G.J. Reynolds CWI, P.O. Box 94079, 1090 GB Amsterdam, the Netherlands, E-mail: {hansh, reynolds}@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9508.ps.Z, 19950524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCounting interlacing pairs on the circleM. Hazewinkel and V. V. KalashnikovDepartment of Analysis, Algebra and GeometryAM-R9508 1995 Report AM-R9508ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9507.ps.Z, 19950524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTree -tree matrices and other combinatorial problems from taxonomyM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9507 1995 Report AM-R9507ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9508.ps.Z, 19950524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCoupling advection and chemical kinetics in a global atmospheric test modelE.J. SpeeDepartment of Numerical MathematicsNM-R9508 1995 Report NM-R9508ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9509.ps.Z, 19950524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLinked balanced designs ars Symmetric BIBsM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9509 1995 Report AM-R9509ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9506.ps.Z, 19950524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLipshits distance and hierarchical clusteringM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9506 1995 Report AM-R9506ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9516.ps.Z, 19950524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOutput feedback pole placement with dynamic compensatorsJ. Rosenthal and Xiaochang Alex WangDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9516 1995 Report BS-R9516ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9515.ps.Z, 19950529 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA limit theorem for solutions of inequalitiesI.S. MolchanovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9515 1995 Report BS-R9515ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9514.ps.Z, 19950529 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStructural identifiability from input-output observationsJ.M. van den HofDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9514 1995 Report BS-R9514ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9530.ps.Z, 19950530 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn shared randomness and the size of secure signaturesR.J.F. CramerComputer Science/Department of Algorithmics and ArchitectureCS-R9530 1995 Report CS-R9530ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9505.ps.Z, 19950530 Centrum voor Wiskunde en InformaticaREPORTRAPPORTClassification in mathematics, discrete metric spaces, and approximation by treesM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9505 1995 Report AM-R9505ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9529.ps.Z, 19950530 Centrum voor Wiskunde en InformaticaREPORTRAPPORTEfficient and provable security amplificationsR.J.F. Cramer and T. PedersenComputer Science/Department of Algorithmics and ArchitectureCS-R9529 1995 Report CS-R9529ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9507.ps.Z, 19950602 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStep-parallel algorithms for stiff initial value problemsW.A. van der VeenDepartment of Numerical MathematicsNM-R9507 1995 Report NM-R9507ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9513.ps.Z, 19950623 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRemarks on food chain dynamicsYu.A. Kuznetsov and S. RinaldiDepartment of Analysis, Algebra and GeometryAM-R9513 1995 Report AM-R9513ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9538.ps.Z, 19950623 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMultimedia synchronizationM. HaindlComputer Science/Department of Interactive SystemsCS-R9538 1995 Report CS-R9538ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science.
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9537.ps.Z, 19950623 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn adaptive image reconstruction methodM. HaindlComputer Science/Department of Interactive SystemsCS-R9537 1995 Report CS-R9537ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9536.ps.Z, 19950623 Centrum voor Wiskunde en InformaticaREPORTRAPPORTObjects and classes, coalgebraicallyB. JacobsComputer Science/Department of Software TechnologyCS-R9536 1995 Report CS-R9536ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9511.ps.Z, 19950623 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTableau algorithms defined naturally for picturesM.A.A. van Leeuwen Department of Analysis, Algebra and GeometryAM-R9511 1995 Report AM-R9511ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9540.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA methodology for proving termination of general logic programsE. MarchioriComputer Science/Department of Software TechnologyCS-R9540 1995 Report CS-R9540ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9512.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComputation of functions and their derivatives in contentV.V. LevitinDepartment of Analysis, Algebra and GeometryAM-R9512 1995 Report AM-R9512ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9510.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLiterate programming in C CWEBx manualM.A.A. van LeeuwenDepartment of Analysis, Algebra and GeometryAM-R9510 1995 Report AM-R9510ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9544.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCompleting partial combinatory algebras with unique head-normal formsI. Bethke, J.W. Klop and R. de VrijerComputer Science/Department of Software TechnologyCS-R9544 1995 Report CS-R9544ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9531.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA perspective on databases and data miningM. Holsheimer, M. Kersten, H. Mannila and H. ToivonenComputer Science/Department of Algorithmics and ArchitectureCS-R9531 1995 Report CS-R9531ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9541.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTX python reference manualS.J. MullenderComputer Science/Department of Algorithmics and ArchitectureCS-R9541 1995 Report CS-R9541ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9514.ps.Z, 19950706 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA mechanistic model to describe the spread of phocid distemper virusA. de Koeijer, O. Diekmann and P. ReijndersDepartment of Analysis, Algebra and GeometryAM-R9514 1995 Report AM-R9514ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9518.ps.Z, 19950707 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCentral limit theorem for a class of random measures associated with germ-grain modelsL. Heinrich and I.S. MolchanovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9518 1995 Report BS-R9518ISSN 0924-0659CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9546.ps.Z, 19950711 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPresuppositions and information updatingD.J.N. van EijckComputer Science/Department of Software TechnologyCS-R9546 1995 Report CS-R9546ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9542.ps.Z, 19950711 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn effective axiomatization for real time ACPW.J. Fokkink and S. KlusenerComputer Science/Department of Software TechnologyCS-R9542 1995 Report CS-R9542ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9510.ps.Z, 19950712 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTriangularly implicit iteration methods for ODE-IVP solversP.J. van der Houwen and J.J.B. de SwartDepartment of Numerical MathematicsNM-R9510 1995 Report NM-R9510ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9543.ps.Z, 19950712 Centrum voor Wiskunde en InformaticaREPORTRAPPORTArrays, bounded quantification and iteration in logic and constraint logic programmingK.R. AptComputer Science/Department of Software TechnologyCS-R9543 1995 Report CS-R9543ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9519.ps, 19950713 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the symmetrical shortest queue and the compensation approachJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9519 1995 Report BS-R9519ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9539.ps.Z, 19950717 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA data model for autonomous objectJ.F.P. van den Akker and A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9539 1995 Report CS-R9527ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9545.ps.Z, 19950719 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn normalisationF. van Raamsdonk and P. SeveriComputer Science/Department of Software TechnologyCS-R9545 1995 Report CS-R9545ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9549.ps.Z, 19950801 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMulti-parent recombination to overcome premature convergence in genetic algorithmsA.E. Eiben and C.H.M. van KemenadeComputer Science/Department of Software TechnologyCS-R9549 1995 Report CS-R9549ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9547.ps.Z, 19950801 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn evolutionary approach to time-constrained routing problemsC.H.M. van Kemenade and J.N. KokComputer Science/Department of Software TechnologyCS-R9547 1995 Report CS-R9547ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9550.ps.Z, 19950801 Centrum voor Wiskunde en InformaticaREPORTRAPPORTEvolutionary computation in air traffic control planningC.H.M. van Kemenade, C.F.W Hendriks, H.H. Hesselink, and J.N. KokComputer Science/Department of Software TechnologyCS-R9550 1995 Report CS-R9550ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9548.ps.Z, 19950801 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOrgy in the computer: multi-parent reproduction in genetic algorithmsA.E. Eiben, C.H.M. van Kemenade and J.N. KokComputer Science/Department of Software TechnologyCS-R9548 1995 Report CS-R9548ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9515.ps.Z, 19950809 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDifferential Hopf algebra structures on the universal enveloping algebra of a lie algebraN. van den Hijligenberg and R. MartinIDepartment of Analysis, Algebra and GeometryAM-R9515 1995 Report AM-R9515ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9551.ps.Z, 19950811 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSuggestions for a non-monotonic feature logicW.C. Rounds and G.-Q. ZhangComputer Science/Department of Software TechnologyCS-R9551 1995 Report CS-R9551ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9517.ps.Z, 19950817 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA deterministic epidemic model taking account of repeated contacts between the same individualsO. Diekmann, M.C.M. de Jong and J.A.J. MetzDepartment of Analysis, Algebra and GeometryAM-R9517 1995 Report AM-R9517ISSN 0924-2953CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9516.ps.Z, 19950817 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHomCont: an AUTO86 driver for homoclinic bifurcation analysis. Version 2.0A.R. Champneys, Yu.A. Kuznetsov and B. SandstedeDepartment of Analysis, Algebra and GeometryAM-R9516 1995 Report AM-R9516ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9512.ps.Z, 19950817 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA new method for finding amicable pairsH.J.J. te RieleDepartment of Numerical MathematicsNM-R9512 1995 Report NM-R9512ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9556.ps.Z, 19950817 Centrum voor Wiskunde en InformaticaREPORTRAPPORT(Un)decidability results for trigger design theoriesA.P.J.M. Siebes, J.F.P. van den Akker and M.H. van der VoortComputer Science/Department of Algorithmics and ArchitectureCS-R9556 1995 Report CS-R9556ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9555.ps.Z, 19950821 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSecret-key certificates (Continued)S.A. BrandsComputer Science/Department of Algorithmics and ArchitectureCS-R9555 1995 Report CS-R9555ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9511.ps.Z, 19950823 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn implementation of the number field sieveR.M. HuizingDepartment of Numerical MathematicsNM-R9511 1995 Report NM-R9511ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9514.ps.Z, 19950823 Centrum voor Wiskunde en InformaticaREPORTRAPPORTJacobi-Davidson methods for generalized MHD-eigenvalue problemsJ.G.C. Booten, D. Fokkema, G.L.G. Sleijpen and H.A. van der VorstDepartment of Numerical MathematicsNM-R9514 1995 Report NM-R9514ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9513.ps.Z, 19950823 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFactoring integers with large prime variations of the quadratic sieveH. Boender and H.J.J. te RieleDepartment of Numerical MathematicsNM-R9513 1995 Report NM-R9513ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9522.ps.Z, 19950823 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRouting control of a motorway networkH.J.C. Huijberts and J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9522 1995 Report BS-R9522ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9523.ps.Z, 19950824 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the role of Rouch 's theorem in queueing analysisJ.W. Cohen and D.G. DownDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9523 1995 Report BS-R9523ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9521.ps.Z, 19950904
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9560.ps.Z, 19950920 Centrum voor Wiskunde en InformaticaREPORTRAPPORTGeneralized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embeddingM.M. Bonsangue, F. van Breugel and J.J.M.M. RuttenComputer Science/Department of Software TechnologyCS-R9560 1995 Report CS-R9560ISSN 0169-118XCWIP.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9517.ps.Z, 19951005 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBootstrap resampling: a survey of recent research in the NetherlandsR. Helmers and H. PutterDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9517 1995 Report BS-R9517ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9559.ps.Z, 19951005 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA two-level evolution strategy (balancing global and local search)C.H.M. van KemenadeComputer Science/Department of Software TechnologyCS-R9559 1995 Report CS-R9559ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9558.ps.Z, 19951005 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRaising GA performance by simultaneous tuning of selective pressure and recombination disruptivenessC.H.M. van Kemenade, J.N. Kok and A.E. EibenComputer Science/Department of Software TechnologyCS-R9558 1995 Report CS-R9558ISSN 0169-118XCWIP.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9509.ps.Z, 19951005 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the coupled solution of diffusion and chemistry in air pollution modelsJ.G. Verwer and J.G. BlomDepartment of Numerical MathematicsNM-R9509 1995 Report NM-R9509ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9554.ps.Z, 19951009 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPREMO: an emerging standard for multimedia presentationI.Herman, G.J. Reynolds and J. Van LooComputer Science/Department of Interactive SystemsCS-R9554 1995 Report CS-R9554ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9561.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRelational methods in logic, language and informationP. Blackburn, M. de Rijke, and Y. VenemaComputer Science/Department of Software TechnologyCS-R9561 1995 Report CS-R9561ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9527.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTShot-noise-weighted processes: a new family of spatial point processesM.N.M. van Lieshout and I.S. MolchanovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9527 1995 Report BS-R9527ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9562.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA modal characterization of Peirce algebrasM. de RijkeComputer Science/Department of Software TechnologyCS-R9562 1995 Report CS-R9562ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9520.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe many facets of evolutionary dynamicsO. DiekmannDepartment of Analysis, Algebra and GeometryAM-R9520 1995 Report AM-R9520ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9517.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTApproximating Runge-Kutta matrices by triangular matricesW. Hoffmann and J.J.B. de SwartDepartment of Numerical MathematicsNM-R9517 1995 Report NM-R9517ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9520.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTExperiences with sparse matrix solvers in parallel ODE softwareJ.J.B. de Swart and J.G. BlomDepartment of Numerical MathematicsNM-R9520 1995 Report NM-R9520ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9563.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA proof system for finite treesP. Blackburn, W. Meyer-Viol, and M. de RijkeComputer Science/Department of Software TechnologyCS-R9563 1995 Report CS-R9563ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9519.ps.Z, 19951017 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPorting a 3D-model for the transport of reactive air pollutants to the parallel machine T3DCh. Kessler, J.G. Blom, and J.G. VerwerDepartment of Numerical MathematicsNM-R9519 1995 Report NM-R9519ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9518.ps.Z, 19951018 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFrom exponential coordinates to bicovariant differential calculi on matrix quantum groupsN. van den Hijligenberg and R. MartiniDepartment of Analysis, Algebra and GeometryAM-R9518 1995 Report AM-R9518ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9519.ps.Z, 19951018 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA natural differential calculus on Lie bialgebras with dual of triangular typeN. van den Hijligenberg and R. MartiniDepartment of Analysis, Algebra and GeometryAM-R9519 1995 Report AM-R9519ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9518.ps.Z, 19951018 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the diagonal approximation of full matricesW.M. LioenDepartment of Numerical MathematicsNM-R9518 1995 Report NM-R9518ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9552.ps.Z, 19951022 Centrum voor Wiskunde en InformaticaREPORTRAPPORTEquational term graph rewritingZ.M. Ariola and J.W. KlopComputer Science/Department of Software TechnologyCS-R9552 1995 Report CS-R9552ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-N9502.ps.Z, 19951024 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the identification of Wiener-Hopf factorsN. BayerDepartment of Operations Reasearch, Statistics, and System TheoryBS-N9502 1995 Report BS-N9502ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9525.ps.Z, 19951024 Centrum voor Wiskunde en InformaticaREPORTRAPPORTWiener-Hopf analysis of an M/G/1 queue with negative customers and of a related class of random walksN. Bayer and O.J. BoxmaDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9525 1995 Report BS-R9525ISSN 0924-0659CWIP.O. Box 940791090
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9520.ps.Z, 19951112 Centrum voor Wiskunde en InformaticaREPORTRAPPORTWild bootstrapping in finite populations with auxiliaryR.Helmers and M.H.WegkampDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9520 1995 Report BS-R9520ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9557.ps.Z, 19951112 Centrum voor Wiskunde en InformaticaREPORTRAPPORTNew generation of secure and practical RSA-based signaturesR.J.F. CramerComputer Science/Department of Algorithmics and ArchitectureCS-R9557 1995 Report CS-R9557ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9515.ps.Z, 19951112 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA computational method for oleo-acoustics, application to hydraulic shock absorbersB. Koren, P.F.M. Michielsen, J.W. Kars, and P. WesselingDepartment of Numerical MathematicsNM-R9515 1995 Report NM-R9515ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9565.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCoordination of massively concurrent activitiesF. ArbabComputer Science/Department of Interactive SystemsCS-R9565 1995 Report CS-R9565ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9567.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA survey of automated timetablingA. SchaerfComputer Science/Department of Software TechnologyCS-R9567 1995 Report CS-R9567ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9528.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAveraging of random sets based on their distance functionsA.J. Baddeley and I.S. MolchanovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9528 1995 Report BS-R9528ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9522.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn implementation of a Lipschitzian global optimization procedureJ.D. Pint'erDepartment of Numerical MathematicsNM-R9522 1995 Report NM-R9522ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9523.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTNumerical smog prediction II: grid refinement and its application to the Dutch smog prediction modelM. van LoonDepartment of Numerical MathematicsNM-R9523 1995 Report NM-R9523ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9566.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFocus points and convergent process operatorsJ.F. Groote and J.G. SpringintveldComputer Science/Department of Software TechnologyCS-R9566 1995 Report CS-R9566ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9516.ps.Z, 19951204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSplitting methods for three-dimensional transport models with interaction termsP.J. van der Houwen and B.P. SommeijerDepartment of Numerical MathematicsNM-R9516 1995 Report NM-R9516ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9564.ps.Z, 19951205 Centrum voor Wiskunde en InformaticaREPORTRAPPORTInheritance and cofree constructionsB.P.F. JacobsComputer Science/Department of Software TechnologyCS-R9564 1995 Report CS-R9564ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9461.ps.Z, 19951208 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLazy rewriting on eager machineryJ.F.Th. Kamperman and H.R. WaltersComputer Science/Department of Software TechnologyCS-R9461 1994 Report CS-R9461ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9330.ps.Z, 19951208 Centrum voor Wiskunde en InformaticaREPORTRAPPORTARM abstract rewriting machineJ.F.Th. Kamperman and H.R. WaltersComputer Science/Department of Software TechnologyCS-R9330 1993 Report CS-R9330ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9435.ps.Z, 19951208 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA complete term rewriting system for decimal integer arithmeticH.R. WaltersComputer Science/Department of Software TechnologyCS-R9435 1994 Report CS-R9435ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9524.ps.Z, 19951208 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn asymptotic analysis of closed queueing networks with branching populationsN. Bayer, E.G. Coffman Jr. and Y.A. KoganDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9524 1995 Report BS-R9524ISSN 0924-0659CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9531.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTLattice calculus of the morphological slope transformH.J.A.M. Heijmans and P. MaragosDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9531 1995 Report BS-R9531ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9530.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDynamic server assignment in a two-queue modelO.J. Boxma and D.G. DownDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9530 1995 Report BS-R9530ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-N9501.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFast and efficient solution methods for ozone chemistryM. van LoonDepartment of Numerical MathematicsNM-N9501 1995 Report NM-N9501ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-N9501.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFilosofische aspecten van machinaal lerenH.A.N. van MaanenComputer Science/Department of Algorithmics and ArchitectureCS-N9501 1995 Report CS-N9501ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9521.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTManual of spIds, a software package for parameter identification in dynamic systemsC.T.H. Everaars, P.W. Hemker and W. StortelderDepartment of Numerical MathematicsNM-R9521 1995 Report NM-R9521ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9524.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn $phi-amicable pairs (with appendix)G.L. Cohen and H.J.J. te RieleDepartment of Numerical MathematicsNM-R9524 1995 Report NM-R9524ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9525.ps.Z, 19951218 Centrum voor Wiskunde en InformaticaREPORTRAPPORTIterating the sum-of-divisors functionG.L. Cohen and H.J.J. te RieleDepartment of Numerical MathematicsNM-R9525 1995 Report NM-R9525ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9404.ps.Z, 19951221 Centrum voor Wiskunde en InformaticaREPORTRAPPORTVLUGR3: A Vectorizable Adaptive Grid Solver for PDEs in 3D. I. Algorithmic Aspects and ApplicationsJ.G. Blom, J.G. VerwerDepartment of Numerical MathematicsNM-R9404 1994 VLUGR3: A Vectorizable Adaptive Grid Solver for PDEs in 3D I. Algorithmic Aspects and
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9571.ps.Z, 19951222 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMulti-authority secret-ballot elections with linear workR.J.F. Cramer, M. Franklin, L.A.M. Schoenmakers and M. YungComputer Science/Department of Algorithmics and ArchitectureCS-R9571 1995 Report CS-R9571ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9575.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn extensible language for the generation of parallel data manipulation and control packagesH.R. Walters, J.F.Th. Kamperman and T.B.DineshComputer Science/Department of Software TechnologyCS-R9575 1995 Report CS-R9575ISSN 0169-118XCWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9534.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRealization by inspectionJ. Rosenthal and J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9534 1995 Report BS-R9534ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9572.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA model for I/O in equational languages with don't care non-determinismH.R. Walters and J.F.Th. KampermanComputer Science/Department of Software TechnologyCS-R9572 1995 Report CS-R9572ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9573.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMinimal term rewriting systemsH.R. Walters and J.F.Th. KampermanComputer Science/Department of Software TechnologyCS-R9573 1995 Report CS-R9573ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9537.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn a class of one-dimensional random walksO.J. Boxma and V.I. LotovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9537 1995 Report BS-R9537ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9536.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPrimes in the doubly stochastic circulantsG. Picci, J.M. van den Hof and J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9536 1995 Report BS-R9536ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9529.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe complementary-slackness class of hybrid systemsA.J. van der Schaft and J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9529 1995 Report BS-R9529ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9526.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSolving implicit differential equations on parallel computersP.J. van der Houwen and W.A. van der VeenDepartment of Numerical MathematicsNM-R9526 1995 Report NM-R9526ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9526.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA lower bound for the critical probability of site percolation on the square latticeJ. van den Berg and A. ErmakovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9526 1995 Report BS-R9526ISSN 0924-0659CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9535.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA partial classification of primes in the positive matrices and in the doubly stochastic matricesG. Picci, J.M. van den Hof and J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9535 1995 Report BS-R9535ISSN
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9579.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA note on fairness in I/O automataJ.M.T. Romijn and F. VaandragerComputer Science/Department of Software TechnologyCS-R9579 1995 Report CS-R9579ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9533.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe behavior of convolutional codesJ. Rosenthal, J.M. Schumacher and E.V. YorkDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9533 1995 Report BS-R9533ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9570.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProof-checking an audio control protocol with LPW.O.D. GriffioenComputer Science/Department of Software TechnologyCS-R9570 1995 Report CS-R9570ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9569.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe bakery protocol: a comparative case-study in formal verificationW.O.D. Griffioen and H.P. KorverComputer Science/Department of Software TechnologyCS-R9569 1995 Report CS-R9569ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9532.ps.Z, 19960127 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRealization of positive linear systemsJ.M. van den HofDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9532 1995 Report BS-R9532ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9578.ps.Z, 19960130 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHybrid I/O automataN. Lynch, R. Segala, F. Vaandrager and H.B. WeinbergComputer Science/Department of Software TechnologyCS-R9578 1995 Report CS-R9578ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9568.ps.Z, 19960130 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHigh performance support for OO traversals in monetP.A. Boncz, F. Kwakkel and M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9568 1995 Report CS-R9568ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9521.ps.Z, 19960213 Centrum voor Wiskunde en InformaticaREPORTRAPPORTEntropy conditions for heterogeneity induced shocks in two-phase flow problemsJ. MolenaarDepartment of Analysis, Algebra and GeometryAM-R9521 1995 Report AM-R9521ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9602.ps.Z, 19960213 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA golden ratio notation for the real numbersP. Di GianantonioComputer Science/Department of Software TechnologyCS-R9602 1996 Report CS-R9602ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9602.ps.Z, 19960213
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9574.ps.Z, 19960213 Centrum voor Wiskunde en InformaticaREPORTRAPPORTPartial logics with two kinds of negation as a foundation for knowledge-based reasoningH. Herre, J.O.M. Jaspars and G. WagnerComputer Science/Department of Software TechnologyCS-R9574 1995 Report CS-R9574ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9576.ps.Z, 19960213 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRewrite systems for integer arithmeticH.R. Walters and H. ZantemaComputer Science/Department of Software TechnologyCS-R9576 1995 Report CS-R9576ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9601.ps.Z, 19960213 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA complete transformational toolkit for compilersJ.A. Bergstra, T.B. Dinesh, J. Field and J. HeeringComputer Science/Department of Software TechnologyCS-R9601 1996 Report CS-R9601ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9603.ps.Z, 19960214 Centrum voor Wiskunde en InformaticaREPORTRAPPORTValue constraints in the CLP schemeM.H. van EmdenComputer Science/Department of Software TechnologyCS-R9603 1996 Report CS-R9603ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9604.ps.Z, 19960216 Centrum voor Wiskunde en InformaticaREPORTRAPPORTEpic 1.0 (unconditional) an equational programming languageH.R. Walters and J.F.Th. KampermanComputer Science/Department of Software TechnologyCS-R9604 1996 Report CS-R9604ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9603.ps.Z, 19960227 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMorphology on convolution lattices with applications to the slope transform and random set theoryH.J.A.M. Heijmans and I.S. MolchanovDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9603 1996 Report BS-R9603ISSN 0924-0659CWIP.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9606.ps.Z, 19960227 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOpen inventor and PREMOD. Wang, G.J. Reynolds and I. HermanComputer Science/Department of Interactive SystemsCS-R9606 1996 Report CS-R9606ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9603.ps.Z, 19960310 Centrum voor Wiskunde en InformaticaREPORTRAPPORTUniform asymptotics for the incomplete gamma functions starting from negative values of the parametersN.M. TemmeDepartment of Analysis, Algebra and GeometryAM-R9603 1996 Report AM-R9603ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9608.ps.Z, 19960310 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDEGAS: A temporal active data model based on object autonomyJ.F.P. van den Akker and A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9608 1996 Report CS-R9608ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9604.ps.Z, 19960310 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn evaluation of the Cray T3D programming paradigms in atmospheric chemistry/transport modelsJ.G. Blom, Ch. Kessler and J.G. VerwerDepartment of Numerical MathematicsNM-R9604 1996 Report NM-R9604ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9607.ps.Z, 19960310 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAutomata and behaviours in categories of processesB.P.F. JacobsComputer Science/Department of Software TechnologyCS-R9607 1996 Report CS-R9607ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9603.ps.Z, 19960310 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBenchmarking stiff ODE solvers for atmospheric chemistry problems I: implicit versus explicitA. Sandu, J.G. Verwer, M. van Loon, G.R. Carmichael, F.A. Potra, D. Dabdub and J.H. SeinfeldDepartment of Numerical MathematicsNM-R9603 1996 Report NM-R9603ISSN
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9601.ps.Z, 19960312
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9602.ps.Z, 19960312 Centrum voor Wiskunde en InformaticaREPORTRAPPORTExplicit Runge-Kutta methods for parabolic partial differential equationsJ.G. VerwerDepartment of Numerical MathematicsNM-R9602 1996 Report NM-R9602ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9605.ps.Z, 19960312 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSimulating TRSs by minimal TRSs: a simple, efficient, and correct compilation techniqueJ.F.Th. Kamperman and H.R. WaltersComputer Science/Department of Software TechnologyCS-R9605 1996 Report CS-R9605ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9602.ps.Z, 19960320 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAsymptotic behaviour of solutions of a nonlinear transport equationC.J. van Duijn and M.A. PeletierDepartment of Analysis, Algebra and GeometryAM-R9602 1996 Report AM-R9602ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9610.ps.Z, 19960327 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRepresenting discourse in contextD.J.N. van Eijck and H. KampComputer Science/Department of Interactive SystemsCS-R9610 1996 Report CS-R9610ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9611.ps.Z, 19960327 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTabu search techniques for large high-school timetabling problemsA. SchaerfComputer Science/Department of Interactive SystemsCS-R9611 1996 Report CS-R9611ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9607.ps.Z, 19960327 Splitting Methods for Three-Dimensional Bio - Chemical Transport B.P. Sommeijer & J. Kok CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9601.ps.Z, 19960328 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSelf-similar profiles for capillary diffusion driven flow in heterogeneous porous mediaC.J. van Duijn and M.J. de NeefDepartment of Analysis, Algebra and GeometryAM-R9601 1996 Report AM-R9601ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9608.ps.Z, 19960328 CWI Contributions to the Development of Parallel Runge-Kutta Methods P.J. van der Houwen & B.P. Sommeijer CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9609.ps.Z, 19960331 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCoalgebraic specifications and models of deterministic hybrid systemsB.P.F. JacobsComputer Science/Department of Software TechnologyCS-R9609 1996 Report CS-R9609ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9615.ps.Z, 19960401 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCSE: a modular architecture for computational steeringR. van Liere, and J.J. van WijkComputer Science/Department of Interactive SystemsCS-R9615 1996 Report CS-R9615ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9612.ps.Z, 19960401 Computational Steering Robert van Liere Centrum voor Wiskunde en Informatica P.O. Box 94079, 1090 GB Amsterdam The Netherlands E-mail: robertl@cwi.nl Jurriaan D. Mulder Centrum voor Wiskunde en Informatica P.O. Box 94079, 1090 GB Amsterdam The Netherlands E-mail: mullie@cwi.nl Jarke J. van Wijk
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9614.ps.Z, 19960402 3D Computational Steering with Parametrized Geometric Objects Jurriaan D. Mulder CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands mullie@cwi.nl Jarke J. van Wijk ECN P.O. Box 1, 1755 ZG Petten, The Netherlands and CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands vanwijk@ecn.nl
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9613.ps.Z, 19960402 Logging in a Computational Steering Environment Jurriaan D. Mulder CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands mullie@cwi.nl Jarke J. van Wijk ECN P.O. Box 1, 1755 ZG Petten, The Netherlands and CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands vanwijk@ecn.nl
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9606.ps.Z, 19960404
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9419.ps.Z, 19960404 Update 1 to: Factorizations of an 1, 13 <= a < 100 Richard P. Brent Computer Sciences Laboratory Australian National University Canberra, ACT 0200, Australia rpb@cslab.anu.edu.au Peter L. Montgomery CWI, Kruislaan 413 1098 SJ Amsterdam The Netherlands pmontgom@cwi.nl and Herman J. J. te Riele CWI,
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9609.ps.Z, 19960404 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFactorizations of a^n 1, 13 a < 100: update 2R.P. Brent, P.L. Montgomery and H.J.J. te RieleDepartment of Numerical MathematicsNM-R9609 1996 Report NM-R9609ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9605.ps.Z, 19960404 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTrapezoidal and midpoint splittings for initial-boundary value problemsW.H. HundsdorferDepartment of Numerical MathematicsNM-R9605 1996 Report NM-R9605ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9617.ps.Z, 19960501 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTackling the Dagstuhl'94 specification problem with I/O automataJ.M.T. RomijnComputer Science/Department of Software TechnologyCS-R9617 1996 Report CS-R9617ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9604.ps.Z, 19960501 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAnnular filters for binary imagesH.J.A.M. Heijmans and C.RonseDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9604 1996 Report BS-R9604ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9618.ps.Z, 19960505 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn monotone function closure of perfect and statistical zero-knowledgeI. Damgard, R.J.F. CramerComputer Science/Department of Algorithmics and ArchitectureCS-R9618 1996 Report CS-R9618ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-N9601.ps.Z, 19960505 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComputational forging in the Eulerian formulation at MacNeal-Schwendler (E.D.C.) B.V.B. KorenDepartment of Numerical MathematicsNM-N9601 1996 Report NM-N9601ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9616.ps.Z, 19960506 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAmbiguity and reasoningD.J.N. Eijck and J. JasparsComputer Science/Department of Software TechnologyCS-R9616 1996 Report CS-R9616ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9611.ps.Z, 19960509 Centrum voor Wiskunde en InformaticaREPORTRAPPORTApproximation on partially ordered sets of regular gridsP.W. Hemker and C. PflaumDepartment of Numerical MathematicsNM-R9611 1996 Report NM-R9611ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9610.ps.Z, 19960511 Centrum voor Wiskunde en InformaticaREPORTRAPPORTParameter estimation in chemical engineering; a case study for resin productionW.J.H. StortelderDepartment of Numerical MathematicsNM-R9610 1996 Report NM-R9610ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9605.ps.Z, 19960511 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMultigrid methods for high-order accurate fully implicit simulation of flow in porous mediaJ. MolenaarDepartment of Analysis, Algebra and GeometryAM-R9605 1996 Report AM-R9605ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9604.ps.Z, 19960511
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9605.ps.Z, 19960511 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the stability of polling models with multiple serversG.D. DownDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9605 1996 Report BS-R9605ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-N9601.ps.Z, 19960513 Centrum voor Wiskunde en InformaticaREPORTRAPPORTControl and verification of industrial hybrid systems using models specified with the formalism $chi $J.J.H. FeyDepartment of Operations Reasearch, Statistics, and System TheoryBS-N9601 1996 Report BS-N9601ISSN 0924-0659CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9226.ps.Z, 19960523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTClosed ^1continuous B'ezier surfacesR. C. VeltkampComputer Science/Department of Interactive SystemsCS-R9226 1992 Closed G 1 -continuous Cubic B ezier Surfaces Remco C. Veltkamp CWI, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands email: remco@cwi.nl
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9620.ps.Z, 19960523 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn generic representation of implicit induction proceduresD. NaidichComputer Science/Department of Software TechnologyCS-R9620 1996 Report CS-R9620ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9606.ps.Z, 19960524 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSpatial localization for a general reaction--diffusion systemG. Galiano and M.A. PeletierDepartment of Analysis, Algebra and GeometryAM-R9606 1996 Report AM-R9606ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-N9601.ps.Z, 19960607 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCompact dynamisch busstationA.S. Klusener, S.F.M. van Vlijmen and A. SchrijverComputer Science/Department of Software TechnologyCS-N9601 1996 Report CS-N9601ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9621.ps.Z, 19960618 Centrum voor Wiskunde en InformaticaREPORTRAPPORTReusability of coordination programsF. Arbab, C.L. Blom, F.J. Burger and C.T.H. EveraarsComputer Science/Department of Interactive SystemsCS-R9621 1996 Report CS-R9621ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9623.ps.Z, 19960618 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMinimal sorts for interpreting picturesH. Zeevat and D. WangComputer Science/Department of Interactive SystemsCS-R9623 1996 Report CS-R9623ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9624.ps.Z, 19960618 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe open inventor toolkit and the PREMO standardD. Wang I. Herman and G.J. ReynoldsComputer Science/Department of Interactive SystemsCS-R9624 1996 Report CS-R9624ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9608.ps.Z, 19960618 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSpecial solutions of the quantum Yang-Baxter equationN.W. van den HijligenbergDepartment of Analysis, Algebra and GeometryAM-R9608 1996 Report AM-R9608ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9606.ps.Z, 19960618
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9625.ps.Z, 19960618 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA syntax directed approach to picture semanticsD. Wang and H. ZeevatComputer Science/Department of Interactive SystemsCS-R9625 1996 Report CS-R9625ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9607.ps.Z, 19960618 Centrum voor Wiskunde en InformaticaREPORTRAPPORTHomogeneous behaviorsM.S. Ravi, J. Rosenthal and J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9607 1996 Report BS-R9607ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9619.ps.Z, 19960619 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA verification of the Bakery protocol combining algebraic and model-oriented techniquesC. Brovedani and A.S. KlusenerComputer Science/Department of Software TechnologyCS-R9619 1996 Report CS-R9619ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9622.ps.Z, 19960621 Centrum voor Wiskunde en InformaticaREPORTRAPPORTIndustrial applications of ASF+SDFM. van den Brand, A. van Deursen, P. Klint, A.S. Klusener and E. van der MeulenComputer Science/Department of Software TechnologyCS-R9622 1996 Report CS-R9622ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9626.ps.Z, 19960626 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA note on n similar parallel processesJ.F. GrooteComputer Science/Department of Software TechnologyCS-R9626 1996 Report CS-R9626ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9505_rev.ps.Z, 19960627 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA comparison of stiff ODE solvers for atmospheric chemistry problemsJ.G. Verwer, J.G. Blom, M. van Loon and E.J. SpeeDepartment of Numerical MathematicsNM-R9505 (revised) 1995 Report NM-R9505ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9613.ps.Z, 19960705 Centrum voor Wiskunde en InformaticaREPORTRAPPORTParallel linear system solvers for Runge-Kutta-Nystr"om methodsP.J. van der Houwen and E. MessinaDepartment of Numerical MathematicsNM-R9613 1996 Report NM-R9613ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9628.ps.Z, 19960711
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9607.ps.Z, 19960711 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the formulation and analysis of general deterministic structured population models. I. linear theoryO. Diekmann, M. Gyllenberg, J.A.J. Metz and H.R. ThiemeDepartment of Analysis, Algebra and GeometryAM-R9607 1996 Report AM-R9607ISSN 0924-2953CWIP.O.
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9608.ps.Z, 19960711 Centrum voor Wiskunde en InformaticaREPORTRAPPORTFluid queues and regular variationO.J. BoxmaDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9608 1996 Report BS-R9608ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9627.ps.Z, 19960711 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCoordination of distributed/parallel multiple-grid domain decompositionC.T.H. Everaars and F. ArbabComputer Science/Department of Interactive SystemsCS-R9627 1996 Report CS-R9627ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9610.ps.Z, 19960717 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA basic mathematical and numerical model for gas injectionJ. MolenaarDepartment of Analysis, Algebra and GeometryAM-R9610 1996 Report AM-R9610ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9609.ps.Z, 19960717 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAn analysis of crystal dissolution fronts in flows through porous media Part 2: Incompatible boundary conditionsC.J. van Duijn, P. Knabner and R.J. SchottingDepartment of Analysis, Algebra and GeometryAM-R9609 1996 Report AM-R9609ISSN 0924-2953CWIP.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9629.ps.Z, 19960717 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCellular encoding for interactive evolutionary roboticsF. Gruau and K. QuatramaranComputer Science/Department of Algorithmics and ArchitectureCS-R9629 1996 Report CS-R9629ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9630.ps.Z, 19960721 Centrum voor Wiskunde en InformaticaREPORTRAPPORTImplicit induction techniques for the verification of PIM - a transformational toolkit for compilersD. Naidich and T.B. DineshComputer Science/Department of Software TechnologyCS-R9630 1996 Report CS-R9630ISSN 0169-118XCWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9609.ps.Z, 19960802 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA note on negative customers, GI/G/1 workload, and risk processesR.J. Boucherie, O.J. Boxma and K. SigmanDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9609 1996 Report BS-R9609ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-N9602.ps.Z, 19960802 Centrum voor Wiskunde en InformaticaREPORTRAPPORTWorkshop innovative time integrators; (Amsterdam, October 30 - November 1, 1996)J.G. Verwer, J.M. Sanz-Serna (eds.)Department of Numerical MathematicsNM-N9602 1996 Report NM-N9602ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9614.ps.Z, 19960812 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBenchmarking stiff ODE solvers for atmospheric chemistry problems II: Rosenbrock solversA. Sandu, J.G. Verwer, J.G. Blom, E.J. Spee and G.R. CarmichaelDepartment of Numerical MathematicsNM-R9614 1996 Report NM-R9614ISSN 0169-0388CWIP.O. Box 940791090 GB
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9319.ps.Z, 19960812 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA vectorizable adaptive grid solver for PDEs in 3DJ.G. Blom and J.G. VerwerDepartment of Numerical MathematicsNM-R9319 1993 Report NM-R9319ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9612.ps.Z, 19960815 Centrum voor Wiskunde en InformaticaREPORTRAPPORTEuler-Chebyshev methods for integro-differential equationsP.J. van der Houwen and B.P. SommeijerDepartment of Numerical MathematicsNM-R9612 1996 Report NM-R9612ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9611.ps.Z, 19960819 Centrum voor Wiskunde en InformaticaREPORTRAPPORTContinuation of stationary solutions to evolution problems in CONTENTYu.A. Kuznetsov, V.V. Levitin and A.R. SkovorodaDepartment of Analysis, Algebra and GeometryAM-R9611 1996 Report AM-R9611ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9253.ps.Z, 19960819 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAnimators and error reporters for generated programming environmentsT.B. Dinesh and F. TipComputer Science/Department of Software TechnologyCS-R9253 1992 Report CS-R9253ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9631.ps.Z, 19960827 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA linear-time transformation of linear inequalities into conjunctive normal formJ.P. WarnersComputer Science/Department of Software TechnologyCS-R9631 1996 Report CS-R9631ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9612.ps.Z, 19960913 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe Leibniz-Hopf algebra and Lyndon wordsM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9612 1996 Report AM-R9612ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9577.ps.Z, 19960913 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTwo-sorted metric temporal logicsA. Montanari and M. de RijkeComputer Science/Department of Software TechnologyCS-R9577 1995 Report CS-R9577ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9615.ps.Z, 19960913 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTest set for IVP solversW.M. Lioen, J.J.B. de Swart and W.A. van der VeenDepartment of Numerical MathematicsNM-R9615 1996 Report NM-R9615ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9616.ps.Z, 19960913 Parallel Linear System Solvers for Runge-Kutta Methods P.J. van der Houwen & J.J.B. de Swart CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9617.ps.Z, 19960913 Centrum voor Wiskunde en InformaticaREPORTRAPPORTWaveform relaxation methods for implicit differential equationsP.J. van der Houwen and W.A. van der VeenDepartment of Numerical MathematicsNM-R9617 1996 Report NM-R9617ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9611.ps.Z, 19960913 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComplementarity modeling of hybrid systemsA.J. van der Schaft and J.M. SchumacherDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9611 1996 Report BS-R9611ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9632.ps.Z, 19960916 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBuilding a simulator in the mu CRL toolbox -- A case-study in modern software engineeringH.P. KorverComputer Science/Department of Software TechnologyCS-R9632 1996 Report CS-R9632ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9634.ps.Z, 19960917 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMild context-sensitivity and tuple-based generalizations of context-free grammarA.V. GroeninkComputer Science/Department of Interactive SystemsCS-R9634 1996 Report CS-R9634ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9633.ps.Z, 19960917 Centrum voor Wiskunde en InformaticaREPORTRAPPORTDesign of abstract domains using first-order logicE. MarchioriComputer Science/Department of Interactive SystemsCS-R9633 1996 Report CS-R9633ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9636.ps.Z, 19960918 Centrum voor Wiskunde en InformaticaREPORTRAPPORTGeneralized metric spaces: completion, topology, and powerdomains via the Yoneda embeddingM.M. Bonsangue, F. van Breugel and J.J.M.M. RuttenComputer Science/Department of Software TechnologyCS-R9636 1996 Report CS-R9636ISSN 0169-118XCWIP.O. Box 940791090
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9635.ps.Z, 19960923 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTractability issues in extraposition grammarA.V. GroeninkComputer Science/Department of Interactive SystemsCS-R9635 1996 Report CS-R9635ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9618.ps.Z, 19961008 Centrum voor Wiskunde en InformaticaREPORTRAPPORTReordering strategies and LU-decomposition of block tridiagonal matrices for parallel processingA. van der PloegDepartment of Numerical MathematicsNM-R9618 1996 Report NM-R9618ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9613.ps.Z, 19961008 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAsymptotics and numerics of zeros of polynomials that are related to Daubechies waveletsN.M. TemmeDepartment of Analysis, Algebra and GeometryAM-R9613 1996 Report AM-R9613ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9619.ps.Z, 19961008 Centrum voor Wiskunde en InformaticaREPORTRAPPORTParallel iterative linear solvers for multistep Runge-Kutta methodsE. Messina, J.J.B. de Swart and W.A. van der VeenDepartment of Numerical MathematicsNM-R9619 1996 Report NM-R9619ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9637.ps.Z, 19961011 Centrum voor Wiskunde en InformaticaREPORTRAPPORTA framework for query optimization to support data miningR. Choenni and A.P.J.M. SiebesComputer Science/Department of Algorithmics and ArchitectureCS-R9637 1996 Report CS-R9637ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9638.ps.Z, 19961011 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn multi-query optimizationR. Choenni M.L. Kersten, J.F.P. van den Akker and A. SaadComputer Science/Department of Algorithmics and ArchitectureCS-R9638 1996 Report CS-R9638ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9612.ps.Z, 19961014 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the asymmetric clocked buffered switchJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9612 1996 Report BS-R9612ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9614.ps.Z, 19961014 Centrum voor Wiskunde en InformaticaREPORTRAPPORTRegular variation in a multi-source fluid queueO.J. BoxmaDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9614 1996 Report BS-R9614ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9613.ps.Z, 19961016 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAnalysis of a multi-server queueing model of ABRR. Nunez Queija and O.J. BoxmaDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9613 1996 Report BS-R9613ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9614.ps.Z, 19961105 Centrum voor Wiskunde en InformaticaREPORTRAPPORTMultiparameter quantum supergroupsM. HazewinkelDepartment of Analysis, Algebra and GeometryAM-R9614 1996 Report AM-R9614ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9621.ps.Z, 19961108 The Iterative Solution of Fully Implicit Discretizations of Three-Dimensional Transport Models P.J. van der Houwen, B.P. Sommeijer, J. Kok CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9620.ps.Z, 19961108 Centrum voor Wiskunde en InformaticaREPORTRAPPORTVectorization and parallelization of a numerical scheme for 3D global atmospheric transport-chemistry problemsE.J. Spee, P.M. de Zeeuw, J.G. Verwer, J.G. Blom and W.H. HundsdorferDepartment of Numerical MathematicsNM-R9620 1996 Report NM-R9620ISSN
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9642.ps.Z, 19961108 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProving deadlock freedom of logic programs with dynamic schedulingE. Marchiori and F. TeusinkComputer Science/Department of Interactive SystemsCS-R9642 1996 Report CS-R9642ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9645.ps.Z, 19961114 Centrum voor Wiskunde en InformaticaREPORTRAPPORTSearch and imperative programmingK.R. Apt and A. SchaerfComputer Science/Department of Interactive SystemsCS-R9645 1996 Report CS-R9645ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9615.ps.Z, 19961114 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn a zero-drift nearest-neighbour random walkJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9615 1996 Report BS-R9615ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for
	ftp://ftp.cwi.nl/pub/CWIreports/AA/CS-R9639.ps.Z, 19961123 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComplexity of transformation-based optimizers and duplicate-free generation of alternatives J. Pellenkoft, C.A. Galindo-Legaria and M.L. KerstenComputer Science/Department of Algorithmics and ArchitectureCS-R9639 1996 Report CS-R9639ISSN 0169-118XCWIP.O.
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9640.ps.Z, 19961123 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAlgebraic verification of a distributed summation algorithmJ.F. Groote and J.G. SpringintveldComputer Science/Department of Software TechnologyCS-R9640 1996 Report CS-R9640ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9615.ps.Z, 19961123 Centrum voor Wiskunde en InformaticaREPORTRAPPORTAnalysis of DNAPL infiltration in a medium with a low-permeable lensM.J. de Neef and J. MolenaarDepartment of Analysis, Algebra and GeometryAM-R9615 1996 Report AM-R9615ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9641.ps.Z, 19961126 Centrum voor Wiskunde en InformaticaREPORTRAPPORTProving termination of logic programs with delay declarationsE. Marchiori and F. TeusinkComputer Science/Department of Interactive SystemsCS-R9641 1996 Report CS-R9641ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9643.ps.Z, 19961204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCases, adverbs, situations and eventsP. DekkerComputer Science/Department of Interactive SystemsCS-R9643 1996 Report CS-R9643ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer
	ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9644.ps.Z, 19961204 Centrum voor Wiskunde en InformaticaREPORTRAPPORTScopes in discourseP. DekkerComputer Science/Department of Interactive SystemsCS-R9644 1996 Report CS-R9644ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science. CWI is
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9616.ps.Z, 19961211 Centrum voor Wiskunde en InformaticaREPORTRAPPORTApproximation problems with the divergence criterion for Gaussian variables and Gaussian processesA.A. Stoorvogel and J.H. van SchuppenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9616 1996 Report BS-R9616ISSN 0924-0659CWIP.O. Box
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9622.ps.Z, 19961211 Centrum voor Wiskunde en InformaticaREPORTRAPPORTThe number of relations in the quadratic sieve algorithmH. BoenderDepartment of Numerical MathematicsNM-R9622 1996 Report NM-R9622ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand
	ftp://ftp.cwi.nl/pub/CWIreports/NW/NM-R9623.ps.Z, 19961211 Centrum voor Wiskunde en InformaticaREPORTRAPPORTStability of implicit-explicit linear multistep methodsJ. Frank, W.H. Hundsdorfer and J.G. VerwerDepartment of Numerical MathematicsNM-R9623 1996 Report NM-R9623ISSN 0169-0388CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/AM/AM-R9616.ps.Z, 19961217 Centrum voor Wiskunde en InformaticaREPORTRAPPORTBrine transport in porous media self-similar solutionsC.J. van Duijn, L.A. Peletier and R.J. SchottingDepartment of Analysis, Algebra and GeometryAM-R9616 1996 Report AM-R9616ISSN 0924-2953CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9649.ps.Z, 19970113 Centrum voor Wiskunde en InformaticaREPORTRAPPORTComparison of selection schemes for evolutionary constrained optimizationC.H.M. van KemenadeComputer Science/Department of Software TechnologyCS-R9649 1996 Report CS-R9649ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9646.ps.Z, 19970113 Centrum voor Wiskunde en InformaticaREPORTRAPPORTTowards a complete transformational toolkit for compilersJ.A. Bergstra, T.B. Dinesh, J. Field and J. HeeringComputer Science/Department of Software TechnologyCS-R9646 1996 Report CS-R9646ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9648.ps.Z, 19970113 Centrum voor Wiskunde en InformaticaREPORTRAPPORTCluster evolution strategies -- enhancing the sampling density function using representatives --C.H.M. van KemenadeComputer Science/Department of Software TechnologyCS-R9648 1996 Report CS-R9648ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe
	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9647.ps.Z, 19970114 Centrum voor Wiskunde en InformaticaREPORTRAPPORTExplicit filtering of building blocks for genetic algorithmsC.H.M. van KemenadeComputer Science/Department of Software TechnologyCS-R9647 1996 Report CS-R9647ISSN 0169-118XCWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research
	ftp://ftp.cwi.nl/pub/CWIreports/INS/INS-R9703.ps.Z, 19970729 Centrum voor Wiskunde en InformaticaTyped logics with statesD.J.N. van EijckInformation Systems (INS)INS-R9703 1997 Report INS-R9703ISSN 1386-3681CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science. CWI is part of the
	ftp://ftp.cwi.nl/pub/CWIreports/INS/INS-R9701.ps.Z, 19970729 Centrum voor Wiskunde en InformaticaCausation, explanation and nonmonotonic temporal reasoningP.D. GrunwaldInformation Systems (INS)INS-R9701 1997 Report INS-R9701ISSN 1386-3681CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science.
	ftp://ftp.cwi.nl/pub/CWIreports/INS/INS-R9702.ps.Z, 19970729 Centrum voor Wiskunde en InformaticaDesigning active objects in DEGASJ.F.P.van den Akker and A.P.J.M. SiebesInformation Systems (INS)INS-R9702 1997 Report INS-R9702ISSN 1386-3681CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science.
	ftp://ftp.cwi.nl/pub/CWIreports/INS/INS-R9704.ps.Z, 19970801 Centrum voor Wiskunde en InformaticaRelating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systemsD.J. Duke, I. Herman, T. Rist and M. WilsonInformation Systems (INS)INS-R9704 1997 Report INS-R9704ISSN 1386-3681CWIP.O. Box 940791090
	ftp://ftp.cwi.nl/pub/CWIreports/BS/BS-R9406.ps.Z, 19970804 Centrum voor Wiskunde en InformaticaREPORTRAPPORTOn the effective bandwidth in buffer design for the multi-server channelsJ.W. CohenDepartment of Operations Reasearch, Statistics, and System TheoryBS-R9406 1995 Report BS-R9406ISSN 0924-0659CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the
	ftp://ftp.cwi.nl/pub/CWIreports/INS/INS-R9804.ps.Z, 19980220 Centrum voor Wiskunde en InformaticaManual of the TYPO type checkerJ.M.G.G. de NivelleInformation Systems (INS)INS-R9804 February 28, 1998 Report INS-R9804ISSN 1386-3681CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National Research Institute for Mathematicsand Computer Science. CWI is
	ftp://ftp.cwi.nl/pub/CWIreports/MAS/MAS-R9803.ps.Z, 19980220 Centrum voor Wiskunde en InformaticaUniqueness conditions in a hyperbolic model for oil recovery by steamdriveJ. Bruining, C.J. van DuijnModelling, Analysis and Simulation (MAS)MAS-R9803 February 28, 1998 Report MAS-R9803ISSN 1386-3703CWIP.O. Box 940791090 GB AmsterdamThe NetherlandsCWI is the National