Publications from 2020

Some empirical research on the performance of Internet search engines In Proceedings

W. Mettrop (Wouter) and P. Nieuwenhuysen

Frames, Riesz systems and multiresolution analysis in Hilbert spaces Article

S.J.L. van Eijndhoven and P.J. Oonincx

WWW-zoekmachines onderzocht : naast incompetent zelfs onbetrouwbaar Article

W. Mettrop (Wouter) and H. van der Laan

Anticipating SMIL 2.0: The Developing Cooperative Infrastructure for Multimedia on the Web In Proceedings

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

The Use of SMIL: Multimedia Research Currently Applied on a Global Scale In Proceedings

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

GRiNS: An Authoring Environment for Web Multimedia In Proceedings

D.C.A. Bulterman (Dick), L. Rutledge (Lloyd), L. Hardman (Lynda), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)

Supporting Adaptive and Adaptable Hypermedia Presentation Semantics In Proceedings

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

Adaptable Hypermedia with Web Standards and Tools Book Chapter

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

Do You Have the Time? Composition and Linking in Time-based Hypermedia Book Chapter

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

Mix'n'Match: Exchangeable Modules of Hypermedia Style Book Chapter

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

SMIL - Synchronized Multimedia Integration Language: Moving to the beat Article

L. Rutledge (Lloyd)

Generic Film Forms for Dynamic Virtual Video Synthesis Article

C.A. Lindley

Everything You Wanted to Know About MPEG-7: Part 1 Article

F.-M. Nack (Frank) and A.T. Lindsay

Everything You Wanted to Know About MPEG-7: Part 2 Article

F.-M. Nack (Frank) and A.T. Lindsay

Hypermedia: The Link with Time Article

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

Integrating I/O processing and Transparent Parallelism - Toward Comprehensive Query Execution in Parallel Database Systems Book Chapter

S. Manegold (Stefan) and F. Waas (Florian)

Adaptive Hypermedia: Purpose, Methods, and Techniques In Proceedings

P.M.E. de Bra, P. Brusilovsky (Peter), J. Eklund, W. Hall (Wendy) and A. Kobsa

AHAM: A Dexter-based Reference Model for Adaptive Hypermedia In Proceedings

P.M.E. de Bra, G.J. Houben and H. Wu (Hongjing)

Local Effective Hölder Exponent Estimation on the Wavelet Transform Maxima Tree Book Chapter

Z.R. Struzik

Feature Grammars In Proceedings

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

Database architecture optimized for the new bottleneck: Memory access In Proceedings

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

Determining Local Singularity Strength and its Spectrum With the Wavelet Transform In Proceedings

Z.R. Struzik

Measuring Time Series' Similarity through Large Singular Features Revealed with Wavelet Transformation In Proceedings

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

The Haar Wavelet Transform in the Time Series Similarity Paradigm Book Chapter

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

Handling Non-deterministic Data Availability in Parallel Query Execution. In Proceedings

F. Waas (Florian)

WEB-CS: Infrastructure for Web-based Competition In Proceedings

A.T.M. Aerts, P.F.M. Bierhoff and P.M.E. de Bra

Optimizing the Amount of Models Taken into Consideration During Model Selection in Bayesian Networks In Proceedings

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

Acoi: A System for Indexing Multimedia Objects In Proceedings

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

Modular formal specification of data and behaviour In Proceedings

J. Hooman, E. de Jong (Edwin) and J.C. van de Pol (Jaco)

Stochastic geometry : likelihood and computation Book

Requirements specification and analysis of command and control systems Tech Report

J.C. van de Pol (Jaco), J. Hooman and E. de Jong (Edwin)

A comparative study on the power of Van Lieshouf and Baddeley's J-function Article

E. Thönnes (Elke) and M.N.M. van Lieshout (Marie-Colette)

A logical analysis of Boolean constraints Article

K.R. Apt (Krzysztof)

Review of "Programming with constraints: an introduction" by Marriott, K. and Stuckey, P. J. Article

K.R. Apt (Krzysztof)

Top N MM query optimization: the best of both IR and DB worlds In Proceedings

H.E. Blok (Henk Ernst), A.P. de Vries (Arjen) and H.M. Blanken

The logic programming paradigm: a 25-year perspective Book

Preface: The logic programming paradigm: a 25-year perspective 1999 Preface

K.R. Apt (Krzysztof), V.M. Marek, M. Truszczynski (Miroslaw) and D.S. Warren

On the integration of IR and databases In Proceedings

A.P. de Vries (Arjen) and A.N. Wilschut

The mirror MMDBMS architecture In Proceedings

A.P. de Vries (Arjen), M.G.L.M. van Doorn (Mark), H.M. Blanken and P.M.G. Apers (Peter)

The mirror DBMS at TREC-8 In Proceedings

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

The rough guide to constraint propagation Article

K.R. Apt (Krzysztof)

Automatic generation of constraint propagation algorithms for small finite domains In Proceedings

K.R. Apt (Krzysztof) and E.B.G. Monfroy

Index : Theoretical computer science 1999 Article

M. Hazewinkel (Michiel)

The Alma project, or how first-order logic can help us in imperative programming In Proceedings

K.R. Apt (Krzysztof) and A. Schaerf (Andrea)

Factorization of RSA-140 using the number field sieve In Proceedings

S.H. Cavallar (Stefania), B. Dodson, A.K. Lenstra (Arjen), P.C. Leyland, W.M. Lioen (Walter), P.L. Montgomery, B. Murphy, H.J.J. te Riele (Herman) and P. Zimmermann

The compact dynamic bus station Article

A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

Bipartite edge-colouring in O(Delta m) time Article

A. Schrijver (Lex)

Markov-modulated and feedback fluid queues Dissertation

W.R.W. Scheinhardt (Werner)

A numerical study for global atmospheric transport - chemistry problems Article

E.J. Spee (Edwin), J.G. Verwer (Jan), P.M. de Zeeuw (Paul), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

Removing and extracting features in images using mathematical morphology Article

C. Ronse

Markov random fields and images Article

P. Perez (Patrick)

Linear and non-linear scale-spaces Article

E.J.E.M. Pauwels (Eric)

Averaging of random sets and binary images Article

I.S. Molchanov (Ilya)

Multiresolution morphological stochastic image modeling Article

J. Goutsias (John)

The continuous wavelet transform in image processing Article

J.-P. Antoine

Special issue on signals and images : preface Article

H.J.A.M. Heijmans (Henk) and M.N.M. van Lieshout (Marie-Colette)

A local search template Article

R.J.M. Vaessens, E.H.L. Aarts (Emile) and J.K. Lenstra (Jan Karel)

Approximation problems with the divergence criterion for Gaussian variables and Gaussian processes Article

A.A. Stoorvogel and J.H. van Schuppen (Jan)

Weighted colimits and formal balls in generalized metric spaces Article

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

Fluid queues with long-tailed activity period distributions Article

O.J. Boxma (Onno) and V. Dumas

The use of approximate factorization in stiff ODE solvers Article

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

GRiNS (formerly CMIFed) - A GRaphical iNterface for SMIL In Proceedings

K.S. Mullender (Sjoerd)

Stochastic Geometry: Likelihood and Computation Book

W.S. Kendall and M.N.M. van Lieshout (Marie-Colette)

Implementing adaptability in the standard reference model for intelligent multimedia presentation systems In Proceedings

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

The Minimum Description Length Principle and Reasoning under Uncertainty Dissertation

P.D. Grünwald (Peter)

Technologieoverdracht door spin-offs : CWI in bedrijf, 02.10.1998 Booklet

A linear-time transformation of linear inequalities into conjunctive normal form Article

J.P. Warners (Joost)

Conferentie van numeriek wiskundigen : Zeist, 23-25.09.1998 Book

Jaren van berekening : toepassingsgerichte initiatieven in de Nederlandse wiskunde-beoefening 1945-1960 Dissertation

G. Alberts (Gerard)

Benoeming O. J. Boxma tot hoogleraar aan de TU Eindhoven : uitnodiging bij zijn afscheid als clusterleider, 11.09.1998 Booklet

Reversible simulation of irreversible computation Article

M. Li (Ming), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

An analysis of crystal dissolution fronts in flows through porous media part 2: incompatible boundary conditions Article

C.J. van Duijn (Hans), P. Knabner and R.J. Schotting (Ruud)

Unfold/fold transformations of CCP programs Article

S. Etalle (Sandro), M. Gabbrielli and M.C. Meo

A language for modular information-passing agents Article

R.M. van Eijk, F.S. de Boer (Frank), W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)

Temporal reasoning and constraint programming Article

R. Gennari (Rosella)

Special issue on constraint programming : preface Article

K.R. Apt (Krzysztof)

Meetkunde, oud en nieuw : vakantiecursus 1998 : programma Booklet

Computational steering in the CAVE Article

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

Using coordination to parallelize sparse-grid methods for 3-D CFD problems Article

C.T.H. Everaars (Kees) and B. Koren (Barry)

Coordination languages for parallel programming Article

F. Arbab (Farhad), P. Ciancarini and C. Hankin

Reusable coordinator modules for massively concurrent applications Article

F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

A defect correction method for parabolic singular perturbation problems on a rectangle In Proceedings

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

Randomness is hard In Proceedings

H.M. Buhrman (Harry) and L. Torenvliet (Leen)

Synchronized Multimedia Integration Language (SMIL) 1.0 Manual

S. Bugaj, D.C.A. Bulterman (Dick) and not CWI et al

Primes in several classes of the positive matrices Article

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

Connecting informal and formal mathematics Dissertation

H.J. Elbers (Hugo)

Cascading Style Sheets, level 2, CSS2 Specification Standard

B. Bos, H.W. Lie, I. Jacobs, C. Lilley and S. Pemberton (Steven)

Entropy methods for Martingales Book

Y. Nishiyama (Yoichi)

Denotational models for programming languages: applications of Banach's Fixed Point Theorem Article

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

Technische documentatie functionele deel Neural Vision software Manual

M. van Wezel

Gaussian limits for discrepancies Article

A. van Hameren, R. Kleiss and J.K. Hoogland (Jiri)

Requirements for multimedia markup and style sheets on the World Wide Web Article

J.R. van Ossenbruggen (Jacco), A. P. W. Eliëns (Anton), L. Rutledge (Lloyd) and L. Hardman (Lynda)

GRiNS: A GRaphical INterface for creating and playing SMIL documents Article

D.C.A. Bulterman (Dick), L. Hardman (Lynda), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and L. Rutledge (Lloyd)

Implicit Hamiltonian systems with symmetry Article

A.J. van der Schaft

DEGAS: an active, temporal database of autonomous objects Dissertation

J.F.P. van den Akker (Johan)

Parameter estimation in nonlinear dynamical systems Dissertation

W.J.H. Stortelder (Walter)

Modelling and Authoring Hypermedia Documents Dissertation

L. Hardman (Lynda)

Parallel MIRK methods for ODEs Article

D. Voss (David)

The automatic control of numerical integration Article

G. Söderlind

The potential of parallel multi-value methods for the simulation of large real-life problems Article

P. Chartier