Publications from 2075

Numerical solution of a one-dimensional Stefan problem arising from laser-annealing In Proceedings

M. Bakker (Miente)

Mathematical decision theory: theory and practice [Mathematische besliskunde : theorie en praktijk] Book Chapter

G. de Leve (Gijs)

The weak stochastic realization problem for discrete-time counting processes In Proceedings

J.H. van Schuppen (Jan)

On generating new amicable pairs from given amicable pairs Article

H.J.J. te Riele (Herman)

One-dimensional Galerkin methods and superconvergence at interior nodal points Article

M. Bakker (Miente)

On the $G$-compactification of products Article

J. de Vries (Jan)

A comparative study of ADI splitting methods for parabolic equations in two space dimensions Article

H.B. de Vries

Almost stabilizability subspaces and high gain feedback Article

J.M. Schumacher (Hans)

Rules for constructing hyperperfect numbers Article

H.J.J. te Riele (Herman)

Error bounds for the solution to the algebraic equations in Runge-Kutta methods Article

K. Dekker

Multigrid methods for problems with a small parameter in the highest derivative In Proceedings

P.W. Hemker (Piet)

Contractivity of locally one-dimensional splitting methods Article

J.G. Verwer (Jan)

On oscillation properties and the interval of orthogonality of orthogonal polynomials Article

E.A. van Doorn

Distance regular graphs of diameter $3$ and strongly regular graphs Article

A.E. Brouwer (Andries)

Infinite horizon optimal control on manifolds In Proceedings

J.C.P. Bus

Iterated splitting method of high order for time-dependent partial differential equations Article

P.J. van der Houwen (Piet)

The Lagrange multiplier rule on manifolds and optimal control of nonlinear systems Article

J.C.P. Bus

Four MOLS of order $10$ with a hole of order $2$ Article

A.E. Brouwer (Andries)

On the overflow process from a finite Markovian queue Article

E.A. van Doorn

Polynomial factorization by root approximation In Proceedings

A.K. Lenstra (Arjen)

Asymptotic analysis of a queueing system with a two-dimensional state space Article

J.P.C. Blanc

On the simulation of many storage heads by one Article

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

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

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

Factoring multivariate integral polynomials Article

A.K. Lenstra (Arjen)

Proving total dual integrality with cross-free families---a general framework Article

A. Schrijver (Lex)

The mathematical modeling of entrained biological oscillators Article

J. Grasman (Johan)

Mixed defect correction iteration for the solution of a singular perturbation problem In Proceedings

P.W. Hemker (Piet)

Factoring multivariate polynomials over algebraic number fields In Proceedings

A.K. Lenstra (Arjen)

Holling's 'hungry mantid' model for the invertebrate functional response considered as a Markov process III. Stable satiation distribution Article

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

Matrices en de theorie van dynamische systemen (Matrices and the theory of dynamical systems) In Proceedings

J. Grasman (Johan)

Time dependent analysis of a queueing model by formulating a boundary value problem In Proceedings

J.P.C. Blanc

Special structure, decentralization and symmetry for linear systems In Proceedings

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

On the weak finite stochastic realization problem In Proceedings

G. Picci and J.H. van Schuppen (Jan)

Image Processing for Mitoses in Sections of Breast Cancer: A Feasibility Study Article

E.J. Kaman, A.W.M. Smeulders (Arnold), P.W. Verbeek, I.T. Young and J.P.A. Baak

Discrete Representation of Straight Lines Article

L. Dorst and A.W.M. Smeulders (Arnold)

Continuum population dynamics with an application to Daphnia magna Article

O. Diekmann (Odo), J.A.J. Metz, S.A.L.M. Kooijman and H.J.A.M. Heijmans (Henk)

Hoare's logic for programming languages with two data types Article

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

Invariant manifolds for Volterra integral equations of convolution type Article

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

Volterra-type integral equations of the second kind with nonsmooth solutions: high-order methods based on collocation techniques Article

H. Brunner and H.J.J. te Riele (Herman)

A symmetric design with parameters $2$-$(49,,16,,5)$ Article

A.E. Brouwer (Andries) and H.A. Wilbrink

On the power of real-time two-way multihead finite automata with jumps Article

W.J. Savitch and P.M.B. Vitányi (Paul)

Corrigendum: 'On infinite computations in denotational semantics' Article

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and J.I. Zucker

A limitation of Markov representation for stationary processes Article

H.C.P. Berbee (Henri) and R.C. Bradley

Stability in linear multistep methods for pure delay equations Article

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

On the stability of the cell size distribution Article

O. Diekmann (Odo), H.J.A.M. Heijmans (Henk) and H.R. Thieme

Two open problems in precedence constrained scheduling In Proceedings

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Linear time and branching time semantics for recursion with merge Article

J.W. de Bakker (Jaco), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)

An introduction to multilinear algebra and some applications Article

A. Blokhuis and J.J. Seidel

Singular perturbations and a mapping on an interval for the forced van der Pol relaxation oscillator Article

J. Grasman (Johan), H. Nijmeijer and E.J.M. Veling

Linear multistep methods with reduced truncation error for periodic initial value problems Article

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

Calculation of special functions: the gamma function, the exponential integrals and error-like functions Book

C.G. van der Laan and N.M. Temme (Nico)

Process algebra for synchronous communication Article

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

Bounded tiling, an alternative to satisfiability? In Proceedings

M.W.P. Savelsbergh and P. van Emde Boas (Peter)

Proving program inclusion using Hoare's logic Article

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

Preemptive scheduling of uniform machines subject to release dates In Proceedings

J. Labetoulle, E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

The defect correction approach In Proceedings

K. Böhmer, P.W. Hemker (Piet) and H.J. Stetter

Convergence of method of lines approximations to partial differential equations Article

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

A Berry-Esseen bound for $L$-statistics with unbounded weight functions In Proceedings

R. Helmers (Roelof) and M. Husková

A portable vector-code for autonomous multigrid modules. With a discussion In Proceedings

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

Strongly regular graphs and partial geometries In Proceedings

A.E. Brouwer (Andries) and J.H. van Lint

Invariant measures and the equicontinuous structure relation I. In Proceedings

J. de Vries (Jan) and J.C.S.P. van der Woude (Jaap)

Invariant measures and the equicontinuous structure relation. II. The relative case. In Proceedings

J. de Vries (Jan) and J.C.S.P. van der Woude (Jaap)

Generalised functions as linear functionals on generalized functions In Proceedings

T.H. Koornwinder and J.J. Lodder

On the Continuity of the Percolation Probability Function In Proceedings

J. van den Berg (Rob) and M.S. Keane

Disproof of the Conjectured Subexponentiality of certain Functions in Percolation Theory Article

J. van den Berg (Rob)

Colloquium topics in applied numerical analysis, vol. 2 : [held at the Centre for Mathematics and Computer Science, Amsterdam, during the academic year 1983/1984] Book

J.G. Verwer (Jan)

Intertwining functions on compact Lie groups Book

B. Hoogenboom

System theoretic description of physical systems Book

A.J. van der Schaft

Fake topological Hilbert spaces and characterizations of dimension in terms of negligibility Book

J.J. Dijkstra (Jan)

Controlled Markov processes : time discretization Book

N.M. van Dijk

Surfaces with canonical hyperplane sections Book

D.H.J. Epema

Computational methods in number theory, part 2 (2nd ed.) : [based on lectures, presented at the study week 'Number theory and computers', Amsterdam, 01-05.09.1980] Book

H.W. Lenstra (Hendrik) and R. Tijdeman

Identification and informative sample size (2nd print.) Book

H.H. Tigelaar

Colloquium topics in applied numerical analysis, vol. 1 : [held at the Centre for Mathematics and Computer Science, Amsterdam, during the academic year 1983/1984] Book

Proceedings seminar 1981-1982 mathematical structures in field theories : [lectures given during the seminar at the academic year 1981-1982 at Amsterdam] Book

Vakantiecursus 1984 Centum voor Wiskunde en Informatica : Hewet - plus wiskunde Book

Models of the lambda calculus Book

C.P.J. Koymans

Algorithms and appoximations for queueing systems Book

M.H. van Hoorn

Few-distance sets Book

A. Blokhuis

Edgeworth expansions for linear combinations of order statistics Book

R. Helmers (Roelof)

Testing statistical hypotheses : worked solutions Book

W.C.M. Kallenberg

Review of "Principles of concurrent programming" by Ben Ari Article

K.R. Apt (Krzysztof)

Physical models and equilibrium methods Book

B.S. Razumikhin

Transformations realizing fairness assumptions in parallel programs In Proceedings

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

A static analysis of VSP programs In Proceedings

K.R. Apt (Krzysztof)

On positive vectors, positive matrices and the specialization order Tech Report

M. Hazewinkel (Michiel)

Fair termination revisited - with delay Article

K.R. Apt (Krzysztof), A. Pnueli and J. Stavi

Modeling the distributed termination convention of CSP Article

K.R. Apt (Krzysztof) and N. Francez

Ten years of Hoare s logic, a survey, part II: n ondeterminism Article

K.R. Apt (Krzysztof)

Quantum mechanical system symmetry In Proceedings

T.J. Tarn, M. Hazewinkel (Michiel) and C.K. Ong

Vezelbundels en natuurkunde Article

M. Hazewinkel (Michiel)

Symmetry in physics and systems theory, an introduction to past, present and future possibilities In Proceedings

M. Hazewinkel (Michiel)

Notes on (the philosophy of ) linearization Tech Report

M. Hazewinkel (Michiel)

Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor In Proceedings

M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann

Multigrid algorithms run on supercomputers Article

P.W. Hemker (Piet)

Total dual integrality from directed graphs, crossing families, and sub- and supermodular functions Article

A. Schrijver (Lex)

Geometric methods in combinatorial optimization Article

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

A polynomial-time test for total dual integrality in fixed dimension Article

W.J. Cook, L. Lovász (László) and A. Schrijver (Lex)

Polynomial algorithms for perfect graphs Article

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

Symposium 'Wiskunde en Informatica' : CWI, 25.11.1983 : abstracts Booklet