Publications from 2020

Invasion from a cell aggregate—the roles of active cell motion and mechanical equilibrium Article

A. Szabó (Andras), K. Varga, T. Garay, B. Hegedus and A. Czirok

Convective tissue movements play a major role in avian endocardial morphogenesis Article

A. Aleksandrova, A. Czirok, A. Szabó (Andras), M.B. Filla, M.J. Hossainc, P.F. Whelan, R.D. Lansford and B.J. Rongish

Building simulation models of developing plant organs using VirtualLeaf Book Chapter

R.M.H. Merks (Roeland) and M.A. Guravage (Michael)

The contributions of palaeontology to the study of developmental evolution and biases Unpublished

M.R. Sanchez-Villagra, S.S. Urdy (Severine), L.A.B. Wilson and J. Haug

Simulation of organ patterning on the floral meristem using a polar auxin transport model Article

S. van Mourik (Simon), K. Kauffman, A.D.J. van Dijk (Aalt), G.C. Angenent, R.M.H. Merks (Roeland) and J. Molenaar (Gijs)

On the evolution of morphogenetic models: mechano-chemical interactions and an integrated view of cell differentiation, growth, pattern formation and morphogenesis Article

S.S. Urdy (Severine)

Particle based 3D modeling of positive streamer inception Tech Report

H.J. Teunissen (Jannis)

The effect of toroidal plasma rotation on low-frequency reversed shear Alfvén eigenmodes in tokamaks Article

J.W. Haverkort (Willem)

An improved algorithm and a Fortran 90 module for computing the conical function $P^m_{-1/2+i\tau}(x)$ Article

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Invariant semidefinite programs Book Chapter

C. Bachoc, D. Gijswijt (Dion), A. Schrijver (Lex) and F. Vallentin (Frank)

Linking user-generated video annotations to the web of data In Proceedings

M. Hildebrand (Michiel) and J.R. van Ossenbruggen (Jacco)

Natalie-WEB. Network alignment Software

M. El-Kebir (Mohammed), B.W. Brandt (Bernd), J. Heringa (Jaap) and G.W. Klau (Gunnar)

Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article

G. Gutin, L.J.J. van Iersel (Leo), M. Mnich (Matthias) and A. Yeo

Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process Article

B. Zhang (Bo) and C.W. Oosterlee (Kees)

Towards Role Detection in Virtual Worlds Article

C. Eickhoff (Carsten) and V.P. Lavrenko

Automated Verification of Executable UML Models In Proceedings

H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi, J.C. van de Pol (Jaco) and O. Marchi dos Santos (Osmar)

Astronomical Data Processing Using SciQL, an SQL Based Query Language for Array Data In Proceedings

Y. Zhang (Ying), L.H.A. Scheers (Bart), M.L. Kersten (Martin), M.G. Ivanova (Milena) and N.J. Nes (Niels)

Earthquake modelling at the country level using aggregated spatio-temporal point processes Article

M.N.M. van Lieshout (Marie-Colette) and A. Stein (Alfred)

On estimation of the intensity function of a point process Article

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

Polyhedra with the integer Caratheodory property Article

D. Gijswijt (Dion) and G. Regts (Guus)

Polling systems with batch service Article

J.-P.L. Dorsman (Jan-Pieter), R.D. van der Mei (Rob) and E.M.M. Winands

Optimal job splitting in parallel processor sharing queues Article

G.J. Hoekstra (Gerard), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

Dynamic traffic splitting to parallel wireless networks with partial information: a Bayesian approach. Article

S. Bhulai (Sandjai), G.J. Hoekstra (Gerard), J.W. Bosman (Joost) and R.D. van der Mei (Rob)

Mathematical Methods for Signal and Image Analysis and Representation Book

L. Florack, R. Duits, G. Jongbloed (Geurt), M.N.M. van Lieshout (Marie-Colette) and L. Davies

A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs Article

J. Gouveia, M. Laurent (Monique), P. Parrilo and R.R. Thomas (Rekha)

Modelling and Analysis of Real-Time Coordination Patterns Dissertation

S. Kemper (Stephanie)

Basis reduction for layered lattices Dissertation

E.L. Torreão Dassen (Erwin)

Stochastic models for resource sharing in wireless networks Dissertation

P.M. van de Ven (Peter)

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : programma en menu Other

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Poster] Other

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Postcard] Other

Ambiguity Detection for Programming Language Grammars Dissertation

H.J.S. Basten (Bas)

Model checking of component connectors Dissertation

M. Izadi (Mohammad)

Workshop Herman te Riele: computational number theory, 01-02.12.2011 : uitnodiging Booklet

Workshop on computational number theory on the occasion of Herman te Riele's retirement from CWI Amsterdam, 01-02.12.2011 : uitnodiging Other

Workshop on computational number theory on the occasion of Herman te Riele's retirement from CWI Amsterdam, 01-02.12.2011 : programma Other

Abstract delta modeling Tech Report

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

High order fluid model for ionization fronts in streamer discharges In Proceedings

Dynamic profit optimization for composite Web services with SLA's In Proceedings

M. Zivkovic, J.W. Bosman (Joost), J.L. van den Berg (Hans), H.B. Meeuwissen, R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

The Database Architectures Research Group at CWI Article

M.L. Kersten (Martin), S. Manegold (Stefan) and K.S. Mullender (Sjoerd)

Learning Eigenvectors for Free In Proceedings

W.M. Koolen-Wijkstra (Wouter), W.T. Kotlowski (Wojciech) and M.K. Warmuth

How molecular competition influences fluxes in gene expression networks Article

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

CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

Hydrostatic Hamiltonian particle-mesh (HPM) methods for atmospheric modelling Article

S. Shin, S. Reich and J.E. Frank (Jason)

Under review Article

P. Klint (Paul)

Analysis of a Model for Ship Maneuvering In Proceedings

M. Apri, N. Banagaaya, J.B. van den Berg, R. Brussee, D. Bourne, S. Fatima, F. Irzal, J.D.M. Rademacher (Jens), B. Rink, F. Veerman, et al. S. Verpoort

The Gram dimension of a graph Tech Report

M. Laurent (Monique) and A. Varvitsiotis (Antonios)

The Robust Price of Anarchy of Altruistic Games In Proceedings

P. Chen (Po-An), B. de Keijzer (Bart), D. Kempe and G. Schäfer (Guido)

The Data Cyclotron query processing scheme. Article

R.A. Pereira Goncalves (Romulo Antonio) and M.L. Kersten (Martin)

The Meaningful Use of Big Data: Four Perspectives - Four Challenges Article

C. Bizer, P.A. Boncz (Peter), M Brodie and O. Erling (Orri)

Brzozowski's algorithm (co)algebraically Tech Report

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

CSA: Comprehensive comparison of pairwise protein structure alignments Software

I. Wohlers (Inken), N. Malod-Dognin, R. Andonov (Rumen) and G.W. Klau (Gunnar)

Automatic equivalence proofs for non-deterministic coalgebras (revised and extended) Tech Report

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

On the scaling limits of Galton Watson processes in varying environment Tech Report

F.B.R.A. Simatos (Florian) and V. Bansaye

A Latent Variable Bayesian Approach to Spatial Clustering with Background Noise Tech Report

K. Kayabol (Koray)

An introduction to (co)algebras and (co)induction. Book Chapter

B.P.F. Jacobs and J.J.M.M. Rutten (Jan)

Advanced topics in bisimulation and coinduction Book

On the final coalgebra of automatic sequences Tech Report

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

Modeling Three-Dimensional Interaction Tasks for Desktop Virtual Reality Dissertation

L. Liu (Lei)

Unassigned codons, nonsense suppression, and anticodon modifications in the evolution of the genetic code Article

P.T.S. van der Gulik (Peter) and W.D. Hoff (Wouter)

Jan Karel Lenstra: the travelling science man : symposium t.g.v. Jan Karels terugtreden als algemeen directeur CWI, 4.11.2011 : uitnodiging Other

Jan Karel Lenstra : the travelling science man : programma voor het afscheid van Jan Karel Lenstra als directeur van het CWI, 4-11-2011 Other

Jan Karel Lenstra : the travelling science man : uitnodiging voor het afscheid van Jan Karel Lenstra als directeur van het CWI, 4-11-2011 Other

Over kwantumcryptografie : telefonisch gesprek in het radioprogramma Hoe?Zo! Radio, 22.11.2011 (NTR) [6:18] News Broadcast

H.M. Buhrman (Harry)

Could extraordinary lightning 'sprites' discovered striking Jupiter prove aliens exist?, Daily Mail, Nov. 22, 2011, and many more pieces (search google news with keywords "Daria" and "sprites"), e.g., Discovery News, pdf, International Business Times, Magazine Article

U. Ebert (Ute)

Sprites op Venus, Saturnus en Jupiter, kennislink.nl, Nov. 24, 2011. Magazine Article

U. Ebert (Ute)

Sprites op Saturnus : telefonisch interview in Hoe?Zo! Radio, 20 - 21 uur, Nov. 24, 2011 (NTR) [4:10] News Broadcast

U. Ebert (Ute)

Bliksem kan ook op Venus omhoog. Peter van Ammelrooy, halve pagina in de Volkskrant, 28 november 2011. Magazine Article

U. Ebert (Ute)

MonetDB Aug2011-SP3 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.G. Ivanova (Milena), S. Idreos (Stratos), et al. R.A. Pereira Goncalves (Romulo Antonio), E. Sidirourgos (Eleftherios), E. Liarou (Erietta), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz) and M.M. Gawade (Mrunal)

Acceptance Strategies for Maximizing Agent Profits in Online Scheduling In Proceedings

M. Wu (Mengxiao), M.M. de Weerdt (Mathijs) and J.A. La Poutré (Han)

Field of inserted charges during Scanning Electron Microscopy of non-conducting samples In Proceedings

T. Amlaki, N. Budko, E. Bosch (Eric), N. Debernardi, U. Ebert (Ute), V. Leung, M. Mink, C. Prastani, S. Sluyterman, M. Snelder, et al. H.J. Teunissen (Jannis), B. Thijsse and J. Thijssen

The Rascal meta-programming language - a lab for software analysis, transformation, generation & visualization In Proceedings

J.J. Vinju (Jurgen), M.A. Hills (Mark), P. Klint (Paul), A. van der Ploeg (Auke), A. Izmaylova (Anastasia) and T. van der Storm (Tijs)

Typography in process algebra Miscellaneous

J.C.M. Baeten (Jos) and J.W. Klop (Jan Willem)

Conservation Properties of the Hamiltonian Particle-Mesh method for the Quasi-Geostrophic Equations on a sphere Master Thesis

H. Thorsdottir (Halldora)

Integrating power and reserve trade in electricity networks In Proceedings

N.F. Höning (Nicolas), H. Noot (Han) and J.A. La Poutré (Han)

Adaptive Strategies for Dynamic Pricing Agents In Proceedings

S. Ramezani (Sara), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Lagrangian Relaxation Applied to Sparse Global Network Alignment In Proceedings

M. El-Kebir (Mohammed), J. Heringa (Jaap) and G.W. Klau (Gunnar)

Stochastic-Dynamical Thermostats for Constraints and Stiff Restraints Article

J. Bajars (Janis), J.E. Frank (Jason) and B.J. Leimkuhler (Ben)

DMIR on Microblog Track 2011 In Proceedings

W. Li, A.P. de Vries (Arjen) and C. Eickhoff (Carsten)

GeAnn at TREC 2011 In Proceedings

C. Eickhoff (Carsten), C.G. Harris, P. Srinivasan and A.P. de Vries (Arjen)

Quality Improvement of Crowdsourced Annotations by Reducing Randomness In Proceedings

J.B.P. Vuurens (Jeroen), A.P. de Vries (Arjen) and C. Eickhoff (Carsten)

Wikimedia Conferentie Nederland Conferentieboek Proceedings

Computing the Grothendieck constant of some graph classes Article

M. Laurent (Monique) and A. Varvitsiotis (Antonios)

Tom Staal brengt Piet Beertema een kudo Online Video

P. Beertema (Piet)

On the control of the paint factory scale model Tech Report

O.D.M. Boutin (Olivier) and J.H. van Schuppen (Jan)

Dot product representations of planar graphs Article

R.J. Kang (Ross), L. Lovász (László), T. Müller (Tobias) and E.R. Scheinerman

A uniform asymptotic expansion for weighted sums of exponentials Article

J.S.H. van Leeuwaarden (Johan) and N.M. Temme (Nico)

From computability to executability : a process-theoretic view on automata theory Dissertation

P.J.A. van Tilburg (Paul)

Grothendieck Inequalities, Nonlocal Games and Optimization Dissertation

J. Briët (Jop)

Stochastic models for quality of service of component connectors Dissertation

Y.-J. Moon (Young-Joo)

Compression-based Similarity Tech Report

P.M.B. Vitányi (Paul)

Effective Focused Retrieval by Exploiting Query Context and Document Structure Dissertation

A.M. Kaptein (Anna)

On the relative importance of excluded minors Article

R. Hall, D. Mayhew and S.H.M. van Zwam (Stefan)

Crisis? Investeer in inventie Article

J.K. Lenstra (Jan Karel)

Multimodal monitoring of cultural heritage sites and the FIRESENSE project In Proceedings

A.A. Salah (Albert Ali), J. Han (Jungong ), E.J.E.M. Pauwels (Eric) and P.M. de Zeeuw (Paul)

AmbiDexter Software

H.J.S. Basten (Bas) and J.J. Vinju (Jurgen)

MonetDB Aug2011-SP2 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.G. Ivanova (Milena), S. Idreos (Stratos), et al. R.A. Pereira Goncalves (Romulo Antonio), E. Sidirourgos (Eleftherios), E. Liarou (Erietta), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni) and T.H.J. Sellam (Thibault)

CIKM '11: Proceedings of the 20th ACM international conference on Information and knowledge management Proceedings

Too Many Links in the Horizon; What is Next? Linked Views and Linked History In Proceedings

E. Liarou (Erietta) and S. Idreos (Stratos)

Operations Resarch and the Life Sciences - A Healthy Combination Miscellaneous

G.W. Klau (Gunnar)