Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

On semidefinite programming bounds for graph bandwidth Article

Optimization Online

E. de Klerk (Etienne), M. Eisenberg-Nagy (Marianna) and R. Sotirov (Renata)

January 2011
Jan Karel, The Decider Miscellaneous

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

January 2011
Remembering Kolmogorov Book Chapter

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

January 2011
Compression-based similarity In Proceedings

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

January 2011
Raymond J. Solomonoff 1926-2009 Article

IEEE Information Theory Society Newsletter, 61(1), 11-16.

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

January 2011
Nonapproximability of the normalized information distance Article

Journal of Computer and System Sciences, 77(4), 738-742.

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

January 2011
The probabilistic analysis of language acquisition: Theoretical, computational, and experimental analysis Article

Cognition, Technology and Work, 380-390.

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

January 2011
Information distance in multiples Article

IEEE Transactions on Information Theory, 57(4), 2451-2456.

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

January 2011
Integration of supervisory control synthesis in model-based systems engineering In Proceedings

J.C.M. Baeten (Jos), J.M. van de Mortel-Fronczak (Joanna) and J.E. Rooda (Jacobus)

January 2011
Unguardedness mostly means many solutions Article

Theoretical Computer Science, 412(28), 3090-3100.

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

January 2011
Cell-based computer modeling of angiogenesis and vasculogenesis Presentation

R.M.H. Merks (Roeland)

January 2011
Multicellular cooperation during angiogenesis" Presentation

R.M.H. Merks (Roeland)

January 2011
Bloedvat in de computer Magazine Article

R.M.H. Merks (Roeland)

January 2011
Representation of Power Series over Word Algebras In Proceedings

U. Faigle and A. Schönhuth (Alexander)

January 2011
Determining coding CpG islands by identifying regions significant for pattern statistics on Markov chains Article

Statistical Applications in Genetics and Molecular Biology, 10(1), 1-43.

A. Engström, M. Singer, L. Pachter and A. Schönhuth (Alexander)

January 2011
Discrete explorations of multicellular growth and morphogenesis Miscellaneous

R.M.H. Merks (Roeland)

January 2011
Emergence of cross-feeding in gut microbial metabolism Presentation

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

January 2011
Sprouting and lumen formation during angiogenesis: A cell-based computational model Presentation

S.E.M. Boas (Sonja), M.M. Palm (Margriet), P. Koolwijk (Pieter) and R.M.H. Merks (Roeland)

January 2011
Combining 13C-metabolic flux analysis and genome-scale modeling of short chain fatty acid production Presentation

M.N. Steijaert, M.J.A. van Hoek (Milan), T.W. Binsl, J.H.G.M. van Beek, R.M.H. Merks (Roeland), K. Venema and A.A. de Graaf

January 2011
Combining 13C-metabolic flux analysis and genome-scale modeling of short chain fatty acid production Presentation

M.J.A. van Hoek (Milan), M.N. Steijaert, T.W. Binsl, J.H.G.M. van Beek, R.M.H. Merks (Roeland), K. Venema and A.A. de Graaf

January 2011
Cell shape and rigidity can be sufficient for vascular network formation Presentation

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

January 2011
Tip cells in angiogenesis: the role of selection and behavior Presentation

M.M. Palm (Margriet), E. van Dijk (Erik), A. Feenstra and R.M.H. Merks (Roeland)

January 2011
Combining 13C-metabolic flux analysis and genome-scale modeling of short chain fatty acid production Presentation

M.J.A. van Hoek (Milan) and M.N. Steijaert

January 2011
Cell-based modeling for the VPH: The role of collective cell behavior in angiogenesis and gut microbial metabolism Presentation

M.J.A. van Hoek (Milan), M.M. Palm (Margriet), S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

January 2011
Maintaining redox balance is key to explaining modes of metabolic switching Unpublished

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

January 2011
Diffusion Estimation from Multiscale Data by Operator Eigenpairs Article

Multiscale Modeling and Simulation, 9(4), 1588-1623.

D.T. Crommelin (Daan) and E. Vanden-Eijnden (Eric)

January 2011
Component splitting for semi-discrete Maxwell equations Article

BIT : Numerical Mathematics, 51(2), 427-445.

J.G. Verwer (Jan)

January 2011
On Tree-Constrained Matchings and Generalizations In Proceedings

S. Canzar (Stefan), K. Elbassioni, G.W. Klau (Gunnar) and J. Mestre

January 2011
Benchmarking Parameter-free AMaLGaM on Functions With and Without Noise In Proceedings

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

January 2011
The Roles of Local Search, Model Building and Optimal Mixing in Evolutionary Algorithms from a BBO Perspective In Proceedings

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

January 2011
Optimal Mixing Evolutionary Algorithms In Proceedings

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

January 2011
Quantitative analysis of venation patterns of Arabidopsis leaves by supervised image analysis Article

The Plant Journal, epub(doi:10.1111/j.1365-313X.2011.04803.x)

S. Dhondt, D. van Haerenborgh, C. van Cauwenbergh, R.M.H. Merks (Roeland), W. Philips, G.T.S. Beemster and D. Inze

January 2011
Quantitative Kleene coalgebras Article

Information and Computation, 209(5), 822-849.

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

January 2011
Sound and complete axiomatization of trace semantics for probabilistic systems Article

Electronic Notes in Theoretical Computer Science, 291-311.

A.M. Silva (Alexandra) and A. Sokolova

January 2011
On Moessner's theorem Tech Report

D. Kozen and A.M. Silva (Alexandra)

January 2011
Preface Article

Theoretical Computer Science, 412(38), 4967-4968.

B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2011
Proceedings Fourth Interaction and Concurrency Experience Book

January 2011
Concurrency and Interaction in Complex Systems Book

January 2011
Sound and complete axiomatizations of coalgebraic language equivalence Article

Computing Research Repository

M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)

January 2011
Stochastic Reo: a case study In Proceedings

Y.-J. Moon (Young-Joo), F. Arbab (Farhad), A.M. Silva (Alexandra), A. Stam and C. Verhoef (Chretien)

January 2011
Nonblocking distributed state-tree-structures Master Thesis

K. Lyngbaek

January 2011
LQG coordination control Master Thesis

N. Pambakian

January 2011
Controllability and observability of coordinated linear systems Tech Report

P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

January 2011
Maximally permissive distributed dupervisory control of nondeterministic discrete-event systems In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2011
Hierarchical control with partial observations: Sufficient conditions In Proceedings

O.D.M. Boutin (Olivier), J. Komenda, T. Masopust (Tomas), K. Schmidt and J.H. van Schuppen (Jan)

January 2011
Networks of Real-Time Actors: Schedulability Analysis and Coordination In Proceedings

M.M. Jaghoori (Mohammad Mahdi), O. Hlynsson and M. Sirjani (Marjan)

January 2011
Ten Years of Analyzing Actors: Rebeca Experience In Proceedings

M.M. Jaghoori (Mohammad Mahdi) and M. Sirjani (Marjan)

January 2011
Composing Real-Time Concurrent Objects - Refinement, Compatibility and Schedulability In Proceedings

M.M. Jaghoori (Mohammad Mahdi)

January 2011
From Nonpreemptive to Preemptive Scheduling – From Single-Processor to Multi-Processor In Proceedings

M.M. Jaghoori (Mohammad Mahdi)

January 2011
A formation flying algorithm for autonomous underwater vehicles In Proceedings

P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

January 2011
A modular-coordinated control for continuous Petri nets In Proceedings

C.R. Vazquwz, J.H. van Schuppen (Jan) and M. Silva (Manuel)

January 2011
Abstraction of biochemical reaction systems In Proceedings

P.J. Collins (Pieter), L.C.G.J.M. Habets (Luc), J.H. van Schuppen (Jan), I. Černà, J. Fabrikovà and D. Šafrànek

January 2011
Coordinated control of discrete-event systems with nonprefix-closed languages In Proceedings

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

January 2011
Control of distributed stochastic systems - Introduction, problems, and approaches In Proceedings

J.H. van Schuppen (Jan)

January 2011
Mathematical systems theory Article

Machazine, 15(4), 34-35.

D. Jeltsema, J.W. van der Woude (Jacob) and J.H. van Schuppen (Jan)

January 2011
Control of distributed systems: Tutorial and overview Article

European Journal of Control, 17(5-6), 579-602.

J.H. van Schuppen (Jan), O.D.M. Boutin (Olivier), P.L. Kempker (Pia), J. Komenda, T. Masopust (Tomas), N. Pambakian and A.C.M. Ran

January 2011
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Article

Systems & Control Letters, 492-502.

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

January 2011
Semantics and computability of the evolution of hybrid systems Article

SIAM Journal on Control and Optimization, 890-925.

P.J. Collins (Pieter)

January 2011
The distributed wireless gathering problem Article

Theoretical Computer Science, 412(8), 633-641.

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2011
On the complexity of computing the handicap of a sufficient matrix Article

Mathematical Programming Series B, 129(2), 383-402.

E. de Klerk (Etienne) and M. Eisenberg-Nagy (Marianna)

January 2011
Characterizing graphic matroids by a system of linear equations Tech Report

J. Geelen (Jim) and A.M.H. Gerards (Bert)

January 2011
Safe Learning: bridging the gap between Bayes, MDL and statistical learning theory via empirical convexity In Proceedings

P.D. Grünwald (Peter)

January 2011
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration Article

Journal of Artificial Intelligence Research, 393-426.

P.D. Grünwald (Peter) and J.Y. Halpern

January 2011
Buchi Automata for Modeling Component Connectors Article

Software and System Modelling, 10(2), 183-200.

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

January 2011
Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey Book

B.K. Aichernig, F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2011
Immunizing Conic Quadratic Optimization Problems Against Implementation Errors Tech Report

D. den Hertog (Dick) and A. Ben-Tal (Aharon)

January 2011
Robust Solutions of Optimization Problems Affected by Uncertain Probabilities Tech Report

A. Ben-Tal (Aharon), D. den Hertog (Dick), A.M.B. De Waegenaere, B. Melenberg and G. Rennen

January 2011
Free-Surface Viscous Flow Solution Methods for Ship Hydrodynamics Article

Archives of Computational Methods in Engineering, 1-41.

J. Wackers (Jeroen), B. Koren (Barry), H.C. Raven, A. van der Ploeg (Auke), A.R. Starke, G.B. Deng, P. Queutey, M. Visonneau (Michel), T. Hino and K. Ohashi

January 2011
In Memoriam Jan Verwer (1946-2011) “Een dag zonder fouten is een dag zonder wiskunde” Article

Nieuw Archief voor Wiskunde, 91-93.

J.E. Frank (Jason), W. Hundsdorfer (Willem) and B. Koren (Barry)

January 2011
Review of computational fluid dynamics for wind turbine wake aerodynamics Article

Wind Energy, 799-819.

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

January 2011
On the Smoothed Price of Anarchy of the Traffic Assignment Problem In Proceedings

F. Carvalho Rodrigues (Félix), M. Ritt, L. Buriol and G. Schäfer (Guido)

January 2011
Using simulation to evaluate how multi-agent transportation planners cope with truck breakdowns In Proceedings

T. Máhr, J. Srour and M.M. de Weerdt (Mathijs)

January 2011
Multi-player Multi-issue Negotiation with Complete Information In Proceedings

M. Wu (Mengxiao), M.M. de Weerdt (Mathijs), J.A. La Poutré (Han), C. Yadati, Y.Q. Zhang (Yingqian (Jennie)) and C. Witteveen (Cees)

January 2011
Sparsifying Distance Matrices for Protein-Protein Structure Alignments In Proceedings

A. Mucherino (Antonio), I. Wohlers (Inken), G.W. Klau (Gunnar) and R. Andonov (Rumen)

January 2011
Random graph asymptotics on high-dimensional tori. II. Volume, diameter and mixing time Article

Probability Theory and Related Fields, 149(3-4), 397-415.

M. Heydenreich (Markus) and R.W. van der Hofstad (Remco)

January 2011
Long-range self-avoiding walk converges to alpha-stable processes Article

Annales de l'Institut Henri Poincaré - Probability and Statistics, 47(1), 20-42.

M. Heydenreich (Markus)

January 2011
Quantum proofs for classical theorems Article

Theory of Computing

A. Drucker and R.M. de Wolf (Ronald)

January 2011
Uniform approximation by (quantum) polynomials Article

International Journal of Quantum Information, 11(3-4), 215-225.

A. Drucker and R.M. de Wolf (Ronald)

January 2011
Near-optimal and explicit Bell inequality violations In Proceedings

H.M. Buhrman (Harry), O. Regev (Oded), G. Scarpa (Giannicola) and R.M. de Wolf (Ronald)

January 2011
Error bounds on the reconstruction of binary images from low resolution scans In Proceedings

W.R. Fortes (Wagner) and K.J. Batenburg (Joost)

January 2011
Bounds on the Difference between Reconstructions in Binary Tomography In Proceedings

K.J. Batenburg (Joost), W.R. Fortes (Wagner), R. Tijdeman and L. Hajdu

January 2011
Iterative correction of beam hardening artifacts in CT Article

Superconductor Science and Technology

G. van Gompel (Gert), K. van Slambrouck, M. Defrise, K.J. Batenburg (Joost), J. de Mey, J. Sijbers (Jan) and J. Nuyts

January 2011
Barrier efficiency of sponge-like La2Zr207 buffer layers for YBCO-coated conductors Article

Superconductor Science and Technology

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

January 2011
Electron tomography based on a total variation minimization reconstruction technique Article

Ultramicroscopy

B. Goris (Bart), W. van den Broek, K.J. Batenburg (Joost), H. Heidari Mezerji and S. Bals (Sara)

January 2011
Performance improvements for iterative electron tomography reconstruction using graphics processing units (GPUs) Article

Journal of Structural Biology, 176(2), 250-253.

W.J. Palenstijn (Willem Jan), K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2011
Three-Dimensional Atomic Imaging of Colloidal Core-Shell Nanocrystals Article

Nano Letters, 11(8), 3420-3424.

S. Bals (Sara), M. Casavola, M.A. van Huis, S. van Aert (Sandra), K.J. Batenburg (Joost), G. Van Tendeloo (Gustaaf) and D. Vanmaekelbergh

January 2011
A semi-automatic algorithm for grey level estimation in tomography Article

Pattern Recognition Letters, 32(9), 1395-1405.

K.J. Batenburg (Joost), W. van Aarle (Wim) and J. Sijbers (Jan)

January 2011
Optimal Threshold Selection for Segmentation of Dense Homogeneous Objects in Tomographic Reconstructions Article

IEEE Transactions on Medical Imaging, 30(4), 980-989.

W. van Aarle (Wim), K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2011
DART: a practical reconstruction algorithm for discrete tomography Article

IEEE Transactions on Image Processing, 20(9), 2542-2553.

K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2011
Usage Analysis and the Web of Data Article

SIGIR Forum, a Medium of Discussion for SIGIR Members, 45(1), 63-69.

B. Berendt, L. Hollink (Laura), V. Hollink (Vera), M. Luczak-Rösch, K. Möller and D. Vallet

January 2011
Special issue dedicated to EMG2010 - Editorial Article

Computing and Visualization in Science, 1-1.

A. Borzi and C.W. Oosterlee (Kees)

January 2011
Position-Based Quantum Cryptography: Impossibility and Constructions In Proceedings

H.M. Buhrman (Harry), N. Chandran, S. Fehr (Serge), R. Gelles, V. Goyal, R. Ostrovsky and C. Schaffner (Christian)

January 2011
On cross-currency models with stochastic volatility and correlated interest rates Article

Applied Mathematical Finance, 1-35.

L.A. Grzelak (Lech Aleksander) and C.W. Oosterlee (Kees)

January 2011
Generalized beta regression models for random Loss-Given-Default Article

Journal of Credit Risk, 7(4), 1-27.

X. Huang and C.W. Oosterlee (Kees)

January 2011
GPU implementation of a Helmholtz Krylov solver preconditioned by a shifted Laplace method Article

Journal of Computational and Applied Mathematics, 281-293.

H. Knibbe, C.W. Oosterlee (Kees) and C. Vuik

January 2011
The affine Heston model with correlated Gaussian interest rates for pricing hybrid derivatives Article

Quantitative Finance, 11(11), 1647-1663.

L.A. Grzelak (Lech Aleksander), C.W. Oosterlee (Kees) and S. van Weeren

January 2011
Saddlepoint approximations for expectations Article

SIAM Journal on Financial Mathematics, 692-714.

X. Huang and C.W. Oosterlee (Kees)

January 2011
Analysis of multi-stage open shop processing systems In Proceedings

J. Eggermont, A. Schrijver (Lex) and G.J. Woeginger

January 2011
Shortest vertex-disjoint two-face paths in planar graphs Article

ACM Transactions on Algorithms, 7(2)

É. Colin de Verdière and A. Schrijver (Lex)

January 2011
Adaptive Hedge In Proceedings

T.A.L. van Erven (Tim), P.D. Grünwald (Peter), W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

January 2011

Previous

Next

Available Years