Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Mobiele communicatie kan tien keer sneller. Computable, 6 maart 2012 Magazine Article

G.J. Hoekstra (Gerard) and R.D. van der Mei (Rob)

March 2012
Met 2 lijnen 5 keer sneller downloaden. AutomatiseringGids, 14 maart 2012 Magazine Article

G.J. Hoekstra (Gerard) and R.D. van der Mei (Rob)

March 2012
Program Analysis Scenarios in Rascal In Proceedings

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

March 2012
Piping & Instrumentation in Rascal Software

A.J. Brouwer, J. Lamberink, J. Timmer (Judith) and T. van der Storm (Tijs)

March 2012
Benchmarking RDF Storage Engines Manual

Y. Zhang (Ying), M.-D. Pham (Minh-Duc), F.E. Groffen (Fabian), E. Liarou (Erietta), P.A. Boncz (Peter), M.L. Kersten (Martin), J.P. Calbimonte and O. Corcho (Oscar)

March 2012
On bounded rank positive semidefinite matrix completions of extreme partial correlation matrices. Tech Report

M. Eisenberg-Nagy (Marianna), M. Laurent (Monique) and A. Varvitsiotis (Antonios)

March 2012
Complexity of the positive semidefinite matrix completion problem with a rank constraint. Tech Report

M. Eisenberg-Nagy (Marianna), M. Laurent (Monique) and A. Varvitsiotis (Antonios)

March 2012
Heuristics-based query optimisation for SPARQL In Proceedings

P. Tsialiamanis (Petros), E. Sidirourgos (Eleftherios), I. Fundulaki, V. Christophides and P.A. Boncz (Peter)

March 2012
Letter from the Special Issue Editor Article

IEEE Data Engineering Bulletin, 35(1), 3-3.

P.A. Boncz (Peter)

March 2012
Business Analytics in (a) Blink Article

IEEE Data Engineering Bulletin, 35(1), 9-14.

R. Barber, P. Bendel, M. Czech, O. Draese, F. Ho, N. Hrle, S. Idreos (Stratos), M Kim, O Koeth, J. Lee (Jae-Gil), et al. G. Lohman, K Murthy, I. Pandis, L. Qiao, R. Sidle, S. Szabo

March 2012
MonetDB: Two Decades of Research in Column-oriented Database Architectures Article

IEEE Data Engineering Bulletin, 35(1), 40-45.

S. Idreos (Stratos), F.E. Groffen (Fabian), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd) and M.L. Kersten (Martin)

March 2012
Adaptive indexing in modern database kernels In Proceedings

S. Idreos (Stratos), S. Manegold (Stefan) and G. Graefe

March 2012
Notation-Parametric Grammar Recovery In Proceedings

V. Zaytsev (Vadim)

March 2012
BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions In Proceedings

V. Zaytsev (Vadim)

March 2012
Language Evolution, Metasyntactically In Proceedings

V. Zaytsev (Vadim)

March 2012
MonetDB Dec2011-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. V.V. Meduri (Vamsi)

March 2012
Improving The Future of Research Communications and e-Scholarship Article

Dagstuhl Manifestos, 1(1), 41-60.

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

March 2012
Antilope - A Lagrangian Relaxation Approach to the de novo Peptide Sequencing Problem Article

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(2), 385-394.

S. Andreotti (Sandro), G.W. Klau (Gunnar) and K. Reinert (Knut)

March 2012
Fluid Limits for an ALOHA-type Model with Impatient Customers Article

Queueing Systems

M. Frolkova (Masha), A.P. Zwart (Bert) and S.G. Foss (Sergey)

March 2012
Programming and Deployment of Active Objects with Application-Level Scheduling In Proceedings

B. Nobakht (Behrooz), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)

March 2012
Runtime revenue maximization for composite Web services with response-time commitments 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)

March 2012
Treating JSON as a subset of XML In Proceedings

S. Pemberton (Steven)

February 2012
Rascal Release 0.4.18 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

February 2012
Rascal Release 0.4.17 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia) and T. van der Storm (Tijs)

February 2012
Rascal Release 0.4.16 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy) and A. Izmaylova (Anastasia)

February 2012
State Space Reduction for Model Checking Agent Programs In Proceedings

S.-S.T.Q. Jongmans (Sung), K.V. Hindriks and M.B. van Riemsdijk

February 2012
Profiel: Alexander Rinnooy Kan. Human.nl, Nederland 2, 6 februari 2012 News Broadcast

J.K. Lenstra (Jan Karel)

February 2012
Groeiproces bloemen verder ontrafelen. SierteeltNet, 2 februari 2012 Magazine Article

R.M.H. Merks (Roeland)

February 2012
Bloemgroei in model gevangen. BioNieuws, 4 februari 2012 Magazine Article

R.M.H. Merks (Roeland)

February 2012
Tensor invariants for certain subgroups of the orthogonal group Tech Report

G. Regts (Guus) and J. Draisma (Jan)

February 2012
Multimodality and Multiresolution Image Fusion In Proceedings

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

February 2012
Cracking Big Data Article

ERCIM News, 2012(89)

S. Idreos (Stratos)

February 2012
Monotonicity testing and shortest-path routing on the cube Article

Combinatorica, 1-19.

J. Briët (Jop), S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

February 2012
MonetDB Dec2011-SP1 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. V.V. Meduri (Vamsi)

February 2012
Characterizing partition functions of the vertex model Article

Journal of Algebra, 350(1), 197-206.

J. Draisma (Jan), D. Gijswijt (Dion), L. Lovász (László), G. Regts (Guus) and A. Schrijver (Lex)

February 2012
Rise and Fall of Periodic Patterns for a generalized Klausmeier-Gray-Scott model Dissertation

S. van der Stelt (Sjors)

January 2012
New year's speech of Jos Baeten, January 9, 2012 Miscellaneous

J.C.M. Baeten (Jos)

January 2012
Fortran utilities Software

H.J. Teunissen (Jannis)

January 2012
RDFa 1.1 Distiller and Parser Software

I. Herman (Ivan)

January 2012
Derric Software

J.J. Vinju (Jurgen)

January 2012
Turing language Software

J.J. Vinju (Jurgen)

January 2012
Software Language Processing Suite Software

J.J. Vinju (Jurgen)

January 2012
Snakemake Software

J. Köster (Johannes)

January 2012
Lua AiR Software

J.J. Vinju (Jurgen)

January 2012
IDE Meta-tooling Platform Software

J.J. Vinju (Jurgen)

January 2012
Enso Software

J.J. Vinju (Jurgen)

January 2012
ASTRA Toolbox Software

W.J. Palenstijn (Willem Jan)

January 2012
Building virtual earth observatories using ontologies and linked geospatial data In Proceedings

M. Koubarakis (Manolis), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), S. Manegold (Stefan), M.L. Kersten (Martin), et al. R. Gregor (Robert)

January 2012
Numerical modelling of strongly anisotropic dissipative eects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

January 2012
Discretization methods for extremely anisotropic diffusion In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

January 2012
New explicit Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

January 2012
Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

January 2012
A new model and numerical method for compressible two-fluid flow In Proceedings

J.J. Kreeft (Jasper) and B. Koren (Barry)

January 2012
Immersed actuator methods for wind-turbine wake calculations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

January 2012
A numerical layer resolving method for the flow over a curved surface Article

Applied Mathematics and Computation, 10656-10668.

A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)

January 2012
De Zeven Grootste Raadsels van de Wiskunde Book

A. van den Brandhof, R. van der Veen, J. van de Craats and B. Koren (Barry)

January 2012
See what's enBlogue: real-time emergent topic identification in social media In Proceedings

F. Alvanaki (Foteini), S. Michel, K. Ramamritham and G. Weikum

January 2012
De 10 grootste doorbraken in de wetenschap volgens 89 prominente wetenschappers Magazine Article

R.M.H. Merks (Roeland)

January 2012
The medieval climate anomaly in Europe : Comparison of the summer and annual mean signals in two reconstructions and in simulations with data assimilation Article

Global and Planetary Change, 35-47.

H. Goosse, J. Guiot, M.E. Mann (Michael), S. Dubinkina (Svetlana) and Y. Sallaz-Damaz

January 2012
The role of forcing and internal dynamics in explaining the ‘‘Medieval Climate Anomaly’’ Article

Climate Dynamics, 2847-2866.

H. Goosse, E. Crespin, S. Dubinkina (Svetlana) and M.-F. Loutre

January 2012
Minimizing the Waiting Time for Emergency Surgery Article

Operations Research for Health Care, 1(2-3), 34-44.

J.T. van Essen (Theresia), J.L. Hurink (Johann), E.W. Hans and A. Oversberg

January 2012
Genome-scale modeling of Synechocystis metabolism: A status report Lecture

T.R. Maarleveld (Timo), F.J. Bruggeman (Frank) and B. Teusink (Bas)

January 2012
StochPy: A Stochastic modelling tool for Python Software

T.R. Maarleveld (Timo), B.E. Olivier and F.J. Bruggeman (Frank)

January 2012
Towards truly integrated modelling in Systems Biology Developing the Software and Standards Presentation

B.E. Olivier, M. Swat, K.J. Wolstencroft, J.L. Snoep, J. Boele (Joost) and T.R. Maarleveld (Timo)

January 2012
On a Bahadur-Kiefer representation of Von Mises statistic type for intermediate sample quantiles Article

N. Gribkova and R. Helmers (Roelof)

January 2012
Rational Middle: Intelligent Networks, make them as smart as possible! Or not? Article

NRG Magazine, 20-21.

R. Croes and J.A. La Poutré (Han)

January 2012
Using Priced Options to Solve the Exposure Problem in Sequential Auctions Article

ACM Transactions on Internet Technology, 12(2), 1-39.

V. Robu (Valentin), L. Mous and J.A. La Poutré (Han)

January 2012
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems In Proceedings

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

January 2012
On-line Distributed Prediction of Traffic Flow in a Large-Scale Traffic Network In Proceedings

Y. Wang (Yanjing), J.H. van Schuppen (Jan) and J. Vrancken

January 2012
Control to facet by piecewise-affine output feedback Article

IEEE Transactions on Automatic Control, 2831-2843.

L.C.G.J.M. Habets (Luc), P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

January 2012
On conditional decomposability Article

Systems & Control Letters, 1260-1268.

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

January 2012
Flow-level models for wireless networks with concurrent access Master Thesis

N. Diaz Feraren (natalia)

January 2012
Approximations for the waiting-time distributions in polling models Master Thesis

P. Vis (Petra)

January 2012
Statistical analysis of firefighter data Master Thesis

M. Novackova (Monika)

January 2012
Forecasting of ambulance call volumes Master Thesis

M. Mahfoud (Maria)

January 2012
Modeling counter improvised explosive devices Master Thesis

D. van Leeuwen (Daphne)

January 2012
Static Analysis of Lua Presentation

R.A. van Rozen (Riemer)

January 2012
Stationary Joint Queue Lengths for Widely Heterogeneous Traffic Classes Presentation

R. Núñez Queija (Rudesindo)

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

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

January 2012
Multi-objective optimization for deformable image registration: proof of concept In Proceedings

T. Alderliesten (Tanja), J.-J. Sonke (Jan-Jakob) and P.A.N. Bosman (Peter)

January 2012
High-order fluid model of streamer discharges in molecular nitrogen In Proceedings

S. Dujko (Sasa), A. Markosyan (Aram), R.D. White, Z.L. Petrović (Zoran) and U. Ebert (Ute)

January 2012
Learning the Neighborhood with the Linkage Tree Genetic Algorithm In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

January 2012
Linkage Neighbors, Optimal Mixing and Forced Improvements in Genetic Algorithms In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

January 2012
High order fluid model for simulations of streamer and sprites In Proceedings

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

January 2012
Linkage Neighbors, Optimal Mixing and Forced Improvements in Genetic Algorithms In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

January 2012
Why do we need high order fluid model for streamer discharges? Presentation

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

January 2012
Predetermined versus Learned Linkage Models In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

January 2012
Incremental Gaussian Model-Building in Multi-Objective EDAs with an Application to Deformable Image Registration In Proceedings

P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

January 2012
High order fluid model for streamer discharges In Proceedings

A. Markosyan (Aram), S. Dujko (Sasa), R.D. White, H.J. Teunissen (Jannis) and U. Ebert (Ute)

January 2012
Evolvability Analysis of the Linkage Tree Genetic Algorithm In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

January 2012
On Measures to Build Linkage Trees in LTGA In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

January 2012
On Gradients and Hybrid Evolutionary Algorithms for Real-Valued Multi-Objective Optimization Article

IEEE Transactions on Evolutionary Computation, 16(1), 51-69.

P.A.N. Bosman (Peter)

January 2012
Investigating voltage recovery after breakdown supercritical nitrogen In Proceedings

A. Markosyan (Aram), J. Zhang (Jason), B. van Heesch and U. Ebert (Ute)

January 2012
The downside of markup: examining the harmful effects of CSS and javascript on indexing today's web In Proceedings

K. Gyllstrom, C. Eickhoff (Carsten), A.P. de Vries (Arjen) and M.-F. Moens

January 2012
Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents In Proceedings

M.A. Norozi (Muhammad), P. Arvola and A.P. de Vries (Arjen)

January 2012
Building simulation models of growing plant tissues using VirtualLeaf Book Chapter

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

January 2012
Integrating two patterning processes in the flower Article

Plant Signaling & Behavior, 7(6)

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

January 2012
Redox balance is key to explaining full vs. partial switching to low-yield metabolism Article

BMC Systems Biology, 6(22)

M.J.A. van Hoek (Milan) and R.M.H. Merks (Roeland)

January 2012
Fast Approximation of Algebraic Reconstruction Methods for Tomography Article

IEEE Transactions on Image Processing, 21(8), 3648-3658.

K.J. Batenburg (Joost) and L. Plantagie (Linda)

January 2012
TyMoRe - modular type based refactoring Software

A. Izmaylova (Anastasia) and J.J. Vinju (Jurgen)

January 2012

Available Years

Publications from 2019

Mobiele communicatie kan tien keer sneller. Computable, 6 maart 2012 Magazine Article

Met 2 lijnen 5 keer sneller downloaden. AutomatiseringGids, 14 maart 2012 Magazine Article

Program Analysis Scenarios in Rascal In Proceedings

Piping & Instrumentation in Rascal Software

Benchmarking RDF Storage Engines Manual

On bounded rank positive semidefinite matrix completions of extreme partial correlation matrices. Tech Report

Complexity of the positive semidefinite matrix completion problem with a rank constraint. Tech Report

Heuristics-based query optimisation for SPARQL In Proceedings

Letter from the Special Issue Editor Article

Business Analytics in (a) Blink Article

MonetDB: Two Decades of Research in Column-oriented Database Architectures Article

Adaptive indexing in modern database kernels In Proceedings

Notation-Parametric Grammar Recovery In Proceedings

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

Language Evolution, Metasyntactically In Proceedings

MonetDB Dec2011-SP2 bugfix release Software

Improving The Future of Research Communications and e-Scholarship Article

Antilope - A Lagrangian Relaxation Approach to the de novo Peptide Sequencing Problem Article

Fluid Limits for an ALOHA-type Model with Impatient Customers Article

Programming and Deployment of Active Objects with Application-Level Scheduling In Proceedings

Runtime revenue maximization for composite Web services with response-time commitments In Proceedings

Treating JSON as a subset of XML In Proceedings

Rascal Release 0.4.18 (alpha) Software

Rascal Release 0.4.17 (alpha) Software

Rascal Release 0.4.16 (alpha) Software

State Space Reduction for Model Checking Agent Programs In Proceedings

Profiel: Alexander Rinnooy Kan. Human.nl, Nederland 2, 6 februari 2012 News Broadcast

Groeiproces bloemen verder ontrafelen. SierteeltNet, 2 februari 2012 Magazine Article

Bloemgroei in model gevangen. BioNieuws, 4 februari 2012 Magazine Article

Tensor invariants for certain subgroups of the orthogonal group Tech Report

Multimodality and Multiresolution Image Fusion In Proceedings

Cracking Big Data Article

Monotonicity testing and shortest-path routing on the cube Article

MonetDB Dec2011-SP1 bugfix release Software

Characterizing partition functions of the vertex model Article

Rise and Fall of Periodic Patterns for a generalized Klausmeier-Gray-Scott model Dissertation

New year's speech of Jos Baeten, January 9, 2012 Miscellaneous

Fortran utilities Software

RDFa 1.1 Distiller and Parser Software

Derric Software

Turing language Software

Software Language Processing Suite Software

Snakemake Software

Lua AiR Software

IDE Meta-tooling Platform Software

Enso Software

ASTRA Toolbox Software

Building virtual earth observatories using ontologies and linked geospatial data In Proceedings

Numerical modelling of strongly anisotropic dissipative e ects in MHD In Proceedings

Discretization methods for extremely anisotropic diffusion In Proceedings

New explicit Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

A new model and numerical method for compressible two-fluid flow In Proceedings

Immersed actuator methods for wind-turbine wake calculations In Proceedings

A numerical layer resolving method for the flow over a curved surface Article

De Zeven Grootste Raadsels van de Wiskunde Book

See what's enBlogue: real-time emergent topic identification in social media In Proceedings

De 10 grootste doorbraken in de wetenschap volgens 89 prominente wetenschappers Magazine Article

The medieval climate anomaly in Europe : Comparison of the summer and annual mean signals in two reconstructions and in simulations with data assimilation Article

The role of forcing and internal dynamics in explaining the ‘‘Medieval Climate Anomaly’’ Article

Minimizing the Waiting Time for Emergency Surgery Article

Genome-scale modeling of Synechocystis metabolism: A status report Lecture

StochPy: A Stochastic modelling tool for Python Software

Towards truly integrated modelling in Systems Biology Developing the Software and Standards Presentation

On a Bahadur-Kiefer representation of Von Mises statistic type for intermediate sample quantiles Article

Rational Middle: Intelligent Networks, make them as smart as possible! Or not? Article

Using Priced Options to Solve the Exposure Problem in Sequential Auctions Article

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems In Proceedings

On-line Distributed Prediction of Traffic Flow in a Large-Scale Traffic Network In Proceedings

Control to facet by piecewise-affine output feedback Article

On conditional decomposability Article

Flow-level models for wireless networks with concurrent access Master Thesis

Approximations for the waiting-time distributions in polling models Master Thesis

Statistical analysis of firefighter data Master Thesis

Forecasting of ambulance call volumes Master Thesis

Modeling counter improvised explosive devices Master Thesis

Static Analysis of Lua Presentation

Stationary Joint Queue Lengths for Widely Heterogeneous Traffic Classes Presentation

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

Numerical modelling of strongly anisotropic dissipative eects in MHD In Proceedings