Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The 'cumulative' formulation of (physiologically) structured population models In Proceedings

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

January 1994
Divisibility properties of integers $x, k$ satisfying $1sp k + cdots + (x-1)sp k=xsp k$ Article

Mathematics of Computation, 63(208), 799-815.

P. Moree, H.J.J. te Riele (Herman) and J. Urbanowicz

January 1994
Percolation and the hard-core lattice gas model Article

Stochastic Processes and their Applications, 49(2), 179-197.

J. van den Berg (Rob) and J.E. Steif

January 1994
Near polygons and Fischer spaces Article

Geometriae Dedicata, 49(3), 349-368.

A.E. Brouwer (Andries), A.M. Cohen (Arjeh), J.I. Hall and H.A. Wilbrink

January 1994
The adjoint of a positive semigroup Article

Compositio Mathematica, 90(1), 99-118.

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

January 1994
Interpretations of the gap topology: a survey Article

Kybernetika (Prague), 30(2), 105-120.

J. de Does (Jesse) and J.M. Schumacher (Hans)

January 1994
Camera placement in integer lattices Article

Discrete & Computational Geometry, 12(1), 91-104.

E. Kranakis (Evangelos) and M. Pocchiola

January 1994
Statistical properties of finite sequences with high Kolmogorov complexity Article

Journal on Mathematical Computing Theory, 27(4), 365-376.

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1994
Fast computation of an alternating sum Article

Nieuw Archief voor Wiskunde, 12(1-2), 13-18.

R. Fokkink, W.J. Fokkink (Wan) and J. van de Lune (Jan)

January 1994
Exponentially improved asymptotic solutions of ordinary differential equations II. Irregular singularities of rank one Article

Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences, 445(1923), 39-56.

A.B. Olde Daalhuis and F.W.J. Olver

January 1994
Parameter estimation for nearly nonstationary AR}(1) processes Article

Mathematical and Computer Modelling, 19(2), 29-41.

K.O. Dzhaparidze (Kacha), J. Kormos, T. van der Meer and M.C.A. van Zuijlen

January 1994
On weighted multiway cuts in trees Article

Mathematical Programming, 65(1), 93-105.

P.L. Erdös (Péter) and L.A. Székely

January 1994
Induced circuits in planar graphs Article

Journal of Combinatorial Theory - Series B, 60(2), 169-176.

C.J.H. McDiarmid (Colin), B. Reed, A. Schrijver (Lex) and F.B. Shepherd (Bruce)

January 1994
A structural characterisation of product form stochastic Petri nets In Proceedings

R.J. Boucherie (Richard) and M. Sereno

January 1994
Queueing-theoretic solution methods for models of parallel and distributed systems In Proceedings

O.J. Boxma (Onno), G.M. Koole (Ger) and Z. Liu (Zhe)

January 1994
Declarative interpretations reconsidered In Proceedings

K.R. Apt (Krzysztof) and M. Gabbrielli

January 1994
A computer-checked verification of Milner's scheduler In Proceedings

H.P. Korver and J.G. Springintveld

January 1994
Bootstrapping multivariate $U$-quantiles and related statistics Article

Journal of Multivariate Analysis, 49(1), 97-109.

R. Helmers (Roelof) and M. Husková

January 1994
An evaluation of explicit pseudo-steady-state approximation schemes for stiff ODE systems from chemical kinetics Article

Journal of Computational Physics, 113(2), 347-352.

J.G. Verwer (Jan) and M. van Loon (Martin)

January 1994
Uniform Airy-type expansions of integrals Article

SIAM Journal on Mathematical Analysis, 25(2), 304-321.

A.B. Olde Daalhuis and N.M. Temme (Nico)

January 1994
Disagreement percolation in the study of Markov fields Article

Annals of Probability, 22(2), 749-763.

J. van den Berg (Rob) and C. Maes

January 1994
Butcher-Kuntzmann methods for nonstiff problems on parallel computers In Proceedings

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

January 1994
A declarative approach for first-order built-in's of Prolog In Proceedings

K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)

January 1994
Modal logic, transition systems and processes Article

Journal of Logic and Computation, 4(5), 811-855.

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and V. Stebletsova

January 1994
GEL, a graph exchange language Tech Report

J.F.T. Kamperman (Jasper)

January 1994
Quantum homogeneous spaces, duality and quantum $2$-spheres Article

Geometriae Dedicata, 52(3), 291-315.

M. Dijkhuizen and T.H. Koornwinder

January 1994
Spectral characterization of the optional quadratic variation process Article

Stochastic Processes and their Applications, 54(1), 165-174.

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

January 1994
Preconditioning in parallel Runge-Kutta methods for stiff initial value problems. Recent trends and applications in the numerical solution of ordinary differential equations Article

Computers & Mathematics with Applications, 28(10-12), 17-31.

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

January 1994
Method of lines and direct discretization: a comparison for linear advection Article

Applied Numerical Mathematics, 13(6), 469-490.

W. Hundsdorfer (Willem) and R.A. Trompert (Ronald)

January 1994
Kolmogorov complexity arguments in combinatorics Article

Journal of Combinatorial Theory - Series A, 66(2), 226-236.

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1994
Packing odd paths Article

Journal of Combinatorial Theory - Series B, 62(2), 280-288.

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

January 1994
Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Article

Numerical Algorithms, 8(2-4), 293-312.

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

January 1994
Computing Boolean functions on anonymous networks Article

Information and Computation, 114(2), 214-236.

J. van den Berg (Rob), E. Kranakis (Evangelos) and D.D.M. Krizanc

January 1994
Continuity of singular perturbations in the graph topology Article

Linear Algebra and its Applications, 1121-1143.

J. de Does (Jesse) and J.M. Schumacher (Hans)

January 1994
Proofs of partial knowledge and simplified design of witness hiding protocols In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and L.A.M. Schoenmakers (Berry)

January 1994
Link length of rectilinear Hamiltonian tours in grids Article

Ars Combinatoria, 177-192.

L.G.L.T. Meertens (Lambert), D.D.M. Krizanc and E. Kranakis (Evangelos)

January 1994
CQG algebras: a direct algebraic approach to compact quantum groups Article

Letters in Mathematical Physics, 32(4), 315-330.

M. Dijkhuizen and T.H. Koornwinder

January 1994
A stochastic approach to an interpolation problem with applications to Hellinger integrals and arithmetic-geometric mean relationship Article

CWI Quarterly, 7(3), 245-258.

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

January 1994
Time integration of three-dimensional numerical transport models. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. Article

Applied Numerical Mathematics, 16(1-2), 201-225.

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

January 1994
On intersecting chains in Boolean algebras Article

Combinatorics, Probability and Computing, 3(1), 57-62.

P.L. Erdös (Péter), A. Seress and L.A. Székely

January 1994
Weak orthogonality implies confluence: the higher-order case In Proceedings

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1994
Grid minors of graphs on the torus Article

Journal of Combinatorial Theory - Series B, 61(1), 57-62.

M. de Graaf (Mart) and A. Schrijver (Lex)

January 1994
The STO-problem is NP-hard Article

Journal of Symbolic Computation, 18(5), 489-495.

K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling

January 1994
Comparing combinatory reduction systems and higher-order rewrite systems In Proceedings

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1994
Fully abstract denotational models for nonuniform concurrent languages Article

Information and Computation, 115(1), 125-178.

E. Horita, J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

January 1994
Initial algebra and final coalgebra semantics for concurrency In Proceedings

J.J.M.M. Rutten (Jan) and D. Turi

January 1994
Counting problems relating to a theorem of Dirichlet Article

Computational Geometry, 4(6), 309-325.

E. Kranakis (Evangelos) and M. Pocchiola

January 1994
Computational number theory at CWI in 1970--1994 Article

CWI Quarterly, 7(4), 285-335.

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

January 1994
Complexity of scheduling multiprocessor tasks with prespecified processor allocations Article

Discrete Applied Mathematics, 55(3), 259-272.

J.A. Hoogeveen, S.L. van de Velde and B. Veltman

January 1994
Linear approximation of shortest superstrings Article

Journal of the Association for Computing Machinery, 630-647.

A. Blum, T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and M. Yannakakis

January 1994
Linguistics, logic and finite trees Article

Bulletin of the Interest Group in Pure and Applied Logics, 2(1), 3-29.

P. Blackburn (Patrick) and W. P. M. Meyer Viol (Wilfried)

January 1994
Stability estimates based on numerical ranges with an application to a spectral method Article

BIT : Numerical Mathematics, 34(2), 228-238.

J.L.M. van Dorsselaer and W. Hundsdorfer (Willem)

January 1994
Performance evaluation of parallel and distributed systems : solution methods : proceedings of the third QMIPS [Quantitative Modeling in Parallel Systems] workshop, [Torino, Italy, 25-26.09.1993], part 2 Book

O.J. Boxma (Onno) and G.M. Koole (Ger)

January 1994
Iterative methods for non-linear partial differential equations Book

J.M.L. Maubach

January 1994
One-dependent processes: two-block-factors and non-two-block-factors Book

V. de Valk

January 1994
Systematic computations on Mertens' conjecture and Dirichlet's divisor problem by vectorized sieving Book Chapter

W.M. Lioen (Walter) and J. van de Lune (Jan)

January 1994
Comparing negation in logic programming and in Prolog Book Chapter

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1994
Performance evaluation of parallel and distributed systems : solution methods : proceedings of the third QMIPS [Quantitative Modeling in Parallel Systems] workshop, [Torino, Italy, 25-26.09.1993], part 1 Book

O.J. Boxma (Onno) and G.M. Koole (Ger)

January 1994
A compensation approach for queueing problems Book

I.J.B.F. Adan

January 1994
Contributions to multigrid : a selection of contributions to the fourth European multigrid conference, held in Amsterdam, 06-09.07.1993 Book

P.W. Hemker (Piet) and P. Wesseling

January 1994
Stochastic processes and point processes of excursions Book

J.A.M. van der Weide (Hans)

January 1994
Dynamic feedback in nonlinear synthesis problems Book

H.J.C. Huijberts

January 1994
Stability analysis of a difference scheme for three-dimensional advection-diffusion problems Book Chapter

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

January 1994
Wiskunde en praktijk in historisch perspectief : reader Book

January 1994
Wiskunde en praktijk in historisch perspectief : syllabus Book

G. Alberts (Gerard)

January 1994
Vakantiecursus [Centrum voor Wiskunde en Informatica] 1994 : computeralgebra Book

January 1994
Polymer Dynamics in Random Media, Replica Theory, Ternary Systems: Mappings and Equivalences Article

Macromolecular Symposia, 31-44.

U. Ebert (Ute) and L. Schäfer

January 1994
Universal Aspects of Polymer Diffusion in Random Media Article

Macromolecular Symposia, 17-29.

L. Schäfer and U. Ebert (Ute)

January 1994
On optimality of regular projective estimators for semimartingale models II. Asymptotically linear estimators. Article

Stochastics Stochastics Reports, 47(3-4), 247-268.

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

January 1994
The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model Article

Communications of the ACM, 37(2), 50-62.

L. Hardman (Lynda), D.C.A. Bulterman (Dick) and G. van Rossum (Guido)

January 1994
Query Optimization Strategies for Browsing Sessions In Proceedings

M.L. Kersten (Martin) and M.F.N. de Boer

January 1994
An Approach to Schema Integration Based on Transformations and Behaviour In Proceedings

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

January 1994
Fast, Randomized Join-Order Selection - Why Use Transformations? In Proceedings

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 1994
Markov properties of cluster processes Tech Report

A.J. Baddeley (Adrian), M.N.M. van Lieshout (Marie-Colette) and J. Møller

January 1994
Discussion contribution to U. Grenander and M.I. Miller: Representations of knowledge in complex systems Article

Journal of the Royal Statistical Society - Series B: Statistical Methodology, 585-585.

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

January 1994
Stochastic annealing for nearest-neighbour point processes with application to object recognition Article

Advances in Applied Probability, 281-300.

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

January 1994
Some problems in applied algebra Book Chapter

M. Hazewinkel (Michiel)

January 1994
Editorial: From universal morphisms to megabytes: a Baayen space odyssey Book Chapter

January 1994
The Wouthuysen equation Book Chapter

M. Hazewinkel (Michiel)

January 1994
Modular termination proofs for logic and pure prolog programs Book Chapter

K.R. Apt (Krzysztof) and D. Pedreschi

January 1994
Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics In Proceedings

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

January 1994
Reasoning about prolog programs: from modes through types to assertions Article

Formal Aspects of Computing, 6(6A), 743-765.

K.R. Apt (Krzysztof) and E. Marchiori

January 1994
Logic programming and negation: a survey Article

Journal of Logic Programming, 9-71.

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

January 1994
On the occur-check free prolog programs Article

ACM Transactions on Programming Languages and Systems, 16(3), 687-726.

K.R. Apt (Krzysztof) and A. Pellegrini

January 1994
A new definition of SLDNF-resolution Article

Journal of Logic Programming, 18(2), 177-190.

K.R. Apt (Krzysztof) and K. Doets

January 1994
Programmverifikation: Sequentielle, parallele und verteilte programme Book

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

January 1994
Approximation methods for n-component solute transport and ion-exchange Article

Journal of Computational and Applied Mathematics, 53(2), 275-290.

P.M.C. Thoolen and P.W. Hemker (Piet)

January 1994
Discrete approximation of parabolic PDE's with a discontinuous initial condition Article

International Journal of Computational Fluid Dynamics, 2(4), 375-392.

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

January 1994
From universal morphisms to megabytes: A Baayen space odyssey Book

January 1994
A set of algorithms for the incomplete gamma functions Article

Probability in the Engineering and Informational Sciences, 291-307.

N.M. Temme (Nico)

January 1994
Aspects of algorithms and complexity Dissertation

Quantum Computing and Advanced System Research

J.T. Tromp (John)

December 1993
Models and axioms for a fragment of real time process algebra Dissertation

A.S. Klusener (Steven)

December 1993
Extending modal logic Dissertation

M. de Rijke (Maarten)

December 1993
Representation and learning in feedforward neural networks Article

CWI Quarterly, 6(4), 385-408.

H.L. Trentelman

December 1993
30 Years after Sketchpad: relaxation of geometric constraints revisited Article

CWI Quarterly, 6(4), 363-383.

C.W.A.M. van Overveld

December 1993
A spline-wavelet image decomposition for a difference engine Article

CWI Quarterly, 6(4), 335-362.

P.C. Marais, E.H. Blake and A.A.M. Kuijk (Fons)

December 1993
Hyperfunctions and analytic functionals Article

CWI Quarterly, 6(4), 317-333.

V.V. Zharinov (Victor)

December 1993
Technologie overdracht : CWI in bedrijf, 08.10.1993 Booklet

October 1993
Foreword: Science of Computer Programming Vol: 21 Nr: 2 Article

Science of Computer Programming, 21(2), 91-92.

K.R. Apt (Krzysztof) and M. Hagiya

October 1993
Robust multigrid methods for the steady and unsteady incompressible Navier-Stokes equations in general coordinates Dissertation

C.W. Oosterlee (Kees)

September 1993

Previous

Next

Available Years