Publications from 2017

Relating the new language models of information retrieval to the traditional retrieval models Tech Report

D. Hiemstra and A.P. de Vries (Arjen)

New trends in constraints : joint ERCIM/Compulog net workshop [the workshop was the third in a row in a series of joint annual workshops (1999) Book

K.R. Apt (Krzysztof), A.C. Kakas, E.B.G. Monfroy and F. Rossi

MRML: A communication protocol for content-based multimedia retrieval In Proceedings

W. Müller (Wolfgang), H. Müller (Henning), S. Marchand-Maillet, T. Pun, D.McG. Squire (David), Z. Pecenovic, C. Giess and A.P. de Vries (Arjen)

The role of evaluation in the development of content-based retrieval techniques Tech Report

A.P. de Vries (Arjen)

CRC concise encyclopaedia of mathematics Article

M. Hazewinkel (Michiel)

MRML: a communication protocol for content-based image retrieval In Proceedings

W. Müller (Wolfgang), H. Müller (Henning), S. Marchand-Maillet, T. Pun, D.McG. Squire (David), Z. Pecenovic, C. Giess and A.P. de Vries (Arjen)

A denotational semantics for first-order logic In Proceedings

K.R. Apt (Krzysztof)

MRML: an extensible communication protocol for interoperability and benchmarking of multimedia information retrieval systems In Proceedings

W. Müller (Wolfgang), H. Müller (Henning), S. Marchand-Maillet, T. Pun, D.McG. Squire (David), Z. Pecenovic, C. Giess and A.P. de Vries (Arjen)

A poor man's approach to CLEF In Proceedings

A.P. de Vries (Arjen)

Some remarks on boolean constraint propagation In Proceedings

K.R. Apt (Krzysztof)

The Mirror DBMS at TREC-9 In Proceedings

A.P. de Vries (Arjen)

Challenging ubiquitous inverted files In Proceedings

A.P. de Vries (Arjen)

Index : Applied discrete mathematics 2000 Article

M. Hazewinkel (Michiel)

The psychology of multimedia databases In Proceedings

M.G.L.M. van Doorn (Mark) and A.P. de Vries (Arjen)

The role of commutativity in constraint propagation Article

K.R. Apt (Krzysztof)

Factorization of a 512-bit RSA modulus In Proceedings

S.H. Cavallar (Stefania), B. Dodson, A.K. Lenstra (Arjen), W.M. Lioen (Walter), P.L. Montgomery, B. Murphy, H.J.J. te Riele (Herman), K. Aardal (Karen), J. Gilchrist, G. Guillern, et al. P.C. Leyland, J. Marchand, F. Morain, A. Muffet, C. Putnam (Chris), C. Putnam (Craig) and P. Zimmermann

Adjacency, inseparability, and base orderability in matroids Article

J.C.M. Keijsper, R. Pendavingh and A. Schrijver (Lex)

CWI Kerstborrel 17.12.1999 : poster Other

Content and multimedia database management systems Dissertation

A.P. de Vries (Arjen)

HTML 4.01 Standard

D. Raggett, A Le Hors, I. Jacobs and S. Pemberton (Steven)

On asymptotic properties of infinite dimensional stochastic systems Article

J. Zabczyk

Correlation equations and pair approximations for spatial ecologies Article

D.A. Rand (David)

The structure of an attracting set defined by delayed and monotone positive feedback Article

J. Krisztin, H.-O. Walther and J. Wu (Jianhong)

Dynamics of a scalar parabolic equation Article

J.K. Hale

Spatio-temporal processes in ecological communities Article

U. Dieckmann, T. Herben and R. Law

Homoclinic orbits in reversible systems II: multi-bumps and saddle-centres Article

A.R. Champneys

Symposium ERCIM-leveraging world class R&D for business and society : Amsterdam, 05.11.1999 : programme Booklet

Parallel Störmer-Cowell methods for high-precision orbit computations Article

P.J. van der Houwen (Piet), E. Messina and J.J.B. de Swart (Jacques)

Panel 1. Multimedia Research: the Grand Challenges for the Next Decade Miscellaneous

P. Aigrain (Philippe), D.C.A. Bulterman (Dick), L.A. Rowe (Lawrence) and B. Smith (Brian)

Analysing industrial protocols with formal methods Dissertation

J.M.T. Romijn (Judi)

Investeren in de kennisinfrastructuur : CWI in bedrijf, 08.10.1999 : programma Booklet

Evaluating SMIL: Three user case studies In Proceedings

L. Rutledge (Lloyd), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

MIL primitives for querying a fragmented world Article

P.A. Boncz (Peter) and M.L. Kersten (Martin)

Nonlinear approaches to satisfiability problems Dissertation

J.P. Warners (Joost)

Size-biased random closed sets Article

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

Onbewezen vermoedens : vakantiecursus 1999 : programma Booklet

Constraints in object-oriented graphics Dissertation

R. H.M. C. Kelleners (Richard)

Message sequence chart: Syntax and semantics Dissertation

M.A. Reniers (Michel)

The rational complementarity problem Article

W.P.M.H. Heemels, J.M. Schumacher (Hans) and S. Weiland

A lower bound for quantum search of an ordered list Article

H.M. Buhrman (Harry) and R.M. de Wolf (Ronald)

Bisimulation for probabilistic transition systems: a coalgebraic approach Article

E.P. de Vink (Erik) and J.J.M.M. Rutten (Jan)

Advanced document management through thesaurus-based indexing: the IKEM platform Article

D. Vervenne

Cross-language multi-media information retrieval Article

P. Sheridan and P. Schäuble

Digital document handling with WebPack Article

L. Kovács and A. Micsik

Towards a next generation of open scientific data repositories and services Article

C. Houstis, C. Nikolaou (Charalampos), S. Lalis, S. Kapidakis, V. Christophides, E. Simon (Eric) and A. Tomasic

Multifractality in Human Heartbeat Dynamics. Article

P.C. Ivanov, L.A. Nunes Amaral, A.L. Goldberger, S. Havlin, M.G. Rosenblum, Z.R. Struzik and H.E. Stanley

Topologies and metrics on information spaces Article

M. Hazewinkel (Michiel)

Positive matrix factorization via extremal polyhedral cones Article

J.M. van den Hof and J.H. van Schuppen (Jan)

Anticipating SMIL 2.0: the developing cooperative infrastructure for multimedia on the Web Article

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

Neural Vision 2.0 : data visualisatie en data analyse met neurale netwerken : gebruikershandleiding Manual

J. Sprenger, R. van Stee (Rob) and M. van Wezel

Afscheid Wim Mol, 16.04.1999 : uitnodiging voor het diner + menu Other

Afscheid Wim Mol, 16.04.1999 Booklet

Lectures on interactions of K-theory and control Tech Report

M. Hazewinkel (Michiel)

CWI Soirée : een bijzondere avond met voordrachten door Bjarne Stroustrup en Edmund M. Clarke : Koninklijk Instituut voor de Tropen, 24.03.1999 : uitnodiging Booklet

Recombinative evolutionary search Dissertation

C.H.M. van Kemenade (Cees)

Uniqueness of solutions of linear relay systems Article

Y. J. Lootsma, A.J. van der Schaft and M.K. Çamlibel

Towards a model and algorithm management system for vehicle routing and scheduling problems Article

M. Desrochers, C.V. Jones, J.K. Lenstra (Jan Karel), M.W.P. Savelsbergh and L. Stougie (Leen)

CWI: Frontier research for practical applications : small colour brochure Booklet

Experiences with knowledge discovery paradigms Article

W. Klösgen

Maarten de Rijke 1e van 4 AI-hoogleraren UvA - Engineersonline.nl - 17-2-1999 Magazine Article

A survey of computational steering environments Article

J.D. Mulder (Jurriaan), J.J. van Wijk (Jack) and R. van Liere (Robert)

Global geometric, and feature-based techniques for vector field visualization Article

F.H. Post (Frits), W.C. de Leeuw (Wim), I. Ari Sadarjoen, F. Reinders and T. van Walsum

Strategic behavior and noncooperative hierarchical control Article

A.J.T.M. Weeren, J.M. Schumacher (Hans) and J.C. Engwerda

Dynamic process composition and communication patterns in irregular strucutred applications In Proceedings

C.T.H. Everaars (Kees), B. Koren (Barry) and F. Arbab (Farhad)

Scaling of program fitness spaces Article

W.B. Langdon

Parallel Adams methods Article

P.J. van der Houwen (Piet) and E. Messina

A fed back level-set method for moving material-void interfaces Article

B. Koren (Barry) and A.C.J. Venis

A complete equational axiomatization for MPA with string iteration Article

L. Aceto (Luca) and J.F. Groote (Jan Friso)

Graphs which locally mirror the hypercube structure Article

S. Klavžar, J. Koolen (Jack) and H.M. Mulder (Henry Martyn)

Stability control for approximate implicit time stepping schemes with minimum residual iterations Article

M.A. Botchev, G.L.G. Sleijpen and H.A. van der Vorst (Henk)

Non-existence and uniqueness results for the extended Fisher-Kolmogorov equation Tech Report

M.A. Peletier (Mark)

A conserving discretization for a Stefan problem with an interface reaction at the free boundary Tech Report

C. Vuik, G. Segal and F.J. Vermolen

Computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than 100 000 000 000 Tech Report

A.J. van der Poorten (Alf), H.J.J. te Riele (Herman) and H.C. Williams

Pretty-printing within the ASF+SDF meta-environment : a generic approach Tech Report

M.G.J. van den Brand (Mark) and M. de Jonge (Merijn)

The propositional formula checker HeerHugo Tech Report

J.F. Groote (Jan Friso) and J.P. Warners (Joost)

Compilation and memory management for ASF+SDF Tech Report

M.G.J. van den Brand (Mark), P. Klint (Paul) and P.A. Olivier (Pieter)

Sojourn times in non-homogeneous QBD processes with processor sharing Tech Report

R. Núñez Queija (Rudesindo)

Bayesian color image segmentation using reversible jump Markov chain Monte Carlo Tech Report

Z. Kato

Performance evaluation of strategies for integration of elastic and stream traffic Tech Report

R. Núñez Queija (Rudesindo), J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

Scaling Bayesian network discovery through incremental recovery Tech Report

J.R. Castelo and A.P.J.M. Siebes (Arno)

Indexing real-world data using semi-structured documents Tech Report

A.R. Schmidt, M.A. Windhouwer (Menzo) and M.L. Kersten (Martin)

Minimal graphics Tech Report

I. Herman (Ivan) and D.J. Duke

An organic database system Tech Report

M.L. Kersten (Martin) and A.P.J.M. Siebes (Arno)

Approximations of orthogonal polynomials in terms of Hermite polynomials Tech Report

J.L. López and N.M. Temme (Nico)

The robust regulation problem with robust stability Tech Report

M.K.K. Cevik and J.M. Schumacher (Hans)

Factorization in block-triangularly implicit methods for shallow water applications Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

Diagonally implicit Runge-Kutta methods for 3D shallow water applications Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

Latour : a tree visualisation system Tech Report

I. Herman (Ivan), G. Melançon, M.M. de Ruiter and M. Delest

Automata, power series, and coinduction : taking input derivatives seriously (extended abstract) Tech Report

J.J.M.M. Rutten (Jan)

HASDF : a generalized LR-parser generator for Haskell Tech Report

M. de Jonge (Merijn), T. Kuipers (Tobias) and J.M.W. Visser (Joost)

Relaxations of the satisfiability problem using semidefinite programming Tech Report

E. de Klerk (Etienne), H. van Maaren and J.P. Warners (Joost)

Size fair and homologous tree crossovers Tech Report

W.B. Langdon

Research issues in the renovation of legacy systems Tech Report

A. van Deursen (Arie), P. Klint (Paul) and C. Verhoef (Chretien)

Understanding COBOL systems using inferred types Tech Report

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

Markov chain conditions for admissibility in estimation problems with quadratic loss Tech Report

M.L. Eaton

Front propagation into unstable states : universal algebraic convergence towards uniformly translating pulled fronts Tech Report

U. Ebert (Ute) and W. van Saarloos

Splitting methods for partial Volterra integro-differential equations Tech Report

H. Brunner, P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

A comparison of integration methods for atmospheric transport-chemistry problems Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

Probabilistic bottom-up join order selection - breaking the curse of NP-completeness Tech Report

F. Waas (Florian) and A.J. Pellenkoft (Jan)

Constraint-based facial animation Tech Report

Z.M. Ruttkay