Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Effective load for flow-level performance modeling of wireless LANs Article

Computer Communications, 1972-1981.

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

January 2010
TCP and Web browsing performance in case of bi-directional packet loss Article

Computer Communications, S50-S57.

R.E. Kooij (Robert), R.D. van der Mei (Rob) and R. Yang (Ran)

January 2010
Using in vitro and in silico modeling to understand colonic short chain fatty acid production Presentation

M.J.A. van Hoek (Milan), A.A. de Graaf, K. Venema and R.M.H. Merks (Roeland)

January 2010
Analysis of Fourth-Order Accurate Symmetry-Preserving Boundary Conditions for the Incompressible Navier-Stokes Equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

January 2010
A new formulation of Kapila’s five-equation model for compressible two-fluid flow, and its numerical treatment Article

Journal of Computational Physics, 6220-6242.

J.J. Kreeft (Jasper) and B. Koren (Barry)

January 2010
Generalized collocation methods: solutions to nonlinear problems [book review of MR2355054]. Article

SIAM Review, 52(1), 216-217.

J.G. Verwer (Jan)

January 2010
A programmable display layer for virtual reality system architectures Article

IEEE Transactions on Visualization and Computer Graphics, 16(1), 28-42.

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

January 2010
Human-guided search Article

Journal of Heuristics, 16(3), 289-310.

G.W. Klau (Gunnar), N. Lesh, J. Marks and M. Mitzenmacher

January 2010
A multi-agent platform for auction-based allocation of loads in transportation logistics Article

Expert Systems with Applications

V. Robu (Valentin), H. Noot (Han), J.A. La Poutré (Han) and W.-J. van Schijndel

January 2010
Dealing with Uncertainty in Operational Transport Planning Book Chapter

J. Zutt, M.M. de Weerdt (Mathijs), A.J.C. van Gemund and C. Witteveen (Cees)

January 2010
Impact of Competition on Quality of Service in Demand Responsive Transit In Proceedings

F. Grootenboers, M.M. de Weerdt (Mathijs) and M. Zargayouna

January 2010
Preventing Under-Reporting in Social Task Allocation In Proceedings

M.M. de Weerdt (Mathijs) and Y.Q. Zhang (Yingqian (Jennie))

January 2010
Fundamentals of Software Engineering - Post-proceedings of FSEN 2009 Book

F. Arbab (Farhad) and M. Sirjani (Marjan)

January 2010
A Rewriting Logic Semantics Approach to Modular Program Analysis In Proceedings

M.A. Hills (Mark) and G. Rosu (Grigore)

January 2010
On lightning and its kind. Article

Europhysics News, 41(5), 19-22.

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

January 2010
Propagation mechanisms of positive streamers in air and other N2:O2 mixtures: photo-ionization versus background ionization. In Proceedings

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

January 2010
Electron transport data in N2-O2 streamer plasma discharges In Proceedings

S. Dujko (Sasa), U. Ebert (Ute), R.D. White and Z.L. Petrović (Zoran)

January 2010
Boltzmann equation analysis and Monte Carlo simulation of electron transport in N2-O2 streamer discharge In Proceedings

S. Dujko (Sasa), U. Ebert (Ute), R.D. White and Z.L. Petrović (Zoran)

January 2010
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. M. Kyas, W. Leister, M. Steffen, W. Yi

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

I. Grabe (Immo), M. Kyas, 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, 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

Previous

Next

Available Years