Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Sisyphus Continuous Integration System Manual

T. van der Storm (Tijs)

January 2006
Applying and combining three different aspect mining techniques Article

Software Quality Journal, 209-231.

M. Ceccato, A.M. Marin (Marius), K. Mens, L.M.F. Moonen (Leon), P. Tonella and T. Tourwé (Tom)

January 2006
An empirical study into class testability Article

Journal of Systems and Software, 1219-1232.

M. Bruntink (Magiel) and A. van Deursen (Arie)

January 2006
Linking analysis and transformations tools with source-based mappings In Proceedings

M. Bruntink (Magiel)

January 2006
A language independent framework for context-sensitive formatting In Proceedings

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

January 2006
Ranking software inspection results using execution likelihood In Proceedings

F.C. Boogerd and L.M.F. Moonen (Leon)

January 2006
Co-transformations in database applications evolution In Proceedings

R.E. Cleve (Richard) and J.-L. Hainaut

January 2006
ASF+SDF Meta-Environment 2.0 Manual

A.T. Kooiker (Taeke) and J.J. Vinju (Jurgen)

January 2006
Prioritizing software inspection results using static profiling In Proceedings

F.C. Boogerd and L.M.F. Moonen (Leon)

January 2006
Discourse representation theory Book Chapter

D.J.N. van Eijck (Jan)

January 2006
Proceedings of the Dagstuhl Seminar on Aspects for Legacy Applications (nr. 06302), MRC Proceedings

CWI CWI

January 2006
Discourse on social software --- What is social software? Article

NIAS Newsletter, 15-21.

D.J.N. van Eijck (Jan)

January 2006
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 (Christiaan)

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

Previous

Next

Available Years