Publications from 2013
-
Schouten beschouwd Book
January 1994 -
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.January 1994 -
Percolation and the hard-core lattice gas model Article
Stochastic Processes and their Applications, 49(2), 179-197.January 1994 -
Near polygons and Fischer spaces Article
Geometriae Dedicata, 49(3), 349-368.January 1994 -
The adjoint of a positive semigroup Article
Compositio Mathematica, 90(1), 99-118.January 1994 -
Interpretations of the gap topology: a survey Article
Kybernetika (Prague), 30(2), 105-120.January 1994 -
Camera placement in integer lattices Article
Discrete & Computational Geometry, 12(1), 91-104.January 1994 -
Statistical properties of finite sequences with high Kolmogorov complexity Article
Journal on Mathematical Computing Theory, 27(4), 365-376.January 1994 -
Fast computation of an alternating sum Article
Nieuw Archief voor Wiskunde, 12(1-2), 13-18.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.January 1994 -
Parameter estimation for nearly nonstationary AR}(1) processes Article
Mathematical and Computer Modelling, 19(2), 29-41.January 1994 -
On weighted multiway cuts in trees Article
Mathematical Programming, 65(1), 93-105.January 1994 -
Induced circuits in planar graphs Article
Journal of Combinatorial Theory - Series B, 60(2), 169-176.January 1994 -
January 1994
-
January 1994
-
Declarative interpretations reconsidered In Proceedings
January 1994 -
A computer-checked verification of Milner's scheduler In Proceedings
January 1994 -
Bootstrapping multivariate $U$-quantiles and related statistics Article
Journal of Multivariate Analysis, 49(1), 97-109.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.January 1994 -
Uniform Airy-type expansions of integrals Article
SIAM Journal on Mathematical Analysis, 25(2), 304-321.January 1994 -
Disagreement percolation in the study of Markov fields Article
Annals of Probability, 22(2), 749-763.January 1994 -
January 1994
-
A declarative approach for first-order built-in's of Prolog In Proceedings
January 1994 -
Modal logic, transition systems and processes Article
Journal of Logic and Computation, 4(5), 811-855.January 1994 -
GEL, a graph exchange language Tech Report
January 1994 -
Quantum homogeneous spaces, duality and quantum $2$-spheres Article
Geometriae Dedicata, 52(3), 291-315.January 1994 -
Spectral characterization of the optional quadratic variation process Article
Stochastic Processes and their Applications, 54(1), 165-174.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.January 1994 -
Method of lines and direct discretization: a comparison for linear advection Article
Applied Numerical Mathematics, 13(6), 469-490.January 1994 -
Kolmogorov complexity arguments in combinatorics Article
Journal of Combinatorial Theory - Series A, 66(2), 226-236.January 1994 -
Packing odd paths Article
Journal of Combinatorial Theory - Series B, 62(2), 280-288.January 1994 -
Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Article
Numerical Algorithms, 8(2-4), 293-312.January 1994 -
Computing Boolean functions on anonymous networks Article
Information and Computation, 114(2), 214-236.January 1994 -
Continuity of singular perturbations in the graph topology Article
Linear Algebra and its Applications, 1121-1143.January 1994 -
January 1994
-
Link length of rectilinear Hamiltonian tours in grids Article
Ars Combinatoria, 177-192.January 1994 -
CQG algebras: a direct algebraic approach to compact quantum groups Article
Letters in Mathematical Physics, 32(4), 315-330.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.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.January 1994 -
On intersecting chains in Boolean algebras Article
Combinatorics, Probability and Computing, 3(1), 57-62.January 1994 -
Weak orthogonality implies confluence: the higher-order case In Proceedings
January 1994 -
Grid minors of graphs on the torus Article
Journal of Combinatorial Theory - Series B, 61(1), 57-62.January 1994 -
The STO-problem is NP-hard Article
Journal of Symbolic Computation, 18(5), 489-495.January 1994 -
January 1994
-
Fully abstract denotational models for nonuniform concurrent languages Article
Information and Computation, 115(1), 125-178.January 1994 -
January 1994
-
Counting problems relating to a theorem of Dirichlet Article
Computational Geometry, 4(6), 309-325.January 1994 -
Computational number theory at CWI in 1970--1994 Article
CWI Quarterly, 7(4), 285-335.January 1994 -
Complexity of scheduling multiprocessor tasks with prespecified processor allocations Article
Discrete Applied Mathematics, 55(3), 259-272.January 1994 -
Linear approximation of shortest superstrings Article
Journal of the Association for Computing Machinery, 630-647.January 1994 -
Linguistics, logic and finite trees Article
Bulletin of the Interest Group in Pure and Applied Logics, 2(1), 3-29.January 1994 -
Stability estimates based on numerical ranges with an application to a spectral method Article
BIT : Numerical Mathematics, 34(2), 228-238.January 1994 -
January 1994
-
January 1994
-
January 1994
-
Systematic computations on Mertens' conjecture and Dirichlet's divisor problem by vectorized sieving Book Chapter
January 1994 -
January 1994
-
January 1994
-
January 1994
-
January 1994
-
January 1994
-
January 1994
-
Stability analysis of a difference scheme for three-dimensional advection-diffusion problems Book Chapter
January 1994 -
January 1994
-
January 1994
-
January 1994
-
Polymer Dynamics in Random Media, Replica Theory, Ternary Systems: Mappings and Equivalences Article
Macromolecular Symposia, 31-44.January 1994 -
Universal Aspects of Polymer Diffusion in Random Media Article
Macromolecular Symposia, 17-29.January 1994 -
On optimality of regular projective estimators for semimartingale models II. Asymptotically linear estimators. Article
Stochastics Stochastics Reports, 47(3-4), 247-268.January 1994 -
The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model Article
Communications of the ACM, 37(2), 50-62.January 1994 -
Query Optimization Strategies for Browsing Sessions In Proceedings
January 1994 -
January 1994
-
January 1994
-
Markov properties of cluster processes Tech Report
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.January 1994 -
Stochastic annealing for nearest-neighbour point processes with application to object recognition Article
Advances in Applied Probability, 281-300.January 1994 -
Some problems in applied algebra Book Chapter
January 1994 -
January 1994
-
The Wouthuysen equation Book Chapter
January 1994 -
January 1994
-
Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics In Proceedings
January 1994 -
Reasoning about prolog programs: from modes through types to assertions Article
Formal Aspects of Computing, 6(6A), 743-765.January 1994 -
Logic programming and negation: a survey Article
Journal of Logic Programming, 9-71.January 1994 -
On the occur-check free prolog programs Article
ACM Transactions on Programming Languages and Systems, 16(3), 687-726.January 1994 -
A new definition of SLDNF-resolution Article
Journal of Logic Programming, 18(2), 177-190.January 1994 -
January 1994
-
Approximation methods for n-component solute transport and ion-exchange Article
Journal of Computational and Applied Mathematics, 53(2), 275-290.January 1994 -
Discrete approximation of parabolic PDE's with a discontinuous initial condition Article
International Journal of Computational Fluid Dynamics, 2(4), 375-392.January 1994 -
January 1994
-
A set of algorithms for the incomplete gamma functions Article
Probability in the Engineering and Informational Sciences, 291-307.January 1994 -
Aspects of algorithms and complexity Dissertation
Quantum Computing and Advanced System ResearchDecember 1993 -
December 1993
-
Extending modal logic Dissertation
December 1993 -
Representation and learning in feedforward neural networks Article
CWI Quarterly, 6(4), 385-408.December 1993 -
30 Years after Sketchpad: relaxation of geometric constraints revisited Article
CWI Quarterly, 6(4), 363-383.December 1993 -
A spline-wavelet image decomposition for a difference engine Article
CWI Quarterly, 6(4), 335-362.December 1993 -
Hyperfunctions and analytic functionals Article
CWI Quarterly, 6(4), 317-333.December 1993 -
October 1993
-
Foreword: Science of Computer Programming Vol: 21 Nr: 2 Article
Science of Computer Programming, 21(2), 91-92.October 1993