Publications from 2017

Gauss's lattice point problem(s) revisited : an invitation : dedicated to Herman J. J. te Riele on the occasion of his retirement from the CWI in january 2012 Miscellaneous

W.M. Lioen (Walter) and J. van de Lune (Jan)

Herman te Riele: een bijzonder mens Miscellaneous

R.D. van der Mei (Rob)

Leven met getallen : liber amicorum ter gelegenheid van de pensionering van Herman te Riele Miscellaneous

Unsupervised Classification of SAR Images using Hierarchical Agglomeration and EM In Proceedings

K. Kayabol (Koray), V. Krylov and J. Zerubia

Notation-Parametric Grammar Recovery Presentation

V. Zaytsev (Vadim)

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions Presentation

V. Zaytsev (Vadim)

Towards Dynamic Catalogues In Proceedings

L.H.A. Scheers (Bart) and F.E. Groffen (Fabian)

Sphere and dot product representations of graphs Article

R.J. Kang (Ross) and T. Müller (Tobias)

Improving Future Research Communication and e-Scholarship: A Summary of Findings Article

I. Herman (Ivan), P Bourne, T. Clark (Tim), R. Dale, A. de Waard, E. Hovy and D. Shotton

Random Oracles in a Quantum World In Proceedings

D. Boneh, O. Dagdelen, M. Fischlin, D. Lehmann, C. Schaffner (Christian) and M. Zhandry

MonetDB Dec2011 feature 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), M.M. Gawade (Mrunal) and V.V. Meduri (Vamsi)

Stepsize Restrictions for Boundedness and Monotonicity of Multistep Methods Article

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Lopen vissen gevaar als bliksem in zee slaat? U. Ebert responds in De Pers, Jan. 10, 2012. Magazine Article

U. Ebert (Ute)

Dynamics and morphology of positive streamer discharges in high purity nitrogen Master Thesis

T.T.J. Clevis

Elsevier verdient geld over mijn rug : commentaar naar aanleiding van de petitie op internet tegen uitgever Elsevier : Radio 1 NOS Journaal, 31.01.2012 [4:44] News Broadcast

R.M. de Wolf (Ronald)

Hoeveel wegen eentjes en nulletjes? Beantwoorden van de kettingvraag in Hoe?Zo! Radio, 12.01.2012 [6:07] News Broadcast

S. Manegold (Stefan)

Density models for streamer discharges: beyond cylindrical symmetry and homogeneous media Article

A. Luque (Alejandro) and U. Ebert (Ute)

Spatially hybrid computations for streamer discharges: II. Fully 3D simulations Article

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

An integer linear programming approach for finding deregulated subgraphs in regulatory networks Article

C. Backes, A. Rurainski, G.W. Klau (Gunnar), O. Müller, D. Stöckel, A. Gerasch, J. Küntzer, D. Maisel, N. Ludwig, M. Hein, et al. A. Keller, H. Burtscher, M. Kaufman, E. Meese and H.P. Lenhof

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)