Publications from 2024
-
Newton-equivalent Hamiltonians for the harmonic oscillator Article
Annals of Physics, 293(1), 92-109.January 2001 -
From 1/f Noise to Multifractal Cascades in Heartbeat Dynamics Article
CHAOS, An Interdisciplinary Journal of Nonlinear Science, 1-43.January 2001 -
The Role of High-level and Low-level Features in Style-based Retrieval and Generation of Multimedia Presentations Article
The New Review of Hypermedia and Multimedia, 39-65.January 2001 -
Wavelets and the Unborn Child. Book Chapter
January 2001 -
Querying XML Documents Made Easy: Nearest Concept Queries In Proceedings
January 2001 -
Selectivity Estimation of Complex Spatial Queries In Proceedings
January 2001 -
January 2001
-
Macro- and Micro- Parallelism in a DBMS In Proceedings
January 2001 -
January 2001
-
Flexible and scalable digital library search In Proceedings
January 2001 -
Numerical continuation of equilibria of physiologically structured population models I. Theory Article
Mathematical Models and Methods in Applied Sciences, 11(6), 1101-1127.January 2001 -
Solving Non-Binary CSPs Using the Hidden Variable Encoding In Proceedings
January 2001 -
On the construction of deflation-based preconditioners In Proceedings
January 2001 -
Average-case quantum query complexity Article
Journal of Physics A: Mathematical and Theoretical, 34(35), 6741-6754.January 2001 -
Time and space bounds for reversible simulation Article
Journal of Physics A: Mathematical and Theoretical, 34(35), 6821-6830.January 2001 -
January 2001
-
Constraint programming viewed as rule-based programming. Special issue in honor of Alain Colmerauer, on the occasion of his 60th birthday. Article
Theory and Practice of Logic Programming, 1(6), 713-750.January 2001 -
Efficient numerical solution of steady free-surface Navier-Stokes flow Article
Journal of Computational Physics, 174(1), 120-137.January 2001 -
Algorithmic statistics Article
IEEE Transactions on Information Theory, 47(6), 2443-2463.January 2001 -
On the representation of functions and finite difference operators on adaptive dyadic grids Article
Computational Methods in Applied Mathematics, 1(3), 222-241.January 2001 -
Two oracles that force a big crunch Article
Computational Complexity, 10(2), 93-116.January 2001 -
ROS3P---an accurate third-order Rosenbrock solver designed for parabolic problems Article
BIT : Numerical Mathematics, 41(4), 731-738.January 2001 -
The candy model: properties and inference Tech Report
January 2001 -
Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000 Article
InterChange - Newsletter of the International SGML/XML Users' Group, 1-3.January 2001 -
Just-in-time : on strategy annotations Article
Electronic Notes in Theoretical Computer Science, 1-23.January 2001 -
mCRL: a toolset for analysing algebraic specifications In Proceedings
January 2001 -
A rewriting approach to binary decision diagrams Article
Journal of Logic and Algebraic Programming, 49(1-2), 61-86.January 2001 -
January 2001
-
An introduction to stochastic geometry In Proceedings
January 2001 -
A review of spatio-temporal modelling of quadrat count data with application to striga occurrent in al pearl millet field Article
International Journal of Applied Earth Observation and Geoinformation, 133-138.January 2001 -
January 2001
-
Generalized overlapping shuffle algebras Article
Journal of Mathematical Sciences, 106(4), 3168-3186.January 2001 -
Content independence in multimedia databases Article
Journal of the American Society for Information Science and Technology, 52(11), 954-960.January 2001 -
Joint bulletin of the novosibirsk computer center and institute of informatics systems Article
Joint bulletin of the Novosibirsk computing center and Institute of informatics systemsJanuary 2001 -
Editorial: ACM Transactions on computational logic Article
ACM Transactions on Computational Logic, 2(4)January 2001 -
January 2001
-
Statistics of information clouds Tech Report
January 2001 -
Index : Information processing letters 2001 Article
Information Processing Letters, 1-3.January 2001 -
Index : Discrete mathematics 2001 Article
Discrete Mathematics, 1-4.January 2001 -
Experiences with IR Top N optimization in a main memory DBMS: applying `the database approach' in new domains In Proceedings
January 2001 -
A case for image quering through image spots In Proceedings
January 2001 -
Exact matching in image databases In Proceedings
January 2001 -
January 2001
-
Schedulers and redundancy for a class of constraint propagation rules Article
Theory and Practice of Logic Programming, 1-25.January 2001 -
Rule-based versus procedure-based view of logic programming Article
Joint bulletin of the Novosibirsk computing center and Institute of informatics systems, 75-96.January 2001 -
Towards free access to scientific literature Article
Nieuw Archief voor Wiskunde, 5/2(3), 251-255.January 2001 -
One more revolution to make: free scietific publishing Article
Communications of the ACM, 44(5), 25-28.January 2001 -
January 2001
-
January 2001
-
January 2001
-
Image Database Management System : Design Considerations, Algorithms and Architecture Dissertation
Database ArchitecturesDecember 2000 -
A framework for debugging heterogeneous applications Dissertation
Software EngineeringDecember 2000 -
A comparison of integration methods for atmospheric transport-chemistry problems Article
Journal of Computational and Applied Mathematics, 126(1-2), 381-396.December 2000 -
A mathematical model for the dissolution of particles in multi-component alloys Article
Journal of Computational and Applied Mathematics, 126(1-2), 233-254.December 2000 -
XHTML™ Basic Standard
December 2000 -
Optimizing Database Architecture for the New Bottleneck: Memory Access Article
VLDB Journal, 9(3), 231-246.December 2000 -
November 2000
-
Principles of probabilistic query optimization Dissertation
Database ArchitecturesNovember 2000 -
Front propagation into unstable states: universal algebraic convergence towards uniformly translating pulled fronts Article
Physica - D, Nonlinear Phenomena, 146(1-4), 1-99.November 2000 -
November 2000
-
October 2000
-
De nieuwe rol van wiskunde en informatica in de biowetenschappen : CWI in bedrijf, 06.10.2000 Booklet
October 2000 -
Spatial and time localization of solutions of the Boussinesq system with nonlinear thermal diffusion Article
Nonlinear Analysis, 42(3), 423-438.October 2000 -
Universal coalgebra: a theory of systems Article
Theoretical Computer Science, 249(1), 3-80.October 2000 -
Device Independent Multimedia Authoring Book Chapter
October 2000 -
September 2000
-
Numerical and asymptotic aspects of parabolic cylinder functions. Numerical analysis in the 20th century, Vol. I, Approximation theory Article
Journal of Computational and Applied Mathematics, 121(1-2), 221-246.September 2000 -
Projected dynamical systems in a complementarity formalism Article
Operations Research Letters, 27(2), 83-91.September 2000 -
August 2000
-
Agent-based computational transaction cost economics Dissertation
July 2000 -
A correction: orthogonal representations and connectivity of graphs Article
Linear Algebra and its Applications, 313(1-3), 101-105.July 2000 -
Multi-level topology for flow visualization Article
Computers & Graphics, 24(3), 325-331.June 2000 -
Determining Local Singularity Strengths and their Spectra with the Wavelet Transform Article
Fractals: Complex Geometry, Patterns, and Scaling in Nature and Society, 8(2), 163-179.June 2000 -
A transition system semantics for the control-driven coordination language Manifold Article
Theoretical Computer Science, 240(1), 3-47.June 2000 -
June 2000
-
June 2000
-
Determining Local Singularity Strengths and their Spectra with the Wavelet Transform Article
Fractals, 8(2), 1-20.June 2000 -
Graph Clustering by Flow Simulation Dissertation
Standardization and Knowledge TransferMay 2000 -
Counting, enumerating and sampling of execution plans in a cost-based query optimizer In Proceedings
May 2000 -
April 2000
-
April 2000
-
April 2000
-
Zoekmachines op Internet rommelen maar wat aan Magazine Article
April 2000 -
Oscillatory Störmer-Cowell methods Article
Journal of Computational and Applied Mathematics, 115(1-2), 547-564.March 2000 -
Program plan recognition for year 2000 tools Article
Science of Computer Programming, 36(2-3), 303-324.March 2000 -
New applications of the incompressibility method: Part II. Selected papers in honor of Manuel Blum (Hong Kong, 1998) Article
Theoretical Computer Science, 235(1), 59-70.March 2000 -
Priors on network structures. Biasing the search for Bayesian networks Article
International Journal of Approximate Reasoning, 24(1), 39-57.March 2000 -
February 2000
-
Recognition of tractable satisfiability problems through balanced polynomial representations Article
Discrete Applied Mathematics, 99(1-3), 229-244.February 2000 -
January 2000
-
Processor-Sharing Models for Integrated-Services Networks Dissertation
StochasticsJanuary 2000 -
A level-set method and an approximate Riemann solver for capturing free-surface water waves In Proceedings
January 2000 -
Comparison of two adjoint equation approaches with respect to boundary-condition treatments for the quasi 1-D Euler equations Article
International Journal for Numerical Methods in Fluids, 1-13.January 2000 -
Dynamic process composition and communication patterns in irregularly structured applications Article
Concurrency: Practice and Experience, 12(2-3), 157-174.January 2000 -
Distributed evolutionary optimization in Manifold: Rosenbrock's function case study Article
Information Sciences, 122(2-4), 141-159.January 2000 -
A discipline of evolutionary programming In Proceedings
January 2000 -
Solving satisfiability problems using elliptic approximations - effective branching rules Article
Discrete Applied Mathematics, 107(1-3), 241-259.January 2000 -
January 2000
-
A multi-query optimizer for Monet Tech Report
January 2000 -
January 2000