Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Logics of communication and change Article

Information and Computation, 1620-1662.

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

January 2006
Non-intrusive face verification by a virtual mirror interface using fractal codes In Proceedings

B.A.M. Schouten (Ben) and J.W.H. Tangelder (Hans)

January 2006
Analysis of a multirate θ-method for stiff ODEs Tech Report

W. Hundsdorfer (Willem) and V. Savcenco (Valeriu)

January 2006
Photoionization in negative streamers: Fast computations and two propagation modes Tech Report

A. Luque (Alejandro), U. Ebert (Ute), C. Montijn (Carolynne-Sireeh) and W. Hundsdorfer (Willem)

January 2006
New upper bounds for nonbinary codes based on the Terwilliger algebra and semidefinite programming Article

Journal of Combinatorial Theory - Series A, 113(8), 1719-1731.

D. Gijswijt (Dion), A. Schrijver (Lex) and H. Tanaka

January 2006
A new quantum lower bound method, with applications to direct product theorems and time-space tradeoffs In Proceedings

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

January 2006
Vakantiecursus 2006 Centrum voor Wiskunde en Informatica : Actuele wiskunde, Amsterdam en Eindhoven, 2006 Book

January 2006
Proceedings of the fifty-second European study group with industry, Amsterdam, The Netherlands, 31.01-04.02.2005 Book

January 2006
New limits on fault-tolerant quantum computation In Proceedings

H.M. Buhrman (Harry), R.E. Cleve (Richard), M. Laurent (Monique), N. Linden (Noah), A. Schrijver (Lex) and F.P. Unger (Falk)

January 2006
Campbell and moment measures for finite sequential spatial processes In Proceedings

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

January 2006
Integrality gaps of semidefinite programs for Vertex Cover and relations to ell$_1$ embeddability of negative type metrics Tech Report

H. Hatami, A. Magen and V. Markakis (Vangelis)

January 2006
Fundamental Results on Evolutionary Simulations of Socio-Economic Systems: Introduction to the Special Issue Proceedings

January 2006
Agent Mediated Electronic Commerce: Designing Trading Agents and Mechanisms Proceedings

January 2006
Zoekende vingers van de bliksem Book Chapter

U. Ebert (Ute)

January 2006
Experiments and calculations on pulsed streamers in air and nitrogen In Proceedings

T.M.P. Briels (Tanja), J. Kos, E.M. van Veldhuizen, C. Montijn (Carolynne-Sireeh), A. Luque (Alejandro) and U. Ebert (Ute)

January 2006
Spatio-temporal patterns in a DC "barrier" discharge system: numerical solutions and stability analysis In Proceedings

I. Rafatov (Ismail), D.D. Šijačić (Danijela) and U. Ebert (Ute)

January 2006
The nature of systems biology Article

Trends in Microbiology, 15(1), 45-50.

F.J. Bruggeman (Frank) and H.V. Westerhoff (Hans)

January 2006
An efficient numerical method for 3D viscous ship hydrodynamics with free-surface gravity waves In Proceedings

M.R. Lewis (Mervyn) and B. Koren (Barry)

January 2006
ConPAHS, A Software Package for Control of Piecewise-Affine Hybrid Systems In Proceedings

P.J. Collins (Pieter), L.C.G.J.M. Habets (Luc), A. Kuut (Anton), M. Nool (Margreet), M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2006
A Visual Model Transformation Environment for the Eclipse Modeling Framework Master Thesis

C. Krause (born Köhler) (Christian)

January 2006
A generalization of Voronoi's reduction theory and its application Tech Report

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

January 2006
Circuit dependence of the diameter of pulsed positive streamers in air Article

Journal of Physics D: Applied Physics, 5201-5210.

T.M.P. Briels (Tanja), E.M. van Veldhuizen, U. Ebert (Ute) and J. Kos

January 2006
Numerical convergence of the branching time of negative streamers Article

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

C. Montijn (Carolynne-Sireeh), U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2006
Diffusion correction to the Raether-Meek criterion for the avalanche-to-streamer transition Article

Journal of Physics D: Applied Physics, 2979-2992.

C. Montijn (Carolynne-Sireeh), U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2006
The multiscale nature of streamers Article

Plasma Sources Science and Technology, S118-S129.

U. Ebert (Ute), C. Montijn (Carolynne-Sireeh), T.M.P. Briels (Tanja), W. Hundsdorfer (Willem), B.J. Meulenbroek (Bernard), A. Rocco (Andrea) and E.M. van Veldhuizen

January 2006
Automatisierte Erzeugung von TTCN-3 Testfällen aus UML-Modellen In Proceedings

J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

January 2006
Spatial stochastic modelling of the phosphoenolpyruvatedependentphosphotransferase (PTS) pathway in Escherichia coli Article

Bioinformatics, 22(15), 1895-1901.

J. Vidal Rodríguez, M. Dobrzynski (Maciej), J.A. Kaandorp (Jaap) and J.G. Blom (Joke)

January 2006
Maximum likelihood estimation for random sequential adsorption Article

Advances in Applied Probability, 889-898.

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

January 2006
Perfect simulation for marked point processes Article

Computational Statistics and Data Analysis, 679-698.

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2006
A J-function for marked point patterns Article

Annals of the Institute of Statistical Mathematics, 235-259.

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

January 2006
Linear PDEs and numerical methods that preserve a multi-symplectic conservation law Article

SIAM Journal on Scientific Computing, 260-277.

J.E. Frank (Jason), B.E. Moore and S. Reich

January 2006
Conservation of wave action under multisymplectic discretizations Article

Journal of Physics A: Mathematical and Theoretical, 5479-5493.

J.E. Frank (Jason)

January 2006
Proceedings of the Colloquium "Constructive Algebra and Systems theory", Amsterdam, november 2000 Book

January 2006
Cream of Science Article

ERCIM News, 75-76.

W. Mettrop (Wouter)

January 2006
Manifold-Mapping Optimization Applied to Linear Actuator Design Article

IEEE Transactions on Magnetics, 42(4), 1183-1186.

D. Echeverria (David), D.J.P. Lahaye (Domenico), L. Encica, E.A. Lomonova, P.W. Hemker (Piet) and A.J.A. Vandenput

January 2006
The limits of simulation of the clotting system Article

Journal of Thrombosis and Haemostasis, 1-8.

R. Wagenvoord, P.W. Hemker (Piet) and H.C. Hemker (Coen)

January 2006
Mathematical and biological models of blood coagulation. A rebuttal. Article

Journal of Thrombosis and Haemostasis, 710-711.

H.C. Hemker (Coen), E. de Smedt and P.W. Hemker (Piet)

January 2006
Multimedia Annotations on the Semantic Web Article

IEEE MultiMedia, 13(1), 86-90.

G. Stamou, J.R. van Ossenbruggen (Jacco), J.Z. Pan (Jeff) and G. Schreiber (Guus)

January 2006
Context Aware Guidance for Multimedia Authoring: Harmonizing Domain and Discourse Knowledge Article

ACM Multimedia Systems Journal, 11(3), 226-235.

K. Falkovych (Kateryna) and F.-M. Nack (Frank)

January 2006
A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems. Tech Report

F.J. Bruggeman (Frank), H. Burchard, B. Kooi and B.P. Sommeijer (Ben)

January 2006
Conservation of wave action under multisymplectic discretizations Tech Report

J.E. Frank (Jason)

January 2006
Optimal semicomputable approximations to reachable and invariant sets Tech Report

P.J. Collins (Pieter)

January 2006
Campbell and moment measures for finite sequential spatial processes Tech Report

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

January 2006
A language independent framework for context-sensitive formatting. Tech Report

M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), J.J. Vinju (Jurgen) and N.P. Veerman

January 2006
Nuovo DRM Paradiso: formal specification and verification of a DRM Tech Report

H.L. Jonker (Hugo), S.K. Nair and M.T. Dashti (Mohammad)

January 2006
Casimir scaling, glueballs, and hybrid gluelumps Tech Report

V. Mathieu, C. Semay and F. Brau (Fabian)

January 2006
Nonlinear instability and saturation of linearly stable current-carrying pair plasmas Tech Report

A. Luque (Alejandro), H. Schamel, B. Eliasson and P.K. Shukla

January 2006
Perfect simulation for length-interacting polygonal Markov fields in the plane Tech Report

M.N.M. van Lieshout (Marie-Colette) and T. Schreiber

January 2006
A fluid system with coupled input and output, and its application to bottlenecks in ad hoc networks. Tech Report

M.R.H. Mandjes (Michel) and F. Roijers (Frank)

January 2006
Tandem Brownian queues Tech Report

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2006
Generalized processor sharing: characterization of the admissible region and selection of optimal weights Tech Report

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2006
Flow-level stability of channel-aware scheduling algorithms Tech Report

S.C. Borst (Sem) and M. Jonckheere (Matthieu)

January 2006
SPIAR: an architectural style for single page internet applications Tech Report

A. Mesbah (Ali), K. Broenink and A. van Deursen (Arie)

January 2006
Lightweight incremental application upgrade Tech Report

T. van der Storm (Tijs)

January 2006
Tail behavior of conditional sojourn times in Processor-Sharing queues Tech Report

R.R. Egorova (Regina Robertovna) and A.P. Zwart (Bert)

January 2006
Asymptotics of a 3F2 polynomial associated with the Catalan-Larcombe-French sequence Tech Report

N.M. Temme (Nico)

January 2006
Numerically satisfactory solutions of hypergeometric recursions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2006
Algorithm 850: Real parabolic cylinder functions U(a,x), V(a,x) Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2006
Modeling ping times in first person shooter games Tech Report

N. Degrande, D. de Vleeschauwer, R.E. Kooij (Robert) and M.R.H. Mandjes (Michel)

January 2006
Runge-Kutta multigrid analysis for space-time discontinuous Galerkin discretization of an advection-diffusion equation Tech Report

M.H. van Raalte (Marc) and C.M. Klaij

January 2006
Synthesis of Mealy machines using derivatives Tech Report

H.H. Hansen (Helle), D.F. de Oliveira Costa (David) and J.J.M.M. Rutten (Jan)

January 2006
Linking analysis and transformation tools with source-based mappings Tech Report

M. Bruntink (Magiel)

January 2006
Solving scheduling problems by untimed model checking Tech Report

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

January 2006
Bug hunting with false negatives Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

January 2006
Resource dimensioning through buffer sampling Tech Report

M.R.H. Mandjes (Michel) and R. van de Meent

January 2006
Heavy-traffic delay minimization in bandwidth-sharing networks Tech Report

I.M. Verloop (Maaike) and S.C. Borst (Sem)

January 2006
Online capacity planning of repairs Tech Report

J.W. van Kempen (Jules)

January 2006
Performance modeling of a bottleneck node in an IEEE 802.11 ad-hoc network Tech Report

J.L. van den Berg (Hans), M.R.H. Mandjes (Michel) and F. Roijers (Frank)

January 2006
Analysis of congestion periods of an M/M/inf-queue Tech Report

F. Roijers (Frank), M.R.H. Mandjes (Michel) and J.L. van den Berg (Hans)

January 2006
Delay optimization in bandwidth-sharing networks Tech Report

I.M. Verloop (Maaike), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)

January 2006
Pricing and distributed QoS control for elastic network traffic Tech Report

J.L. van den Berg (Hans), M.R.H. Mandjes (Michel) and R. Núñez Queija (Rudesindo)

January 2006
A tandem queue with Lévy input: a new representation of the downstream queue length. Tech Report

K.G. Dȩbicki (Krzysztof), M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2006
Gaussian traffic everywhere? Tech Report

R. van de Meent, M.R.H. Mandjes (Michel) and A. Pras

January 2006
Evaluation of Tech Report

R. van de Meent and M.R.H. Mandjes (Michel)

January 2006
IMEX extensions of linear multistep methods with general monotonicity and boundedness properties Tech Report

W. Hundsdorfer (Willem) and S.J. Ruuth

January 2006
Spatio-temporal patterns in a semiconductor-gas-discharge system: stability analysis and full numerical solutions Tech Report

I. Rafatov (Ismail), D.D. Šijačić (Danijela) and U. Ebert (Ute)

January 2006
Algebraically decaying pulses in a Ginzburg-Landau system with a neutrally stable mode Tech Report

A. Doelman (Arjen), G. Hek (Geertje) and N. Valkhoff

January 2006
A trust-region strategy for manifold mapping optimization. Tech Report

P.W. Hemker (Piet) and D. Echeverria (David)

January 2006
Asymptotic behaviour of three-dimensional singularly perturbed convection-diffusion problems with discontinuous data Tech Report

J.L. López, E. Pérez Sinusía and N.M. Temme (Nico)

January 2006
Stability analysis of pi-kinks in a 0-pi Josephson junction Tech Report

G. Derks (Gianne), A. Doelman (Arjen), S.A. van Gils (Stephan) and H. Susanto

January 2006
Spatio-temporal patterns in a DC 'barrier' discharge system: numerical solutions and stability analysis Tech Report

I. Rafatov (Ismail), D.D. Šijačić (Danijela) and U. Ebert (Ute)

January 2006
Numerical convergence of the branching time of negative streamers Tech Report

C. Montijn (Carolynne-Sireeh), U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2006
Analytical methods for an elliptic singular perturbation problem in a circle Tech Report

N.M. Temme (Nico)

January 2006
Homoclinic bifurcations at the onset of pulse self-replication Tech Report

A. Doelman (Arjen), T.J. Kaper (Tasso Joost) and L.A. Peletier (Bert)

January 2006
Universal trellises Tech Report

P.J. Collins (Pieter)

January 2006
Energy-conserving semi-discretizations and spurious numerical reflections Tech Report

J.E. Frank (Jason) and S. Reich

January 2006
The immersed boundary method for the (2D) incompressible Navier-Stokes equations Tech Report

R.J.R. vander Meûlen (Reinout)

January 2006
Manifold-mapping optimization applied to linear actuator design Tech Report

D. Echeverria (David), D.J.P. Lahaye (Domenico), L. Encica, E.A. Lomonova, P.W. Hemker (Piet) and A.J.A. Vandenput

January 2006
An improved front tracking method for the Euler equations Tech Report

J.A.S. Witteveen (Jeroen), P.G. Bakker and B. Koren (Barry)

January 2006
Improving the efficiency of aerodynamic shape optimization on unstructured meshes Tech Report

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

January 2006
A note on semi-discrete conservation laws and conservation of wave action by multisymplectic Runge-Kutta box schemes Tech Report

J.E. Frank (Jason)

January 2006
Computational fluid dynamics: science and tool Tech Report

B. Koren (Barry)

January 2006
Proceedings of the 2nd workshop on linking aspect technology and evolution, Bonn, Germany, 20.03.2006 Tech Report

January 2006
Improving patient activity schedules by multi-agent Pareto appointment exchanging Tech Report

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2006
Towards automatic generation of parameterized test cases from abstractions Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

January 2006
A distributed computational model for Reo. Tech Report

C.T.H. Everaars (Kees), D.F. de Oliveira Costa (David), N.K. Diakov (Nikolay) and F. Arbab (Farhad)

January 2006
Enabling multimedia metadata interoperability by defining formal semantics of MPEG-7 profiles Tech Report

R. Troncy (Raphael), W. Bailer, M. Hausenblas, P. Hofmair and R. Schlatte (Rudolf)

January 2006
Designing interactive ambient multimedia applications: requirements and implementation challenges Tech Report

Z. Obrenovic, F.-M. Nack (Frank) and L. Hardman (Lynda)

January 2006
/facet: A browser for heterogeneous semantic web repositories Tech Report

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2006
Armada: a reference model for an evolving database system Tech Report

F.E. Groffen (Fabian), M.L. Kersten (Martin) and S. Manegold (Stefan)

January 2006

Previous

Next

Available Years