Publications from 2017

ASF+SDF Meta-Environment 2-RC2 Software

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

Flexible Heterogeneous Software Systems Dissertation

H.A. de Jong (Hayco)

Reducing spike train variability: A computational theory of spike-timing dependent plasticity Article

S.M. Bohte (Sander) and M.C. Mozer

Coalgebraic representations of distributive lattices with operators Article

M.M. Bonsangue (Marcello), A. Kurz (Alexander) and I.M. Rewitzky

Lattice based extended formulations for integer linear equality systems Tech Report

K.I. Aardal (Karen) and L.A. Wolsey (Laurence)

Computing semidefinite programming lower bounds for the (fractional) chromatic number via block-diagonalization Tech Report

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

The operator $\Psi$ for the Chromatic Number of a Graph Tech Report

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

Models and algorithms for online server routing Dissertation

V. Bonifaci (Vincenzo)

Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition Dissertation

J.V. Guillen Scholten (Juan)

Configurable Input Devices for 3D Interaction using Optical Tracking Dissertation

A.J. van Rhijn (Arjen)

Een fundamenteel verschil - CWI strategie 2007-2012. Stichting Centrum voor Wiskunde en Informatica : samenvatting Booklet

Opgeruimd op vakantie : spelregels om de kamers op te ruimen i.v.m. aanstaande verbouwing [2007] Other

Nieuwjaarskaart 2007 Other

Ta2 Software

A.J. Jansen (Jack)

Cooperative scans: Dynamic bandwidth sharing in a DBMS In Proceedings

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

XRPC: Interoperable and efficient distributed XQuery In Proceedings

Y. Zhang (Ying) and P.A. Boncz (Peter)

Investigating the consistency requirements for designing multi-device user interfaces : an experimental exploration Dissertation

S. Shahid (Suleman)

Video-Based Training Registration for Swimmers Article

E. Pogalin, A.H.C. Thean, J. Baan, N. Schipper and A.W.M. Smeulders (Arnold)

The Role of Visual Content and Style for Concert Video Indexing In Proceedings

C. Snoek, M. Worring (Marcel), A.W.M. Smeulders (Arnold) and B. Freiburg

The MediaMill TRECVID 2007 Semantic Video Search Engine In Proceedings

C. Snoek, I. Everts, J.C. van Gemert, J.M. Geusebroek (Jan-Mark), B. Huurnink, D.C. Koelma, M. van Liempt, O. de Rooij, K.E.A. van de Sande, A.W.M. Smeulders (Arnold), et al. J.R.R. Uijlings and M. Worring (Marcel)

The MediaMill Semantic Video Search Engine In Proceedings

M. Worring (Marcel), C. Snoek, O. de Rooij, G.P. Nguyen and A.W.M. Smeulders (Arnold)

The Distribution Family of Similarity Distances Article

G.J. Burghouts, A.W.M. Smeulders (Arnold) and J.M. Geusebroek (Jan-Mark)

Spatio-Temporal Context for Robust Multitarget Tracking Article

H.T. Nguyen (Hieu), Q. Ji and A.W.M. Smeulders (Arnold)

Semantic Video Search In Proceedings

A.W.M. Smeulders (Arnold), J.C. van Gemert, B. Huurnink, D.C. Koelma, O. de Rooij, K.E.A. van de Sande, C. Snoek, C.J. Veenman and M. Worring (Marcel)

Semantic video indexing Book Chapter

C. Snoek, M. Worring (Marcel), J.M. Geusebroek (Jan-Mark), D.C. Koelma, F.J. Seinstra and A.W.M. Smeulders (Arnold)

Predictive Modeling of FMRI Brain States Using Functional Canonical Correlation Analysis In Proceedings

S. Ghebreab, P. Adriaans and A.W.M. Smeulders (Arnold)

Predicting Brain States from FMRI Data: Incremental Functional Principal Component Regression Article

S. Ghebreab, A.W.M. Smeulders (Arnold) and P. Adriaans

Interactive Search by Direct Manipulation of Dissimilarity Space Article

G.P. Nguyen, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

High-Performance Distributed Image and Video Content Analysis with Parallel-Horus Article

F.J. Seinstra, J.M. Geusebroek (Jan-Mark), D.C. Koelma, C. Snoek, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

Depth Information by Stage Classification In Proceedings

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

A Learned Lexicon-Driven Paradigm for Interactive Video Retrieval Article

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

A non-increasing Lindley-type equation Article

M. Vlasiou (Maria)

Time-dependent behaviour of an alternating service queue Article

M. Vlasiou (Maria) and A.P. Zwart (Bert)

Exact solution to a Lindley-type equation on a bounded support Article

M. Vlasiou (Maria) and I.J.B.F. Adan

Een fundamenteel verschil - CWI strategie 2007-2012 Book

J. Heering (Jan), J.K. Lenstra (Jan Karel) and M. Mieras

XForms 1.0 3rd Edition Test Suite Software

S. Pemberton (Steven) and not CWI et al

Eurographics Virtual Environments Proceedings

DEMO -- Dynamic Epistemic Modelling Software Software

D.J.N. van Eijck (Jan)

TBD Article

P. Klint (Paul)

A network flow algorithm for reconstructing binary images from discrete X-rays Article

K.J. Batenburg (Joost)

A simplifed proof for the limit of a tower over a cubic finite field Article

A. Bassa (Alp) and H. Stichtenoth

Stochastic Performance Models for Resource Allocation in Communication Systems Proceedings

Proceedings of SYANCO 2007 Proceedings

International Symposium on Fundamentals of Software Engineering Proceedings

F. Arbab (Farhad) and M. Sirjani (Marjan)

Present and Future of Software Graphics Architectures for IDTV Book Chapter

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

On geometric graph Ramsey numbers Article

G. Karolyi (Gyula) and V. Rosta

Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic In Proceedings

H. Fecher and I. Grabe (Immo)

pyRdfa - RDFa distiller and parser Software

I. Herman (Ivan)

Connector Colouring I: Synchronization and Context Dependency Article

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

Systems biology and the reconstruction of the cell: from molecular components to integral function Book Chapter

F.J. Bruggeman (Frank), S. Rossell, K. van Eunen, J. Bouwman, H.V. Westerhoff (Hans) and B.M. Bakker

Metabolic control analysis to identify optimal drug targets Book Chapter

J.J. Hornberg, F.J. Bruggeman (Frank), B.M. Bakker and H.V. Westerhoff (Hans)

Thee Oor Ree Ties Ze Inf Or Ma Ti-ka: Deze Tijd heeft Behoefte aan Verificatie van Software Inaugural Lecture

W.J. Fokkink (Wan)

De duisternis voorbij: Cryptologie, wiskunde van de schemering Inaugural Lecture

R.J.F. Cramer (Ronald)

Constraint Logic Programming Using ECLiPSe Book

K.R. Apt (Krzysztof) and M. Wallace

06431 Working Group Report on Managing and Integrating Data in P2P Databases In Proceedings

P.A. Boncz (Peter), A. Bonifati, A. Illarramendi, P. Janacik (Peter), B. König-Ries, W. Lehner (Wolfgang), P.J. Marrón, W. May, A. Ouksel, K. Römer, et al. B. Sapkota, K.-U. Sattler, H. Schweppe, R. Steinmetz and C. Türker

Universally composable zero-knowledge arguments and commitments from signature cards In Proceedings

D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

Two coupled queues in heavy traffic Tech Report

S.C. Borst (Sem) and J.A. Morrison

Analysis of an ad hoc network with autonomously moving nodes In Proceedings

J. Goebel, A. E. Krzesinski (Anthony) and M.R.H. Mandjes (Michel)

Polling models with renewal arrivals: a new method to derive heavy-traffic asymptotics Article

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

Analysis of jitter due to call-level fluctuations Article

M.R.H. Mandjes (Michel)

Traffic-splitting networks operating under alpha-fair sharing policies and balanced fairness In Proceedings

P.M.D. Lieshout (Pascal)

Scheduling of multi-antenna broadcast systems with heterogeneoususers Article

S.C. Borst (Sem) and not CWI et al

Tandem queue with server slowdown Article

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

A duopoly model with heterogeneous congestion-sensitive customers Article

M.R.H. Mandjes (Michel) and J. Timmer (Judith)

Analysis of polling models with two-stage gated service: fairness versus efficiency In Proceedings

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

On a unifying theory on polling models in heavy traffic In Proceedings

R.D. van der Mei (Rob)

A fluid system with coupled input and output, and its application to bottlenecks in ad hoc networks Article

M.R.H. Mandjes (Michel) and F. Roijers (Frank)

Queuing delays in randomized load balanced networks In Proceedings

S.C. Borst (Sem) and not CWI et al

Fluid-flow modeling of a relay node in an IEEE 802.11 wireless ad hoc network In Proceedings

F. Roijers (Frank), J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

Sojourn-time asymptotics in processorsharing queues with varying service rate Article

R.R. Egorova (Regina Robertovna), M.R.H. Mandjes (Michel) and A.P. Zwart (Bert)

Bandwidth-sharing networks in overload Article

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

Existence of phase transition for heavy-tailed continuum percolation Article

A. Sapozhnikov (Artem)

Analysis of congestion periods in an M/M/infinity queue Article

F. Roijers (Frank), M.R.H. Mandjes (Michel) and J.L. van den Berg (Hans)

Heavy-traffic delay minimization in bandwidth-sharing networks In Proceedings

I.M. Verloop (Maaike) and S.C. Borst (Sem)

Efficient resource allocation in bandwidthsharing networks Article

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

A prediction method for job running times on shared processors: survey, statistical analysis and new avenues Article

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

tandem queue with Levy input: a new representation of the downstream queue length Article

K.G. Dȩbicki (Krzysztof), M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

A note on large buffer asymptotics for generalized processor sharing queues with Gaussian inputs Article

K.G. Dȩbicki (Krzysztof) and M.R.H. Mandjes (Michel)

Distributed dynamic load balancing in wireless networks In Proceedings

S.C. Borst (Sem), I. Saniee and P.A. Whiting

Integration of streaming and elastic traffic in wireless networks In Proceedings

S.C. Borst (Sem) and N. Hegde

When is a linear combination of independent fBm’s equivalent to a single fBm? Article

J.H. van Zanten (Harry)

Rare-event simulation for queues – editorial Article

J. Blanchet (Jose) and M.R.H. Mandjes (Michel)

Modeling and predicting end-to-end response times in multi-tier Internet applications In Proceedings

S. Bhulai (Sandjai), R.D. van der Mei (Rob), S. Sivasubramanian and M.R. van Steen

Pricing and distributed Quality of Service control for elastic traffic Article

J.L. van den Berg (Hans), M.R.H. Mandjes (Michel) and R. Núñez Queija (Rudesindo)

The size of a pond in 2D invasion percolation Article

J. van den Berg (Rob), A.A. Járai (Antal) and B. Vagvölgyi (Balint)

Beyond Processor Sharing Article

S. Aalto, U. Ayesta (Urtzi), S.C. Borst (Sem), V. Misra and R. Núñez Queija (Rudesindo)

Large Deviations for Gaussian Queues: Modelling Communication Networks Book

M.R.H. Mandjes (Michel)

Gaussian tandem queues with an application to dimensioning of switch fabrics Article

M.R.H. Mandjes (Michel), P. Mannersalo and I. Norros

The Multigrid Image Transform Book Chapter

P.M. de Zeeuw (Paul)

Towards a unifying theory on branching-type polling systems in heavy traffic Article

R.D. van der Mei (Rob)

On Computation and Communication with Small Bias In Proceedings

H.M. Buhrman (Harry)

A System for Distributed Mechanisms: Design, Implementation and Applications Tech Report

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

Vakantiecursus 2007 - Wiskunde in beweging Book

Metaplectic operators on {$C^n$} Tech Report

H.G. Feichtinger, M. Hazewinkel (Michiel), N. Kaiblinger, E. Matusiak and M. Neuhauser

Application of the Jacobi-Davidson method to spectral calculations in magnetohydrodynamics In Proceedings

A.J.C. Beliën, M. Nool (Margreet), A. van der Ploeg (Auke) and J.P. Goedbloed

Event recognition for meaningful human-computer interaction in a smart environment In Proceedings

R. Morros, A.A. Salah (Albert Ali), B.A.M. Schouten (Ben), C. Segura, J. Luque, O. Ambekar (Onkar), C. Kayalar, L. Akarun and C. Keskin

Using SMIL to Encode Interactive, Peer-Level Multimedia Annotations In Proceedings

D.C.A. Bulterman (Dick)

Vectorized Data Processing on the Cell Broadband Engine In Proceedings

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

Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval Proceedings

Annotation--population tool,first version of the Multimedia Ontologies Tech Report

L. Hardman (Lynda), R. Troncy (Raphael) and not CWI et al