Publications from 2025

Evaluation of Automated Estimation of Epithelial Volume and Its Prognostic Value in Ovarian Tumors Article

N. Schipper, A.W.M. Smeulders (Arnold) and J.P.A. Baak

Cytomorphometry: A Methodologic Study of Preparation Techniques, Selection Methods and Sample Sizes Article

P.J. van Diest, A.W.M. Smeulders (Arnold) and J.P.A. Baak

Construction of the Diagnostic Encyclopedia Workstation: Computerizing Pathology for the Pathologist Article

W. Jansen, A.M. van Ginneken, J.P.A. Baak and A.W.M. Smeulders (Arnold)

An Analysis of Pathology Knowledge and Decision Amking for the Development of Artificial Intelligence-Based Consulting Systems Article

A.W.M. Smeulders (Arnold) and A.M. van Ginneken

A Computer Based Handbook and Atlas of Pathology Article

W. Jansen, J.P.A. Baak, A.W.M. Smeulders (Arnold) and A.M. van Ginneken

A Comparative Study in Morphometric Grading of Transitional Cell Carcinoma of the Urinary Bladder Article

C.E.M. Blomjous, A.W.M. Smeulders (Arnold), J.P.A. Baak, W. Vos, C.J.L.M. Meijer and C.M. van Galen

A Comment on a Note on Distance Transformations in Digital Images Article

A.L.D. Beckers and A.W.M. Smeulders (Arnold)

A moving grid method for one-dimensional PDEs based on the method of lines In Proceedings

J.G. Verwer (Jan), J.G. Blom (Joke), R.M. Furzeland and P.A. Zegeling (Paul)

A short proof of Tutte's characterization of totally unimodular matrices Article

A.M.H. Gerards (Bert)

A note on compactifications of products of semigroups Article

M. Husek and J. de Vries (Jan)

A Hille-Yosida theorem for a class of weakly ${}sp *$ continuous semigroups Article

P.P. Clément (Philippe), O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and H.R. Thieme

Convergence analysis of one-step schemes in the method of lines In Proceedings

J.M. Sanz-Serna and J.G. Verwer (Jan)

Stability and convergence at the PDE/stiff ODE interface. Recent theoretical results in numerical ordinary differential equations Article

J.M. Sanz-Serna and J.G. Verwer (Jan)

The parallel complexity of TSP heuristics Article

G.A.P. Kindervater (Gerard), J.K. Lenstra (Jan Karel) and D.B. Shmoys

Stochastic and chaotic relaxation oscillations Article

J. Grasman (Johan) and J.B.T.M. Roerdink (Jos)

How to estimate the efficacy of periodic control of an infectious plant disease Article

H.R. Thieme and J.A.P. Heesterbeek (Hans)

Unique normal forms for lambda calculus with surjective pairing Article

J.W. Klop (Jan Willem) and R. de Vrijer

Distance-regular graphs Book

A.J. Brouwer, A.M. Cohen (Arjeh) and A. Neumaier

Sojourn times in the $M/G/1$ queue with deterministic feedback Article

J.L. van den Berg (Hans), O.J. Boxma (Onno) and W.P. Groenendijk

Phase-lag analysis of implicit Runge-Kutta methods Article

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

Diagonally implicit Runge-Kutta-Nyström methods for oscillatory problems Article

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

An adaptive moving grid method for one-dimensional systems of partial differential equations Article

J.G. Verwer (Jan), J.G. Blom (Joke) and J.M. Sanz-Serna

A comparative study of Chebyshev acceleration and residue smoothing in the solution of nonlinear elliptic difference equations In Proceedings

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

Reflections and calculations on a prey-predator-patch problem Article

O. Diekmann (Odo), J.A.J. Metz and M.W. Sabelis

Factoring with the quadratic sieve on large vector computers (Reprinted in Parallel algorithms for numerical linear algebra, 267--278, North-Holland, Amsterdam, 1990) Article

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

Linear groups and distance-transitive graphs Article

J.T.M. van Bon (John) and A.M. Cohen (Arjeh)

Graphs related to Held's simple group Article

J.T.M. van Bon (John), A.M. Cohen (Arjeh) and H. Cuypers

Stability and convergence of the Peaceman-Rachford ADI method for initial-boundary value problems Article

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

Om de wiskunde: stimulansen voor toepassingsgerichte wiskunde rond 1946 Book

Small parameters in structured population models and the Trotter-Kato theorem Article

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

Op de grens van twee werelden: ervaringen met wiskunde in een overgangstijdperk Book

A.F. Monna

Note on explicit parallel multistep Runge-Kutta methods Article

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

Linear stability of the hopscotch scheme Article

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

On the local recognition of finite metasymplectic spaces Article

A.M. Cohen (Arjeh) and B.N. Cooperstein

Abstraction and empty process in process algebra Article

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

On the safe termination of PROLOG programs In Proceedings

K.R. Apt (Krzysztof), R.N. Bol and J.W. Klop (Jan Willem)

On the estimation of the extreme-value index and large quantile estimation Article

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

Term-rewriting systems with rule priorities Article

J.C.M. Baeten (Jos), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and W.P. Weijland

The Clebsch-Gordan coefficients for the quantum group ${m S}sb µ{m U}(2)$ and $q$-Hahn polynomials Article

H.T. Koelink and T.H. Koornwinder

Perturbation theory for dual semigroups. III. Nonlinear Lipschitz continuous perturbations in the sun-reflexive [case] In Proceedings

P.P. Clément (Philippe), O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and H.R. Thieme

Maintaining multiple representations of dynamic data structures Article

M.H.M. Smid (Michiel), M.H. Overmars (Mark), L. Torenvliet (Leen) and P. van Emde Boas (Peter)

Solving reflexive domain equations in a category of complete metric spaces Article

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

On Kalman filtering for conditionally Gaussian systems with random matrices Article

H.-F. Chen (Han-Fu), P.R. Kumar and J.H. van Schuppen (Jan)

Tail triviality for sums of stationary random variables Article

H.C.P. Berbee (Henri) and W.T.F. den Hollander (Frank)

A moment estimator for the index of an extreme-value distribution Article

A.L.M. Dekkers, J.H.J. Einmahl and L.F.M. de Haan (Laurens)

Denotational semantics of a parallel object-oriented language Article

P.H.M. America (Pierre), J.W. de Bakker (Jaco), J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

Checking the Goldbach conjecture on a vector computer In Proceedings

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

Identifiability, recursive identification and spaces of linear dynamical systems: part II Book

B. Hanzon (Bernard)

Matrix and operator extensions Book

H.J. Woerdeman

Adaptive control and identification: conflict or conflux? Book

J.W. Polderman

Cartesian closed categories of domains Book

A. Jung

Algorithms for diophantine equations Book

B. de Weger (Benne)

Identifiability, recursive identification and spaces of linear dynamical systems: part I Book

B. Hanzon (Bernard)

A specification system for statistical software Book

V.J. de Jong

Central limit theorems for generalized multilinear forms Book

P. de Jong

Vacillation and predictability properties of low-order atmospheric spectral models Book

H.E. de Swart (Huibert)

Characterizations of Banach spaces not containing $L 1$ Book

D. van Dulst

A random model for plant cell population growth Book

M.C.M. de Gunst

Exponential type calculus for linear delay equations Book

S.M. Verduyn Lunel (Sjoerd)

Translating programs into delay-insensitive circuits Book

J.C. Ebergen (Jo)

Vakantiecursus 1989 Centrum voor Wiskunde en Informatica : wiskunde in de Gouden Eeuw Book

Bewijzen in de wiskunde Book

Proceedings van het symposium wiskunde en de computer : [Amsterdam, 1989] Book

Twenty-five years of operations research in the Netherlands: Papers dedicated to Gijs de Leve Book

User-Centred Hypertext Design: The Application of HCI Design Principles and Guidelines Book Chapter

L. Hardman (Lynda) and B.S. Sharratt

Evaluating the Usability of the Glasgow Online Hypertext Article

L. Hardman (Lynda)

Preface : Acta applicandae mathematicae 1989 Article

M. Hazewinkel (Michiel)

Nongaussian linear filtering, identification of linear systems, and the symplectic group In Proceedings

M. Hazewinkel (Michiel)

Local class field theory (by K. Iwasawa) Local field theory (by J. Neukirch) Article

M. Hazewinkel (Michiel)

Orthogonal representations and connectivity of graphs Article

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

Homotopy and crossings of systems of curves on a surface Article

A. Schrijver (Lex)

Distances and cuts in planar graphs Article

A. Schrijver (Lex)

On the size of systems of sets every t of which have an SDR, with an application of the wordt-case ratio of heuristics for packing problems Article

C.A.J. Hurkens (Cor) and A. Schrijver (Lex)

Nieuwjaarskaart 'We wish you a very happy 1989' Other

CWI, Amsterdam, The Netherlands

Uitnodiging voor symposium ter gelegenheid van het beeindigen van het dienstverband van prof. dr. H.A. Lauwerier Other

TW in beeld : bij het afscheid van H. A. Lauwerier, 30.11.1988 Book

Early computers in the Netherlands Article

E. Kranakis (Eda)

Hilbert's programme Article

C. Smorynski

Aspects of nonparametric density estimation Dissertation

A.J. van Es (Bert)

Beleidsnota CWI 1990-1995, en: Ontwerpbegroting 1990 Book

Exponential type calculus for linear delay equations Dissertation

S.M. Verduyn Lunel (Sjoerd)

Workshop strategisch onderzoek in informatica en wiskunde : Noordwijk, 22-23.09.1988 Proceedings

The numerical computation of time-dependent, incompressible fluid flow Dissertation

J.H.M. ten Thije Boonkkamp

J.W. Cohen: his scientific career Article

O.J. Boxma (Onno) and R. Syski

Overview of mathematical symbol manipulation Article

S. Steinberg (Stanly)

Mathematical formula manipulation from a user's point of view Article

A.M. Cohen (Arjeh)

An introduction to Knuth-Bendix completion Article

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

Logic programming and PROLOG Article

M.A. Bezem

Complexity of symbolic computing Article

P. van Emde Boas (Peter)

Opzoekingen : literatuur opzoeken in geautomatiseerde bestanden Booklet

W. Mettrop (Wouter)

Multigrid solution of the steady Euler equations Article

S.P. Spekreijse

Problems and results in the category of topological transformation groups Article

J. de Vries (Jan)

Adaptive control Article

J.W. Polderman and J.H. van Schuppen (Jan)

Andrei Nikolaevich Klomogorov Article

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

Elections with unconditionally-secret ballots and disruption equivalent to breaking RSA In Proceedings

D. Chaum (David)

Proceedings of the second Eurographics workshop on intelligent CAD systems : implementational issues : Veldhoven, The Netherlands, 11-15.04.1988 Proceedings

Computer aided routing Dissertation

M.W.P. Savelsbergh

Graphs and Polyhedra: binary spaces and cutting planes Dissertation

A.M.H. Gerards (Bert)

Benelux meeting on systems & control 1988 : Heijen, The Netherlands, 02-04.03.1988 : time schedule and summaries of talks Book

Linear structures in blockciphers Article

J.-H. Evertse (Jan-Hendrik)