Publications from 2068

On the zeros of the error term for the mean square of $vert zeta(frac {1}{2}+it)vert $ Article

A. Ivic and H.J.J. te Riele (Herman)

Convergence of linear multistep and one-leg methods for stiff nonlinear initial value problems Article

W. Hundsdorfer (Willem) and B.I. Steininger

Monotonicity of performance measures in a processor sharing queue Article

P.R. de Waal and N.M. van Dijk

Boolean functions, invariance groups, and parallel complexity Article

P. Clote and E. Kranakis (Evangelos)

Damped, direction-dependent multigrid for hypersonic flow computations Article

B. Koren (Barry) and P.W. Hemker (Piet)

Cones of matrices and set-functions and $0$-$1$ optimization Article

L. Lovász (László) and A. Schrijver (Lex)

Improved techniques for lower bounds for odd perfect numbers Article

R.P. Brent, G.L. Cohen and H.J.J. te Riele (Herman)

Completeness of combinations of constructor systems In Proceedings

A. Middeldorp and Y. Toyama

Recursive process definitions with the state operator Article

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

Generating functions and Lie groups In Proceedings

A.M. Cohen (Arjeh) and G.C.M. Ruitenburg

Asymptotic behaviour for Wall polynomials and the addition formula for little $q$-Legendre polynomials Article

W. van Assche and T.H. Koornwinder

An adaptive multigrid approach for the solution of the $2$D semiconductor equations Book Chapter

P.W. Hemker (Piet) and J. Molenaar (Gijs)

Supercongruences of Atkin and Swinnerton-Dyer type for Legendre polynomials Article

M.J. Coster and L. van Hamme

Stability of collocation-based Runge-Kutta-Nyström methods Article

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and Huu Cong Nguyen

A static-regridding method for two-dimensional parabolic partial differential equations Article

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

Nested Monte Carlo study of random packing on the sphere Article

R.P.C. Rodgers and A.J. Baddeley (Adrian)

On rates of convergence and asymptotic normality in the multiknapsack problem Article

S.A. van de Geer (Sara) and L. Stougie (Leen)

Sequentiality in orthogonal term rewriting systems Article

J.W. Klop (Jan Willem) and A. Middeldorp

Verification of sequential and concurrent programs Book

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Iterated Runge-Kutta methods on parallel computers Article

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

Arithmetic classification of perfect models of stratified programs Article

K.R. Apt (Krzysztof) and H.A. Blair

Numerical analysis of time-dependent Boussinesq models Article

P.J. van der Houwen (Piet) and F.W. Wubs (Fred)

The $M/G/1$ queue with processor sharing and its relation to a feedback queue Article

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

Stochastic approximation of the MLE for a spatial point pattern Article

R.A. Moyeed and A.J. Baddeley (Adrian)

Semantic models for concurrent logic languages In Proceedings

F.S. de Boer (Frank), J.J.M.M. Rutten (Jan), J.N. Kok (Joost) and C. Palamidessi (Catuscia)

Seven criteria for integer sequences being graphic Article

G. Sierksma and J.A. Hoogeveen

The center manifold for delay equations in the light of suns and stars In Proceedings

O. Diekmann (Odo) and S.A. van Gils (Stephan)

Patterns in the effects of infectious diseases on population growth Article

O. Diekmann (Odo) and M. Kretzschmar

A simpler proof and a generalization of the zero-trees theorem Article

A. Schrijver (Lex) and P.D. Seymour (Paul)

Four domains for concurrency Article

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

A new short proof of an old folk theorem in functional-differential equations In Proceedings

O. Diekmann (Odo) and S.M. Verduyn Lunel (Sjoerd)

Certain semigroups on Banach function spaces and their adjoints In Proceedings

J.M.A.M. van Neerven (Jan) and B. de Pagter

Perturbation theory for dual semigroups. V. Variation of constants formulas In Proceedings

O. Diekmann (Odo), M. Gyllenberg and H.R. Thieme

Exact finite-dimensional representations of models for physiologically structured populations. I. The abstract foundations of linear chain trickery In Proceedings

J.A.J. Metz and O. Diekmann (Odo)

Minimality of descriptor representations under external equivalence Article

M. Kuijper and J.M. Schumacher (Hans)

Production, development, and maturation of red blood cells: a mathematical model In Proceedings

A. Grabosch and H.J.A.M. Heijmans (Henk)

Computational aspects of Lie group representations and related topics : proceedings of the 1990 computational algebra seminar at CWI, Amsterdam Book

A.M. Cohen (Arjeh)

Convergence properties of recurrence sequences Book

R.J. Kooman

Towards a symmetrical theory of generalised functions Book

J.J. Lodder

Exercises in parallel combinatorial computing Book

G.A.P. Kindervater (Gerard)

Aspects of nonparametric density estimation Book

A.J. van Es (Bert)

Stability, duality and decomposition in general mathematical programming Book

O.E. Flippo

Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Book

B. Koren (Barry)

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1991 : meetkundige structuren Book

Graphical Kernel System - GKS - Language Bindings Part 4 - C Manual

M. Bakker (Miente)

Graphical Kernel System for Three Dimensions - GKS-3D - Language Bindings Part 4 - C Manual

M. Bakker (Miente)

A Structure for Transportable, Dynamic Multimedia Documents In Proceedings

D.C.A. Bulterman (Dick), G. van Rossum (Guido) and R. van Liere (Robert)

A new lower bound for the De Bruijn-Newman constant Article

H.J.J. te Riele (Herman)

Marginal stability pf parallel whistler-mode waves (asymptotic analysis) Article

S.S. Sazhin and N.M. Temme (Nico)

The threshold of parallel whistler-mode instability Article

S.S. Sazhin and N.M. Temme (Nico)

Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Book

B. Koren (Barry)

Efficient computing of least fixpoints in deductive databases In Proceedings

K.R. Apt (Krzysztof)

Using transformations to verify parallel programs Book Chapter

E.R. Olderog (Ernst-Rüdiger) and K.R. Apt (Krzysztof)

Théorie de la démonstration et sémantique de la programmation logique Book Chapter

K.R. Apt (Krzysztof)

A Bayesian approach to object recognition Book Chapter

M.N.M. van Lieshout (Marie-Colette)

Crystallographic examination of stone walls Book Chapter

M. Hazewinkel (Michiel)

Acyclic Programs Article

K.R. Apt (Krzysztof) and M.A. Bezem

History of mathematical programming - A collection of personal reminiscences Book

A.K. Lenstra (Arjen), A.H.G. Rinnooy Kan and A. Schrijver (Lex)

Short proofs on multicommodity flows and cuts Article

A. Schrijver (Lex)

Decomposition of graphs on surfaces and a homotopic circulation theorem Article

A. Schrijver (Lex)

Primality proving with cyclotomy Dissertation

W. Bosma (Wieb) and M.-P. van der Hulst (Marc-Paul)

CWI Scientific Publications Booklet

Tidal calculations in the Netherlands, 1920-1960 Article

J. van den Ende

The persistence of the classical computer architecture Article

G.A. Blaauw

The roots of software engineering Article

M.S. Mahoney

Howard Aiken and the beginnings of computer science Article

I.B. Cohen

The Swedish difference engines Article

M. Lindgren

Editorial Article

G. Alberts (Gerard) and E. Kranakis (Evangelos)

Algebra, knopen en DNA Article

M. Hazewinkel (Michiel) and H.M. Nieland (Henk)

The Use of Projective Geometry in Computer Graphics Dissertation

I. Herman (Ivan)

Bedrijfsplan CWI 1990 : annex Book

Onderzoekschool Wiskunde : tussenrapport van de Coordinatie Commissie, 23.10.1990 Miscellaneous

Bedrijfsplan CWI 1990 Book

Probability-based models for plausible reasoning Dissertation

L.C. van der Gaag

Performance analysis of a dynamic query processing scheme In Proceedings

M.L. Kersten (Martin), S. Shair-Ali and C.A. van den Berg (Carel)

Duplicates and translation of nested SQL queries into XRA In Proceedings

N.Th. Verbrugge

On a layered object-space based architecture for interactive raster graphics Dissertation

A.A.M. Kuijk (Fons)

Open house Scientific Center Watergraafsmeer (WCW), 07.09.1990 : program Booklet

Combining high performance and fault tolerance in a distributed file server In Proceedings

S.J. Mullender (Sape)

Appendix Article

E.H. Blake

On the development of an artifact and design description language Article

P. J. Veerkamp (Paul)

User interfaces Article

H.J. Schouten

Introduction to the special issue on computer graphics Article

P.J.W. ten Hagen (Paul)

Architectures for Interactive Raster Graphics Article

A.A.M. Kuijk (Fons) and R. van Liere (Robert)

Computer Graphics Standards Article

M. Bakker (Miente)

Process algebra with a zero object In Proceedings

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

Vakantiecursus 1990 Centrum voor Wiskunde en Informatica : getallentheorie en haar toepassingen : programma Booklet

Mental models of force and motion In Proceedings

V. Akman (Varol), D. Ede (Deniz), Wm.R. Franklin (Randolph) and P.J.W. ten Hagen (Paul)

Computing facilities policy document 1991-1996 = Beleidsplan computervoorzieningen 1991-1996 Book

Beleidsplan computervoorzieningen 1991-1996 Book

Infectious diseases in structured populations Article

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

The nature of fractal geometry Article

J.A.P. Heesterbeek (Hans), J.M.A.M. van Neerven (Jan), H.A.J.M. Schellinx and M. Zwaan

Solving polynomial equation systems by Groebner type methods Article

H. Melenk

A central problem in the algorithmic geometry of numbers: lattice reduction Article

B. Vallée

On topological and linear equivalence of certain function spaces Dissertation

J.A. Baars (Jan) and J.A.M. de Groot (Joost)

A layered semantics for a parallel object-oriented language In Proceedings

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

Zero-knowledge undeniable signatures (extended abstract) In Proceedings

D. Chaum (David)

Comparative concurrency semantics and refinement of actions Dissertation

R.J. van Glabbeek (Rob)

On the Nonlinear Evolution of Patterns : Modulation Equations and Their Solutions Dissertation

A. Doelman (Arjen)

Sojourn times in feedback and processor sharing queues Dissertation

J.L. van den Berg (Hans)