Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Insensitivity and stability of random-access networks Article

Performance Evaluation, 67(11), 1230-1242.

P.M. van de Ven (Peter), S.C. Borst (Sem), J.S.H. van Leeuwaarden (Johan) and A. Proutière

January 2010
Distributed caching algorirthms for content distribution netowkrs In Proceedings

S.C. Borst (Sem), A. Gupta (Anupam) and A. Walid

January 2010
Phylogenetic Networks Do not Need to Be Complex: Using Fewer Reticulations to Represent Conflicting Clusters Article

Bioinformatics, 26(12), i124-i131.

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), R. Rupp and D. Huson

January 2010
Partial-realization of linear switched systems: A formal power series approach Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2010
Rational systems - Realization and identification Book Chapter

J. Nemcová (Jana) and J.H. van Schuppen (Jan)

January 2010
Temporal logic control for piecewise-affine hybrid systems on polytopes In Proceedings

L.C.G.J.M. Habets (Luc) and C. Belta

January 2010
Realization theory for linear hybrid systems Article

IEEE Transactions on Automatic Control, 2282-2297.

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2010
Creating, managing, verifying multimedia interactions: the temporal dimension. Inaugural Lecture

D.C.A. Bulterman (Dick)

January 2010
Systems Biology: towards realistic and useful models of molecular networks Book Chapter

F.J. Bruggeman (Frank), A. Kolodkin, K.N. Rybakova, M.J. Mone and H.V. Westerhoff (Hans)

January 2010
Comparative systems biology: from bacteria to man Article

Wiley Interdisciplinary Review: Systems Biology and Medicine, 518-532.

B. Teusink (Bas), H.V. Westerhoff (Hans) and F.J. Bruggeman (Frank)

January 2010
Restriction point control of the mammalian cell cycle via the cyclin E/Cdk2:p27 complex Article

FEBS Journal, 357-367.

R. Conradi, F.J. Bruggeman (Frank), A. Ciliberto, A. Csikasz-Nagy, B. Novak, H.V. Westerhoff (Hans) and J.L. Snoep

January 2010
AmtB-mediated NH(3) transport in prokaryotes must be active and as a consequence regulation of transport by GlnK is mandatory to limit futile cycling of NH(4)(+)/NH(3) Article

FEBS Letters

F.C. Boogerd, H. Ma (Huiye), F.J. Bruggeman (Frank), W.C. van Heeswijk (Wally), R. Garcia-Contreras, D. Molenaar, K. Krab and H.V. Westerhoff (Hans)

January 2010
Systems biology from micro-organisms to human metabolic diseases: the role of detailed kinetic models Article

Biochemical Society Transactions, 1294-1301.

B.M. Bakker, K. van Eunen, J.A. Jeneson, N.A. van Riel, F.J. Bruggeman (Frank) and B. Teusink (Bas)

January 2010
Quantum learning: asymptotically optimal classification of qubit states Article

New Journal of Physics

M. Guta and W.T. Kotlowski (Wojciech)

January 2010
ENDER: A Statistical Framework for Boosting Decision Rules Article

Data Mining and Knowledge Discovery, 21(1), 59-90.

K. Dembczynski, W.T. Kotlowski (Wojciech) and R. Slowinski

January 2010
TA2 MyVideos Software

R.L. Guimarães (Rodrigo Laiola)

January 2010
Ambulant Captioner Software

R.L. Guimarães (Rodrigo Laiola)

January 2010
Computation of symbolic dynamics for one-dimensional maps Article

Journal of Computational and Applied Mathematics, 418-436.

L. Sella (Lorenzo) and P.J. Collins (Pieter)

January 2010
Interactive Mass Spectrometry Analysis Software

R. van Liere (Robert) and F.A. Smit (Ferdi)

January 2010
Computational Semantics Textbook Programs Software

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

January 2010
Supercomputing, interview met Paul Klint News Broadcast

P. Klint (Paul)

January 2010
Nonapproximability of the Normalized Information Distance Tech Report

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

January 2010
Trek separation for gaussian graphical models Article

Annals of Statistics, 38(3), 1665-1685.

S. Sullivant, K. Talaska and J. Draisma (Jan)

January 2010
The singular lines of alternating three-forms Article

Linear Algebra and its Applications, 433(3), 690-697.

J. Draisma (Jan) and R. Shaw (Ron)

January 2010
Secant dimensions of low-dimensional homogeneous varieties Article

Advances in Geometry, 10(0707.1605), 1-29.

K. Baur and J. Draisma (Jan)

January 2010
Information Distance Tech Report

C.H. Bennett, P. Gacs, M. Li (Ming), P.M.B. Vitányi (Paul) and W.H. Zurek

January 2010
Normalized Information Distance is Not Semicomputable Tech Report

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

January 2010
The probabilistic analysis of language acquisition: Theoretical, computational, and experimental analysis Tech Report

A.S. Hsu, N. Chater (Nick) and P.M.B. Vitányi (Paul)

January 2010
Ray Solomonoff, Founding Father of Algorithmic Information Theory (obituary) Article

Journal of Algorithms, 3(3), 260-264.

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

January 2010
Rate distortion and denoising of individual data using Kolmogorov complexity Article

IEEE Transactions on Information Theory, 56(7), 3438-3454.

N.K. Vereshchagin (Nikolay Konstantinovich) and P.M.B. Vitányi (Paul)

January 2010
Normalized Web Distance and Word Similarity Book Chapter

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

January 2010
Logic of Information Flow on Communication Channels (Extended Version) Book Chapter

D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)

January 2010
The language of social software Article

Synthese, 177(supplement 1)

D.J.N. van Eijck (Jan)

January 2010
Composing Models In Proceedings

D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)

January 2010
Dynamic Semantics Book Chapter

D.J.N. van Eijck (Jan) and A. Visser

January 2010
Multi-agent Belief Revision with Linked Plausibilities Book Chapter

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2010
Monotonicity testing and shortest-path routing on the cube In Proceedings

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

January 2010
Leftover Hashing Against Quantum Side Information In Proceedings

M. Tomamichel, C. Schaffner (Christian), A. Smith (Adam) and R. Renner

January 2010
Implementation of two-party protocols in the noisy-storage model Article

Physical Review A: Atomic, Molecular and Optical Physics

S.D.C. Wehner (Stephanie), M. Curty, C. Schaffner (Christian) and H. Lo

January 2010
Simple Protocols for Oblivious Transfer and Secure Identification in the Noisy-Quantum-Storage Model Article

Physical Review A: Atomic, Molecular and Optical Physics

C. Schaffner (Christian)

January 2010
Nonlocality and communication complexity Article

Reviews of Modern Physics, 665-698.

H.M. Buhrman (Harry), R.E. Cleve (Richard), S. Massar (Serge) and R.M. de Wolf (Ronald)

January 2010
Learning parities in the mistake-bound model Article

Information Processing Letters, 111(1), 16-21.

H.M. Buhrman (Harry), D. Garcia Soriano (David) and A. Matsliah (Arie)

January 2010
Intelligent multimedia presentation in ubiquitous multidevice scenarios Article

IEEE MultiMedia, 52-63.

R. Kernchen, P.S. César Garcia (Pablo Santiago), S. Meissner, M. Boussard, K. Moessner, C. Hesselman and I. Vaishnavi (Ishan)

January 2010
A shared-scene-graph image-warping architecture for VR: low latency versus image quality Article

Computers & Graphics, 34(1), 3-16.

F.A. Smit (Ferdi), R. van Liere (Robert), S. Beck and B. Fröhlich (Bernd)

January 2010
Agent-Based Simulation, Adaptive Algorithms and Bio Computing In Proceedings

January 2010
Computational Intelligence for Finance and Economics Book

January 2010
A Computational Approach to Patient Flow Logistics in Hospitals Article

ERCIM News, 44-45.

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2010
Pricing Higher-Dimensional American Options Using The Stochastic Grid Method Tech Report

S. Jain (Shashi) and C.W. Oosterlee (Kees)

January 2010
On perturbed random walks Article

Journal of Applied Probability, 47(4), 1203-1204.

Z. Palmowski (Zbigniew) and A.P. Zwart (Bert)

January 2010
Asymptotic expansions of defective renewal equations with applications to perturbed risk models and processor sharing queues Article

Mathematical Methods of Operations Research, 311-326.

J. Blanchet (Jose) and A.P. Zwart (Bert)

January 2010
On the inapproximability of M/G/K: Why two moments of service distribution are not enough. Article

Queueing Systems, 5-48.

J.G. Dai, V. Gupta, M. Harchol Balter and A.P. Zwart (Bert)

January 2010
Tail-robust scheduling using Limited Processor Sharing. Article

Performance Evaluation, 978-995.

J. Nair (Jayakrishnan), A. Wierman (Adam) and A.P. Zwart (Bert)

January 2010
Niceness Theorems In Proceedings

M. Hazewinkel (Michiel)

January 2010
Towards a web-based simulation experiment description repositor Presentation

M.A. Guravage (Michael)

January 2010
Using in vitro and in silico modeling to understand colonic short chain fatty acid production Presentation

M.J.A. van Hoek (Milan), A.A. de Graaf, K. Venema and R.M.H. Merks (Roeland)

January 2010
The role of cell elongation in the formation of vascular networks Presentation

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

January 2010
Cell elongation enables network formation without chemo-attraction Presentation

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

January 2010
The role of cell elongation in the formation of vascular networks Presentation

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

January 2010
Measuring Porosity at the Nanoscale by Quantitative Electron Tomography Article

Nano Letters, 10(12), 5014-5019.

E. Biermans, L. Molina, K.J. Batenburg (Joost), S. Bals (Sara) and G. Van Tendeloo (Gustaaf)

January 2010
Using Priced Options to Solve the Exposure Problem in Sequential Auctions In Proceedings

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

January 2010
Designing bidding strategies in sequential auctions for risk averse agents Article

Multiagent and Grid Systems, 6(5), 437-457.

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

January 2010
Review of CFD for wind-turbine wake aerodynamics Tech Report

B. Sanderse (Benjamin), S.P. van der Pijl (Sander) and B. Koren (Barry)

January 2010
An algebraic framework for discrete tomography Article

SIAM Journal on Discrete Mathematics, 24(3), 1056-1079.

A. Stolk and K.J. Batenburg (Joost)

January 2010
Motion tracking-enhanced MART for tomographic PIV Article

Measurement Science and Technology, 21(3)

M. Novara, K.J. Batenburg (Joost) and F. Scarano

January 2010
Three-Dimensional Characterization of Helical Silver Nanochains Mediated by Protein Assemblies Article

Advanced Materials, 22(19), 2193-2197.

F. Leroux, M. Gysemans, S. Bals (Sara), K.J. Batenburg (Joost), J. Snauwaert, T. Verbiest, C. van Haesendonck and G. Van Tendeloo (Gustaaf)

January 2010
DART: A Robust Algorithm for Fast Reconstruction of 3D Grain Maps Article

Journal of Applied Crystallography, 1464-1473.

K.J. Batenburg (Joost), J. Sijbers (Jan), H.F. Poulsen and E. Knudsen

January 2010
Bias field reduction by localized Lloyd-Max quantization Article

Magnetic Resonance Imaging

Z. Mai, R. Hanel, K.J. Batenburg (Joost), M. Verhoye, P. Scheunders and J. Sijbers (Jan)

January 2010
Approximation Algorithms for the Interval Constrained Coloring Problem Article

Algorithmica

E. Althaus, S. Canzar (Stefan), K. Elbassioni, A. Karrenbauer and J. Mestre

January 2010
Computing H/D-Exchange rates of single residues from data of proteolytic fragments Article

BMC Bioinformatics

E. Althaus, S. Canzar (Stefan), C. Ehrler, M.R. Emmett, A. Karrenbauer, A.G. Marshall, A. Meyer-Baese, J. Tipton and H. Zhang (Haoyuan)

January 2010
A Polynomial Delay Algorithm for Enumerating Approximate Solutions to the Interval Constrained Coloring Problem In Proceedings

S. Canzar (Stefan), K. Elbassioni and J. Mestre

January 2010
On the Approximability of the Maximum Interval Constrained Coloring Problem In Proceedings

S. Canzar (Stefan), K. Elbassioni, A. Elmasry and R. Raman

January 2010
Optimal distributed power generation under network-load constraints In Proceedings

J.M. van den Akker (Marjan), G. Bloemhof, J.W. Bosman (Joost), D.T. Crommelin (Daan), J.E. Frank (Jason) and G. Yang

January 2010
3D object recognition using invariants of 2D projection curves Article

Pattern Analysis and Applications, 451-468.

M. Unel, O. Soldea, E. Ozgur and A. Bassa (Alp)

January 2010
The Hasse-Witt invariant in some towers of function fields over finite fields Article

Bulletin of the Brazilian Mathematical Society, 41(4), 567-582.

A. Bassa (Alp) and P. Beelen

January 2010
Stability in random Boolean cellular automata on the integer lattice Article

Journal of Cellular Automata, 5(4-5), 333-351.

A.C. Fey (Anne), L. van Driel and F.M. Dekking (Michel)

January 2010
The approach to criticality in sandpiles Presentation

A.C. Fey (Anne)

January 2010
A model for web service coordination in long-running transactions In Proceedings

S. Meng and F. Arbab (Farhad)

January 2010
72nd European Study Group Proceedings

January 2010
Proceedings 22nd International Teletraffic Congress Proceedings

January 2010
On the processor-sharing properties of file transfers in a WLAN testbed In Proceedings

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

January 2010
On comparing the performance of dynamic multi-network optimizations In Proceedings

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

January 2010
Optimal concurrent access strategies in mobile communication networks In Proceedings

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

January 2010
Effective load for flow-level performance modeling of wireless LANs Article

Computer Communications, 1972-1981.

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

January 2010
TCP and Web browsing performance in case of bi-directional packet loss Article

Computer Communications, S50-S57.

R.E. Kooij (Robert), R.D. van der Mei (Rob) and R. Yang (Ran)

January 2010
Using in vitro and in silico modeling to understand colonic short chain fatty acid production Presentation

M.J.A. van Hoek (Milan), A.A. de Graaf, K. Venema and R.M.H. Merks (Roeland)

January 2010
Analysis of Fourth-Order Accurate Symmetry-Preserving Boundary Conditions for the Incompressible Navier-Stokes Equations In Proceedings

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

January 2010
A new formulation of Kapila’s five-equation model for compressible two-fluid flow, and its numerical treatment Article

Journal of Computational Physics, 6220-6242.

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

January 2010
Generalized collocation methods: solutions to nonlinear problems [book review of MR2355054]. Article

SIAM Review, 52(1), 216-217.

J.G. Verwer (Jan)

January 2010
A programmable display layer for virtual reality system architectures Article

IEEE Transactions on Visualization and Computer Graphics, 16(1), 28-42.

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

January 2010
Human-guided search Article

Journal of Heuristics, 16(3), 289-310.

G.W. Klau (Gunnar), N. Lesh, J. Marks and M. Mitzenmacher

January 2010
A multi-agent platform for auction-based allocation of loads in transportation logistics Article

Expert Systems with Applications

V. Robu (Valentin), H. Noot (Han), J.A. La Poutré (Han) and W.-J. van Schijndel

January 2010
Dealing with Uncertainty in Operational Transport Planning Book Chapter

J. Zutt, M.M. de Weerdt (Mathijs), A.J.C. van Gemund and C. Witteveen (Cees)

January 2010
Impact of Competition on Quality of Service in Demand Responsive Transit In Proceedings

F. Grootenboers, M.M. de Weerdt (Mathijs) and M. Zargayouna

January 2010
Preventing Under-Reporting in Social Task Allocation In Proceedings

M.M. de Weerdt (Mathijs) and Y.Q. Zhang (Yingqian (Jennie))

January 2010
Fundamentals of Software Engineering - Post-proceedings of FSEN 2009 Book

F. Arbab (Farhad) and M. Sirjani (Marjan)

January 2010
A Rewriting Logic Semantics Approach to Modular Program Analysis In Proceedings

M.A. Hills (Mark) and G. Rosu (Grigore)

January 2010
On lightning and its kind. Article

Europhysics News, 41(5), 19-22.

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

January 2010
Propagation mechanisms of positive streamers in air and other N2:O2 mixtures: photo-ionization versus background ionization. In Proceedings

G. Wormeester (Gideon), S. Nijdam (Sander), S. Pancheshnyi, A. Luque (Alejandro), E.M. van Veldhuizen and U. Ebert (Ute)

January 2010
Electron transport data in N2-O2 streamer plasma discharges In Proceedings

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

January 2010
Boltzmann equation analysis and Monte Carlo simulation of electron transport in N2-O2 streamer discharge In Proceedings

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

January 2010

Available Years

Publications from 2015

Insensitivity and stability of random-access networks Article

Distributed caching algorirthms for content distribution netowkrs In Proceedings

Phylogenetic Networks Do not Need to Be Complex: Using Fewer Reticulations to Represent Conflicting Clusters Article

Partial-realization of linear switched systems: A formal power series approach Tech Report

Rational systems - Realization and identification Book Chapter

Temporal logic control for piecewise-affine hybrid systems on polytopes In Proceedings

Realization theory for linear hybrid systems Article

Creating, managing, verifying multimedia interactions: the temporal dimension. Inaugural Lecture

Systems Biology: towards realistic and useful models of molecular networks Book Chapter

Comparative systems biology: from bacteria to man Article

Restriction point control of the mammalian cell cycle via the cyclin E/Cdk2:p27 complex Article

AmtB-mediated NH(3) transport in prokaryotes must be active and as a consequence regulation of transport by GlnK is mandatory to limit futile cycling of NH(4)(+)/NH(3) Article

Systems biology from micro-organisms to human metabolic diseases: the role of detailed kinetic models Article

Quantum learning: asymptotically optimal classification of qubit states Article

ENDER: A Statistical Framework for Boosting Decision Rules Article

TA2 MyVideos Software

Ambulant Captioner Software

Computation of symbolic dynamics for one-dimensional maps Article

Interactive Mass Spectrometry Analysis Software

Computational Semantics Textbook Programs Software

Supercomputing, interview met Paul Klint News Broadcast

Nonapproximability of the Normalized Information Distance Tech Report

Trek separation for gaussian graphical models Article

The singular lines of alternating three-forms Article

Secant dimensions of low-dimensional homogeneous varieties Article

Information Distance Tech Report

Normalized Information Distance is Not Semicomputable Tech Report

The probabilistic analysis of language acquisition: Theoretical, computational, and experimental analysis Tech Report

Ray Solomonoff, Founding Father of Algorithmic Information Theory (obituary) Article

Rate distortion and denoising of individual data using Kolmogorov complexity Article

Normalized Web Distance and Word Similarity Book Chapter

Logic of Information Flow on Communication Channels (Extended Version) Book Chapter

The language of social software Article

Composing Models In Proceedings

Dynamic Semantics Book Chapter

Multi-agent Belief Revision with Linked Plausibilities Book Chapter

Monotonicity testing and shortest-path routing on the cube In Proceedings

Leftover Hashing Against Quantum Side Information In Proceedings

Implementation of two-party protocols in the noisy-storage model Article

Simple Protocols for Oblivious Transfer and Secure Identification in the Noisy-Quantum-Storage Model Article

Nonlocality and communication complexity Article

Learning parities in the mistake-bound model Article

Intelligent multimedia presentation in ubiquitous multidevice scenarios Article

A shared-scene-graph image-warping architecture for VR: low latency versus image quality Article

Agent-Based Simulation, Adaptive Algorithms and Bio Computing In Proceedings

Computational Intelligence for Finance and Economics Book

A Computational Approach to Patient Flow Logistics in Hospitals Article

Pricing Higher-Dimensional American Options Using The Stochastic Grid Method Tech Report

On perturbed random walks Article

Asymptotic expansions of defective renewal equations with applications to perturbed risk models and processor sharing queues Article

On the inapproximability of M/G/K: Why two moments of service distribution are not enough. Article

Tail-robust scheduling using Limited Processor Sharing. Article

Niceness Theorems In Proceedings

Towards a web-based simulation experiment description repositor Presentation

Using in vitro and in silico modeling to understand colonic short chain fatty acid production Presentation

The role of cell elongation in the formation of vascular networks Presentation

Cell elongation enables network formation without chemo-attraction Presentation

The role of cell elongation in the formation of vascular networks Presentation

Measuring Porosity at the Nanoscale by Quantitative Electron Tomography Article

Using Priced Options to Solve the Exposure Problem in Sequential Auctions In Proceedings

Designing bidding strategies in sequential auctions for risk averse agents Article

Review of CFD for wind-turbine wake aerodynamics Tech Report

An algebraic framework for discrete tomography Article

Motion tracking-enhanced MART for tomographic PIV Article

Three-Dimensional Characterization of Helical Silver Nanochains Mediated by Protein Assemblies Article

DART: A Robust Algorithm for Fast Reconstruction of 3D Grain Maps Article

Bias field reduction by localized Lloyd-Max quantization Article

Approximation Algorithms for the Interval Constrained Coloring Problem Article

Computing H/D-Exchange rates of single residues from data of proteolytic fragments Article

A Polynomial Delay Algorithm for Enumerating Approximate Solutions to the Interval Constrained Coloring Problem In Proceedings

On the Approximability of the Maximum Interval Constrained Coloring Problem In Proceedings

Optimal distributed power generation under network-load constraints In Proceedings

3D object recognition using invariants of 2D projection curves Article

The Hasse-Witt invariant in some towers of function fields over finite fields Article

Stability in random Boolean cellular automata on the integer lattice Article

The approach to criticality in sandpiles Presentation

A model for web service coordination in long-running transactions In Proceedings

72nd European Study Group Proceedings

Proceedings 22nd International Teletraffic Congress Proceedings