Publications from 2025
-
SMIL Authoring Systems: The State of the Art. In Proceedings
January 2003 -
Spontaneous Branching of Anode-Directed Discharge Streamers: In Proceedings
January 2003 -
The coherent scattering function in the reptation model: simulations compared to theory Article
European Physical Journal E, 303-319.January 2003 -
A comparison of the Sherali-Adams, Lov\'asz-Schrijver and Lasserre relaxations for 0-1 programming. Article
Mathematics of Operations Research, 28(3), 470-496.January 2003 -
January 2003
-
Novel Defect-Correction High-Order, in Space and Time, Accurate Schemes for ParaboliC Singularly Perturbed Convection-Diffusion Problems Article
Computational Methods in Applied Mathematics, 3(3), 387-404.January 2003 -
Discontinuous Galerkin discretisation with embedded boundary conditions Article
Computational Methods in Applied Mathematics, 3(1), 135-158.January 2003 -
January 2003
-
Capturing experience - a matter of contextualising events In Proceedings
January 2003 -
January 2003
-
Finding the Story - Broader Applicability of Semantics and Discourse for Hypermedia Generation Book Chapter
January 2003 -
January 2003
-
January 2003
-
Aesthetics of contradiction Article
IEEE MultiMedia, 14-17.January 2003 -
Migrating from mobile telephony to multipurpose gadgets Article
IEEE MultiMedia, 8-11.January 2003 -
January 2003
-
RECVID as a Re-Usable Test-Collection for Video Retrieval In Proceedings
January 2003 -
Flexible Digital Library Search Book Chapter
January 2003 -
Integrated Querying of XML Data in RDBMSs In Proceedings
January 2003 -
Taming Surprises In Proceedings
January 2003 -
A Look Back on the XML Benchmark Project In Proceedings
January 2003 -
Combining Concept- with Content-based Multimedia Retrieval In Proceedings
January 2003 -
AmbientDB: relational query processing in a P2P network In Proceedings
January 2003 -
Time Series Rule Discovery: Tough, not Meaningless In Proceedings
January 2003 -
The hexagonal versus the square lattice Article
Mathematics of Computation, 73(245), 451-473.January 2003 -
New computations concerning the Cohen-Lenstra heuristics Article
Experimental Mathematics, 12(1), 99-99.January 2003 -
Parabolic cyclinder functions : examples of error bounds for asymptotic expansions Article
Analysis and Applications, 1(3), 265-288.January 2003 -
On the zeros of the Scorer functions Article
Journal of Approximation Theory, 120(2), 253-266.January 2003 -
Computation of the modified Bessel function of the third kind of imaginary orders: uniform Airy-type asymptotic expansion Article
Journal of Computational and Applied Mathematics, 225-234.January 2003 -
Computing complex Airy functions by numerical quadrature Article
Numerical Algorithms, 30(1), 11-23.January 2003 -
The candy model: properties and inference Article
Statistica Neerlandica, 177-206.January 2003 -
Inference for random sets Article
ERCIM News, 36-37.January 2003 -
Inhomogeneous spatial point processes by location-dependent scaling Article
Advances in Applied Probability, 319-336.January 2003 -
Modelización de procesos area-interacción generalizados In Proceedings
January 2003 -
Probabilistic image modelling In Proceedings
January 2003 -
New developments around the mCRL tool set In Proceedings
January 2003 -
January 2003
-
Verification of distributed dataspace architectures In Proceedings
January 2003 -
Identification clouds and automatic keyphrase assignment. Lessons learned from the TRIAL SOLUTION project Tech Report
January 2003 -
Outline current state of fomula recognition Tech Report
January 2003 -
Cofree coalgebras and recursiveness Article
Journal of Pure and Applied Algebra, 61-103.January 2003 -
January 2003
-
A probabilistic multimedia retrieval model and its evaluation Article
EURASIP Journal on Applied Signal Processing, 186-198.January 2003 -
Verification of JavaSpaces (TM) Parallel Programs In Proceedings
January 2003 -
January 2003
-
Cartesian currents in the calculus of variations Article
Nieuw Archief voor Wiskunde, 5(4), 87-87.January 2003 -
Preface : Annals of mathematics and artificial intelligence 2003 Article
Annals of Mathematics and Artificial Intelligence, 1-2.January 2003 -
Schedulers for rule-based constraint programming In Proceedings
January 2003 -
CWI at INEX 2002 In Proceedings
January 2003 -
January 2003
-
January 2003
-
Experimental evaluation of a generative probabilistic image retrieval model on 'easy' data In Proceedings
January 2003 -
January 2003
-
Combining information sources for video retrieval In Proceedings
January 2003 -
The TIJAH XML-IR system at INEX 2003 Book Chapter
January 2003 -
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions Article
Acta Applicandae Mathematicae, 55-83.January 2003 -
January 2003
-
Note on: Aguilera, Escalante, Nasini: "A generalization of the perfect graph theorem under the disjunctive index" Article
Mathematics of Operations Research, 884-885.January 2003 -
On the b-stable set polytope of graphs without bad K Article
SIAM Journal on Discrete Mathematics, 511-516.January 2003 -
Blocking nonorientability of a surface Article
Journal of Combinatorial Theory - Series B, 2-16.January 2003 -
Expansions of the exponential integral in incomplete gamma functions Article
Applied Mathematics Letters, 16(7), 1095-1099.January 2003 -
December 2002
-
Understanding, Modeling, and Improving Main-Memory Database Performance Dissertation
Database ArchitecturesDecember 2002 -
Exploring software systems Dissertation
Software Analysis and TransformationDecember 2002 -
Linearization in $\mu$CRL Dissertation
December 2002 -
November 2002
-
Reasoning from non-stationarity Article
Physica A: Statistical Mechanics and its Applications, 314(1-4), 246-255.November 2002 -
October 2002
-
September 2002
-
Numerical time integration on sparse grids Dissertation
Modelling, Analysis and ComputationSeptember 2002 -
August 2002
-
August 2002
-
Zicht op bliksem Article
Nederlands Tijdschrift voor Natuurkunde, 244-247.July 2002 -
Optimizing main-memory join on modern hardware Article
IEEE Transactions on Knowledge and Data Engineering, 14(4), 709-730.July 2002 -
June 2002
-
Efficient k-NN search on vertically decomposed data In Proceedings
June 2002 -
June 2002
-
Wavelet Transform Based Multifractal Formalism in Outlier Detection and Localisation for Financial Time Series Article
Physica A: Statistical Mechanics and its Applications, 309(3-4), 388-402.June 2002 -
Monet: a next-generation database kernel for query-intensive applications Dissertation
Database ArchitecturesMay 2002 -
On-line scheduling and bin packing Dissertation
Intelligent and autonomous systemsMay 2002 -
Kinematic reduction of reaction-diffusion fronts with multiplicative noise: Derivation of stochastic sharp-interface equations Article
Physical Review E - Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics, 65(5)May 2002 -
Choice quantification in process algebra Dissertation
April 2002 -
April 2002
-
Lightning forks illuminated Article
Nature NewsApril 2002 -
Sparks Branch like Coral Reefs Article
Physical Review FocusApril 2002 -
Simpel model bliksemt best Magazine Article
April 2002 -
Automatic differentiation algorithms in model analysis Dissertation
Signals and ImagesMarch 2002 -
Numerical methods for atmospheric flow and transport problems Dissertation
Modelling, Analysis and ComputationMarch 2002 -
Ruin probability for Gaussian integrated processes Article
Stochastic Processes and their Applications, 98(1), 151-174.March 2002 -
Techniques for understanding legacy software systems Dissertation
Software Analysis and TransformationFebruary 2002 -
February 2002
-
Numerical methods for steady viscous free-surface flows Dissertation
Scientific ComputingFebruary 2002 -
Matchings and Hadwiger's Conjecture Article
Discrete Mathematics, 244(1-3), 241-252.February 2002 -
January 2002
-
January 2002
-
Riemann-problem and level-set approaches for homentropic two-fluid flow computations Article
Journal of Computational Physics, 654-674.January 2002 -
January 2002
-
January 2002
-
January 2002
-
Analysis of a security protocol in ?CRL Tech Report
January 2002