Publications from 2067

A note on fairness in I/O automata Article

J.M.T. Romijn (Judi) and F.W. Vaandrager (Frits)

${ m gl}(lambda)$ and differential operators preserving polynomials. Representations of Lie groups, Lie algebras and their quantum analogues Article

G. Post and N.W. van den Hijligenberg

Iteration of Runge-Kutta methods with block triangular Jacobians Article

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

Modular properties of algebraic type systems In Proceedings

G. Barthe and H. Geuvers

Collapsing partial combinatory algebras In Proceedings

I. Bethke and J.W. Klop (Jan Willem)

CWI contributions to the development of parallel Runge-Kutta methods Article

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

Control flow semantics Book

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

Invariance principle for associated random fields In Proceedings

A.V. Bulinski and M.S. Keane

Wiener-Hopf analysis of an $M/G/1$ queue with negative customers and of a related class of random walks Article

N. Bayer and O.J. Boxma (Onno)

Random strings make hard instances In Proceedings

H.M. Buhrman (Harry) and P. Orponen

The absolute rigidity of the Neveu-Schwarz and Ramond superalgebras Article

N.W. van den Hijligenberg and Y.Y. Kotchetkov (Youri)

Cryptography, statistics and pseudorandomness II Article

S.A. Brands (Stefan) and R.D. Gill (Richard)

Jacobi-Davidson type methods for generalized eigenproblems and polynomial eigenproblems In Proceedings

G.L.G. Sleijpen, A.G.L. Booten (Albert), D.R. Fokkema and H.A. van der Vorst (Henk)

A geometric proof of the Kochen-Specker no-go theorem Article

R.D. Gill (Richard) and M.S. Keane

Factoring integers with large-prime variations of the quadratic sieve Article

H. Boender (Henk) and H.J.J. te Riele (Herman)

Alexandroff and Scott topologies for generalized metric spaces In Proceedings

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

The complementary-slackness class of hybrid systems Article

A.J. van der Schaft and J.M. Schumacher (Hans)

On almost everywhere exponential convergence of the modified Jacobi-Perron algorithm: a corrected proof Article

T. Fujita, S. Ito, M.S. Keane and M. Ohtsuki

The Authors Book Chapter

Discrete approximations for singularly perturbed boundary value problems with parabolic layers III Article

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

From paper Plotters to Interactive Multimedia Systems Book Chapter

M. Bakker (Miente) and P.J.W. ten Hagen (Paul)

Coordination of Cooperative Agents Book Chapter

F. Arbab (Farhad)

Architectures for human-computer communication Book Chapter

A.A.M. Kuijk (Fons)

Computational Steering Book Chapter

R. van Liere (Robert) and J.J. van Wijk (Jack)

On the Borderline of Logic Language and Computation Book Chapter

D.J.N. van Eijck (Jan)

Logic Programming Book Chapter

K.R. Apt (Krzysztof)

Interactive Mathematical Books Book Chapter

A.M. Cohen (Arjeh), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

An Electronic Wallet for Digital Money Book Chapter

R.A. Hirschfeld (Robert)

A Tour of Algorithmics Book Chapter

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

Rewriting Book Chapter

I. Bethke and J.W. Klop (Jan Willem)

Generating Interactive Programming Environments Book Chapter

J. Heering (Jan) and P. Klint (Paul)

Hybrid Systems Book Chapter

F.W. Vaandrager (Frits)

Semantics Book Chapter

J.W. de Bakker (Jaco)

Computational Number Theory Book Chapter

H.J.J. te Riele (Herman)

Multigrid, Semi-Refinement and Fluid Flow Book Chapter

P.W. Hemker (Piet)

Discrete approximations for singularly perturbed boundary value problems with parabolic layers II Article

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

Numerical Algorithms for Transport-Chemistry Problems Book Chapter

J.G. Verwer (Jan)

Morphological Image Processing Book Chapter

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

Bootstrap Resampling Book Chapter

R. Helmers (Roelof)

System Theory - A Brief Exposition Book Chapter

J.M. van den Hof and J.H. van Schuppen (Jan)

Queueing Theory Book Chapter

O.J. Boxma (Onno)

Optimizing Transportation by Polyhedra Book Chapter

A. Schrijver (Lex)

Mathematical Epidemiology of Infectious Diseases Book Chapter

O. Diekmann (Odo)

Mathematical Aspects of Nonlinear Dynamical Systems Book Chapter

H.W. Broer and F. Takens

Statistics and Medieval Astronomical Tables Book Chapter

B. van Dalen

Instuitionistic Logic and Topos Theory Book Chapter

I. Moerdijk

The Moduli Project, 1981-1988 Book Chapter

G.B.M. van der Geer, F. Oort and C.A.M. Peters

Singularity Theory Book Chapter

T. de Jong and J.H.M. Steenbrink

Functional Analysis and Optimization Problems in Hydrodynamic Propulsion Book Chapter

J.A. Sparenberg, P. Sijtsma and H.P. Urbach

Analysis on Lie Groups Book Chapter

G. van Dijk

Coding Theory Book Chapter

J.H. van Lint

Infinite-Dimensional Linear Systems Theory Book Chapter

R.F. Curtain

Markov Decision Chains Book Chapter

A. Hordijk (Arie)

Forward and backward simulations II. Timing-based systems Article

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

Ergodic Theory Book Chapter

M.S. Keane

Polynomial Splines in Two Variables Book Chapter

C.R. Traas

The Many Faces of Computer Science Book Chapter

H.J. Sips

Mathematical Statistics: Fringe of Frontier? Book Chapter

R.D. Gill (Richard)

The Quest for Correctness Book Chapter

H.P. Barendregt (Henk)

Computers: (Ac)counting for Mathematical Proofs Book Chapter

A.M. Cohen (Arjeh)

Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC] Book Chapter

G.Y. Nieuwland

Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]) Book Chapter

G.Y. Nieuwland

Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC] Miscellaneous

On optimality of regular projective estimators for semimartingale models III. One step improvements Article

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

On the role of Rouché's theorem in queueing analysis Article

J.W. Cohen and D.G. Down

On behaviors and convolutional codes. Codes and complexity Article

J. Rosenthal, J.M. Schumacher (Hans) and E.V. York

The meaning of negative premises in transition system specifications Article

R.N. Bol and J.F. Groote (Jan Friso)

Compressibility and resource bounded measure In Proceedings

H.M. Buhrman (Harry) and L. Longpré

Regularity for a large class of context-free processes is decidable In Proceedings

D.J.B. Bosscher (Doeko) and W.O.D. Griffioen

The complexity of generating and checking proofs of membership In Proceedings

H.M. Buhrman (Harry) and T. Thierauf

Control of freeway traffic flow Book

S.A. Smulders

Meta-variables in logic programming, or In praise of ambivalent syntax Article

K.R. Apt (Krzysztof) and R. Ben-Eliyahu

Nonlinear $ H_ inf $ control : the singular case Book

W.C.A. Maas

Graph reduction on shared-memory multiprocessors Book

K.G. Langendoen

Statistical test limits in quality control Book

G.D. Otten

Polling systems Book

S.C. Borst (Sem)

Comparative concurrency semantics and refinement of actions Book

R.J. van Glabbeek (Rob)

Introduction to option pricing in a securities market I. Binary models. Mathematics of finance, Part I Article

K.O. Dzhaparidze (Kacha) and M.C.A. van Zuijlen

A new lower bound for the critical probability of site percolation on the square lattice Article

J. van den Berg (Rob) and A. B. Ermakov (Alexei)

Wijzer in wiskunde : een inleiding via logica en verzamelingen Book

H.C. Doets (Kees)

Vakantiecursus 1996 : chaos Book

Proceedings seminar 1989-1990 mathematical structures in field theories Book

A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification - In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

Streamer Propagation as a Pattern Formation Problem: Planar Fronts Article

U. Ebert (Ute), W. van Saarloos and C. Caroli

Universal Short-time Motion of a Polymer in a Random Environment - Analytical Calculations, a Blob Picture, and Monte Carlo Results Article

U. Ebert (Ute), A. Baumgärtner and L. Schäfer

Polymer Diffusion in Quenched Disorder - a Renormalization Group Approach Article

U. Ebert (Ute)

On the facial structure of the set of correlation matrices Article

M. Laurent (Monique) and S. Poljak

Corrigendum: Remarks on sparse-grid finite-volume multigrid Article

P.W. Hemker (Piet)

System Design for Structured Hypermedia Generation In Proceedings

M. Worring (Marcel), C.A. van den Berg (Carel) and L. Hardman (Lynda)

Solving the Two-dimensional Inverse Fractal Problem with the Wavelet Transfrom Article

Z.R. Struzik

DEGAS: Capturing dynamics in objects In Proceedings

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

Monet and its Geographical Extensions: a Novel Approach to High-Performance GIS Processing In Proceedings

P.A. Boncz (Peter), W. Quak and M.L. Kersten (Martin)

High Perfomance Support for OO Traversals in Monet In Proceedings

P.A. Boncz (Peter), F. Kwakkel and M.L. Kersten (Martin)

Object Histories as a Foundation for an Active OODB In Proceedings

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

Dynamic Aspects of Query Processing in Parallel Database Systems In Proceedings

J.K. Obermaier and F. Waas (Florian)

Benchmarking stiff ODE solvers for atmorspheric chemistry problems II: Rosenbrock solvers Tech Report

A. Sandu, J.G. Verwer (Jan), J.G. Blom (Joke), E.J. Spee (Edwin) and G.R. Carmichael

A calculus for sequential logic with 4 values Tech Report

J.A. Bergstra (Jan) and J.C. van de Pol (Jaco)

Operational semantics of rewriting with priorities Tech Report

J.C. van de Pol (Jaco)

Characterisation results and Markov chain Monte Carlo algorithms including exact simulation for some spatial point processses Tech Report

O. Häggström, M.N.M. van Lieshout (Marie-Colette) and J. Møller

Quermass-interaction processes Tech Report

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