Publications from 2020

Identifying aspects using fan-in analysis Tech Report

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

Amicable pairs : a survey Article

M. García, J.M. Pedersen and H.J.J. te Riele (Herman)

Multi-point Taylor expansions of analytic functions Article

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

Grid approximation of a singularly perturbed boundary value problem modelling heat transfer in the case of flow over a flat plate with suction of the boundary layer Article

J.J.H. Miller (John), G.I. Shishkin (Gregori), B. Koren (Barry) and L.P. Shishkina

Keyphrase assignment. Comparison between 'identification cloud' based automatic methods and human experts Tech Report

M. Hazewinkel (Michiel)

Hopf algebras of endomorphisms of Hopf algebras Unpublished

M. Hazewinkel (Michiel)

Dynamic stochastic models for indexes and thesauri, identification clouds, and information retrieval and storage In Proceedings

M. Hazewinkel (Michiel)

A State Space Distribution Policy based on Abstract Interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

Mathematical knowledge management is needed In Proceedings

M. Hazewinkel (Michiel)

Hopf algebras : their status and pervasiveness Unpublished

M. Hazewinkel (Michiel)

Solving Satisfiability of Ground Term Algebras Using DPLL and Unification In Proceedings

B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)

Abstraction of parallel uniform processes with data In Proceedings

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

Recent advances in constraints Book

Preface: Recent advances in constraints Preface

K.R. Apt (Krzysztof), F. Fages, F. Rossi, P. Szeredi and J. Váncza

Mass customization in ambient narratives Tech Report

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

A comparative study of arithmetic constraints on integer intervals In Proceedings

K.R. Apt (Krzysztof) and P. Zoeteweij (Peter)

Algebras, rings, and modules: Volume 1 Book

M. Hazewinkel (Michiel), N. Gubareni (Nadiya) and V.V. Kirichenko

Combining multiple representations on the TRECVID search task In Proceedings

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

Monitoring user-system performance in interactive retrieval tasks In Proceedings

L. Boldareva, A.P. de Vries (Arjen) and D. Hiemstra

Tolerance to Irrelevance: A User-effort Oriented Evaluation of Retrieval Systems without Predefined Retrieval Unit In Proceedings

A.P. de Vries (Arjen), G. Kazai and M. Lalmas

A dynamic probabilistic retrieval model In Proceedings

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

Uniform proofs of order independece for various strategy elimination procedures Article

K.R. Apt (Krzysztof)

A Case Study on Array Query Optimisation In Proceedings

R. Cornacchia (Roberto), A.R. van Ballegooij (Alex) and A.P. de Vries (Arjen)

Graph parameters and reflection positivity Tech Report

A. Schrijver (Lex), M.H. Freedman and L. Lovász (László)

Polyhedral combinatorics and combinatorial optimization Article

A. Schrijver (Lex)

Integral representations for computing real parabolic cylinder functions Article

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

Computing solutions of the modified bessel differential equation for imaginary orders and positive arguments Article

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

Algorithms 831: modified bessel functions of imaginary order and positive argument Article

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

Building Logic Toolboxes Dissertation

J.M. Heguiabehere

Generalized processor sharing queues Dissertation

M.J.G. van Uitert (Miranda)

Plural Pronominal Anaphora in Context: Dynamic Aspects of Quantification Dissertation

R.W.F. Nouwen

Feature Grammar Systems - Incremental Maintenance of Indexes to Digital Media Warehouses Dissertation

M.A. Windhouwer (Menzo)

The Ambulant Annotator: Medical Multimedia Annotations on TabletPC’s In Proceedings

D.C.A. Bulterman (Dick)

Lower bound for the number of iterations in semidefinite relaxations for the cut polytope. Article

M. Laurent (Monique)

Adaptive wavelets and their applications to image fusion and compression Dissertation

G. Piella (Gema)

Wetenschap in het spel : CWI in bedrijf, 17.10.2003 Booklet

Welkomstfoto Jan Karel Lenstra als directeur CWI, 01.10.2003 Other

XForms 1.0 Standard

M. Dubinko, S. Pemberton (Steven) and not CWI et al

XML Events, An Events Syntax for XML Standard

S. McCarron (Shane), S. Pemberton (Steven) and T.V. Raman

Towards Ontology-driven Discourse: From Semantic Graphs to Multimedia Presentations In Proceedings

J.P.T.M. Geurts (Joost), S. Bocconi, J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

AmbientDB: P2P Database Technology for Ambient Intelligent Multimedia Applications Article

P.A. Boncz (Peter)

Infectious diseases among animals: combining models and data Dissertation

A.A. de Koeijer

Identifiability of nonlinear homogeneous polynomial systems In Proceedings

R. Peeters (Ralf) and B. Hanzon (Bernard)

An algebraic method for system reduction of stationary Gaussian systems In Proceedings

D. Jibetean (Dorina) and J.H. van Schuppen (Jan)

Taking the Pulse of the Economy Article

Z.R. Struzik

Combinatorics and quantum nonlocality Article

H.M. Buhrman (Harry), P. Høyer (Peter), S. Massar (Serge) and H. Röhrig (Hein)

A decommitment strategy in a competitive multi-agent transportation setting In Proceedings

P.J. 't Hoen (Pieter Jan) and J.A. La Poutré (Han)

The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1 historical note SEN, 2 Book

F.E.J. Kruseman Aretz

Matching, edge-colouring, dimers In Proceedings

A. Schrijver (Lex)

Populariseren van de wetenschap : Henk Nieland minisymposium, 11.06.2003 Other

Algebraic optimization with applications to system theory Dissertation

D. Jibetean (Dorina)

Secure Multi-Player Protocols: Fundamentals, Generality, and Efficiency Dissertation

S. Fehr (Serge)

Toric sets and orbits on toric varieties Article

A. Katsampekis (Anargyros) and A. Thoma

Online publishing - Wiskunde-informatie in een handomdraai Article

W. Mettrop (Wouter) and A.L. Ong (Ay Ling)

TCO en de wet van behoud van ellende Article

M.L. Kersten (Martin)

Econonatology: The Physics of the Economy in Labour Article

Z.R. Struzik

Computational fluid dynamics : wetenschap en gereedschap : intreerede uitgesproken aan de TU Delft, 23.05.2003 Inaugural Lecture

B. Koren (Barry)

Design and Application of iterated Density-Estimation Evolutionary Algorithms Dissertation

P.A.N. Bosman (Peter)

Leiding geven in kennisland : uitnodiging afscheid Gerard van Oortmerssen, 15.05.2003 Other

Branching Growth in Stony Corals: a modelling approach Dissertation

R.M.H. Merks (Roeland)

De natuur tegemoet met pen en PC : intreerede uitgesproken op 9 mei 2003 aan de Technische Universiteit Eindhoven Magazine Article

U. Ebert (Ute)

Leidinggeven in kennisland - Wat komt er op het bordje van de manager / wetenschapper? Book

De natuur tegenmoet met pen en PC Tech Report

U. Ebert (Ute)

Towards a multimedia formatting vocabulary Book Chapter

J.R. van Ossenbruggen (Jacco), J.P.T.M. Geurts (Joost), L. Hardman (Lynda) and L. Rutledge (Lloyd)

To reuse or to be reused : techniques for component composition and construction Dissertation

M. de Jonge (Merijn)

Pseudo-parabolic equations with driving convection term Dissertation

C.M. Cuesta Romero (Carlota)

Spiking Neural Networks Dissertation

S.M. Bohte (Sander)

Slot Index Spatial Join Article

N. Mamoulis (Nikos) and D. Papadias

Generic traversal over typed source code representations Dissertation

J.M.W. Visser (Joost)

Coherence and uniqueness theorems for averaging processes in statistical mechanics Article

H.H. Torriani and M. Hazewinkel (Michiel)

Nonlinear dynamics of atmospheric regime transitions Dissertation

D.T. Crommelin (Daan)

Uitnodiging koffiereceptie t.g.v. 25-jarig jubileum Thea Amende, 15.01.2003 Other

Stabilization and blow-up for some multidimensional nonlinear PDE's Dissertation

I.A. Guerra (Ignacio Antonio)

Computational aerodynamics and fluid dynamics Article

B. Koren (Barry)

A simple and efficient space-time adaptive grid technique for unsteady compressible flows In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

Efficient computation of steady, 3D water-wave patterns In Proceedings

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

Comparison of two adjoint equation approaches with respect to boundary-condition treatments for the quasi-1D Euler equations In Proceedings

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

Model error estimation in global functionals based on adjoint formulation In Proceedings

J. M. Cnossen (Jelmer), H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

A pressure-invariant and conservative method for two-fluid flows In Proceedings

E.H. van Brummelen (Harald) and B. Koren (Barry)

Fix for solution errors near interfaces in two-fluid flow computations In Proceedings

B. Koren (Barry), E.H. van Brummelen (Harald), P.W. Hemker (Piet), B. van Leer and M.R. Lewis (Mervyn)

Computation of 3D steady Navier-Stokes flow with free-surface gravity waves In Proceedings

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

A pressure-invariant conservative Godunov-type method for barotropic two-fluid flows Article

E.H. van Brummelen (Harald) and B. Koren (Barry)

Stromende getallen Article

B. Koren (Barry)

An adaptive-gridding solution method for the 2D unsteady Euler equations Tech Report

J. Wackers (Jeroen)

Compound sums and their applications in finance Tech Report

R. Helmers (Roelof) and B. Tarigan

A bicategorical approach to Morita equivalence for Von Neumann algebras Tech Report

R.M. Brouwer (Rachel)

Self-destructive percolation Tech Report

J. van den Berg (Rob) and R.M. Brouwer (Rachel)

Discontinuous Galerkin discretisation with embedded boundary conditions Tech Report

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

Taking the pulse of the economy Tech Report

Z.R. Struzik

RAM: array processing over a relational DBMS Tech Report

A.R. van Ballegooij (Alex), A.P. de Vries (Arjen) and M.L. Kersten (Martin)

Geometric space-time integration of ferromagnetic materials Tech Report

J.E. Frank (Jason)

CAFE Project : final report Tech Report

A. Weber

Optimal online bounded space multidimensional packing Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

COllective INtelligence with sequences of actions Tech Report

P.J. 't Hoen (Pieter Jan) and S.M. Bohte (Sander)

An algebraic method for system reduction of stationary Gaussian systems Tech Report

D. Jibetean (Dorina) and J.H. van Schuppen (Jan)

Global optimization of rational functions: a semidefinite programming approach Tech Report

D. Jibetean (Dorina) and E. de Klerk (Etienne)

On the nonparametric prediction of conditionally stationary sequences Tech Report

S. Caires and J.A. Ferreira

On spectral simulation of fractional Brownian motion Tech Report

A.B. Dieker (Ton) and M.R.H. Mandjes (Michel)

Perfect simulation for marked point processes Tech Report

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

Colour picking: the pecking order of form and function Tech Report

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