Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Realization theory for linear hybrid systems, part I: Existence of realization Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

February 2008
Realization theory for linear hybrid systems, part II: Reachability, observability and minimality Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

February 2008
On the axiomatizability of priority Article

Mathematical Structures in Computer Science, 18(1), 5-28.

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

February 2008
Combining Expert Advice Efficiently Article

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

February 2008
A fast and accurate FFT-based method for pricing early-exercise options under Levy processes Article

SIAM Journal on Scientific Computing, 1678-1705.

R. Lord, F. Fang, F. Bervoets and C.W. Oosterlee (Kees)

February 2008
Distributed partial order reduction for branching security protocols Article

Electronic Notes in Theoretical Computer Science, 198(1), 93-99.

M.T. Dashti (Mohammad), A.J. Wijs (Anton) and B. Lisser (Bert)

February 2008
Algorithms for SCC Decomposition Article

Electronic Notes in Theoretical Computer Science, 198 (1), 63-77.

J. Barnat, J. Chaloupka (Jakub) and J.C. van de Pol (Jaco)

February 2008
An integrated system to manage crosscutting concerns in source code Dissertation

M.A. Marin (Marius)

January 2008
High entropy random selection protocols [Extended Abstract] In Proceedings

H.M. Buhrman (Harry), M. Christandl (Matthias), M. Koucký (Michal), Z. Lotker (Zvi), Patt-Shamir, B. (Boaz) and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2008
The unique games conjecture with entangled provers is false In Proceedings

Kempe, J. (Julia), O. Regev (Oded) and B.F. Toner (Ben)

January 2008
Multirate numerical integration for ordinary differential equations Dissertation

Modelling, Analysis and Computation

V. Savcenco (Valeriu)

January 2008
07381 Executive Summary Cryptography - Dagstuhl Seminar In Proceedings

J. Blömer (Johannes), Boneh, D. (D.), R.J.F. Cramer (Ronald) and Maurer, U. (U.)

January 2008
Algorithmic information theory Book Chapter

P.D. Grünwald (Peter) and P.M.B. Vitányi (Paul)

January 2008
The quantitative theory of information Book Chapter

P. Harremoës (Peter) and T. Flemming (Topsøe)

January 2008
VectorWise Software

M. Zukowski (Marcin), S. A. B. C. Héman (Sándor) and P.A. Boncz (Peter)

January 2008
Flatland: A romance of many dimensions Book

January 2008
Sqllogictest Software

H.F. Mühleisen (Hannes)

January 2008
An Introduction to Kolmogorov Complexity Book

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 2008
An hp-adaptive strategy for the solution Of the exact kernel curved wire pocklington Equation Article

Computational Methods in Applied Mathematics, 8(1), 39-59.

P.W. Hemker (Piet) and D.J.P. Lahaye (Domenico)

January 2008
De AERA. Gedroomde machines en de praktijk van het rekenwerk aan het Mathematisch Centrum te Amsterdam Article

Studium, 101-127.

G. Alberts (Gerard) and H. de Beer

January 2008
Applying data mining to the study of Joseki In Proceedings

M. Helvensteijn (Michiel)

January 2008
Twintig jaar internet : YouTube film Online Video

P. Beertema (Piet) and J.K. Lenstra (Jan Karel)

January 2008
Experts onthullen zwakke plek in internetbeveiliging : YouTube film Online Video

A. Sotirov (Alexander), M.M.J. Stevens (Marc), J. Appelbaum, A.K. Lenstra (Arjen), D. Molnar, D.A. Osvik and B. de Weger (Benne)

January 2008
Modeling just-in-time communication in distributed real-time multimedia applications In Proceedings

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra, G.M. Koole (Ger) and H. Bal

January 2008
On the optimization of resource utilization in distributed multimedia applications In Proceedings

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra and G.M. Koole (Ger)

January 2008
Met sprongen : intreerede TU Delft, 01.10.2008 Magazine Article

C.W. Oosterlee (Kees)

January 2008
Visual Quasi-Periodicity In Proceedings

E. Pogalin, A.W.M. Smeulders (Arnold) and A.H.C. Thean

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

C. Snoek, K.E.A. van de Sande, O. de Rooij, B. Huurnink, J.C. van Gemert, J.R.R. Uijlings, J. He (Jiyin), X. Li (Xirong), I. Everts, V. Nedovic, et al. M.A. Tahir, J. Kittler, T. Gevers, D.C. Koelma

January 2008
Quadratic Boosting Article

Pattern Recognition, 41(1), 331-341.

T.V. Pham and A.W.M. Smeulders (Arnold)

January 2008
Kernel Codebooks for Scene Categorization In Proceedings

J.C. van Gemert, J.M. Geusebroek (Jan-Mark), C.J. Veenman and A.W.M. Smeulders (Arnold)

January 2008
Depth Estimation Via Stage Classification In Proceedings

V. Nedovic, A.W.M. Smeulders (Arnold), A. Redert and J.M. Geusebroek (Jan-Mark)

January 2008
Analyzing Video Concept Detectors Visually In Proceedings

C. Snoek, R. van Balen, D.C. Koelma, A.W.M. Smeulders (Arnold) and M. Worring (Marcel)

January 2008
M/G/∞ polling systems with fixed visit times Article

Probability in the Engineering and Informational Sciences, 22(1), 81-106.

M. Vlasiou (Maria) and U. Yechiali

January 2008
Unconditionally stable integration of Maxwell's equations Tech Report

J.G. Verwer (Jan) and M.A. Botchev

January 2008
Performance results for digital subscriber line precoders Article

Bell Labs Technical Journal, 13(1), 147-161.

P.A. Whiting, A. Ashikhmin, S.C. Borst (Sem), J. Jennen, G. Kramer, A.J. Lind van Wijngaarden and M. Zivkovic

January 2008
Peer-assisted content distribution networks: performance gains and server capacity savings Article

Bell Labs Technical Journal, 13(3), 59-69.

I. Rimac, S.C. Borst (Sem) and A. Walid

January 2008
IEEE 802.11s and the Philosopher's problem Article

Statistica Neerlandica, 62(3), 283-298.

D. Denteneer, S.C. Borst (Sem), P.M. van de Ven (Peter) and G. Hiertz

January 2008
New challenges in content dissemination networks Article

Bell Labs Technical Journal, 13(3), 5-11.

A. Beck, S.C. Borst (Sem), B. Ensor, V. Hilt, I. Rimac and A. Walid

January 2008
On server dimensioning for hybrid P2P content distribution networks In Proceedings

I. Rimac, A. Walid and S.C. Borst (Sem)

January 2008
In and Out of Equilibrium II Book

January 2008
Eurographics Virtual Environments Proceedings

January 2008
High Resolution Mass Spectrometry Analysis Software

A. Broersen (Alexander) and R. van Liere (Robert)

January 2008
Designing bidding strategies strategies in sequential auctions for risk-averse agents: A theoretical and experimental investigation Book Chapter

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

January 2008
Diffusion Limits of Limited Processor Sharing Queues Tech Report

J. Zhang (Jason), J.G. Dai and A.P. Zwart (Bert)

January 2008
Constructing the Structure of Utility Graphs Used in Multi-Item Negotiation Through Collaborative Filtering of Aggregate Buyer Preferences Book Chapter

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

January 2008
A new tower over cubic finite fields Article

Moscow Mathematical Journal, 8(3), 401-418.

A. Bassa (Alp), A. Garcia and H. Stichtenoth

January 2008
Challenges for societal logistics Article

ERCIM News, 28-29.

R.D. van der Mei (Rob)

January 2008
Evolutionary Dynamics for Designing Multi-Period Auctions In Proceedings

T.B. Klos (Tomas) and G.J. van Ahee

January 2008
A Distributed Platform for Mechanism Design In Proceedings

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

January 2008
Improper colouring of (random) unit disk graphs Article

Discrete Mathematics, 308(8), 1438-1454.

R.J. Kang (Ross), T. Müller (Tobias) and J.-S. Sereni

January 2008
Lower bounding the boundary of a graph in terms of its maximum or minimum degree Article

Discrete Mathematics, 308(24), 6581-6583.

T. Müller (Tobias), A. Por and J.-S. Sereni

January 2008
Two-point concentration in random geometric graphs Article

Combinatorica, 28(5), 529-541.

T. Müller (Tobias)

January 2008
Proportionate Flow Shop Games Article

Journal of Scheduling, 433-447.

A. Estévez-Fernandéz (Arantza), M.A. Mosquera, P. Borm and H. Hamers

January 2008
OWLRL - RDFS and OWL 2 RL generator service Software

I. Herman (Ivan)

January 2008
A shape theorem for the spread of an infection. Article

Annals of Mathematics, 167(3), 701-766.

H. Kesten and V. Sidoravicius (Vladas)

January 2008
A problem in one-dimensional diffusion-limited aggregation (DLA) and positive recurrence of Markov chains. Article

Annals of Probability, 36(5), 1838-1879.

H. Kesten and V. Sidoravicius (Vladas)

January 2008
Positive recurrence of a one-dimensional variant of diffusion limited aggregation. Book Chapter

H. Kesten and V. Sidoravicius (Vladas)

January 2008
Random spatial growth with paralyzing obstacles. Article

Annales de l'Institut Henri Poincaré - Probability and Statistics, 1173-1187.

J. van den Berg (Rob), Y. Peres, V. Sidoravicius (Vladas) and M.E. Vares

January 2008
Box-crossings and continuity results for self-destructive percolation in the plane Book Chapter

J. van den Berg (Rob), R.M. Brouwer (Rachel) and B. Vagvölgyi (Balint)

January 2008
-- Unpublished

L. Rutledge (Lloyd)

January 2008
Coordinating Object Oriented Components Using Data-flow Networks In Proceedings

M.M. Jaghoori (Mohammad Mahdi)

January 2008
Vertical systems biology: from DNA to flux and back Book Chapter

A. Bevilacqua, S.J. Wilkinson, R. Dimelow, E. Murabito, S. Rehman, M. Nardelli, K. van Eunen, S. Rossell, F.J. Bruggeman (Frank), N. Bluethgen, et al. J. Bouwman, H.V. Westerhoff (Hans)

January 2008
Met sprongen Inaugural Lecture

C.W. Oosterlee (Kees)

January 2008
Pre-Galois Connection on Coalgebras for Generic Component Refinement Article

Electronic Notes in Theoretical Computer Science, 203-217.

M. Sun (Meng)

January 2008
Control of input-output discrete-event systems Tech Report

M. Petreczky (Mihaly), R. Theunissen, R. Su (Rong), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2008
A control problem for hybrid systems with discrete inputs and outputs Tech Report

M. Petreczky (Mihaly), P.J. Collins (Pieter), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2008
Main Memory DBMS Book Chapter

P.A. Boncz (Peter)

January 2008
Main Memory Book Chapter

P.A. Boncz (Peter)

January 2008
Processor Cache Book Chapter

P.A. Boncz (Peter)

January 2008
Disk Book Chapter

P.A. Boncz (Peter)

January 2008
Fronts in Fermi-Pasta-Ulam chains Tech Report

M. Herrmann and J.D.M. Rademacher (Jens)

January 2008
Decentralized Management of Intermediate Elctricity Networks by Agents using Local Dynamic Pricing Software

H. Noot (Han), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2008
Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2008
When do diffusion-limited trajectories become memoryless? In Proceedings

M. Dobrzynski (Maciej)

January 2008
Leatherbacks matching by automated image recognition Book Chapter

E.J.E.M. Pauwels (Eric), P.M. de Zeeuw (Paul) and D.M. Buonantony

January 2008
Computer-assisted tree taxonomy by automated image recognition Article

Engineering Applications of Artificial Intelligence, 22(1), 26-31.

E.J.E.M. Pauwels (Eric), P.M. de Zeeuw (Paul) and E.B. Ranguelova (Elena)

January 2008
XHTML Role Attribute, A module to support role classification of elements Tech Report

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

January 2008
XHTML Access Module Module to enable generic document accessibility Tech Report

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

January 2008
RDFa in XHTML: Syntax and Processing Tech Report

B. Adida (Ben), S. Pemberton (Steven) and not CWI et al

January 2008
Semantic web and beyond computing for human experience Book Chapter

V. Kashyap, K.-H. Cheung, D. Doherty, M. Samwald, M.S. Marshall (Scott), J. Luciano, S. Stephens, I. Herman (Ivan) and B. Hookway

January 2008
The Path to Web n+1 Article

ERCIM News, 16-17.

L. Hardman (Lynda) and S. Pemberton (Steven)

January 2008
Modular Development of Hybrid Systems for Verification in Coq In Proceedings

M. Niqui (Milad) and O. Tveretina

January 2008
Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

January 2008
Large Deviations Perspective on Ordinal Optimization of Heavy-tailed Systems In Proceedings

J. Blanchet (Jose), J. Liu and A.P. Zwart (Bert)

January 2008
Scaling laws for file dissemination in P2P networks with random contacts In Proceedings

R. Núñez Queija (Rudesindo) and B.J. Prabhu (Balakrishna)

January 2008
Load balancing in processor sharing systems In Proceedings

E. Altman, U. Ayesta (Urtzi) and B.J. Prabhu (Balakrishna)

January 2008
Performance model for “Just-in-Time” problems in real-time multimedia applications In Proceedings

R.D. van der Mei (Rob), F.J. Seinstra, G.M. Koole (Ger), R. Yang (Ran), D. Roubos and H. Bal

January 2008
Determining the optimal level of parallellism for realtime multimedia applications in a Grid environment In Proceedings

R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra, G.M. Koole (Ger) and R. Yang (Ran)

January 2008
A note on polling models with renewal arrivals and nonzero switch-over times Article

Operations Research Letters, 500-505.

R.D. van der Mei (Rob) and E.M.M. Winands

January 2008
Heavy traffic analysis for polling models by Mean Value Analysis Article

Performance Evaluation, 400-416.

R.D. van der Mei (Rob) and E.M.M. Winands

January 2008
Polling Systems with Two-Phase Gated Service: Heavy Traffic Results for the Waiting Time Distribution Article

Probability in the Engineering and Informational Sciences, 623-651.

R.D. van der Mei (Rob) and J.A.C. Resing

January 2008
Analysis of an M/G/1 queue with customer impatience and an adaptive arrival process In Proceedings

O.J. Boxma (Onno), O. Kella, D. Perry and B.J. Prabhu (Balakrishna)

January 2008
Asymptotic analysis of Lévy-driven tandem queues Article

Queueing Systems, 60(3-4), 203-226.

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2008
On a generic class of two-node queueing systems Article

Queueing Systems, 37-63.

I.J.B.F. Adan, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and E. Tzenova

January 2008
Comparison of bandwidth-sharing policies in a linear network In Proceedings

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and S.C. Borst (Sem)

January 2008
Bandwidth-sharing networks in overload In Proceedings

R.R. Egorova (Regina Robertovna), S.C. Borst (Sem) and A.P. Zwart (Bert)

January 2008
Stability of parallel queueing systems with coupled service rates Article

Discrete Event Dynamic Systems: Theory and Applications, 18(4), 447-472.

S.C. Borst (Sem), M. Jonckheere (Matthieu) and L.S. Leskela (Lasse)

January 2008
Flow-level performance and user mobility in wireless data networks Article

Philosophical Transactions of the Royal Society A , 366(1872), 2047-2058.

S.C. Borst (Sem)

January 2008
Queueing models for single machine manufacturing systems In Proceedings

K. Wu, L.F. McGinnis and A.P. Zwart (Bert)

January 2008
Measuring extremal dependencies in Web graphs In Proceedings

Y. Volkovich, N. Litvak and A.P. Zwart (Bert)

January 2008

Available Years

Publications from 2017

Realization theory for linear hybrid systems, part I: Existence of realization Tech Report

Realization theory for linear hybrid systems, part II: Reachability, observability and minimality Tech Report

On the axiomatizability of priority Article

Combining Expert Advice Efficiently Article

A fast and accurate FFT-based method for pricing early-exercise options under Levy processes Article

Distributed partial order reduction for branching security protocols Article

Algorithms for SCC Decomposition Article

An integrated system to manage crosscutting concerns in source code Dissertation

High entropy random selection protocols [Extended Abstract] In Proceedings

The unique games conjecture with entangled provers is false In Proceedings

Multirate numerical integration for ordinary differential equations Dissertation

07381 Executive Summary Cryptography - Dagstuhl Seminar In Proceedings

Algorithmic information theory Book Chapter

The quantitative theory of information Book Chapter

VectorWise Software

Flatland: A romance of many dimensions Book

Sqllogictest Software

An Introduction to Kolmogorov Complexity Book

An hp-adaptive strategy for the solution Of the exact kernel curved wire pocklington Equation Article

De AERA. Gedroomde machines en de praktijk van het rekenwerk aan het Mathematisch Centrum te Amsterdam Article

Applying data mining to the study of Joseki In Proceedings

Twintig jaar internet : YouTube film Online Video

Experts onthullen zwakke plek in internetbeveiliging : YouTube film Online Video

Modeling just-in-time communication in distributed real-time multimedia applications In Proceedings

On the optimization of resource utilization in distributed multimedia applications In Proceedings

Met sprongen : intreerede TU Delft, 01.10.2008 Magazine Article

Visual Quasi-Periodicity In Proceedings

The MediaMill TRECVID 2008 Semantic Video Search Engine In Proceedings

Quadratic Boosting Article

Kernel Codebooks for Scene Categorization In Proceedings

Depth Estimation Via Stage Classification In Proceedings

Analyzing Video Concept Detectors Visually In Proceedings

M/G/∞ polling systems with fixed visit times Article

Unconditionally stable integration of Maxwell's equations Tech Report

Performance results for digital subscriber line precoders Article

Peer-assisted content distribution networks: performance gains and server capacity savings Article

IEEE 802.11s and the Philosopher's problem Article

New challenges in content dissemination networks Article

On server dimensioning for hybrid P2P content distribution networks In Proceedings

In and Out of Equilibrium II Book

Eurographics Virtual Environments Proceedings

High Resolution Mass Spectrometry Analysis Software

Designing bidding strategies strategies in sequential auctions for risk-averse agents: A theoretical and experimental investigation Book Chapter

Diffusion Limits of Limited Processor Sharing Queues Tech Report

Constructing the Structure of Utility Graphs Used in Multi-Item Negotiation Through Collaborative Filtering of Aggregate Buyer Preferences Book Chapter

A new tower over cubic finite fields Article

Challenges for societal logistics Article

Evolutionary Dynamics for Designing Multi-Period Auctions In Proceedings

A Distributed Platform for Mechanism Design In Proceedings

Improper colouring of (random) unit disk graphs Article

Lower bounding the boundary of a graph in terms of its maximum or minimum degree Article

Two-point concentration in random geometric graphs Article

Proportionate Flow Shop Games Article

OWLRL - RDFS and OWL 2 RL generator service Software

A shape theorem for the spread of an infection. Article

A problem in one-dimensional diffusion-limited aggregation (DLA) and positive recurrence of Markov chains. Article

Positive recurrence of a one-dimensional variant of diffusion limited aggregation. Book Chapter

Random spatial growth with paralyzing obstacles. Article

Box-crossings and continuity results for self-destructive percolation in the plane Book Chapter

-- Unpublished

Coordinating Object Oriented Components Using Data-flow Networks In Proceedings

Vertical systems biology: from DNA to flux and back Book Chapter

Met sprongen Inaugural Lecture

Pre-Galois Connection on Coalgebras for Generic Component Refinement Article

Control of input-output discrete-event systems Tech Report

A control problem for hybrid systems with discrete inputs and outputs Tech Report

Main Memory DBMS Book Chapter

Main Memory Book Chapter

Processor Cache Book Chapter

Disk Book Chapter

Fronts in Fermi-Pasta-Ulam chains Tech Report

Decentralized Management of Intermediate Elctricity Networks by Agents using Local Dynamic Pricing Software

Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings

When do diffusion-limited trajectories become memoryless? In Proceedings

Leatherbacks matching by automated image recognition Book Chapter

Computer-assisted tree taxonomy by automated image recognition Article

XHTML Role Attribute, A module to support role classification of elements Tech Report

XHTML Access Module Module to enable generic document accessibility Tech Report

RDFa in XHTML: Syntax and Processing Tech Report