Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Feather-like structures in positive streamers. In Proceedings

G. Wormeester (Gideon), S. Nijdam (Sander) and U. Ebert (Ute)

January 2010
Prototyping a tool environment for run-time assertion checking in JML with Communication Histories In Proceedings

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.J. Vinju (Jurgen)

January 2010
CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science Proceedings

January 2010
A model for editing operations on active, Temporal multimedia documents In Proceedings

A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

January 2010
From One to Many Boxes: Mobile Devices as Primary and Secondary Screens Book Chapter

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and H. Knoche

January 2010
Sprites in varying air density: charge conservation, glowing negative trails and changing velocity. Article

Geophysical Research Letters

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

January 2010
Probing photo-ionization: Experiments on positive streamers in pure gases and mixtures. Article

Journal of Physics D: Applied Physics, 1-16.

S. Nijdam (Sander), F.M.J.H. van de Wetering, R. Blanc, E.M. van Veldhuizen and U. Ebert (Ute)

January 2010
Sprite discharges on Venus and Jupiter-like planets: a laboratory investigation. Article

Journal of Geophysical Research, 1-13.

S. Dubrovin, S. Nijdam (Sander), E.M. van Veldhuizen, U. Ebert (Ute), Y. Yair and C. Price

January 2010
A moving boundary model motivated by electric breakdown: II. Initial value problem. Article

Physica - D, Nonlinear Phenomena, 1542-1559.

C.-Y. Kao, F. Brau (Fabian), U. Ebert (Ute), L. Schäfer and S. Tanveer

January 2010
Review of recent results on streamer discharges and their relevance for sprites and lightning. Article

Journal of Geophysical Research, 1-13.

U. Ebert (Ute), S. Nijdam (Sander), C. Li (Chao), A. Luque (Alejandro), T.M.P. Briels (Tanja) and E.M. van Veldhuizen

January 2010
Comment on "NOx production in laboratory discharges simulating blue jets and red sprites" by H. Peterson et al. Article

Journal of Geophysical Research, 1-4.

S. Nijdam (Sander), E.M. van Veldhuizen and U. Ebert (Ute)

January 2010
Probing photo-ionization: Simulations of positive streamers in varying N2:O2-mixtures Article

Journal of Physics D: Applied Physics, 1-13.

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

January 2010
Growth rates and explosions in sandpiles Article

Journal of Statistical Physics, 143-159.

A.C. Fey (Anne), L. Levine and Y. Peres

January 2010
Rényi Divergence and Majorization In Proceedings

T.A.L. van Erven (Tim) and P. Harremoës (Peter)

January 2010
Driving sandpiles to criticality and beyond Article

Physical Review Letters

A.C. Fey (Anne), L. Levine and D.B. Wilson

January 2010
The approach to criticality in sandpiles Article

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

A.C. Fey (Anne), L. Levine and D.B. Wilson

January 2010
The min-toll-booth problem: Complexity, algorithms and experimental ﬁndings Unpublished

T. Harks, G. Schäfer (Guido) and M. Sieg

January 2010
The min-toll-booth problem: Complexity, algorithms and experimental ﬁndings In Proceedings

T. Harks, G. Schäfer (Guido) and M. Sieg

January 2010
Coalition formation and price of anarchy in Cournot oligopolies In Proceedings

N.S. Immorlica (Nicole Simone), V. Markakis (Vangelis) and G. Piliouras (Georgios)

January 2010
Error bounds for some semidefinite programming approaches to polynomial minimization on the hypercube Article

SIAM Journal on Optimization, 20(6), 3104-3120.

E. de Klerk (Etienne) and M. Laurent (Monique)

January 2010
Strange Behaviors of Interior-point Methods for Solving Semidefinite Programming Problems in Polynomial Optimization Article

Computational Optimization and Applications

M. Nakata, M. Muramatsu and H. Waki (Hayato)

January 2010
The Credo Methodology (Extended Version) In Proceedings

I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), J. Klein (Joachim), S. Klüppelholz, A. Stam, C. Baier, T. Blechmann, B.K. Aichernig, F.S. de Boer (Frank), A. Griesmeyer, et al. W. Leister, M. Steffen, W. Yi

January 2010
Executable Interface Specifications for Testing Asynchronous Creol Components In Proceedings

I. Grabe (Immo), M. Kyas (Marcel), M. Steffen and A.B. Torjusen

January 2010
Automated deadlock detection in synchronized reentrant multithreaded call-graphs In Proceedings

I. Grabe (Immo) and F.S. de Boer (Frank)

January 2010
Practical Ambiguity Detection for Context-Free Grammars In Proceedings

H.J.S. Basten (Bas)

January 2010
Faster ambiguity detection by grammar filtering In Proceedings

H.J.S. Basten (Bas) and J.J. Vinju (Jurgen)

January 2010
Semantic annotation and retrieval: Web of hypertext - RDFa and microformats Book Chapter

B. Adida (Ben), M. Birbeck (Mark) and I. Herman (Ivan)

January 2010
Epiphany : Adaptable RDFa generation linking the web of documents to the web of data In Proceedings

B. Adrian, H. Jörn, I. Herman (Ivan), M. Sintek and A. Dengel

January 2010
Multilingual Information Access Evaluation II -- Multimedia Experiments, Proceedings of the 10th Workshop of the Cross-Language Evaluation Forum (CLEF 2009) Proceedings

January 2010
A geometric multigrid method based on L-shaped coarsening for PDEs on stretched grids Article

Numerical Linear Algebra with Applications, 871-894.

H. bin Zubair (Hisham), S.P. MacLachlan (Scott) and C.W. Oosterlee (Kees)

January 2010
Supremal normal sublanguages in hierarchical supervisory control In Proceedings

J. Komenda and T. Masopust (Tomas)

January 2010
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems In Proceedings

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

January 2010
Observability reduction of piecewise-affine hybrid systems In Proceedings

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

January 2010
Control of the observation matrix for control purposes In Proceedings

R.K. Boel and J.H. van Schuppen (Jan)

January 2010
Pricing options under stochastic volatility with Fourier cosine expansions In Proceedings

F. Fang and C.W. Oosterlee (Kees)

January 2010
Multigrid Methods Book Chapter

C.W. Oosterlee (Kees)

January 2010
Fast valuation and calibration of credit default swaps under Lévy dynamics Article

Journal of Computational Finance, 14(2), 1-30.

F. Fang, H. Jönsson, C.W. Oosterlee (Kees) and W. Schoutens

January 2010
Analytic approximation to constant maturity swap convexity correction in a multi-factor SABR model Article

International Journal of Theoretical and Applied Finance, 13(7), 1019-1046.

B. Chen (Bin), C.W. Oosterlee (Kees) and S. van Weeren

January 2010
Accuracy measures and Fourier analysis for the full multigrid algorithm Article

SIAM Journal on Scientific Computing, 32(5), 3108-3129.

C. Rodrigo (Carmen), F.J. Gaspar (Francisco), C.W. Oosterlee (Kees) and I. Yavneh

January 2010
Identifiability of discrete-time linear switched systems In Proceedings

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

January 2010
Line arrangements and geometric graph classes Lecture

T. Müller (Tobias)

January 2010
Realization theory for rational systems: Minimal rational realizations Article

Acta Applicandae Mathematicae, 110(2), 605-626.

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

January 2010
Numerieke Wiskunde: Wetenschap en Gereedschap Inaugural Lecture

B. Koren (Barry)

January 2010
Online Cooperative Cost Sharing In Proceedings

J. A. Brenner (Janina) and G. Schäfer (Guido)

January 2010
The Role of Monotonicity in the Epistemic Analysis of Strategic Games Article

Games, 1(4), 381-394.

J.A. Zvesper (Jonathan) and K.R. Apt (Krzysztof)

January 2010
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets In Proceedings

J.A. Zvesper (Jonathan) and K.R. Apt (Krzysztof)

January 2010
A Practical Algorithm for Reconstructing Level-1 Phylogenetic Networks Article

IEEE/ACM Transactions on Computational Biology and Bioinformatics

K.T. Huber, L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and R. Suchecki

January 2010
When Two Trees Go To War Article

Journal of Theoretical Biology

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

January 2010
Nash Social Welfare in Multiagent Resource Allocation In Proceedings

S. Ramezani (Sara) and U. Endriss

January 2010
Modelling of Conflicts and Bounds Estimation in Production Systems Thanks to Dioid Theory Lecture

O.D.M. Boutin (Olivier)

January 2010
Lifts of matroid representations over partial fields Article

Journal of Combinatorial Theory - Series B, 100(1), 36-67.

R. Pendavingh and S.H.M. van Zwam (Stefan)

January 2010
Modeling and Optimization of Algae Growth In Proceedings

A. Thornton, T. Weinhart, O. Bokhove (Onno), B. Zhang (Bo), D. van der Sar, K. Kumar (Kundan), M. Pisarenco, M. Rudnaya, V. Savcenco (Valeriu), J.D.M. Rademacher (Jens), et al. J. Zyprych, F. Veerman

January 2010
Action-Based Analysis of Discrete Regulatory Networks with Short-Term Stimuli In Proceedings

C. Krause (born Köhler) (Christian), C. Krause (Carola) and E.P. de Vink (Erik)

January 2010
Henshin: Advanced Concepts and Tools for In-Place {EMF} Model Transformations In Proceedings

T. Arendt, E. Biermann, S. Jurack, C. Krause (born Köhler) (Christian) and G. Taentzer

January 2010
Patterns of Sources and Sinks in the Complex Ginzburg-Landau Equation with Zero Linear Dispersion Article

SIAM Journal on Applied Dynamical Systems, 883-918.

J.A. Sherratt, M. Smith and J.D.M. Rademacher (Jens)

January 2010
Lyapunov-Schmidt reduction for unfolding heteroclinic networks of equilibria and periodic orbits with tangencies Article

Journal of Differential Equations, 305-348.

J.D.M. Rademacher (Jens)

January 2010
Heteroclinic travelling waves in convex FPU-type chains Article

SIAM Journal on Mathematical Analysis, 1483-1504.

M. Herrmann and J.D.M. Rademacher (Jens)

January 2010
Riemann solvers and undercompressive shocks of convex FPU chains Article

Nonlinearity, 277-304.

M. Herrmann and J.D.M. Rademacher (Jens)

January 2010
Data Gathering in Wireless Networks Book Chapter

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

January 2010
A note on the complexity of finding and enumerating elementary modes Article

Biosystems, 210-214.

V. Acuña (Vicente), A. Marchetti Spaccamela (Alberto), M.-F. Sagot (Marie-France) and L. Stougie (Leen)

January 2010
Upper Bounds on the Noise Threshold for Fault-tolerant Quantum Computing Article

Quantum Information and Computation, 10(5-6), 361-376.

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

January 2010
Uniform Approximation by (Quantum) Polynomials Article

Quantum Information and Computation

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

January 2010
Efficient and Error-Correcting Data Structures for Membership and Polynomial Evaluation In Proceedings

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

January 2010
Better Gap-Hamming Lower Bounds via Better Round Elimination In Proceedings

J. Brody (Joshua), A. Chakrabarti (Amit), O. Regev (Oded), T. Vidick (Thomas) and R.M. de Wolf (Ronald)

January 2010
Quantum proofs for classical theorems Article

Theory of Computing

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

January 2010
New Results on Quantum Property Testing In Proceedings

S. Chakraborty (Sourav), E. Fischer, A. Matsliah (Arie) and R.M. de Wolf (Ronald)

January 2010
Non-Malleable Codes In Proceedings

S. Dziembowski, K.Z. Pietrzak (Krzysztof) and D. Wichs

January 2010
An Efficient Parallel Repetition Theorem In Proceedings

J. Hàstad (Johan), R. Pass, D. Wikström and K.Z. Pietrzak (Krzysztof)

January 2010
Leakage Resilient ElGamal Encryption In Proceedings

E. Kiltz (Eike)

January 2010
Leakage-Resilient Signatures In Proceedings

E. Kiltz (Eike), K.Z. Pietrzak (Krzysztof), S. Faust and G.N. Rothblum

January 2010
Efficient hybrid encryption from ID-based encryption Article

Designs, Codes and Cryptography, 53(3), 205-240.

M. Abe, Y. Cui, E. Kiltz (Eike) and H. Imai

January 2010
A twist on the Naor-Yung paradigm and its application to efficient CCA-secure encryption from hard search problems In Proceedings

R.J.F. Cramer (Ronald), D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2010
More Constructions of Lossy and Correlation-Secure Trapdoor Functions In Proceedings

D.M. Freeman, O. Goldreich, E. Kiltz (Eike), A. Rosen and G. Segev

January 2010
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model In Proceedings

K. Haralambiev, T. Jager, E. Kiltz (Eike) and V. Shoup

January 2010
Adaptive Trapdoor Functions and Chosen-Ciphertext Security In Proceedings

E. Kiltz (Eike), P. Mohassel and A. O'Neill

January 2010
Bonsai Trees, or How to Delegate a Lattice Basis In Proceedings

D. Cash (Charles David), D. Hofheinz (Dennis), E. Kiltz (Eike) and C. Peikert

January 2010
Encryption schemes secure against chosen-ciphertext selective opening attacks In Proceedings

S. Fehr (Serge), D. Hofheinz (Dennis), E. Kiltz (Eike) and H. Wee

January 2010
Quantum cryptography Article

Foundations of Physics, 40(5), 494-531.

S. Fehr (Serge)

January 2010
Dating concurrent objects: Real-time modeling and schedulability analysis In Proceedings

F.S. de Boer (Frank), M.M. Jaghoori (Mohammad Mahdi) and E.B. Johnsen (Einar Broch)

January 2010
Randomized polynuclear growth model with a columnar defect Article

Probability Theory and Related Fields, 147(3-4), 565-581.

V. Beffara, V. Sidoravicius (Vladas) and M.E. Vares

January 2010
Connectivity bounds for the vacant set of random interlacements Article

Annales de l'Institut Henri Poincaré - Probability and Statistics, x(X), X-X.

V. Sidoravicius (Vladas) and A.-S. Sznitman (Alain-Sol)

January 2010
Oriented percolation in one-dimensional \beta/|x-y|2 random cluster model Article

Journal of Statistical Physics, 139(6), 941-959.

D.U. Marchetti, V. Sidoravicius (Vladas) and M.E. Vares

January 2010
Activated random walkers: facts, conjectures and challenges Article

Journal of Statistical Physics, 138(1-3), 126-142.

R. Dickman, L. Rolla and V. Sidoravicius (Vladas)

January 2010
Fixation for distributed clustering processes Article

Communications on Pure and Applied Mathematics, 63(7), 926-934.

M.R. Hilario, O. Luidor, C.M. Newman, L. Rolla, S. Sheffield and V. Sidoravicius (Vladas)

January 2010
The discrete and continuum broken line process. Article

Markov Processes and Related Fields, 16(1), 79-116.

L. Rolla, V. Sidoravicius (Vladas), D. Surgailis and M.E. Vares

January 2010
A system of grabbing particles related to Galton-Watson trees. Article

Random Structures & Algorithms, 36(4), 477-487.

J. Bertoin, V. Sidoravicius (Vladas) and M.E. Vares

January 2010
A percolation process on the square lattice where large finite clusters are frozen Tech Report

J. van den Berg (Rob), B. De Lima and P. Nolin (Pierre)

January 2010
Sublinearity of the travel-time variance for dependent first passage percolation Tech Report

J. van den Berg (Rob) and D. Kiss (Demeter)

January 2010
On inequivalent representations of matroids over non-prime ﬁelds Article

Journal of Combinatorial Theory - Series B, 740-743.

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

January 2010
Dot-product representations of planar graphs In Proceedings

R.J. Kang (Ross) and T. Müller (Tobias)

January 2010
Induced mathings in subcubic planar graphs In Proceedings

R.J. Kang (Ross), M. Mnich (Matthias) and T. Müller (Tobias)

January 2010
Acyclic dominating partitions Article

Journal of Graph Theory, 64(5), 292-311.

L. Addario-Berry, R.J. Kang (Ross) and T. Müller (Tobias)

January 2010
The number of bits needed to represent a unit disk graph In Proceedings

C.J.H. McDiarmid (Colin) and T. Müller (Tobias)

January 2010
Spatial point process theory Book Chapter

M.N.M. van Lieshout (Marie-Colette)

January 2010
The anticipated mean shift and cluster registration in mixture-based EDAs for multi-objective optimization In Proceedings

P.A.N. Bosman (Peter)

January 2010
Enhanced Hospital Resource Management using Anticipatory Policies in Online Dynamic Multi-objective Optimization In Proceedings

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

January 2010
The Wikipedia Image Retrieval Task Book Chapter

T. Tsikrika (Theodora) and J. Kludas

January 2010
Differences in Video Search Behaviour between Novices and Archivists In Proceedings

H. Rode (Henning), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

January 2010
An Optimal Bifactor Approximation Algorithm for the Metric Uncapacitated Facility Location Problem Article

SIAM Journal on Computing, 39(6), 2212-2231.

J. Byrka (Jaroslaw) and K.I. Aardal (Karen)

January 2010
Lattice based extended formulations for integer linear equality systems Article

Mathematical Programming, 121(2), 337-352.

K.I. Aardal (Karen) and L.A. Wolsey (Laurence)

January 2010

Previous

Next

Available Years