Publications from 2013
-
January 1997
-
The busy period in the fluid queue Tech Report
January 1997 -
January 1997
-
On time-frequency analysis and time-limitedness Tech Report
January 1997 -
January 1997
-
Multiple semi-coarsening techniques Book Chapter
January 1997 -
Quantum computation Book Chapter
January 1997 -
Fractals under the microscope or reaching beyond the dimensional formalism of fractals with the wavelet transform Article
CWI Quarterly, 10(2), 109-151.January 1997 -
Quasicomplete factorizations of rational matrix functions Article
Integral Equations and Operator Theory, 27(1), 111-124.January 1997 -
Triangularly implicit iteration methods for ODE-IVP solvers. Dedicated to C. William Gear on the occasion of his 60th birthday Article
SIAM Journal on Scientific Computing, 18(1), 41-55.January 1997 -
Complementary triangular forms In Proceedings
January 1997 -
Integrable particle systems vs solutions to the KP and 2D Toda equations Article
Annals of Physics, 256(2), 226-301.January 1997 -
Numerical algorithms for uniform Airy-type asymptotic expansions Article
Numerical Algorithms, 15(2), 207-225.January 1997 -
January 1997
-
A classification of non-liftable orders for resolution In Proceedings
January 1997 -
Asymptotics and numerics of zeros of polynomials that are related to Daubechies wavelets Article
Applied and Computational Harmonic Analysis, 4(4), 414-428.January 1997 -
Outermost-fair rewriting In Proceedings
January 1997 -
Covering a symmetric poset by symmetric chains Article
Combinatorica, 17(3), 339-344.January 1997 -
A constructive mixing condition for $2$-D Gibbs measures with random interactions Article
Annals of Probability, 25(3), 1316-1333.January 1997 -
First order analytic difference equations and integrable quantum systems Article
Journal of Mathematical Physics, 38(2), 1069-1146.January 1997 -
Finite volume multigrid for $3$D-problems Book Chapter
January 1997 -
Linear systems and discontinuous dynamics In Proceedings
January 1997 -
Supervisory control using failure semantics and partial specifications Article
IEEE Transactions on Automatic Control, 42(4), 498-510.January 1997 -
Minor-monotone graph invariants Book Chapter
January 1997 -
Introduction to option pricing in a securities market II. Poisson approximation. Mathematics of finance, Part II Article
CWI Quarterly, 10(1), 65-100.January 1997 -
A note on bootstrapping the local time of the empirical process Article
Statistics & Decisions, 15(3), 295-300.January 1997 -
January 1997
-
January 1997
-
PicToSeek: A Content-based Image Search Engine for the WWW In Proceedings
January 1997 -
Measurement and Characterization in Vision Geometry In Proceedings
January 1997 -
Interactive Segmentation In Proceedings
January 1997 -
From Linear to Non-Linear Reading: A Case Study to Provide Internet Access to Paper Documents In Proceedings
January 1997 -
Fast Volume Render Techniques for Interactive Analysis Article
Visual Computer, 13(8), 345-357.January 1997 -
Combining Region Splitting and Edge Detection Through Guided Delaunay Image Subdivision In Proceedings
January 1997 -
A 3-D Model for Chromatin Organisation of G1 and G2 Populations from Quantitative Confocal Image Analysis Article
Cytometry, 27(3), 201-212.January 1997 -
On distances between phylogenetic trees In Proceedings
January 1997 -
January 1997
-
January 1997
-
On intersecting chains in Boolean algebras In Proceedings
January 1997 -
A notion of classical pure type system (preliminary version) In Proceedings
January 1997 -
Confluent rewriting of bisimilar term graphs In Proceedings
January 1997 -
Diagonal crossover in genetic algorithms for numerical optimization. Evolutionary computation Article
Control and Cybernetics, 26(3), 447-465.January 1997 -
Domain-free pure type systems In Proceedings
January 1997 -
Results on resource-bounded measure In Proceedings
January 1997 -
January 1997
-
Explicit substitutions for the $lambdaDelta$-calculus In Proceedings
January 1997 -
Analysis of DNAPL infiltration in a medium with a low-permeable lens Article
Computational Geosciences, 1(2), 191-214.January 1997 -
Six hypotheses in search of a theorem In Proceedings
January 1997 -
Euler and Navier-Stokes Solvers Using Multi-Dimensional Upwind Schemes and Multigrid Acceleration Book
January 1997 -
January 1997
-
Short shop schedules Article
Operations Research, 288-294.January 1997 -
January 1997
-
From chaotic iteration to constraint propagation In Proceedings
January 1997 -
Proving Concurrent Constraint Programs Correct Article
ACM Transactions on Programming Languages and Systems, 19(5)January 1997 -
Nonlinear multigrid for fully-implicit and high-order accurate simulation of multiphase flow in porous media Tech Report
January 1997 -
How fast the Laplace equation was solved in 1995 Article
Applied Numerical Mathematics, 24(4), 439-455.January 1997 -
The use of defect correction for the solution of parabolic singular perturbation problems Article
ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 77(1), 59-74.January 1997 -
A remark on the Van Lieshout and Baddeley $J$-function for point processes Article
Advances in Applied Probability, 29(1), 19-25.January 1997 -
January 1997
-
Infinitary lambda calculus Article
Theoretical Computer Science, 175(1), 93-125.January 1997 -
Making curves minimally crossing by Reidemeister moves Article
Journal of Combinatorial Theory - Series B, 70(1), 134-156.January 1997 -
Decomposition of graphs on surfaces Article
Journal of Combinatorial Theory - Series B, 70(1), 157-165.January 1997 -
Stability analysis of an odd-even-line hopscotch method for three-dimensional advection-diffusion problems Article
SIAM Journal on Numerical Analysis, 34(1), 376-388.January 1997 -
Average-case analysis using Kolmogorov complexity Book Chapter
January 1997 -
Travelling wave behaviour of crystal dissolution in porous media flow Article
European Journal of Applied Mathematics, 8(1), 49-72.January 1997 -
A central limit theorem for sums of correlated products Article
Statistica Neerlandica, 51(1), 23-34.January 1997 -
An $M/G/1$ queue with multiple types of feedback and gated vacations Article
Journal of Applied Probability, 34(3), 773-784.January 1997 -
Parallel linear system solvers for Runge-Kutta methods. Parallel methods for ODEs Article
Advances in Computational Mathematics, 7(1-2), 157-181.January 1997 -
Waveform relaxation methods for implicit differential equations. Parallel methods for ODEs Article
Advances in Computational Mathematics, 7(1-2), 183-197.January 1997 -
Realization by inspection Article
IEEE Transactions on Automatic Control, 42(9), 1257-1263.January 1997 -
Small weight bases for Hamming codes In Proceedings
January 1997 -
Homogeneous behaviors Article
Mathematics of Control, Signals, and Systems, 10(1), 61-75.January 1997 -
A note on negative customers, $GI/G/1$ workload, and risk processes Article
Probability in the Engineering and Informational Sciences, 11(3), 305-311.January 1997 -
A complete Vinogradov $3$-primes theorem under the Riemann hypothesis Article
Electronic Research Announcements of the American Mathematical Society, 99-104.January 1997 -
On strong laws for generalized $L$-statistics with dependent data Article
Commentationes Mathematicae Universitatis Carolinae, 38(1), 187-192.January 1997 -
The iterative solution of fully implicit discretizations of three-dimensional transport models Article
Applied Numerical Mathematics, 243-256.January 1997 -
Space localization and uniqueness of solutions of a quasilinear parabolic system arising in semiconductor theory Article
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 325(3), 267-272.January 1997 -
January 1997
-
Approximation on partially ordered sets of regular grids Article
Applied Numerical Mathematics, 25(1), 55-87.January 1997 -
Two heads are better than two tapes Article
Journal of the ACM, 44(2), 237-256.January 1997 -
An excursion to the Kolmogorov random strings In Proceedings
January 1997 -
Multigrid for steady gas dynamics problems Book Chapter
January 1997 -
Resource-bounded Kolmogorov complexity revisited In Proceedings
January 1997 -
Disappearing interfaces in nonlinear diffusion Article
Advances in Mathematical Sciences and Applications, 7(2), 695-710.January 1997 -
Dynamic Boolean models Article
Stochastic Processes and their Applications, 69(2), 247-257.January 1997 -
Ten years LNMB : Ph.D. research and graduate courses of the Dutch Network of Operations Research Book
January 1997 -
January 1997
-
January 1997
-
Splitting methods for three-dimensional transport models with interaction terms Article
Journal of Scientific Computing, 12(3), 215-231.January 1997 -
January 1997
-
A new world record for the special number field sieve factoring method Article
CWI Quarterly, 10(2), 105-107.January 1997 -
The miraculous universal distribution Article
The Mathematical Intelligencer, 19(4), 7-15.January 1997 -
Termination for a class of algorithms for constructing algebras given by generators and relations In Proceedings
January 1997 -
On the subject reduction property for algebraic type systems In Proceedings
January 1997 -
Average-case analysis via incompressibility In Proceedings
January 1997 -
Efficient and provable security amplifications In Proceedings
January 1997 -
A simple proof of the ratio ergodic theorem Article
Osaka Journal of Mathematics, 34(3), 653-657.January 1997 -
January 1997
-
Lambda calculus with explicit recursion Article
Information and Computation, 139(2), 154-233.January 1997 -
Euler-Chebyshev methods for integro-differential equations In Proceedings
January 1997