Publications from 2017

Ready to preorder: get your BCCSP axiomatization for free! In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan) and A. Ingólfsdóttir

Adapting the UPPAAL model of a distributed lift system In Proceedings

W.J. Fokkink (Wan), A. Kakebeen and J. Pang

Multimedia Content Management Support in Next Generation Service Platforms In Proceedings

A. Spedalieri, G. Sisto, P.S. César Garcia (Pablo Santiago), D. Melpignano (Dario), A. Sinfreu and I. Vaishnavi (Ishan)

An efficient, streamable text format for multimedia captions and subtitles In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and S. Cruz-Lara (Samuel)

Distance Measures for Gabor Jets-based Face Authentication: A Comparative Evaluation In Proceedings

D. Gonzalez-Jimenez, M. Bicego, J.W.H. Tangelder (Hans), B.A.M. Schouten (Ben), O. Ambekar (Onkar), J.L. Alba-Castro, E. Grosso and M. Tistarelli

Generalizing DPLL and satisfiability for equalities Article

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

Optimality and uniqueness of the (4,10,1/6) spherical code Tech Report

C. Bachoc and F. Vallentin (Frank)

An optimal bifactor approximation algorithm for the metric uncapacitated facility location problem In Proceedings

J. Byrka (Jaroslaw)

A Knapsack Secretary Problem with Applications In Proceedings

M. Babaioff, N.S. Immorlica (Nicole Simone), D. Kempe and R. Kleinberg

Coordination of Emergency Communication in Safe Hands Article

A.C. Kik (Annette)

Diverse memo's, aanwijzingen etc rond de interne verhuizing na nieuwbouw zomer 2007 Other

Minimal systems of binomial generators and the indispensable complex of a toric ideal Article

H. Charalambous, A. Katsampekis (Anargyros) and A. Thoma

The ToolBus: A Service-oriented Architecture for Language processing Tools Article

P. Klint (Paul)

Nog een stukje taart? Article

P. Klint (Paul)

XHTML™ Basic 1.1 Tech Report

institution W3C

Effective computation for nonlinear systems In Proceedings

P.J. Collins (Pieter)

Inverting Onto Functions and Polynomial Hierarchy In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal), J. Rogers and N.K. Vereshchagin (Nikolay Konstantinovich)

SMIL 3.0 Language Specification, Last-Call Version Manual

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and P.S. César Garcia (Pablo Santiago)

Managing Personal Communication Environments in Next Generation Service Platforms In Proceedings

R. Kernchen, M. Boussard, C. Hesselman, C. Villalonga, E. Clavier, A. Zhdanova and P.S. César Garcia (Pablo Santiago)

Clique partitioning of interval graphs with submodular costs on the cliques Article

D. Gijswijt (Dion), V. Jost and M. Queyranne

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems In Proceedings

T. Chen (Taolue), S.C.W. Ploeger, J.C. van de Pol (Jaco) and T.A.C. Willemse

A Database Approach to Distributed State Space Generation In Proceedings

S.C.C. Blom (Stefan), B. Lisser (Bert), J.C. van de Pol (Jaco) and M. Weber (Michael)

Dynamic epistemic verification of security protocols: framework and case study In Proceedings

F. Dechesne (Francien) and Y. Wang (Yanjing)

Numerically satisfactory solutions of hypergeometric recursions Article

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

Bug Hunting with False Negatives In Proceedings

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

Edge corrected non-parametric intensity function estimators for heterogeneous Poisson point processes Tech Report

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

On Collisions for MD5 Master Thesis

M.M.J. Stevens (Marc)

What multigrid and Poisson do to one's image News Broadcast

P.M. de Zeeuw (Paul)

Second International ACM/SIGMOD Workshop on Performance and Evaluation of Data Management Systems (ExpDB 2007) Proceedings

Interactive User Modeling for Personalized Access to Museum Collections: The Rijksmuseum Case Study In Proceedings

Y. Wang (Yanjing), L. Aroyo (Lora), N. Stash and L. Rutledge (Lloyd)

Preface Article

C.W. Oosterlee (Kees), B. Koren (Barry) and C. Vuik

Kolmogorov complexity of enumerating finite sets Article

N.K. Vereshchagin (Nikolay Konstantinovich)

Entropy Testing is Efficient In Proceedings

P. Harremoës (Peter) and I. Vajda

The Information Bottleneck Revisited or How to Choose a Good Distortion Measure In Proceedings

P. Harremoës (Peter) and N. Tishby

How to keep on changing your mind, dynamically In Proceedings

J.A. Zvesper (Jonathan)

An Architecture for Non-Intrusive User Interfaces for Interactive Digital Television In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), Z. Obrenovic, J. Ducret and S. Cruz-Lara (Samuel)

Alternative Average Face Models for 3D Face Registration In Proceedings

N. Alyuz, A.A. Salah (Albert Ali) and L. Akarun

Integrating Architectural Models: Symbolic, Semantics and Subjective Models in Enterprise Architectures Article

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), M.M. Lankhorst, H.A. Proper and L.W.N. van der Torre (Leon)

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Proceedings

Lower bounds on the minimum average distance of binary codes Tech Report

B. Mounits (Beniamin)

Symmetry in semidefinite programs Tech Report

F. Vallentin (Frank)

Transformation Transformation of BPMN models for Behaviour Analysis In Proceedings

I. Raedts, J.M. van der Werf (Jan Martijn), M. Petkovic, Y.S. Usenko (Yaroslav), L. Somers and J.F. Groote (Jan Friso)

Adaptive Test Case Execution in Practice Tech Report

J.R. Calamé (Jens)

The role of compatibility in the diffusion of technologies through social networks In Proceedings

N.S. Immorlica (Nicole Simone), J. Kleinberg, M. Mahdian (Mohammad) and T. Wexler

Optimizing an objective function under a bivariate probability model Article

X. Brusset and N.M. Temme (Nico)

Semidefinite bounds for the stability number of a graph via sums of squares of polynomials Article

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

Blooming in a non-local, coupled phytoplankton–nutrient model Tech Report

A. Zagaris (Antonios), A. Doelman (Arjen), N.N. Pham Thi (Nga) and B.P. Sommeijer (Ben)

Disagreement loop and path creation/annihilation algorithms for binary planar Markov fields with applications to image segmentation Tech Report

T. Schreiber and M.N.M. van Lieshout (Marie-Colette)

On the multisymplecticity of partitioned Runge-Kutta and splitting methods Article

B.N. Ryland, R.I. McLachlan and J.E. Frank (Jason)

Equivalences in design of experiments Dissertation

P.M. van de Ven (Peter)

Raadselachtige kaarten : puzzelansichtkaarten onder het motto "Wiskunde en Informatica: Reken Maar!" : uitgeveven door BRICKS consortium Other

Goal-oriented modelling-error estimation for hierarchical models of a different type Dissertation

J. M. Cnossen (Jelmer)

Interactive TV: A Shared Experience Book

P.S. César Garcia (Pablo Santiago), K. Chorianopoulos (Konstantinos) and J.F. Jensen

A trust-region strategy for manifold-mapping optimization Article

P.W. Hemker (Piet) and D. Echeverria (David)

Coalition Formation under Uncertainty: Bargaining Equilibria and the Bayesian Core Stability Concept In Proceedings

G. Chalkiadakis (Georgios), V. Markakis (Vangelis) and C. Boutillier (Cédric)

Some results on approximating the minimax solution in approval voting In Proceedings

V. Markakis (Vangelis), A. Mehta and R. LeGrand (Rob)

Parameters of Integral Circulant Graphs and Periodic Quantum Dynamics Tech Report

N. Saxena (Nitin), S. Severini (Simone) and I.E. Shparlinski

Adjoint-based aerodynamic shape optimization on unstructured meshes Article

G. Carpentieri (Giampietro), B. Koren (Barry) and M.J.L. van Tooren

Logique dynamique pour le raisonnement stratégique dans les jeux extensifs In Proceedings

C. Dégremont (Cédric) and J.A. Zvesper (Jonathan)

Proceedings of IPT/ EGVE 2007 Proceedings

Introduction to iTV: State of the Art and Future Directions In Proceedings

P.S. César Garcia (Pablo Santiago) and K. Chorianopoulos (Konstantinos)

Binding Low Level Features To Support Opportunistic Person Identification In Proceedings

O. Ambekar (Onkar), E.J.E.M. Pauwels (Eric) and B.A.M. Schouten (Ben)

Connector Colouring I: Synchronization and Context Dependency Article

D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)

New Upper Bounds on Codes via Association Schemes and Linear Programming Article

B. Mounits (Beniamin), T. Etzion and S. Litsyn

The approximation gap for the metric facility location problem is not yet closed Article

J. Byrka (Jaroslaw) and K.I. Aardal (Karen)

Dynamics of bid optimization in online advertisement auctions In Proceedings

C. Borgs, J. Chayes, O. Etesami (Omid), N.S. Immorlica (Nicole Simone), K. Jain and M. Mahdian (Mohammad)

On stabilized integration for time-dependent PDEs Article

B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

De late emancipatie van de Toegepaste Wiskunde in ons land : lezing tijdens de lustrumviering van 50 jaar wiskunde en 25 jaar informatica aan de TU Delft, 21.04.2007 Lecture

E. van Spiegel

Op zoek naar het zwarte gat? Article

P. Klint (Paul)

Classification of eight dimensional perfect forms Article

M.D. Sikiric, A. Schuermann and F. Vallentin (Frank)

Arbres et coupes de poids minimum Book Chapter

M. Laurent (Monique)

Evaluating Viewer-Side Enrichment of Television Content In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), A.J. Jansen (Jack), D. Boullier, S. Kocergin and A. Visonneau (Antoine)

Entangled games are hard to approximate Tech Report

J. Kempe, H. Kobayashi, K. Matsumoto, B.F. Toner (Ben) and T. Vidick (Thomas)

SOS formats and meta-theory: SOS formats and meta-theory: 20 years after Article

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

Asymptotic behaviour of three-dimensional singularly perturbed convection–diffusion problems with discontinuous data Article

J.L. López, E. Pérez Sinusía and N.M. Temme (Nico)

Universal Trellises Article

P.J. Collins (Pieter)

P2P, ad hoc and sensor networks – All the different or all the same? In Proceedings

P.A. Boncz (Peter), Bonifati, A. (Angela), J.-H. Böse (Joos-Hendrik), S. Böttcher (Stefan), P.K. Chrysanthis (Panos Kypros), L. Gruenwald (Le), Illarramendi, A. (Arantza), P. Janacik (Peter), König-Ries, B. (Birgitta), May, W. (Wolfgang), et al. A. Mondal (Anirban), S. Obermeier (Sebastian), Ouksel, A. (Aris), G. Samaras (George), Sapkota, B. (Brahmananda), Steinmetz, R. (Rita) and Viglas, S.D. (Stratis)

Multi-level optimization. Space mapping and manifold mapping Dissertation

D. Echeverria (David)

Armada: A reference model for an evolving database system In Proceedings

F.E. Groffen (Fabian), M.L. Kersten (Martin) and S. Manegold (Stefan)

Effici\"{e}nt verzenden van digitale bestanden over het internet Article

I.M. Verloop (Maaike)

Personalized Museum Experience: The Rijksmuseum Use Case In Proceedings

L. Aroyo (Lora), R. Brussee, L. Rutledge (Lloyd), P. Gorgels, N. Stash and Y. Wang (Yanjing)

Model checking a cache coherence protocol for a Java DSM implementation Article

J. Pang, W.J. Fokkink (Wan), R. Hofman (Rutger) and R. Veldema

Flecs, a Flexible Coupling Shell. Application to Fluid-Structure Interaction In Proceedings

M. Nool (Margreet), E.J. Lingen, A. de Boer and H. Bijl

Language Parametric Module Management for IDEs In Proceedings

P. Klint (Paul), A.T. Kooiker (Taeke) and J.J. Vinju (Jurgen)

User-centered control within multimedia presentations Article

D.C.A. Bulterman (Dick)

Models and temporal logical specifications for timed component connectors Article

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)

Reduction of symmetric semidefinite programs using the regular $*$-representation Article

E. de Klerk (Etienne), D.V. Pasechnik and A. Schrijver (Lex)

Using The Meta-Environment for Maintenance and Renovation In Proceedings

M.G.J. van den Brand (Mark), M. Bruntink (Magiel), G.R. Economopoulos (Giorgos Robert), H.A. de Jong (Hayco), P. Klint (Paul), A.T. Kooiker (Taeke), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Simple Crosscutting Concerns Are Not So Simple: Analyzing Variability in Large-scale Idioms-based Implementations In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

Strengthened semidefinite programming bounds for codes Article

M. Laurent (Monique)

Depth map calculation for a variable number of moving objects using Markov sequential object processes Tech Report

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

Advancing translational research with the Semantic Web Article

A. Ruttenberg, T. Clark (Tim), W. Bug, M. Samwald, O. Bodenreider, D. Doherty, H. Chen (Helen), K. Forsberg, Y. Gao, V. Kashyap, et al. J. Kinoshita, J. Luciano, M.S. Marshall (Scott), C. Ogbuji, J. Rees (Jonathan), S. Stephens, E. Wu (Elizabeth), D. Zaccagninni, T. Hongsermeier, E. Neumann, I. Herman (Ivan) and K.-H. Cheung

Statistical Inference through Data Compression Dissertation

R.L. Cilibrasi (Rudi)

Towers of function fields over cubic fields Dissertation

A. Bassa (Alp)

CWI 61 jaar! : standaard bij gebak t.g.v. verjaardag CWI Other

A common framework for aspect mining based on crosscutting concern sorts In Proceedings

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

Matchings in simplicial complexes, circuits and toric varieties Article

A. Katsampekis (Anargyros) and A. Thoma

Parametrizations of toric varieties over any field Article

A. Katsampekis (Anargyros) and A. Thoma

Nonlinear asymptotic stability of the semi-strong pulse dynamics in a regularized Gierer-Meinhardt model Article

A. Doelman (Arjen), T.J. Kaper (Tasso Joost) and K. Promislow

Syntax Definition Formalism (SDF 2.4) Software

M.G.J. van den Brand (Mark), J.J. Vinju (Jurgen) and G.R. Economopoulos (Giorgos Robert)