Publications from 2017

From equation to creation: using the Schrödinger equation in an artistic context Tech Report

M. Dzjaparidze

Metabolic Adaptation after Whole Genome Duplication Article

M.J.A. van Hoek (Milan) and P. Hogeweg

Average prime-pair counting formula Tech Report

J. Korevaar and H.J.J. te Riele (Herman)

Space-Economical Partial Gram Indices for Exact Substring Matching In Proceedings

N. Tang (Nan), E. Sidirourgos (Eleftherios) and P.A. Boncz (Peter)

The leaky aquifer function revisited Article

N.M. Temme (Nico)

Uitnodiging voor het diner bij het afscheid Miente Bakker, 30-10-2009 Other

Miente Bakker: Disc Amicorum (als hardcopy) Other

Uitnodiging afscheid Miente Bakker, 30-10-2009 Other

Modelling, Simulation, and Inferring Regulatory Networks Dissertation

M. Ashyraliyev (Maksat)

Vallang: mutually recursive immutable data-types on the JVM Software

J.J. Vinju (Jurgen), P. Klint (Paul), R.M. Fuhrer (Robert), D. Landman (Davy), A.W. Lankamp (Arnold) and M.J. Steindorfer (Michael)

Aankondiging Open Dag WCW 10-10-2009 Other

XForms 1.1 Standard

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

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

M. Bakker (Miente)

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

U. Ebert (Ute)

Rich Web Application Backplane Manual

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

XForms 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

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)

Special issue Logic for Information Security -- Editorial Article

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

Intelligent Systems for Green Developments Article

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

Onderzoekers verklaren reuzenbliksems Magazine Article

U. Ebert (Ute)

Reuzebliksem verklaard Magazine Article

U. Ebert (Ute)

Interview News Broadcast

U. Ebert (Ute)

Dereuzebliksem verklaard News Broadcast

U. Ebert (Ute)

Design of asynchronous supervisors Tech Report

H. Beohar, P.J.L. Cuijpers and J.C.M. Baeten (Jos)

A hierarchical model and implementation architecture for road traffic control In Proceedings

J. Vrancken, J.H. van Schuppen (Jan), M. dos Santos Soares and F. Ottenhof (Frank)

Block diagonalization for algebra's associated with block codes Tech Report

D. Gijswijt (Dion)

Nonapproximability of the Normalized Information Distance Tech Report

S.A. Terwijn, L. Torenvliet (Leen) and P.M.B. Vitányi (Paul)

3D hybrid computations for streamer discharges and production of runaway electrons Article

C. Li (Chao), U. Ebert (Ute) and W. Hundsdorfer (Willem)

Strategy elimination in games with interaction structures In Proceedings

S. A. Witzel (Andreas), K.R. Apt (Krzysztof) and J.A. Zvesper (Jonathan)

The positive semidefinite Grothendieck problem with rank constraint Tech Report

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Gene circuit analysis of the terminal gap gene <i>huckebein</i> Article

M. Ashyraliyev (Maksat), K. Siggens, H. Janssens, J.G. Blom (Joke), M. Akam and J. Jaeger

Verification of Sequential and Concurrent Programs Book

K.R. Apt (Krzysztof), E.R. Olderog (Ernst-Rüdiger) and F.S. de Boer (Frank)

Sequential Pivotal Mechanisms for Public Project Problems In Proceedings

K.R. Apt (Krzysztof) and A. Estévez-Fernandéz (Arantza)

Richtlijnen voor Toegankelijkheid van Webcontent (WCAG) 2.0 Manual

M. Bakker (Miente)

Moment analysis of the Delaunay tessellation field estimator Tech Report

M.N.M. van Lieshout (Marie-Colette)

Designing a thesaurus-based comparison search interface for linked cultural heritage sources Tech Report

A.K. Amin (Alia), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

Establishing requirements for information gathering tasks Tech Report

A.K. Amin (Alia)

Asymptotic expansions for Riesz potentials of Airy functions and their products Article

N.M. Temme (Nico) and V. Varlamov

Asymptotic expansions for Riesz fractional derivatives of Airy functions and applications Article

N.M. Temme (Nico) and V. Varlamov

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

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

The Linkage Problem for Group-labelled Graphs Dissertation

T.C.T. Huynh (Tony)

Clocks, Dice and Processes Dissertation

T. Chen (Taolue)

RAM: Array Database Management through Relational Mapping Dissertation

A.R. van Ballegooij

The first peptides: the evolutionary transition between prebiotic amino acids and early proteins Tech Report

P.T.S. van der Gulik (Peter), S. Massar (Serge), D. Gilis (Dimitri), H.M. Buhrman (Harry) and M. Rooman (Marianne)

Balancing Vectorized Query Execution with Bandwidth-Optimized Storage Dissertation

M. Zukowski (Marcin)

Uitnodiging afscheid Tobias Baanders (incl. uitnodiging diner voor genodigden), 10-09-2009 Other

An Adjoint-based Shape-optimization Method for Aerodynamic Design Dissertation

G. Carpentieri (Giampietro)

Knowledge and Games: Theory and Implementation Dissertation

S. A. Witzel (Andreas)

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

C. Boscarino (Corrado)

A foundation for real recursive function theory Article

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

Alien Sprites Magazine Article

U. Ebert (Ute)

Emergence of consensus and shared vocabularies in collaborative tagging systems Article

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

Behavioral interface description of an object-oriented language with futures and promises Article

I. Grabe (Immo), E. Abraham (Erika), A. Grüner (Andreas) and M. Steffen

Repeatability & Workability Evaluation of SIGMOD 2009 Article

S. Manegold (Stefan), I. Manolescu, L. Afanasiev (Loredana), J. Feng, G. Gou, M. Hadjieleftheriou, S. Harizopoulos, P. Kalnis, K. Karanasos, D. Laurent, et al. M. Lupu, N. Onose, C. Re, V. Sans, P. Senellart, T. Wu (Taoyang) and D. Shasha

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Article

F. Bonchi (Filippo) and U. Montanari

Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey Proceedings

Computational Simulations of Magnetic Particle Capture in Arterial Flows Article

J.W. Haverkort (Willem) and not CWI et al

State-of-the-Art Survey In Proceedings

Arbitrarily little knowledge can give a quantum advantage for nonlocal tasks Article

J. Allcock, H.M. Buhrman (Harry) and N. Linden (Noah)

Decision Problems for Nash Equilibria in Stochastic Games In Proceedings

M. Ummels and D.K. Wojtczak (Dominik)

Noise management by molecular networks Article

F.J. Bruggeman (Frank), N. Bluethgen and H.V. Westerhoff (Hans)

Individual cell-based models of cell scatter of ARO and MLP-29 cells in response to hepatocyte growth factor Article

M. Scianna, R.M.H. Merks (Roeland), L. Preziosi and E. Medico

The Characterization Tool: A knowledge-based stem cell, differentiated cell, and tissue database with a web-based analysis front-end. Article

I. Wohlers (Inken), H. Stachelscheid, J. Borstlap, K. Zeilinger and J.C. Gerlach

Clustering Objects from Multiple Collections In Proceedings

V. Hollink (Vera), M. van Someren and V. de Boer (Victor)

Overview of the wikipediaMM task at ImageCLEF 2009. In Proceedings

T. Tsikrika (Theodora) and J. Kludas

CWI at the Photo Retrieval Task of ImageCLEF 2009 In Proceedings

T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

Are clickthrough data reliable as image annotations? In Proceedings

T. Tsikrika (Theodora), C. Diou, A.P. de Vries (Arjen) and A. Delopoulos

Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

A study of the possibility of sprites in the atmospheres of other planets Article

Y. Yair, Y. Takahashi, R. Yaniv, U. Ebert (Ute) and Y. Goto

Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models Book Chapter

C. Boscarino (Corrado) and A.P. de Vries (Arjen)

Formal aspects of component software Tech Report

M. Sun (Meng) and B. Schatz

Sample-path large deviations in credit risk Tech Report

V. Leijdekker, M.R.H. Mandjes (Michel) and P.J.C. Spreij (Peter)

Simulation-based computation of the workload correlation function in a Levy-driven queue Tech Report

P. Glynn and M.R.H. Mandjes (Michel)

Traffic generated by a semi-Markov additive process Tech Report

J.G. Blom (Joke) and M.R.H. Mandjes (Michel)

M/G/infinity transience, and its applications to overload detection Tech Report

M.R.H. Mandjes (Michel) and P. Zuraniewski

Levy-driven polling systems and continuous-state branching processes Tech Report

O.J. Boxma (Onno), J. Ivanovs (Jevgenijs), K. Kosinski and M.R.H. Mandjes (Michel)

On parameter estimation for delay models with discontinuous right-hand sides Tech Report

M. Ashyraliyev (Maksat)

Combining Vocabulary Alignment Techniques In Proceedings

A. Tordai (Anna), J.R. van Ossenbruggen (Jacco) and G. Schreiber (Guus)

Partial fields in matroid theory Dissertation

S.H.M. van Zwam (Stefan)

The missing link between prebiotic amino acids and early proteins In Proceedings

P.T.S. van der Gulik (Peter), S. Massar (Serge), D. Gilis (Dimitri), H.M. Buhrman (Harry) and M. Rooman (Marianne)

De bliksem op het spoor Article

U. Ebert (Ute)

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

P. Klint (Paul)

Research Emission Rights Article

P. Klint (Paul)

Short Chosen-Prefix Collisions for MD5 and the Creation of a Rogue CA Certificate In Proceedings

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

Reo2MC: a tool chain for performance analysis of coordination models In Proceedings

F. Arbab (Farhad), M. Sun (Meng), Y.-J. Moon (Young-Joo), M. Kwiatkowska (Marta) and H. Qu

Population-level transcription cycles derive from stochastic timing of single-cell transcription Article

T. Degenhardt, K.N. Rybakova, A. Tomaszewska, M.J. Mone, H.V. Westerhoff (Hans), F.J. Bruggeman (Frank) and C. Carlberg

Diversity in degrees of freedom of mitochondrial transit peptides. Article

C. Staiger (Christine), A. Hinneburg (Alexander) and R.B. Kloesgen

Column-Oriented Database Systems (Tutorial) In Proceedings

D. Abadi, P.A. Boncz (Peter) and S. Harizopoulos

On time-bounded incompressibility of compressible strings and sequences Article

W.M. Koolen-Wijkstra (Wouter), P.M.B. Vitányi (Paul) and E.G. Daylight

3D properties of pulsed corona streamers Article

E.M. van Veldhuizen, S. Nijdam (Sander), A. Luque (Alejandro), F. Brau (Fabian) and U. Ebert (Ute)

Lower bounds for measurable chromatic numbers Article

C. Bachoc, G. Nebe, F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

DataCell: Building a Data Stream Engine on top of a Relational Database Kernel In Proceedings

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

Database architecture evolution: Mammals flourished long before dinosaurs became extinct In Proceedings

S. Manegold (Stefan), M.L. Kersten (Martin) and P.A. Boncz (Peter)

Fancy a drink in Canary Wharf? A user study on location-based mobile search In Proceedings

A.K. Amin (Alia), S. Townsend, J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

Statistical relevance of vorticity conservation with the Hamiltonian particle-mesh method Tech Report

S. Dubinkina (Svetlana) and J.E. Frank (Jason)

LODE: Linking Open Descriptions of Events Tech Report

R. Shaw (Ryan), R. Troncy (Raphael) and L. Hardman (Lynda)

Modeling Preferences, Strategic Reasoning and Collaboration in Agent-Mediated Electronic Markets Dissertation

V. Robu (Valentin)

Finiteness of Redundancy, Regret, Shtarkov Sums and Jeffreys Integrals in Exponential Families In Proceedings

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

Magnetic particle motion in a Poiseuille flow Article

J.W. Haverkort (Willem) and not CWI et al

The Kurosawa-Desmedt Key Encapsulation is not Chosen-Ciphertext Secure Article

S.G. Choi (Seung Geol), J. Herranz (Javier), D. Hofheinz (Dennis), J.Y. Hwang, E. Kiltz (Eike), D.H. Lee (Dong Hoon) and M. Yung (Moti)