Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

SIM-PL Software

W.M. Koolen-Wijkstra (Wouter)

January 2009
Analyzing data streams in scientific applications Book Chapter

T. Risch (Tore), S. Madden (Samuel), H. Balakrishan (Hari), L. Girod (Lewis), R. Newton (Ryan), M.G. Ivanova (Milena), E. Zeitler (Erik), J. Gehrke (Johannes), B. Panda (Biswanath) and M. Riedewald (Mirek)

December 2009
Foreword Preface

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

January 2009
Analysis and Testing of Ajax-based Single-page Web Applications Dissertation

A. Mesbah (Ali)

June 2009
HashClash Software

M.M.J. Stevens (Marc)

January 2009
Efficient and robust uncertainty quantification for computational fluid dynamics and fluid-structure interaction Dissertation

J.A.S. Witteveen (Jeroen)

April 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 (7202150895)

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
Partial fields in matroid theory Dissertation

Networks and Optimization

S.H.M. van Zwam (Stefan)

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

M. Lormans

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
XForms 1.1 Standard

J.M. Boyer and S. Pemberton (Steven)

October 2009
Adding state to declarative languages to enable web applications Master Thesis

A.J. Jansen (Jack)

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

Human-centered Data Analysis

A.T.S. Fialho (Andre)

January 2009
Discus amicorum Jan Heering : ter gelegenheid van zijn afscheid, 27.02.2009 Miscellaneous

February 2009
Disc amicorum Miente Bakker [bij zijn afscheid, 30.10.2009] Miscellaneous

M. Bakker (Miente)

October 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
Breaking the Weakest Link: Becoming a Trusted Authority on the Internet Article

ERCIM News, 2009(77), 29-30.

M.M.J. Stevens (Marc)

April 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, M. Worring,

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
De bliksem op het spoor Article

Nederlands Tijdschrift voor Natuurkunde, 300-305.

U. Ebert (Ute)

August 2009
Wenn der Funke überspringt Article

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

U. Ebert (Ute)

January 2009
Kosmische bliksems, George van Hal, natuur-wetenschap&techniek (nwt), nr. 10/2009, p. 28-34. Magazine Article

U. Ebert (Ute)

October 2009
End-user Programming of Ambient Narratives for Smart Retail Environments Dissertation

Human-centered Data Analysis

M.G.L.M. van Doorn (Mark)

March 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
From coordination to stochastic models of QoS Tech Report

F. Arbab (Farhad), T. Chothia (Tom), R.D. van der Mei (Rob), S. Meng, Y.-J. Moon (Young-Joo) and C. Verhoef (Chretien)

March 2009
A Multi-disciplinary Approach to Interactive Information Retrieval upon Semi-structured Data Sets In Proceedings

C. Boscarino (Corrado)

September 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, S.C. Borst (Sem), O.J. Boxma (Onno) and J.A.C. Resing

January 2009
A foundation for real recursive function theory Article

Annals of Pure and Applied Logic, 160(3), 255-288.

J.F. Costa, B. S. Loff Barreto (Bruno Serra) and J. Mycka

September 2009
XForms 1.1 Test Suite Software

S. Pemberton (Steven) and not CWI et al

January 2009
RDFa for HTML Authors Manual

S. Pemberton (Steven)

May 2009
Rich Web Application Backplane Manual

S. Pemberton (Steven), A.J. Jansen (Jack) and not CWI et al

October 2009
XForms 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

October 2009
XHTML Media Types - Second Edition Manual

S. Pemberton (Steven) and not CWI et al

January 2009
Ambulant 2.0 Software

A.J. Jansen (Jack), C.L. Blom (Kees) and D.C.A. Bulterman (Dick)

April 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)

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

R.L. Guimarães (Rodrigo) 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
Properties of classical and quantum Jensen-Shannon divergence Article

Physical Review A: Atomic, Molecular and Optical Physics, 79(5)

J. Briët (Jop) and P. Harremoës (Peter)

May 2009
Quantitative Coral Analysis and Visualization Software

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

January 2009
Fransen helpen CWI met softwareverbetering - interview met P. Klint Magazine Article

P. Klint (Paul)

August 2009
Frans-Nederlands informaticasamenwerking van start - interview met P. Klint Magazine Article

P. Klint (Paul)

June 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
EASY Meta-Programming with Rascal Magazine Article

P. Klint (Paul), J.J. Vinju (Jurgen) and T. van der Storm (Tijs)

November 2009
Rascal 0.1alpha-M2 Software

J.J. Vinju (Jurgen), P. Klint (Paul), T. van der Storm (Tijs), A.W. Lankamp (Arnold), T. Basten and M.A. Hills (Mark)

October 2009
Special issue Logic for Information Security -- Editorial Article

Journal of Applied Non Classical Logics, 19(4), 397-401.

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

October 2009
Designing 3D Selection Techniques Using Ballistic and Corrective Movements In Proceedings

L. Liu (Lei) and R. van Liere (Robert)

November 2009
Automated translation and analysis of a ToolBus script for auctions In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

April 2009
Follow me on Twitter Article

I/O ICT Onderzoek, 6(4), 3-3.

P. Klint (Paul)

November 2009
Research Emission Rights Article

I/O ICT Onderzoek, 6(3), 3-3.

P. Klint (Paul)

August 2009
A1-brug Article

I/O ICT Onderzoek, 6(2), 3-3.

P. Klint (Paul)

May 2009
Research Emission Rights Article

I/O ICT Onderzoek, 6(1), 3-3.

P. Klint (Paul)

February 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
Intelligent Systems for Green Developments Article

ERCIM News

J.A. La Poutré (Han), W. Kling and S. Cobben

October 2009
Alien Sprites Magazine Article

U. Ebert (Ute)

September 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
HashClash - Framework for MD5 & SHA-1 Differential Path Construction Software

M.M.J. Stevens (Marc)

June 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
Algorithms, haplotypes and phylogenetic networks Dissertation

L.J.J. van Iersel (Leo)

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
Emergence of consensus and shared vocabularies in collaborative tagging systems Article

ACM Transactions on the Web, 3(4), 1-34.

V. Robu (Valentin), H. Halpin and H. Shepherd

September 2009
Tracking experts that learn by evolving past posteriors Tech Report

W.M. Koolen-Wijkstra (Wouter) and T.A.L. van Erven (Tim)

February 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
Behavioral interface description of an object-oriented language with futures and promises Article

Journal of Logic and Algebraic Programming, 78(7), 491-518.

I. Grabe (Immo), E. Abraham, A. Gruener and M. Steffen

September 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
Finiteness of Redundancy, Regret, Shtarkov Sums and Jeffreys Integrals in Exponential Families In Proceedings

P.D. Grünwald (Peter) and P. Harremoës (Peter)

July 2009
Enterprise Architecture at Work Book

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

January 2009
The Linkage Problem for Group-labelled Graphs Dissertation

T.C.T. Huynh (Tony)

September 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

Available Years

Publications from before 2010

SIM-PL Software

Analyzing data streams in scientific applications Book Chapter

Foreword Preface

Analysis and Testing of Ajax-based Single-page Web Applications Dissertation

HashClash Software

Efficient and robust uncertainty quantification for computational fluid dynamics and fluid-structure interaction Dissertation

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

Partial fields in matroid theory Dissertation

Managing requirements evolution using reconstructed traceability and requirements views Dissertation

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

XForms 1.1 Standard

Adding state to declarative languages to enable web applications Master Thesis

Interactive aspects of multiple applications for internet enabled televisions Dissertation

Discus amicorum Jan Heering : ter gelegenheid van zijn afscheid, 27.02.2009 Miscellaneous

Disc amicorum Miente Bakker [bij zijn afscheid, 30.10.2009] Miscellaneous

Advanced routing algorithms for navigation systems Master Thesis

Forecasting and planning of ambulance services Master Thesis

Breaking the Weakest Link: Becoming a Trusted Authority on the Internet Article

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

De bliksem op het spoor Article

Wenn der Funke überspringt Article

Kosmische bliksems, George van Hal, natuur-wetenschap&techniek (nwt), nr. 10/2009, p. 28-34. Magazine Article

End-user Programming of Ambient Narratives for Smart Retail Environments Dissertation

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

From coordination to stochastic models of QoS Tech Report

A Multi-disciplinary Approach to Interactive Information Retrieval upon Semi-structured Data Sets 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

A foundation for real recursive function theory Article

XForms 1.1 Test Suite Software

RDFa for HTML Authors Manual

Rich Web Application Backplane Manual

XForms 1.1 In Proceedings

XHTML Media Types - Second Edition Manual

Ambulant 2.0 Software

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

Properties of classical and quantum Jensen-Shannon divergence Article

Quantitative Coral Analysis and Visualization Software

Fransen helpen CWI met softwareverbetering - interview met P. Klint Magazine Article

Frans-Nederlands informaticasamenwerking van start - interview met P. Klint Magazine Article

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

EASY Meta-Programming with Rascal Magazine Article

Rascal 0.1alpha-M2 Software

Special issue Logic for Information Security -- Editorial Article

Designing 3D Selection Techniques Using Ballistic and Corrective Movements In Proceedings

Automated translation and analysis of a ToolBus script for auctions In Proceedings

Follow me on Twitter Article

Research Emission Rights Article

A1-brug Article

Research Emission Rights Article

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

Intelligent Systems for Green Developments Article

Alien Sprites Magazine Article

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