Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

On the Adaptivity Gap of Stochastic Orienteering Tech Report

N. Bansal (Nikhil) and V. Nagarajan

January 2013
On the number of matroids In Proceedings

N. Bansal (Nikhil), R. Pendavingh and J.G. van der Pol (Jorn)

January 2013
A Harmonic Algorithm for the 3D Strip Packing Problem Article

SIAM Journal on Computing, 42(2), 579-592.

N. Bansal (Nikhil), X. Han, K. Iwama, M. Sviridenko and G. Zhang (Guochuan)

January 2013
Deterministic Discrepancy Minimization Article

Algorithmica, 67(4), 451-471.

N. Bansal (Nikhil) and J.H. Spencer (Joel)

January 2013
Observation and evolution of finite-dimensional Markov systems In Proceedings

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

January 2013
Mendelian-inheritance-aware discovery and genotyping of midsize and long indels Article

Bioinformatics, 29(24), 3143-3150.

T. Marschall (Tobias), I. Hajirasouliha and A. Schönhuth (Alexander)

January 2013
Stable Sets and Graphs with no Even Holes Tech Report

M. Conforti, A.M.H. Gerards (Bert) and K. Pashkovich (Kanstantsin)

January 2013
The Highly Connected Matroids in Minor-closed Classes Tech Report

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

January 2013
Structure in minor-closed-classes of matroids Book Chapter

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

January 2013
LASER: Sensitive long-Indel-aware alignment of sequencing reads Tech Report

T. Marschall (Tobias) and A. Schönhuth (Alexander)

January 2013
Next generation cluster editing Tech Report

T. Bellitto (Thomas), T. Marschall (Tobias), A. Schönhuth (Alexander) and G.W. Klau (Gunnar)

January 2013
Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings

N.R. Viganò (Nicola), W. Ludwig (Wolfgang) and K.J. Batenburg (Joost)

January 2013
A method for feature detection in binary tomography In Proceedings

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

January 2013
Practical error bounds for binary tomography In Proceedings

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

January 2013
An algebraic reconstruction technique for the study of local structural changes during CT In Proceedings

G. Van Eyndhoven (Geert), K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2013
Localizing DART using the Reconstructed Residual Error In Proceedings

T. Roelandts (Tom), K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2013
Adaptive zooming in X-ray computed tomography In Proceedings

A. Dabravolski (Andrei), K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2013
Dynamic angle-selection in X-ray computed tomography In Proceedings

A. Dabravolski (Andrei), K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2013
The ASTRA tomography toolbox In Proceedings

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

January 2013
Discrete tomography in MRI: a simulation study Article

Fundamenta Informaticae, 125(3-4), 223-237.

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

January 2013
Geometric reconstruction methods for electron tomography Article

Ultramicroscopy, 42-54.

A. Alpers, R.J. Gardner, S. König, R.S. Pennington, C.B. Boothroyd, L. Houben, R.E. Dunin-Borkowski (Rafal) and K.J. Batenburg (Joost)

January 2013
Total variation minimization approach in in-line X-ray phase-contrast tomography Article

Optics Express, 21(10), 12185-12196.

A. Kostenko (Alexander), K.J. Batenburg (Joost), A. King, S.E. Offerman and L.J. van Vliet (Lucas)

January 2013
Advances in X-ray diffraction contrast tomography: flexibility in the setup geometry and application to multiphase materials Article

Journal of Applied Crystallography, 46(2), 297-311.

P. Reischig, A. King, L. Nervo (Laura), N.R. Viganò (Nicola), Y. Guilhem, W.J. Palenstijn (Willem Jan), K.J. Batenburg (Joost), M. Preuss (Michael) and W. Ludwig (Wolfgang)

January 2013
Approximate discrete reconstruction algorithm Article

Fundamenta Informaticae, 125(3-4), 239-259.

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

January 2013
Uncertainty Quantification in Computational Fluid Dynamics Presentation

J.A.S. Witteveen (Jeroen)

January 2013
Altruism and Spite in Games Presentation

G. Schäfer (Guido)

January 2013
Stochastic Power Flow Using Gauss Quadrature Sparse Grids Presentation

J.A.S. Witteveen (Jeroen)

January 2013
Experimental plug and play quantum coin flipping Tech Report

A. Pappa (Anna), P. Jouguet, T. Lwason, A.G. Chailloux (André), M. Legre, P. Trinkler, I. Kerenidis and E. Diamantini

January 2013
Oblivious transfer, the {CHSH} game, and quantum encodings Tech Report

A.G. Chailloux (André), I. Kerenidis and J. Sikora

January 2013
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost Tech Report

A.G. Chailloux (André) and G. Scarpa (Giannicola)

January 2013
Exclusivity structures and graph representatives of local complementation orbits Article

Journal of Mathematical Physics, 54(7)

A. Cabello, M.G. Parker, G. Scarpa (Giannicola) and S. Severini (Simone)

January 2013
New Separations in Zero-Error Channel Capacity Through Projective Kochen-Specker Sets and Quantum Coloring Article

IEEE Transactions on Information Theory, 59(6), 4025-4032.

L. Mančinska (Laura), G. Scarpa (Giannicola) and S. Severini (Simone)

January 2013
Entanglement of Identical Particles and the Detection Process Article

Fortschritte der Physik, 61(2-3)

M.C. Tichy, F. de Melo (Fernando), M. Kus (Monika), F. Mintert and A. Buchleitner

January 2013
Universality in open system entanglement dynamics Article

Journal of Physics A: Mathematical and Theoretical, 46(8)

M. Tiersch, F. de Melo (Fernando) and A. Buchleitner

January 2013
Optimal parallel quantum query algorithms Tech Report

S. Jeffery (Stacey), F. Magniez and R.M. de Wolf (Ronald)

January 2013
How Low Can Approximate Degree and Quantum Query Complexity be for Total Boolean Functions? In Proceedings

A. Ambainis (Andris) and R.M. de Wolf (Ronald)

January 2013
The non-adaptive query complexity of testing k-parities Article

Chicago Journal of Theoretical Computer Science

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

January 2013
Fooling One-Sided Quantum Protocols In Proceedings

H. Klauck (Hartmut) and R.M. de Wolf (Ronald)

January 2013
Optimal quantum query bounds for almost all Boolean functions In Proceedings

A. Ambainis (Andris), A. Backurs, J. Smotrovs (Juris) and R.M. de Wolf (Ronald)

January 2013
Efficient and error-correcting data structures for membership and polynomial evaluation Article

SIAM Journal on complexity, 42(1), 84-111.

V. Chen, E. Grigorescu (Elena) and R.M. de Wolf (Ronald)

January 2013
Exponential lower bounds for polytopes in combinatorial optimization Lecture

R.M. de Wolf (Ronald)

January 2013
Market Garden Software

B.J. Liefers (Bart)

January 2013
Using MathML to Represent Units of Measurement for Improved Ontology Alignment In Proceedings

C. Do (Chau) and E.J.E.M. Pauwels (Eric)

January 2013
Harnessing Mathematics for Improved Ontology Alignment In Proceedings

C. Do (Chau) and E.J.E.M. Pauwels (Eric)

January 2013
Coalgebraic Bisimulation-Up-To In Proceedings

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2013
Coinductive proof techniques for language equivalence In Proceedings

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2013
Generalizing determinization from automata to coalgebras Article

Logical Methods in Computer Science, 9(1:09), 1-27.

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

January 2013
Varieties and covarieties of languages (preliminary version) In Proceedings

J.J.M.M. Rutten (Jan), A. Ballester-Bolinches and E. Cosme-Llopez

January 2013
Stream processing coalgebraically Article

Science of Computer Programming, 78(11), 2192-2215.

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2013
Automatic equivalence proofs for non-deterministic coalgebras Article

Science of Computer Programming, 1324-1345.

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

January 2013
A data-driven multi-cloud model for stochastic parametrization of deep convection Article

Philosophical Transactions of the Royal Society A , 1-23.

J. Dorrestijn (Jesse), D.T. Crommelin (Daan), J.A. Biello and S.J. Böing

January 2013
MATE-CLEVER: Mendelian-inheritance-aware discovery and genotyping of midsize and long indels Article

Bioinformatics, 29(24), 3143-3150.

T. Marschall (Tobias), I. Hajirasouliha and A. Schönhuth (Alexander)

January 2013
Second Screen Interactions for Automatically Web-Enriched Broadcast Video In Proceedings

L. Pérez Romero (Lilia), M.C. Traub (Myriam), M.H.R. Leyssen (Mieke) and L. Hardman (Lynda)

January 2013
Zero-error source-channel coding with entanglement In Proceedings

J. Briët (Jop), H.M. Buhrman (Harry), M. Laurent (Monique), T. Piovesan (Teresa) and G. Scarpa (Giannicola)

January 2013
A simple fixed parameter tractable algorithm for computing the hybridization number of two (not necessarily binary) trees Article

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(1), 18-25.

T. Piovesan (Teresa) and S.M. Kelk (Steven)

January 2013
Virtual Realities (Dagstuhl Seminar 13241) Proceedings

January 2013
Free partially commutative groups, cohomology, and paths and circuits in directed graphs on surfaces Tech Report

A. Schrijver (Lex)

January 2013
Characterizing partition functions of the vertex model by rank growth Tech Report

A. Schrijver (Lex)

January 2013
Compact orbit spaces in Hilbert spaces and limits of edge-colouring models Tech Report

G. Regts (Guus) and A. Schrijver (Lex)

January 2013
Low rank approximation of polynomials Tech Report

A. Schrijver (Lex)

January 2013
Weak and strong regularity, compactness, and approximation of polynomials Tech Report

A. Schrijver (Lex)

January 2013
On virtual link invariants Tech Report

A. Schrijver (Lex)

January 2013
Analysis of multi-stage open shop processing systems Article

Mathematical Programming, 331-348.

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

January 2013
Characterizing partition functions of the spin model by rank growth Article

Indagationes Mathematicae, 1018-1023.

A. Schrijver (Lex)

January 2013
Large-scale parameter studies of cell-based models of tissue morphogenesis using CompuCell3D or VirtualLeaf Book Chapter

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

January 2013
Building simulation models of developing plant organs using VirtualLeaf Book Chapter

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

January 2013
Cell-Based Modeling Book Chapter

R.M.H. Merks (Roeland)

January 2013
Benchmarking Parameter-free AMaLGaM on Functions With and Without Noise Article

Evolutionary Computation, 21(3), 445-469.

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

January 2013
More Concise and Robust Linkage Learning by Filtering and Combining Linkage Hierarchies In Proceedings

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

January 2013
Hierarchical Problem Solving with the Linkage Tree Genetic Algorithm In Proceedings

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

January 2013
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings

T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé

January 2013
Local Search and Restart Strategies for Satisfiability Solving in Fuzzy Logics In Proceedings

T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé

January 2013
Deformable image registration by multi-objective optimization using a dual-dynamic transformation model to account for large anatomical differences In Proceedings

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

January 2013
Market Garden: A Scalable Research Environment for Heterogeneous Electricity Markets Article

ERCIM News, 25-26.

F.N. Claessen (Felix), N.F. Höning (Nicolas), B.J. Liefers (Bart), J.A. La Poutré (Han) and P.A.N. Bosman (Peter)

January 2013
A Cell-Based Model of Extracellular-Matrix-Guided Endothelial Cell Migration During Angiogenesis Article

Bulletin of Mathematical Biology, 1377-1399.

J.T. Daub (Josephine) and R.M.H. Merks (Roeland)

January 2013
Mechanical cell-substrate feedback explains pairwise and collective endothelial cell behavior in vitro Tech Report

R.F.M. van Oers (Rene) and R.M.H. Merks (Roeland)

January 2013
Towards a Reverse Newman's Theorem in Interactive Information Complexity In Proceedings

J. Brody (Joshua), H.M. Buhrman (Harry), M. Koucký (Michal), B. S. Loff Barreto (Bruno Serra), F. Speelman (Florian) and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2013
EQuA Symposium: Taaltechnologie voor betere Game Software Presentation

R.A. van Rozen (Riemer)

January 2013
Panel Discussion at Seminar Automated Game Design Miscellaneous

R.A. van Rozen (Riemer), K. Millenaar (Karel), J. Togelius and R. Bidarra

January 2013
Iguana Software

A. Afroozeh (Ali)

January 2013
Ensō Presentation

T. van der Storm (Tijs)

January 2013
Abstract Syntax Sucks! Presentation

T. van der Storm (Tijs)

January 2013
Modularizing a DSL implementation with Rascal Master Thesis

J.J.W. Timmer (Jasper)

January 2013
Interfacing RASCAL with Java APIs. Automated mapping with Apache POI Master Thesis

G. Marmanidis (George)

January 2013
The accuracy of text classification algorithms used in NLP Master Thesis

D. Blommesteijn (Dennis)

January 2013
Generieke syntax versus domeinspecieke syntax : learnability en understandability van notatiewijzen Master Thesis

B. van Eijkelenburg

January 2013
Conflict resolution in an event sourcing environment: Which method performs best? Master Thesis

J. Klamer (Jeremy)

January 2013
A DSL in 36 lines of code Lecture

T. van der Storm (Tijs)

January 2013
Marvol Software

T. van der Storm (Tijs), A.J. van der Ploeg (Atze) and J.J. Vinju (Jurgen)

January 2013
DSLs for Questionnaires Presentation

T. van der Storm (Tijs)

January 2013
SWOT of Rascal as a Language Workbench Presentation

T. van der Storm (Tijs)

January 2013
Implementing Domain-specific languages using Rascal Presentation

T. van der Storm (Tijs)

January 2013
Domain-Specific Languages Presentation

T. van der Storm (Tijs)

January 2013
Inefficiency of Games with Social Context In Proceedings

A. Anagnostopoulos (Aris), L. Becchetti, B. de Keijzer (Bart) and G. Schäfer (Guido)

January 2013
Inefficiency of Standard Multi-unit Auctions In Proceedings

B. de Keijzer (Bart), V. Markakis (Vangelis), G. Schäfer (Guido) and O. Telelis (Orestis)

January 2013
Genetic algorithm for prediction of optimal nutrient combinations for cultivation of unknown bacteria Presentation

D.G. de Koning (Daniël), T.R. Maarleveld (Timo), G. Muyzer and R.M.H. Merks (Roeland)

January 2013
Boosting performance of wireless networks with concurrent access by smart traffic splitting Article

ERCIM News

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

January 2013
Digital road authority for coordination between in-car navigation systems and traffic control centres Article

ERCIM News

R.D. van der Mei (Rob), F. Ottenhof (Frank) and M. Bots

January 2013
Een wiskundig model voor het analyseren van de prestatie en efficiency van ambulance-meldkamers Article

V&VN Ambulancezorg Magazine

P. Dwars (Peter), M. van Buuren (Martin), G.J. Kommer (Geert Jan), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

January 2013
A data integration and visualization resource for the metabolic network of Synechocystis sp. PCC 6803 Lecture

T.R. Maarleveld (Timo)

January 2013

Previous

Next

Available Years