Publications from 2093

Stochastic integer programming by dynamic programming Article

B.J. Lageweg, J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and L. Stougie (Leen)

Zeros at infinity for affine nonlinear control systems Article

H. Nijmeijer and J.M. Schumacher (Hans)

Disproof of the Mertens conjecture Article

A.M. Odlyzko and H.J.J. te Riele (Herman)

Boundary value techniques for initial value problems in ordinary differential equations Article

A.O.H. Axelsson and J.G. Verwer (Jan)

Multigrid solution of the steady Euler equations In Proceedings

P.W. Hemker (Piet) and S.P. Spekreijse

Towards a uniform topological treatment of streams and functions on streams In Proceedings

J.W. de Bakker (Jaco) and J.N. Kok (Joost)

The Traveling Salesman Problem; A Guided Tour of Combinatorial Optimization Book

Linear multistep methods for Volterra integral and integro-differential equations Article

P.J. van der Houwen (Piet) and H.J.J. te Riele (Herman)

Supplement to: 'Linear multistep methods for Volterra integral and integro-differential equations' Article

P.J. van der Houwen (Piet) and H.J.J. te Riele (Herman)

Multigrid and conjugate gradient methods as convergence acceleration techniques In Proceedings

P. Sonneveld, P. Wesseling and P.M. de Zeeuw (Paul)

Computation of some parameters of Lie geometries Book Chapter

A.E. Brouwer (Andries) and A.M. Cohen (Arjeh)

An introduction to parallelism in combinatorial optimization Book Chapter

G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

The connectivity for strongly regular graphs Article

A.E. Brouwer (Andries) and D.M. Mesner

The locally icosahedral graphs In Proceedings

A. Blokhuis, A.E. Brouwer (Andries), A.M. Cohen (Arjeh) and D. Buset

Invariance properties of the conditional independence relation Article

C. van Putten and J.H. van Schuppen (Jan)

Numerical solution of a first kind Fredholm integral equation arising in electron-atom scattering In Proceedings

H.J.J. te Riele (Herman) and R.W. Wagenaar

Stability, multiplicity and global continuation of symmetric periodic solutions of a nonlinear Volterra integral equation Article

S.-N. Chow, O. Diekmann (Odo) and J. Mallet-Paret

Numerical integration of retarded differential equations with periodic solutions In Proceedings

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

Sensor Applications Book Chapter

A.A.M. Kuijk (Fons)

Sensor Systems and Computer Integrated Manufacturing Book Chapter

A.A.M. Kuijk (Fons)

Inequalities with Applications to Percolation and Reliability Article

J. van den Berg (Rob) and H. Kesten

Parallel computers and computations : [a series of eight lectures organized at the University of Utrecht, fall 1983] Book

Vakantiecursus 1985 Centrum voor Wiskunde en Informatica : variatierekening Book

Proceedings seminar 1982-1983: mathematical structures in field theories : [lectures given in the seminar, held during the academic year 1982-1983] Book

P J.M. Bongaarts, J.N. Buur, E.A. de Kerf, H.G.J. Pijls and J.W. de Roever

Euclidean rings with two infinite primes Book

F.J. van der Linden

Symmetries for dynamical and Hamiltonian systems Book

H.M.M. ten Eikelder

Mixed elliptic-hyperbolic partial differential operators: a case-study in Fourier integral operators Book

R.J.P. Groothuizen

Some large deviation results in statistics Book

A.D.M. Kester

Analytic spaces and dynamic programming: a measure-theoretic approach Book

J.G.F. Thiemann

The numerical solution of nonlinear stiff initial value problems: an analysis of one step methods Book

W. Hundsdorfer (Willem)

Sequencing by enumerative methods Book

J.K. Lenstra (Jan Karel)

Laplace type integrals: transformation to standard form and uniform asymptotic expansions Article

N.M. Temme (Nico)

Review of "Foundations of logic programming" by J.W. Lloyd Article

K.R. Apt (Krzysztof)

Correctness proofs of distributed termination algorithms Book Chapter

K.R. Apt (Krzysztof)

Logics and models of concurrent systems Book

Preface : Bifurcation analysis : principles, applications, synthesis Preface

M. Hazewinkel (Michiel), R. Jurcovich and J.H.C. Paelinck

Preface : Acta applicandae mathematicae 1985 Article

G. Koch and M. Hazewinkel (Michiel)

Real time clocks versus virtual clocks Article

K.R. Apt (Krzysztof) and J.L. Richier

Proving correctness of CSP programs, a tutorial Article

K.R. Apt (Krzysztof)

Correctness proofs of distributed termination algorithms Article

Mathematics of biology Book

M. Hazewinkel (Michiel) and G. Koch

Parametrization problems for spaces of linear input-output systems In Proceedings

M. Hazewinkel (Michiel)

On mathematical control engineering Article

M. Hazewinkel (Michiel)

Bifurcation phenomena : a short introductory tutorial with examples Book Chapter

M. Hazewinkel (Michiel)

Symmetry bifurcations and pattern formation Book Chapter

M. Hazewinkel (Michiel)

Pattern formation for a one-dimensional evolution equation based on Thom's river basin model Tech Report

M. Hazewinkel (Michiel), J.F. Kaashoek and B. Leynse

Bifurcation analysis : principles, applications, and synthesis Book

R. Jurcovich and J.H.C. Paelinck

Supermodular colourings Article

A. Schrijver (Lex)

Living in Amsterdam Tech Report

S. Pemberton (Steven)

Proportional representation in a regional council Tech Report

J.M. Anthonisse

In 1983 Faltings proved conjectures by Mordell, Shafarevich and Tate Tech Report

F. Oort

Conferentie van numeriek wiskundigen : Zeist, 15-17.10.1984 Book

Ontwikkelingsplan informatica-onderzoek CWI 1984 Book

Uitnodiging Topologiedag CWI, 28.09.1984 : t.g.v. 25-jarig jubileum van P. C. Baayen Other

PC papier : extra nummer MC Papier t.g.v. afscheid van P.C. Baayen als directeur van het MC, 28.09.1984 Miscellaneous

Een leven zonder netwerk is ondenkbaar : de opkomst van de computernetwerken Article

P. van de Ven (Pauline)

Order statistics, quantile processes and extreme value theory : Oberwolfach meeting from 25th to 31st March 1984 Tech Report

R. Helmers (Roelof)

Typesetting at the CWI, Part II Tech Report

J.N. Akkerhuis

Stochastic geometry and image analysis Tech Report

A.J. Baddeley (Adrian)

Afschrift van de akte houdende oprichting van de stichting Stichting Beheer Wetenschappelijk Centrum Watergraafsmeer, gevestigd te Amsterdam, 12-07-1984 Other

Process algebra with asynchronous communication mechanisms In Proceedings

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)

Winning ways for your mathematical plays : book review Tech Report

A. Blokhuis

Typesetting at the CWI, Part I Tech Report

J.N. Akkerhuis

The B programming language and environment Tech Report

S. Pemberton (Steven)

Multigrid algorithms run on supercomputers Tech Report

P.W. Hemker (Piet)

Euclidean rings with two infinite primes Dissertation

F.J. van der Linden

Dopo le parole : aangeboden aan Dr. A.K. Lenstra Book

Polynomial-time algorithms for the factorization of polynomials Dissertation

A.K. Lenstra (Arjen)

Sums of equal powers of positive integers Dissertation

J. van de Lune (Jan)

The numerical solution of nonlinear stiff initial value problems: an analysis of one-step methods Dissertation

W. Hundsdorfer (Willem)

Dataflow computation Dissertation

A. P. W. Böhm (Anton)

Algebraic tools for system construction In Proceedings

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)

PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness In Proceedings

J.A. Bergstra (Jan) and J. Tiuryn

The day before tomorrow : report on a three week visit to China Tech Report

J.K. Lenstra (Jan Karel)

Recent progress on the numerical verification of the Riemann hypothesis Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

Software development: science or patchwork? Tech Report

R.L. Baber

Two applications of topological dynamics in combinatorial number theory : the shift system and the Stone-Čech compactification of the non-negative integers Tech Report

J. de Vries (Jan)

Ninth conference on the mathematics of operations research and system theory : Benelux meeting on systems and control 1984 : Lunteren, 11-13.01.1984 : program and abstracts Booklet

Tenth conference on the mathematics of operations research and systems theory : Lunteren, 09-11.01.1984 : program and summaries Booklet

Explicit Runge-Kutta artificial compressibility technique for incompressible Navier-Stokes equations, application to the backward facing step flow Tech Report

B. Koren (Barry)

Transonic shock wave-boundary layer interaction at a convex wall Article

B. Koren (Barry) and W.J. Bannink

Struktuur behoudende data flow analyse op programma's met GOTO-statements [Structure maintaining data flow analysis on programs with GOTO statements] Tech Report

R. van den Born

On the stable size distribution of populations reproducing by fission into two unequal parts Tech Report

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

Global bifurcation of a logistic delay map Tech Report

H.A. Lauwerier

The exit problem for a stochastic dynamical system in a domain with almost everywhere characteristic boundaries Tech Report

J. Grasman (Johan) and J.V. Lankelma

Linear autonomous retarded functional differential equations: a sharp version of Henry's theorem Tech Report

S.M. Verduyn Lunel (Sjoerd)

A case of a not so strange strange attractor Tech Report

H.A. Lauwerier

Top-down design and the algebra of communicating processes Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

Square time is optimal for simulation of one pushdown store by an oblivious one-head tape unit Tech Report

P.M.B. Vitányi (Paul)

Algebra of communicating processes with abstraction Tech Report

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

Verification of an alternating bit protocol by means of process algebra Tech Report

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

Fair FIFO queues satisfy an algebraic criterion for protocol correctness Tech Report

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

One queue or two pushdown stores take square time on a one-head tape unit Tech Report

P.M.B. Vitányi (Paul)

On the Edgeworth expansion for the logarithm of the likelihood ratio Tech Report

D.M. Chibisov and W.R. van Zwet (Willem)

On estimating a parameter and its score function Tech Report

C.A.J. Klaassen (Chris) and W.R. van Zwet (Willem)

Estimating a monotone density Tech Report

P. Groeneboom

On the weak limits of elementary symmetric polynomials Tech Report

A.J. van Es (Bert)

Guidelines for the design of large modular scientific libraries in ADA : final report for the Commission of the European Communities Tech Report

G.T. Symm, B.A. Wichmann, J. Kok (Jan) and D.T. Winter (Dik)

Some implementations of multigrid linear system solvers Tech Report

P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

Generalized predictor-corrector methods of high order for the time integration of parabolic differential equations Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and H.B. de Vries