Publications from 2025
-
January 1998
-
January 1998
-
Transparent Parallelism in Query Execution In Proceedings
January 1998
-
January 1998
-
Size-biased random closed sets Book Chapter
January 1998
-
Operational semantics of rewriting with priorities Article
Theoretical Computer Science, 200(1-2), 289-312.January 1998
-
January 1998
-
Let's talk about it: Dialogues with multimedia databases. Database support for human activity Article
Displays, 18(4), 215-220.January 1998
-
January 1998
-
A proof theoretic view of constraint programming Article
Fundamenta Informaticae, 34(3), 1-27.January 1998
-
January 1998
-
Evaluation method for content-based photo retrieval In Proceedings
January 1998
-
Een architectuur voor multimedia databases In Proceedings
January 1998
-
January 1998
-
The relationship between IR and multimedia databases In Proceedings
January 1998
-
January 1998
-
Mirror: Multimedia query processing in extensible databases In Proceedings
January 1998
-
Preface: Algebra and combinatorics : interactions and applications Article
Acta Applicandae Mathematicae, 1-2.January 1998
-
On phi-amicable pairs Article
Mathematics of Computation, 657(221), 399-411.January 1998
-
A defect correction method for parabolic singular perturbed problems with convective terms In Proceedings
January 1998
-
Alma-0: An imperative language thet supports declarative programming Article
ACM Transactions on Programming Languages and Systems, 20(5), 1014-1066.January 1998
-
Similarity solution for capillary redistribution of two phases in a porous medium with a single discontinuity Article
Advances in Water Resources, 21(6), 451-461.January 1998 -
Percolation and coalescing particle systems Dissertation
December 1997
-
Strong viscous-inviscid interaction and the effects of streamline curvature Article
CWI Quarterly, 10(3-4), 353-359.December 1997
-
Error estimates and numerical experiments for streamline-diffusion-type methods on arbitrary and Shishkin meshes Article
CWI Quarterly, 10(3-4), 337-352.December 1997
-
A numerical method with floating meshes for singularity perturbed problems with a concentrated disturbance in the initial data Article
CWI Quarterly, 10(3-4), 317-336.December 1997
-
Stabilization of mixed finite elements for convection-diffusion problems Article
CWI Quarterly, 10(3-4), 301-315.December 1997
-
A comparison of the finite element method on Shishkin and Gartland-type meshes for convection-diffusion problems Article
CWI Quarterly, 10(3-4), 277-300.December 1997
-
Uniform in ε convergence of finite element method for convection-diffusion equations using a priori chosen meshes Article
CWI Quarterly, 10(3-4), 253-276.December 1997
-
Numerical solution of elliptic convection-diffusion problems on fitted meshes Article
CWI Quarterly, 10(3-4), 239-251.December 1997
-
Boundary layer-adapted grids and domain decomposition in stabilized Galerkin methods for elliptic problems Article
CWI Quarterly, 10(3-4), 215-238.December 1997
-
The necessity of fitted operators and Shishkin meshes for resolving thin layer phenomena Article
CWI Quarterly, 10(3-4), 207-213.December 1997
-
Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems Article
Computer Standards & Interfaces, 18(6-7), 525-535.December 1997
-
Integrating the Amsterdam hypermedia model with the standard reference model for intelligent multimedia presentation systems Article
Computer Standards & Interfaces, 18(6-7), 497-507.December 1997
-
Gaussian limits for discrepancies I. Asymptotic results Article
Computer Physics Communications, 107(1-3), 1-20.December 1997
-
Dynamic server assignment in a two-queue model Article
European Journal of Operational Research, 103(3), 595-609.December 1997
-
Bayesian Networks in a Data Mining tool In Proceedings
December 1997
-
November 1997 -
Probabilistic and transformation based query optimization Dissertation
Database ArchitecturesNovember 1997 -
Surface without Structure Dissertation
November 1997
-
Quality constraints and constrained quality Dissertation
November 1997 -
The solution of implicit differential equations on parallel computers Article
Applied Numerical Mathematics, 25(2-3), 257-274.November 1997
-
The iterative solution of fully implicit discretizations of three-dimensional transport models Article
Applied Numerical Mathematics, 25(2-3), 243-256.November 1997
-
On the stability of implicit-explicit linear multistep methods Article
Applied Numerical Mathematics, 25(2-3), 193-205.November 1997 -
Parallel iterative linear solvers for multistep Runge-Kutta methods Article
Journal of Computational and Applied Mathematics, 85(1), 145-167.November 1997
-
Exact probabilities and asymptotics for the one-dimensional coalescing ideal gas Article
Stochastic Processes and their Applications, 71(2), 275-284.November 1997
-
A Framework for Generating Adaptable Hypermedia Documents In Proceedings
November 1997
-
October 1997
-
October 1997
-
Grammars modulo bisimulation Dissertation
October 1997 -
Mathematical methods for reflector design Dissertation
Scientific ComputingOctober 1997
-
October 1997 -
Benchmarking stiff ODE solvers for atmospheric chemistry problems II: Rosenbrock solvers Article
Atmospheric Environment, 31(20), 3459-3472.October 1997
-
Benchmarking stiff ODE solvers for atmospheric chemistry problems--I. implicit vs explicit Article
Atmospheric Environment, 31(19), 3151-3166.October 1997
-
A simple ODE solver based on 2-stage Radau IIA Article
Journal of Computational and Applied Mathematics, 84(2), 277-280.October 1997
-
September 1997 -
A complete Vinogradov 3-primes theorem under the Riemann hypothesis Article
Electronic Research Announcements of the American Mathematical Society, 3(15), 99-104.September 1997 -
September 1997
-
September 1997 -
RSI en het CWI Book
September 1997
-
Realization of continuous-time positive linear systems Article
Systems & Control Letters, 31(4), 243-253.September 1997
-
DEGAS: A Database of Autonomous Objects Article
Information Systems, 22(2,3), 121-138.September 1997
-
August 1997 -
Detecting feature interactions with Caesar / Aldébaran Article
Science of Computer Programming, 29(1-2), 259-278.July 1997
-
June 1997
-
June 1997
-
Factoring large integers with the quadratic sieve Dissertation
June 1997 -
On information structures and nonsequential stochastic control Article
CWI Quarterly, 10(2), 179-199.June 1997
-
Aggregation models of fractal growth Article
CWI Quarterly, 10(2), 153-178.June 1997
-
May 1997 -
May 1997 -
Termination for a class of algorithms for constructing algebras given by generators and relations Article
Journal of Pure and Applied Algebra, 431-445.May 1997
-
Lattice calculus of the morphological slope transform Article
Signal Processing, 59(1), 17-42.May 1997
-
Formal verification of a leader election protocol in process algebra Article
Chicago Journal of Theoretical Computer Science, 177(2), 459-486.May 1997
-
April 1997 -
April 1997
-
April 1997
-
Computational steering Article
Future Generation Computer Systems, 12(5), 441-450.April 1997
-
Degas: A Database of Autonomous objects Article
Information Systems, 22(2-3), 121-138.April 1997
-
Realization of Positive Linear Systems Article
Linear Algebra and its Applications, 287-308.April 1997
-
Style Sheet Support for Hypermedia Documents Book Chapter
April 1997
-
Algebraic specification of visual languages Dissertation
Software EngineeringMarch 1997 -
Actuarial applications of financial models Article
CWI Quarterly, 10(1), 55-64.March 1997
-
Option pricing, arbitrage and martingales Article
CWI Quarterly, 10(1), 35-53.March 1997
-
Derivative asset analysis in models with level-dependent and stochastic volatility Article
CWI Quarterly, 10(1), 1-34.March 1997
-
Regulation as an Interpolation Problem Article
Linear Algebra and its Applications, 311-340.March 1997
-
A minor-monotone graph parameter based on oriented matroids Article
Discrete Mathematics, 219-226.March 1997
-
Teaching Through Adaptive Hypertext on the WWW Article
International Journal of Educational Telecommunications, 3(2-3), 163-180.March 1997 -
February 1997 -
Modular Design of Secure yet Practical Cryptographic Protocols Dissertation
Quantum Computing and Advanced System ResearchJanuary 1997
-
Presentation and exploration of flow data Dissertation
January 1997 -
Acceleration of Iterative Methods by Coarse Grid Corrections Dissertation
Scientific ComputingJanuary 1997
-
Problems in degenerate diffusion Dissertation
January 1997 -
Improving Euler computations at low Mach numbers Book Chapter
January 1997 -
3D multigrid on partially ordered sets of grids Book Chapter
January 1997 -
Solution-adaptive multigrid for steady gas dynamics problems In Proceedings
January 1997 -
Multiple semi-coarsened multigrid for 3D CFD In Proceedings
January 1997 -
Frames, Riesz systems and MRA in Hilbert spaces Tech Report
January 1997
-
January 1997
-
January 1997