Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Article

Journal of Bioinformatics and Computational Biology

L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and M. Mnich (Matthias)

February 2009
Constructing level-2 phylogenetic networks from triplets Article

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 667-681.

L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven), L. Stougie (Leen), F. Hagen and T. Boekhout

February 2009
Worst-case optimal approximation algorithms for maximizing triplet consistency within phylogenetic networks Article

Journal of Discrete Algorithms, 1-17.

J. Byrka (Jaroslaw), K.T. Huber, S.M. Kelk (Steven) and P. Gawrychowski (Paweł)

February 2009
Computing the conical function $P^{\mu}_{-1/2+i\tau}(x)$ Article

SIAM Journal on Scientific Computing, 31(3), 1716-1741.

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

February 2009
Supporting subject matter annotation using heterogeneous thesauri, a user study in Web data reuse Tech Report

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and G. Jacobs

February 2009
Convergence and component splitting for the Crank-Nicolson--Leap-Frog integration method Tech Report

J.G. Verwer (Jan)

February 2009
Configuring Semantic Web Interfaces by Data Mapping In Proceedings

M. Hildebrand (Michiel) and J.R. van Ossenbruggen (Jacco)

February 2009
Systems biology: Parameter estimation for biochemical models Article

FEBS Journal, 276(4), 886-902.

M. Ashyraliyev (Maksat), Y. Fomekong Nanfack, J.A. Kaandorp (Jaap) and J.G. Blom (Joke)

February 2009
Algorithms, haplotypes and phylogenetic networks Dissertation

L.J.J. van Iersel (Leo)

January 2009
Managing requirements evolution using reconstructed traceability and requirements views Dissertation

M. Lormans (Marco)

January 2009
Preface Article

D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

January 2009
Television content enrichment and sharing: The ambulant annotator Book Chapter

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack) and R.L. Guimarães (Rodrigo Laiola)

January 2009
Present and future of software graphics architectures for interactive digital television Book Chapter

P.S. César Garcia (Pablo Santiago), K. Baker (Keith), D.C.A. Bulterman (Dick), L.F.G. Soares (Luiz Fernando Gomes), S. Cruz-Lara (Samuel) and A. Kaptein (Annelies)

January 2009
SIM-PL Software

W.M. Koolen-Wijkstra (Wouter)

January 2009
Foreword Preface

P. Balbiani (Philippe), H. van Ditmarsch (Hans) and D.J.N. van Eijck (Jan)

January 2009
HashClash Software

M.M.J. Stevens (Marc)

January 2009
Dynamic Load Balancing and Job Replication in a Global-Scale Grid Environment: A Comparison Article

IEEE Transactions on Parallel and Distributed Systems, 20(2), 207-218.

M.A. Dobber (Menno), G.M. Koole (Ger) and R.D. van der Mei (Rob)

January 2009
Data, Information, and Knowledge in Visualization Article

IEEE Computer Graphics and Applications, 29(1), 12-19.

M. Chen (Min), R.S. Laramee (Robert), D.S. Ebert (David), H. Hagen (Hans), R. van Liere (Robert), K.-L. Ma (Kwan-Liu), W. Ribarsky (William), G. Scheuermann (Gerik) and D. Silver

January 2009
Analysis of the accuracy and convergence of equation-free projection to a slow manifold Article

Mathematical Modelling and Numerical Analysis, 43(4), 757-784.

Zagaris, A. (Antonios), Gear, C.W. (C. William), Kaper, T.J. (Tasso J.) and Kevrekidis, Y.G. (Yannis G.)

January 2009
Thema Film 21: TA2: Improving social communication between groups Magazine Article

CWI CWI

January 2009
Overview of the INEX 2009 Entity Ranking Track Book Chapter

January 2009
On the Amortized Complexity of Zero-Knowledge Protocols In Proceedings

R.J.F. Cramer (Ronald) and I.B. Damgård (Ivan)

January 2009
Interactive aspects of multiple applications for internet enabled televisions Dissertation

Human-Centered Data Analytics

A.T.S. Fialho (Andre)

January 2009
Advanced routing algorithms for navigation systems Master Thesis

P. Wygocki (Piotr)

January 2009
Forecasting and planning of ambulance services Master Thesis

I.M. Calinescu (Melania)

January 2009
Parkeeromzet verhogen met Revenue Management Article

Parkeer Magazine

M.J. Soomer, K. Pak, R.D. van der Mei (Rob) and G.M. Koole (Ger)

January 2009
What is the Spatial Extent of an Object? In Proceedings

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

January 2009
Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

January 2009
Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

January 2009
The Weibull Statistics and the Efficiency of Natural Image Categorization In Proceedings

R. Auksztulewicz, S. Ghebreab, H.S. Scholte (Steven), V.A.F. Lamme and A.W.M. Smeulders (Arnold)

January 2009
The MediaMill TRECVID 2009 Semantic Video Search Engine In Proceedings

C. Snoek, K.E.A. van de Sande, O. de Rooij, B. Huurnink, J.R.R. Uijlings, M. van Liempt, M. Bugalho, I. Trancoso (Isabel), M.A. Tahir, K. Mikolajczyk, et al. J. Kittler, T. Gevers,

January 2009
The Early Visual System Selectively Pools from Scale-Tuned Neurons to Identify Distinctive Edges at All Natural Scales In Proceedings

S. Ghebreab, H.S. Scholte (Steven), V.A.F. Lamme and A.W.M. Smeulders (Arnold)

January 2009
Real-Time Bag of Words, Approximately In Proceedings

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

January 2009
Periodic Event Detection and Recognition in Video In Proceedings

E.P.V. Vivek, E. Pogalin and A.W.M. Smeulders (Arnold)

January 2009
Cognitive Object Vision In Proceedings

S. Ghebreab, H.S. Scolte, V.A.F. Lamme and A.W.M. Smeulders (Arnold)

January 2009
Brain Responses Strongly Correlate with Weibull Image Statistics when Processing Natural Images Article

Journal of Vision, 9(4), 1-15.

H.S. Scholte (Steven), S. Ghebreab, L. Waldorp, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

January 2009
A Multidisciplinary Approach to Unlocking Television Broadcast Archives Article

Interdisciplinary Science Reviews, 34(2-3), 253-267.

L. Hollink (Laura), G. Schreiber (Guus), B. Huurnink, M. van Liempt, M. de Rijke (Maarten) and A.W.M. Smeulders (Arnold)

January 2009
A Biologically Plausible Model for Rapid Natural Scene Identification In Proceedings

S. Ghebreab, H.S. Scholte (Steven), V.A.F. Lamme and A.W.M. Smeulders (Arnold)

January 2009
A two-station queue with dependent preparation and service times Article

European Journal of Operational Research, 104-116.

M. Vlasiou (Maria), I.J.B.F. Adan and O.J. Boxma (Onno)

January 2009
Wenn der Funke überspringt Article

Physik Journal, 8(12), 39-44.

U. Ebert (Ute)

January 2009
On the sojourn time tails of a file-splitting processor sharing network In Proceedings

G.J. Hoekstra (Gerard), R.D. van der Mei (Rob), Y. Nazarathy (Yoni) and A.P. Zwart (Bert)

January 2009
Assessing the efficiency of resource allocations in bandwidth-sharing networks. Article

Performance Evaluation, 59-77.

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

January 2009
Interacting queues with server selection and coordinated scheduling: Application to cellular data networks Article

Annals of Operations Research, 170(1), 59-78.

S.C. Borst (Sem), N. Hegde and A. Proutière

January 2009
The tax identity in risk theory - a simple proof and an extension Article

Insurance: Mathematics and Economics, 44(2), 304-306.

H. Albrecher (Hansjörg), S.C. Borst (Sem), O.J. Boxma (Onno) and J.A.C. Resing

January 2009
XForms 1.1 Test Suite Software

S. Pemberton (Steven) and not CWI et al

January 2009
XHTML Media Types - Second Edition Manual

S. Pemberton (Steven) and not CWI et al

January 2009
DataCell: Exploiting the Power of Relational Databases for Efficient Stream Processing Article

ERCIM News

E. Liarou (Erietta) and M.L. Kersten (Martin)

January 2009
New Trends in Mathematical Physics - Invited papers of XV International Congress on Mathematical Physics Book

January 2009
smilText JavaScript Software

R.L. Guimarães (Rodrigo Laiola)

January 2009
A pan/zoom tool for telling stories with photos Software

R.L. Guimarães (Rodrigo Laiola) and A.A.M. Kuijk (Fons)

January 2009
Computational Semantics with Functional Programming Book

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

January 2009
Quantitative Coral Analysis and Visualization Software

R. van Liere (Robert) and K.J. Kruszynski (Chris)

January 2009
On finite bases for weak semantics: failures versus impossible futures In Proceedings

T. Chen (Taolue), R.J. van Glabbeek (Rob) and W.J. Fokkink (Wan)

January 2009
An image-warping architecture for VR: low latency versus image quality In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert), S. Beck and B. Fröhlich (Bernd)

January 2009
Niceness Theorems In Proceedings

M. Hazewinkel (Michiel)

January 2009
Explicit polynomial generators for the ring of quasisymmetric functions over the integers Article

Acta Applicandae Mathematicae, 39-44.

M. Hazewinkel (Michiel)

January 2009
Optimal threshold selection for tomogram segmentation by projection distance minimization Article

IEEE Transactions on Medical Imaging, 28(5), 676-686.

K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2009
Adaptive thresholding of tomograms by projection distance minimization Article

Pattern Recognition, 42(10), 2297-2305.

K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2009
Hierarchical Boolean Networks Presentation

M.A. Guravage (Michael)

January 2009
Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering In Proceedings

V. Robu (Valentin) and J.A. La Poutré (Han)

January 2009
Nash Social Welfare in Multiagent Resource Allocation In Proceedings

S. Ramezani (Sara) and U. Endriss

January 2009
Revenue management in the parking industry Article

ERCIM News, 25-26.

R.D. van der Mei (Rob), K. Pak, M.J. Soomer and G.M. Koole (Ger)

January 2009
Cell-based modeling of gut microbiota Presentation

M.J.A. van Hoek (Milan) and R.M.H. Merks (Roeland)

January 2009
Retrieving (JPEG) Pictures in Portable Hypermedia Documents In Proceedings

D.C.A. Bulterman (Dick)

January 2009
Exploiting Sparsity in SDP Relaxation for Sensor Network Localization Article

SIAM Journal on Optimization, 20(1), 192-215.

S. Kim (Sunyoung), M. Kojima and H. Waki (Hayato)

January 2009
Restricted set addition: The exceptional case of the Erdos-Heilbronn conjecture Article

Journal of Combinatorial Theory - Series A, 116(3), 741-746.

G. Karolyi (Gyula)

January 2009
Balanced subset sums of dense sets of integers Article

Integers; Electronic Journal of Combinatorial Number Theory, 9(A45), 591-603.

G. Karolyi (Gyula)

January 2009
Abstract Object Creation in Dynamic Logic In Proceedings

I. Grabe (Immo), F.S. de Boer (Frank) and W. Ahrendt (Wolfgang)

January 2009
Statistische Leertheorie Inaugural Lecture

P.D. Grünwald (Peter)

January 2009
Enterprise Architecture at Work Book

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and F. Arbab (Farhad)

January 2009
Approximation and Cost Sharing Algorithms for Network Design Problems, Habilitation thesis Magazine Article

G. Schäfer (Guido)

January 2009
Physik des Gewitters News Broadcast

U. Ebert (Ute)

January 2009
Spatiotemporal Dynamics in Ecology: Insights from Physics In Proceedings

J.A. Sherratt, M. Smith and J.D.M. Rademacher (Jens)

January 2009
Direct chosen-ciphertext secure identity-based key encapsulation without random oracles Article

Theoretical Computer Science, 410(47-49)

E. Kiltz (Eike) and D. Galindo

January 2009
The Twin Diffie-Hellman Problem and Applications Article

Journal of Cryptology, 22(4)

D. Cash (Charles David), E. Kiltz (Eike) and V. Shoup

January 2009
Sharpness of the percolation transition in the two-dimensional contact process Tech Report

J. van den Berg (Rob)

January 2009
Spinning Relations: High-Speed Networks for Distributed Join Processing In Proceedings

P.W. Frey (Philip), R.A. Pereira Goncalves (Romulo Antonio), M.L. Kersten (Martin) and J. Teubner (Jens)

January 2009
Proceedings 2nd Interaction and Concurrency Experience: Structural Interactions Tech Report

F. Bonchi (Filippo), D. Grohmann and P. Spoletini

January 2009
Reactive Systems, Barbed Semantics, and the Mobile Ambients In Proceedings

F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )

January 2009
Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009
Deriving Syntax and Axioms for Quantitative Regular Behaviours In Proceedings

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2009
Vakantiecursus 2009 - Tel uit je winst - wiskunde in geld en spelen Book

January 2009
Automata Based Model Checking for Reo Connectors In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

January 2009
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems In Proceedings

N. Kokash (Natallia) and F. Arbab (Farhad)

January 2009
The Complex Dynamics of Sponsored Search Markets In Proceedings

V. Robu (Valentin), J.A. La Poutré (Han) and S.M. Bohte (Sander)

January 2009
Integer linear programming in computational biology Book Chapter

E. Althaus, G.W. Klau (Gunnar), O. Kohlbacher, H.P. Lenhof and K. Reinert (Knut)

January 2009
Architecting Security with Paradigm in Architecting Dependable Systems IV Book Chapter

S. Andova, L.P.J. Groenewegen (Luuk), J.H.S. Verschuren (Jan) and E.P. de Vink (Erik)

January 2009
Semidefinite programming approximations for stable sets, colouring, and cuts in graphs Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 49-60.

M. Laurent (Monique)

January 2009
Using AI to Access and Experience Cultural Heritage Article

IEEE Intelligent systems, 24(2), 23-25.

L. Hardman (Lynda), L. Aroyo (Lora), J.R. van Ossenbruggen (Jacco) and E. Hyvönen

January 2009
On the construction of Galois towers Article

Contemporary Mathematics, 9-20.

A. Bassa (Alp) and P. Beelen

January 2009
Asymptotically good ideal linear secret sharing schemes with strong multiplication over any fixed finite field In Proceedings

I. Cascudo (Ignacio), H. Chen (Helen), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

January 2009
Signing a subspace: Signatures for network coding In Proceedings

D. Boneh, D.S. Freeman (David), J. Katz and B. Waters

January 2009
On the security of pairing-friendly abelian varieties over non-prime fields In Proceedings

N. Benger, M. Charlemagne and D.S. Freeman (David)

January 2009
A Leakage-Resilient Mode of Operation In Proceedings

K.Z. Pietrzak (Krzysztof)

January 2009
Evolutionary Multiobjective Optimization for Dynamic Hospital Resource Management In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2009
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

P.A.N. Bosman (Peter)

January 2009
Compact CCA-Secure Encryption for Messages of Arbitrary Length In Proceedings

M. Abe, E. Kiltz (Eike) and T. Okamoto

January 2009
A New Randomness Extraction Paradigm for Hybrid Encryption In Proceedings

E. Kiltz (Eike), K.Z. Pietrzak (Krzysztof), M. Stam and M. Yung (Moti)

January 2009
On the Security of Padding-Based Encryption Schemes (Or: Why we cannot prove OAEP secure in the Standard Model) In Proceedings

E. Kiltz (Eike) and K.Z. Pietrzak (Krzysztof)

January 2009
The Group of Signed Quadratic Residues and Applications In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2009

Available Years

Publications from 2015

Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Article

Constructing level-2 phylogenetic networks from triplets Article

Worst-case optimal approximation algorithms for maximizing triplet consistency within phylogenetic networks Article

Computing the conical function $P^{\mu}_{-1/2+i\tau}(x)$ Article

Supporting subject matter annotation using heterogeneous thesauri, a user study in Web data reuse Tech Report

Convergence and component splitting for the Crank-Nicolson--Leap-Frog integration method Tech Report

Configuring Semantic Web Interfaces by Data Mapping In Proceedings

Systems biology: Parameter estimation for biochemical models Article

Algorithms, haplotypes and phylogenetic networks Dissertation

Managing requirements evolution using reconstructed traceability and requirements views Dissertation

Preface Article

Television content enrichment and sharing: The ambulant annotator Book Chapter

Present and future of software graphics architectures for interactive digital television Book Chapter

SIM-PL Software

Foreword Preface

HashClash Software

Dynamic Load Balancing and Job Replication in a Global-Scale Grid Environment: A Comparison Article

Data, Information, and Knowledge in Visualization Article

Analysis of the accuracy and convergence of equation-free projection to a slow manifold Article

Thema Film 21: TA2: Improving social communication between groups Magazine Article

Overview of the INEX 2009 Entity Ranking Track Book Chapter

On the Amortized Complexity of Zero-Knowledge Protocols In Proceedings

Interactive aspects of multiple applications for internet enabled televisions Dissertation

Advanced routing algorithms for navigation systems Master Thesis

Forecasting and planning of ambulance services Master Thesis

Parkeeromzet verhogen met Revenue Management Article

What is the Spatial Extent of an Object? In Proceedings

Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

The Weibull Statistics and the Efficiency of Natural Image Categorization In Proceedings

The MediaMill TRECVID 2009 Semantic Video Search Engine In Proceedings

The Early Visual System Selectively Pools from Scale-Tuned Neurons to Identify Distinctive Edges at All Natural Scales In Proceedings

Real-Time Bag of Words, Approximately In Proceedings

Periodic Event Detection and Recognition in Video In Proceedings

Cognitive Object Vision In Proceedings

Brain Responses Strongly Correlate with Weibull Image Statistics when Processing Natural Images Article

A Multidisciplinary Approach to Unlocking Television Broadcast Archives Article

A Biologically Plausible Model for Rapid Natural Scene Identification In Proceedings

A two-station queue with dependent preparation and service times Article

Wenn der Funke überspringt Article

On the sojourn time tails of a file-splitting processor sharing network In Proceedings

Assessing the efficiency of resource allocations in bandwidth-sharing networks. Article

Interacting queues with server selection and coordinated scheduling: Application to cellular data networks Article

The tax identity in risk theory - a simple proof and an extension Article

XForms 1.1 Test Suite Software

XHTML Media Types - Second Edition Manual

DataCell: Exploiting the Power of Relational Databases for Efficient Stream Processing Article

New Trends in Mathematical Physics - Invited papers of XV International Congress on Mathematical Physics Book

smilText JavaScript Software

A pan/zoom tool for telling stories with photos Software

Computational Semantics with Functional Programming Book

Quantitative Coral Analysis and Visualization Software

On finite bases for weak semantics: failures versus impossible futures In Proceedings

An image-warping architecture for VR: low latency versus image quality In Proceedings

Niceness Theorems In Proceedings

Explicit polynomial generators for the ring of quasisymmetric functions over the integers Article

Optimal threshold selection for tomogram segmentation by projection distance minimization Article

Adaptive thresholding of tomograms by projection distance minimization Article

Hierarchical Boolean Networks Presentation

Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering In Proceedings

Nash Social Welfare in Multiagent Resource Allocation In Proceedings

Revenue management in the parking industry Article

Cell-based modeling of gut microbiota Presentation

Retrieving (JPEG) Pictures in Portable Hypermedia Documents In Proceedings

Exploiting Sparsity in SDP Relaxation for Sensor Network Localization Article

Restricted set addition: The exceptional case of the Erdos-Heilbronn conjecture Article

Balanced subset sums of dense sets of integers Article

Abstract Object Creation in Dynamic Logic In Proceedings

Statistische Leertheorie Inaugural Lecture

Enterprise Architecture at Work Book

Approximation and Cost Sharing Algorithms for Network Design Problems, Habilitation thesis Magazine Article

Physik des Gewitters News Broadcast

Spatiotemporal Dynamics in Ecology: Insights from Physics In Proceedings

Direct chosen-ciphertext secure identity-based key encapsulation without random oracles Article

The Twin Diffie-Hellman Problem and Applications Article

Sharpness of the percolation transition in the two-dimensional contact process Tech Report

Spinning Relations: High-Speed Networks for Distributed Join Processing In Proceedings

Proceedings 2nd Interaction and Concurrency Experience: Structural Interactions Tech Report

Reactive Systems, Barbed Semantics, and the Mobile Ambients In Proceedings