Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Semantics and computability of the evolution of hybrid systems Tech Report

P.J. Collins (Pieter)

January 2008
Realization theory for rational systems Tech Report

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

January 2008
Coding and modulation for the additive exponential noise channel In Proceedings

A. Martinez (Alfonso)

January 2008
Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective In Proceedings

A. Martinez (Alfonso), A. Guillén i Fàbregas, G. Caire and F.M.J. Willems

January 2008
Of Mechanism Design and Multiagent Planning In Proceedings

R.P.J. van der Krogt, M.M. de Weerdt (Mathijs) and Y.Q. Zhang (Yingqian (Jennie))

January 2008
Fuzzy Argumentation for Trust Book Chapter

R. Stranders, M.M. de Weerdt (Mathijs) and C. Witteveen (Cees)

January 2008
Enhancing the Performance of Maximum-Likelihood Gaussian EDAs Using Anticipated Mean Shift In Proceedings

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

January 2008
Matching inductive search bias and problem structure in continuous estimation-of-distribution algorithms Article

European Journal of Operational Research, 185(3), 1246-1264.

P.A.N. Bosman (Peter) and J. Grahl

January 2008
Learning Structure Illuminates Black Boxes: an Introduction into Estimation of Distribution Algorithms Book Chapter

J. Grahl, S. Minner and P.A.N. Bosman (Peter)

January 2008
Adaptation of a Success Story in GAs: Estimation-of-Distribution Algorithms for Tree-based Optimization Problems Book Chapter

P.A.N. Bosman (Peter) and E. de Jong (Edwin)

January 2008
Online Transportation and Logistics using Computationally Intelligent Anticipation Book Chapter

P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2008
On variable length coding of asymptotically mean stationary measures Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
A general definition of conditional information and its application to ergodic decomposition Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
Combining expert advice efficiently In Proceedings

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

January 2008
Algorithmic Information Theory Book Chapter

P.D. Grünwald (Peter) and P.M.B. Vitányi (Paul)

January 2008
Entropy Concentration and the Empirical Coding Game Article

P.D. Grünwald (Peter)

January 2008
An algorithmic and a geometric characterization of coarsening at random Article

Annals of Statistics, 36(5), 2409-2422.

R.D. Gill (Richard) and P.D. Grünwald (Peter)

January 2008
Combining expert advice efficiently In Proceedings

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

January 2008
Approximating Geometric Coverage Problems In Proceedings

T. Erlebach and E.J. van Leeuwen (Erik Jan)

January 2008
Domination in Geometric Intersection Graphs In Proceedings

T. Erlebach and E.J. van Leeuwen (Erik Jan)

January 2008
An algorithm for weighted fractional matroid matching Tech Report

D. Gijswijt (Dion) and G. Pap (Gyula)

January 2008
Systems biology towards life in silico: Mathematics of the control of living cells Article

Journal of Mathematical Biology, 7-34.

H.V. Westerhoff (Hans), F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and not CWI et al

January 2008
Problems of Control and System Theory motivated by Biochemical Reaction Systems In Proceedings

J.H. van Schuppen (Jan)

January 2008
Control to facet by piecewise-affine output feedback In Proceedings

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

January 2008
Control for coordination of linear systems In Proceedings

A.C.M. Ran and J.H. van Schuppen (Jan)

January 2008
Supervisor synthesis based on abstractions of nondeterministic automata In Proceedings

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

January 2008
Coordination control of discrete-event systems In Proceedings

J. Komenda and J.H. van Schuppen (Jan)

January 2008
Silicon cell models: {Construction}, analysis, and reduction Book Chapter

F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)

January 2008
Supervisory control of modular systems with global specification languages Article

Automatica, 1127-1134.

J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand

January 2008
Modular control of discrete-event systems with coalgebra Article

IEEE Transactions on Automatic Control, 447-460.

J. Komenda and J.H. van Schuppen (Jan)

January 2008
A comparison of the notions of optimality in soft constraints and graphical games In Proceedings

K.R. Apt (Krzysztof), F. Rossi and K.B. Venable

January 2008
Comparing the notions of optimality in CP-nets, strategic games and soft constraints Article

Annals of Mathematics and Artificial Intelligence, 52(1), 25-54.

K.R. Apt (Krzysztof), F. Rossi and K.B. Venable

January 2008
The realizations of response maps by rational systems In Proceedings

J. Nemcová (Jana)

January 2008
Constructing the Simplest Possible Phylogenetic Network from Triplets, In Proceedings

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

January 2008
Constructing the Simplest Possible Phylogenetic Network from Triplets Tech Report

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

January 2008
Constructing level-2 phylogenetic networks from triplets In Proceedings

L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven), L. Stougie (Leen), F. Hagen and T. Boekhout

January 2008
Optimaal combineren: Van wiskunde naar spoorwegen en terug Book Chapter

A. Schrijver (Lex)

January 2008
Computability of controllers for discrete-time semicontinuous systems In Proceedings

P.J. Collins (Pieter)

January 2008
Reachability computation for hybrid systems with Ariadne In Proceedings

L. Benvenuti, D. Bresolin, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, E. Mazzi, T. Villa and A. Sangiovanni-Vincentelli

January 2008
Chaotic Dynamics in Hybrid Systems Article

Nonlinear Dynamics and Systems Theory, 8(2), 169-194.

P.J. Collins (Pieter)

January 2008
Tangency Bifurcations of Global Poincar\'{e} Maps Article

SIAM Journal on Applied Dynamical Systems, 7(3), 712-754.

C.M. Lee, P.J. Collins (Pieter), B. Krauskopf and H.M. Osinga

January 2008
Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability Tech Report

J. Byrka (Jaroslaw), K. Buchin, M. Buchin, M. Nollenburg, Y. Okamoto, R.I. Silveira and A. Wolff

January 2008
Tensor subalgebras and first fundamental theorems in invariant theory Article

Journal of Algebra, 1305-1319.

A. Schrijver (Lex)

January 2008
Shortest vertex-disjoint two-face paths in planar graphs In Proceedings

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

January 2008
Szemelv\'enyek a kombinatorikus optimaliz\'al\'as t\"ort\'enet\'eb\"ol Article

Alkalmazott Matematikai Lapok, 1-74.

A. Schrijver (Lex)

January 2008
Graph parameters and semigroup functions Article

European Journal of Combinatorics, 987-1002.

L. Lovász (László) and A. Schrijver (Lex)

January 2008
Flows in railway optimization Article

Nieuw Archief voor Wiskunde, 126-131.

A. Schrijver (Lex)

January 2008
Graph invariants in the edge model Book Chapter

A. Schrijver (Lex)

January 2008
Wiskunde achter het spoorboekje Article

Pythagoras, 48(2), 8-12.

A. Schrijver (Lex)

January 2008
Shunting of passenger train units: an integrated approach Article

Transportation Science, 436-449.

L.G. Kroon, R.M. Lentink and A. Schrijver (Lex)

January 2008
Computation of risk contribution in the Vasicek portfolio credit loss model In Proceedings

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

January 2008
The CONV method for pricing options In Proceedings

R. Lord, F. Fang, F. Bervoets and C.W. Oosterlee (Kees)

January 2008
Numerical performance of a parallel solution method for a heterogeneous 2D Helmholtz equation Article

Computing and Visualization in Science, 139-146.

A. Kononov, C.D. Riyanti, S.W. de Leeuw, C.W. Oosterlee (Kees) and C. Vuik

January 2008
A stabilized difference scheme for deformable porous media and its numerical resolution by multigrid methods Article

Computing and Visualization in Science, 67-76.

F.J. Gaspar (Francisco), F.J. Lisbona and C.W. Oosterlee (Kees)

January 2008
Algebraic multigrid solvers for complex-valued matrices Article

SIAM Journal on Scientific Computing, 1548-1571.

S.P. MacLachlan (Scott) and C.W. Oosterlee (Kees)

January 2008
Editorial on three special issues (Vol. 11, 1–3, 2008) of the journal Computing and Visualization in Science devoted to the 8th European Multigrid Conference (EMG) Article

Computing and Visualization in Science, 1-1.

P. Wesseling, P.W. Hemker (Piet) and C.W. Oosterlee (Kees)

January 2008
A Monotone, Higher-Order Accurate, Fixed-Grid Finite-Volume Method for Advection Problems with Moving Boundaries In Proceedings

Y.J. Hassen (Yunus) and B. Koren (Barry)

January 2008
Development of the Discrete Adjoint for a Three-Dimensional Unstructured Euler Solver Article

Journal of Aircraft, 45(1), 237-245.

G. Carpentieri (Giampietro), B. Koren (Barry) and M.J.L. van Tooren

January 2008
A surface capturing method for the efficient computation of steady water waves Article

Journal of Computational and Applied Mathematics, 618-625.

J. Wackers (Jeroen) and B. Koren (Barry)

January 2008
Least-squares spectral element method applied to the Euler equations Article

International Journal for Numerical Methods in Fluids, 1371-1395.

M.I. Gerritsma, R. van der Bas, B. De Maerschalck (Bart), B. Koren (Barry) and H. Deconinck

January 2008
Efficient computation of steady water flow with waves Article

International Journal for Numerical Methods in Fluids, 1567-1574.

J. Wackers (Jeroen) and B. Koren (Barry)

January 2008
Finiteness for the k-factor model and chirality varieties Tech Report

J. Draisma (Jan)

January 2008
Secant dimensions of low-dimensional homogeneous varieties Tech Report

K. Baur and J. Draisma (Jan)

January 2008
On the ideals of equivariant tree models Tech Report

J. Draisma (Jan) and J. Kuttler

January 2008
Quantum algorithm for identifying hidden polynomial function graphs Tech Report

T. Decker, J. Draisma (Jan) and P. Wocjan

January 2008
Identifying minimal and dominant solutions for Kummer recursions Article

Mathematics of Computation, 77(264), 2277-2293.

A. Deaño, J. Segura (Javier) and N.M. Temme (Nico)

January 2008
Moving boundary approximation for curved streamer ionization fronts: solvability analysis Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics

F. Brau (Fabian), B. Davidovitch and U. Ebert (Ute)

January 2008
Streamers, sprites, leaders, lightning: from micro- to macroscales Article

Journal of Physics D: Applied Physics

U. Ebert (Ute) and D.D. Sentman

January 2008
Pulse dynamics in a three-component system: Stability and bifurcations Article

Physica - D, Nonlinear Phenomena, 237(24), 3335-3368.

P.J.A. van Heijster (Peter), A. Doelman (Arjen) and T.J. Kaper (Tasso Joost)

January 2008
Detection of Algebraic Manipulation with Applications to Robust Secret Sharing and Fuzzy Extractors In Proceedings

R.J.F. Cramer (Ronald), Y. Dodis, S. Fehr (Serge), C. Padró (Carles) and D. Wichs

January 2008
On Notions of Security for Deterministic Encryption, and Efficient Constructions Without Random Oracles In Proceedings

S. Boldyreva, S. Fehr (Serge) and A. O'Neill

January 2008
Niceness theorems Tech Report

M. Hazewinkel (Michiel)

January 2008
The effects of heat exchange and fluid production on the ignition of a porous solid Article

Nonlinear Analysis: Real World Applications, 9(2), 562-584.

A.A. Shah, J. Brindley, A.C. McIntosh and J.D.M. Rademacher (Jens)

January 2008
Using the Meta-Environment for Domain Specific Language Engineering Tech Report

T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2008
Backtracking Incremental Continuous Integration In Proceedings

T. van der Storm (Tijs)

January 2008
Models of interacting streamers In Proceedings

A. Luque (Alejandro), F. Brau (Fabian) and U. Ebert (Ute)

January 2008
Experiments on streamer interactions In Proceedings

S. Nijdam (Sander), J.S. Moerman, T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

January 2008
Constructing simply laced Lie algebras from extremal elements Article

Algebra and Number Theory, 2(5), 551-572.

J. Draisma (Jan) and J.C.H.W. in 't Panhuis

January 2008
A tropical approach to secant dimensions Article

Journal of Pure and Applied Algebra, 212(2), 349-363.

J. Draisma (Jan)

January 2008
Polarization of Separating Invariants Article

Canadian Journal of Mathematics, 60(3), 556-571.

J. Draisma (Jan), G. Kemper and D.L. Wehlau

January 2008
Space Mapping and Defect Correction Book Chapter

D. Echeverria (David), D.J.P. Lahaye (Domenico) and P.W. Hemker (Piet)

January 2008
Creating, Organising and Publishing Media on the Web Article

ERCIM News, 27-28.

R. Troncy (Raphael)

January 2008
DeFacto: Language-Parametric Fact Extraction from Source Code In Proceedings

H.J.S. Basten (Bas) and P. Klint (Paul)

January 2008
Upper Bounds on the Noise Threshold for Fault-tolerant Quantum Computing In Proceedings

J. Kempe, O. Regev (Oded), F.P. Unger (Falk) and R.M. de Wolf (Ronald)

January 2008
An Exact Mathematical Programming Approach to Multiple RNA Sequence-Structure Alignment Article

Algorithmic Operations Research, 3(2), 130-146.

M. Bauer (Markus), G.W. Klau (Gunnar) and K. Reinert (Knut)

January 2008
A note on quantum algorithms and the minimal degree of epsilon-error polynomials for symmetric functions Article

Quantum Information and Computation, 9(1), 943-950.

R.M. de Wolf (Ronald)

January 2008
A Hypercontractive Inequality for Matrix-Valued Functions with Applications to Quantum Computing and LDCs In Proceedings

A. Ben-Aroya, O. Regev (Oded) and R.M. de Wolf (Ronald)

January 2008
Identifying functional modules in protein-protein interaction networks: An integrated exact approach Article

Bioinformatics, 223-231.

M. Dittrich (Marcus), G.W. Klau (Gunnar), A. Rosenwald, T. Dandekar and not CWI et al

January 2008
Propositional Dynamic Logic as a Logic of Belief Revision In Proceedings

D.J.N. van Eijck (Jan) and Y. Wang (Yanjing)

January 2008
PDL over Accelerated Labeled Transition Systems In Proceedings

T. Chen (Taolue), J.C. van de Pol (Jaco) and Y. Wang (Yanjing)

January 2008
Particle and fluid models for streamers: comparison and spatial coupling In Proceedings

C. Li (Chao), W.J.M. Brok, U. Ebert (Ute), W. Hundsdorfer (Willem) and J.J.A.M. van der Mullen

January 2008
Staffman-Taylor streamers: Mutual finger interaction in spark formation Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics

A. Luque (Alejandro), F. Brau (Fabian) and U. Ebert (Ute)

January 2008
Laplacian instability of planar streamer ionization fronts - an example of pulled front analysis Article

Journal of Nonlinear Science, 551-590.

G. Derks (Gianne), U. Ebert (Ute) and B.J. Meulenbroek (Bernard)

January 2008
Exact Algorithms for Cluster Editing: Evaluation and Experiments In Proceedings

S. Boecker, S. Briesemeister and G.W. Klau (Gunnar)

January 2008
Stereo-photography of streamers in air Article

Applied Physics Letters

S. Nijdam (Sander), J.S. Moerman, T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

January 2008
Construction and test of a moving boundary model for negative streamer discharges Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 1-10.

F. Brau (Fabian), A. Luque (Alejandro), U. Ebert (Ute), L. Schäfer and B.J. Meulenbroek (Bernard)

January 2008
The Usability of Ambiguity Detection Methods for Context-Free Grammars In Proceedings

H.J.S. Basten (Bas)

January 2008
Randomness Extraction Via Delta-Biased Masking in the Presence of a Quantum Attacker In Proceedings

S. Fehr (Serge) and C. Schaffner (Christian)

January 2008
Cryptography in the Bounded Quantum-Storage Model Article

SIAM Journal on Computing, 37(6), 1865-1890.

I.B. Damgård (Ivan), S. Fehr (Serge), L. Salvail (Louis) and C. Schaffner (Christian)

January 2008

Previous

Next

Available Years