Publications from 2017
-
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
-
January 2002
-
Simulation techniques for the population dynamics of sinking phytoplankton in light-limited environments Tech Report
January 2002
-
The coherent scattering function in the reptation model: analysis beyond asymptotic limits Tech Report
January 2002
-
January 2002
-
January 2002
-
Source tree composition Tech Report
January 2002
-
January 2002
-
Smart style on the semantic web Tech Report
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002