Centrum Wiskunde & Informatica

Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

January 2012
Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article

Journal of Computer and System Sciences, 78(1), 151-163.

G. Gutin, L.J.J. van Iersel (Leo), M. Mnich (Matthias) and A. Yeo

January 2012
Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article

SIAM Journal on Discrete Mathematics, 26(4), 1635-1656.

S.M. Kelk (Steven), L.J.J. van Iersel (Leo), N. Lekic (Nela), S. Linz, C. Scornavacca and L. Stougie (Leen)

January 2012
A practical approximation algorithm for solving massive instances of hybridization number In Proceedings

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), N. Lekic (Nela) and C. Scornavacca

January 2012
On the elusiveness of clusters Article

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

S.M. Kelk (Steven), C. Scornavacca and L.J.J. van Iersel (Leo)

January 2012
Efficient unbiased simulation scheme for SABR stochastic volatility model Article

International Journal of Theoretical and Applied Finance, 15(2)

B. Chen (Bin), C.W. Oosterlee (Kees) and J.A.M. van der Weide (Hans)

January 2012
Partially-supervised plants: embedding control requirements in plant components In Proceedings

J. Markovski (Jasen), D.A. van Beek and J.C.M. Baeten (Jos)

January 2012
Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks Article

Network: Computation in Neural Systems, 23(4), 183-211.

L.P. Slazynski (Leszek) and S.M. Bohte (Sander)

January 2012

Publication

Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article

Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article

A practical approximation algorithm for solving massive instances of hybridization number In Proceedings

On the elusiveness of clusters Article

Efficient unbiased simulation scheme for SABR stochastic volatility model Article

Partially-supervised plants: embedding control requirements in plant components In Proceedings

Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks Article

Address

CWI researchers

Questions or comments?

Publication

Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article

Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article

A practical approximation algorithm for solving massive instances of hybridization number In Proceedings

On the elusiveness of clusters Article

Efficient unbiased simulation scheme for SABR stochastic volatility model Article

Partially-supervised plants: embedding control requirements in plant components In Proceedings

Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks Article

Workflow

Workflow

Add Content