Publications from 2017

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)

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. 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, S. Cruz-Lara 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)