Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Matching, edge-colouring, dimers In Proceedings

A. Schrijver (Lex)

January 2003
Computation of 3D Steady Navier-Stokes Flow with Free-Surface Gravity Waves Tech Report

M.R. Lewis (Mervyn), B. Koren (Barry) and H.C. Raven

January 2003
Kink Band Instability and Propagation in Layered Structures Tech Report

M.A. Wadee, G.W. Hunt and M.A. Peletier (Mark)

January 2003
Formal Methods for Components and Objects - A theoretical perspective Proceedings

January 2003
Equivalent Semantic Models for a Distributed Dataspace Architecture In Proceedings

J. Hooman and J.C. van de Pol (Jaco)

January 2003
Adaptive lifting for shape-based image retrieval Article

Pattern Recognition, 2663-2672.

P.J. Oonincx and P.M. de Zeeuw (Paul)

January 2003
Numerical methods for steady viscous free-surface flows Book

E.H. van Brummelen (Harald)

January 2003
Vakantiecursus [Centrum voor Wiskunde en Informatica] 2003 : wiskunde in het dagelijks leven Book

January 2003
A parallel, state-of-the-art, least-squares spectral element solver for incompressible flow problems In Proceedings

M. Nool (Margreet) and M.M.J. Proot

January 2003
An Unstructured Parallel Least-Squares Spectral Element Solver for Incompressible Flow Problems. In Proceedings

M. Nool (Margreet) and M.M.J. Proot

January 2003
Application of least-squares spectral element solver methods to incompressible flow problems In Proceedings

M.M.J. Proot, M.I. Gerritsma and M. Nool (Margreet)

January 2003
Jan de Witt : Elementa Curvarum Linearum, liber secundus - [Geannoteerde Nederlandse vertaling] Book

A.W. Grootendorst (Albert)

January 2003
Animating Peer-Level Annotations Within Web-Based Multimedia In Proceedings

D.C.A. Bulterman (Dick)

January 2003
SMIL Authoring Systems: The State of the Art. In Proceedings

D.C.A. Bulterman (Dick)

January 2003
Spontaneous Branching of Anode-Directed Discharge Streamers: In Proceedings

U. Ebert (Ute), B.J. Meulenbroek (Bernard), C. Montijn (Carolynne-Sireeh), A. Rocco (Andrea) and W. Hundsdorfer (Willem)

January 2003
The coherent scattering function in the reptation model: simulations compared to theory Article

European Physical Journal E, 303-319.

A. Baumgärtner, U. Ebert (Ute) and L. Schäfer

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.

M. Laurent (Monique)

January 2003
A Hamiltonian Particle-Mesh Method for the Rotating Shallow Water Equations Book Chapter

J.E. Frank (Jason), G.A. Gottwald and S. Reich

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.

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 2003
Discontinuous Galerkin discretisation with embedded boundary conditions Article

Computational Methods in Applied Mathematics, 3(1), 135-158.

P.W. Hemker (Piet), W. Hoffmann (Walter) and M.H. van Raalte (Marc)

January 2003
UML for the Semantic Web: Transformation-Based Approaches Book Chapter

K. Falkovych (Kateryna), M. Sabou and H. Stuckenschmidt

January 2003
Capturing experience - a matter of contextualising events In Proceedings

F.-M. Nack (Frank)

January 2003
Sequence and Emphasis in Automated Domain-Independent Discourse Generation Book Chapter

M. Alberink, L. Rutledge (Lloyd) and M. Veenstra

January 2003
Finding the Story - Broader Applicability of Semantics and Discourse for Hypermedia Generation Book Chapter

L. Rutledge (Lloyd), M. Alberink, R. Brussee, S. Pokraev, W. van Dieten and M. Veenstra

January 2003
Colour Picking - the Pecking Order of Form and Function Book Chapter

F.-M. Nack (Frank), A.S.K. Manniesing and L. Hardman (Lynda)

January 2003
Intelligent Information Retrieval and Presentation with Multimedia Databases Book Chapter

F. Wiesman, S. Bocconi, B. Arsenijevic, Y. Bachvarova, N. Roos and L. R. B. Schomaker

January 2003
Aesthetics of contradiction Article

IEEE MultiMedia, 14-17.

F.-M. Nack (Frank)

January 2003
Migrating from mobile telephony to multipurpose gadgets Article

IEEE MultiMedia, 8-11.

F.-M. Nack (Frank)

January 2003
Econophysics vs Cardiophysics: the Dual Face of Multifractality Book Chapter

Z.R. Struzik

January 2003
RECVID as a Re-Usable Test-Collection for Video Retrieval In Proceedings

T.H.W. Westerveld (Thijs)

January 2003
Flexible Digital Library Search Book Chapter

M.A. Windhouwer (Menzo), A.R. Schmidt, R. van Zwol, M. Petkovic and H.E. Blok (Henk Ernst)

January 2003
Integrated Querying of XML Data in RDBMSs In Proceedings

A.R. Schmidt, S. Manegold (Stefan) and M.L. Kersten (Martin)

January 2003
Taming Surprises In Proceedings

Z.R. Struzik

January 2003
A Look Back on the XML Benchmark Project In Proceedings

A.R. Schmidt, F. Waas (Florian), S. Manegold (Stefan) and M.L. Kersten (Martin)

January 2003
Combining Concept- with Content-based Multimedia Retrieval In Proceedings

M.A. Windhouwer (Menzo) and R. van Zwol

January 2003
AmbientDB: relational query processing in a P2P network In Proceedings

P.A. Boncz (Peter) and C. Treijtel

January 2003
Time Series Rule Discovery: Tough, not Meaningless In Proceedings

Z.R. Struzik

January 2003
The hexagonal versus the square lattice Article

Mathematics of Computation, 73(245), 451-473.

P. Moree and H.J.J. te Riele (Herman)

January 2003
New computations concerning the Cohen-Lenstra heuristics Article

Experimental Mathematics, 12(1), 99-99.

H.J.J. te Riele (Herman) and H.C. Williams

January 2003
Parabolic cyclinder functions : examples of error bounds for asymptotic expansions Article

Analysis and Applications, 1(3), 265-288.

N.M. Temme (Nico) and R. Vidunas

January 2003
On the zeros of the Scorer functions Article

Journal of Approximation Theory, 120(2), 253-266.

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

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.

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2003
Computing complex Airy functions by numerical quadrature Article

Numerical Algorithms, 30(1), 11-23.

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2003
The candy model: properties and inference Article

Statistica Neerlandica, 177-206.

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2003
Inference for random sets Article

ERCIM News, 36-37.

M.N.M. van Lieshout (Marie-Colette)

January 2003
Inhomogeneous spatial point processes by location-dependent scaling Article

Advances in Applied Probability, 319-336.

U. Hahn, E.B.V. Jensen, M.N.M. van Lieshout (Marie-Colette) and L.S. Nielsen

January 2003
Modelización de procesos area-interacción generalizados In Proceedings

P. Gregori, M.N.M. van Lieshout (Marie-Colette) and J. Mateu

January 2003
Probabilistic image modelling In Proceedings

M.N.M. van Lieshout (Marie-Colette)

January 2003
New developments around the mCRL tool set In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)

January 2003
Monodromy and applications Book

January 2003
Verification of distributed dataspace architectures In Proceedings

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

January 2003
Identification clouds and automatic keyphrase assignment. Lessons learned from the TRIAL SOLUTION project Tech Report

M. Hazewinkel (Michiel)

January 2003
Outline current state of fomula recognition Tech Report

M. Hazewinkel (Michiel)

January 2003
Cofree coalgebras and recursiveness Article

Journal of Pure and Applied Algebra, 61-103.

M. Hazewinkel (Michiel)

January 2003
The multi-model DBMS architecture and XML information retrieval Book Chapter

A.P. de Vries (Arjen), J.A. List (Johan) and H.E. Blok (Henk Ernst)

January 2003
A probabilistic multimedia retrieval model and its evaluation Article

EURASIP Journal on Applied Signal Processing, 186-198.

T.H.W. Westerveld (Thijs), A.P. de Vries (Arjen), A.R. van Ballegooij (Alex), F.M.G. de Jong (Franciska) and D. Hiemstra

January 2003
Verification of JavaSpaces (TM) Parallel Programs In Proceedings

J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

January 2003
CIRQUID: Complex information retrieval queries in a database Tech Report

D. Hiemstra, A.P. de Vries (Arjen), H.E. Blok (Henk Ernst), M. van Keulen, W. Jonker and M.L. Kersten (Martin)

January 2003
Cartesian currents in the calculus of variations Article

Nieuw Archief voor Wiskunde, 5(4), 87-87.

M. Hazewinkel (Michiel)

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

K.R. Apt (Krzysztof) and S. Brand

January 2003
CWI at INEX 2002 In Proceedings

J.A. List (Johan) and A.P. de Vries (Arjen)

January 2003
Moa and the Multi-model architecture: a new perspective on XNF 2 In Proceedings

M. van Keulen, J. Vonk, A.P. de Vries (Arjen), J. Flokstra and H.E. Blok (Henk Ernst)

January 2003
Detecting cartoons: a case study in automatic video-genre classification In Proceedings

T. Ianeva, A.P. de Vries (Arjen) and H. Röhrig (Hein)

January 2003
Experimental evaluation of a generative probabilistic image retrieval model on 'easy' data In Proceedings

T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

January 2003
Experimental result analysis for a generative probabilistic image retrieval model In Proceedings

T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

January 2003
Combining information sources for video retrieval In Proceedings

T.H.W. Westerveld (Thijs), T. Ianeva, L. Boldareva, A.P. de Vries (Arjen) and D. Hiemstra

January 2003
The TIJAH XML-IR system at INEX 2003 Book Chapter

J.A. List (Johan), V. Mihajlovic, A.P. de Vries (Arjen), G. Ramirez Camps (Georgina) and D. Hiemstra

January 2003
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions Article

Acta Applicandae Mathematicae, 55-83.

M. Hazewinkel (Michiel)

January 2003
Principles of Constraint Programming Book

K.R. Apt (Krzysztof)

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.

A.M.H. Gerards (Bert), G. Maróti (Gábor) and A. Schrijver (Lex)

January 2003
On the b-stable set polytope of graphs without bad K Article

SIAM Journal on Discrete Mathematics, 511-516.

D. Gijswijt (Dion) and A. Schrijver (Lex)

January 2003
Blocking nonorientability of a surface Article

Journal of Combinatorial Theory - Series B, 2-16.

B. Mohar and A. Schrijver (Lex)

January 2003
Expansions of the exponential integral in incomplete gamma functions Article

Applied Mathematics Letters, 16(7), 1095-1099.

W. Gautschi, F.E. Harris and N.M. Temme (Nico)

January 2003
CWI expositie van werken van medewerkers, 17.12.2002 Book

December 2002
Understanding, Modeling, and Improving Main-Memory Database Performance Dissertation

Database Architectures

S. Manegold (Stefan)

December 2002
Exploring software systems Dissertation

Software Analysis and Transformation

L.M.F. Moonen (Leon)

December 2002
Linearization in $\mu$CRL Dissertation

Y.S. Usenko (Yaroslav)

December 2002
Co-evolving automata negotiate with a variety of opponents Tech Report

D.D.B. van Bragt and J.A. La Poutré (Han)

November 2002
Reasoning from non-stationarity Article

Physica A: Statistical Mechanics and its Applications, 314(1-4), 246-255.

Z.R. Struzik, W.J. van Wijngaarden and J.R. Castelo (Robert)

November 2002
Verbeelding... : CWI in bedrijf, 18.10.2002 Booklet

October 2002
Uitnodiging afscheidsbijeenkomst Jan de Vries, 19.09.2002 Other

September 2002
Numerical time integration on sparse grids Dissertation

Modelling, Analysis and Computation

B. Lastdrager

September 2002
Wiskunde en gezondheid : vakantiecursus 2002 : programma Booklet

August 2002
XHTML™ 1.0 The Extensible HyperText Markup Language (Second Edition), A Reformulation of HTML 4 in XML 1.0 Standard

S. Pemberton (Steven) and not CWI et al

August 2002
Zicht op bliksem Article

Nederlands Tijdschrift voor Natuurkunde, 244-247.

U. Ebert (Ute)

July 2002
Optimizing main-memory join on modern hardware Article

IEEE Transactions on Knowledge and Data Engineering, 14(4), 709-730.

P.A. Boncz (Peter), S. Manegold (Stefan) and M.L. Kersten (Martin)

July 2002
On the number field sieve integer factorisation algorithm Dissertation

S.H. Cavallar (Stefania)

June 2002
Efficient k-NN search on vertically decomposed data In Proceedings

A.P. de Vries (Arjen), N. Mamoulis (Nikos), N.J. Nes (Niels) and M.L. Kersten (Martin)

June 2002
From ontology-based semiosis to computational intelligence Book Chapter

F.-M. Nack (Frank)

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.

Z.R. Struzik and A.P.J.M. Siebes (Arno)

June 2002
Monet: a next-generation database kernel for query-intensive applications Dissertation

Database Architectures

P.A. Boncz (Peter)

May 2002
On-line scheduling and bin packing Dissertation

Intelligent and autonomous systems

R. van Stee (Rob)

May 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)

A. Rocco (Andrea), L. Ramírez-Piscina and J. Casademunt

May 2002
Choice quantification in process algebra Dissertation

S.P. Luttik (Bas)

April 2002
Coordination Languages and Models: Proc. Coordination 2002 Book

F. Arbab (Farhad) and C. Talcott (Carolyn)

April 2002
Lightning forks illuminated Article

Nature News

U. Ebert (Ute)

April 2002
Sparks Branch like Coral Reefs Article

Physical Review Focus

U. Ebert (Ute)

April 2002
Simpel model bliksemt best Magazine Article

U. Ebert (Ute)

April 2002
Automatic differentiation algorithms in model analysis Dissertation

Signals and Images

M.J. Huiskes (Mark)

March 2002

Previous

Next

Available Years