Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Structural features in content oriented XML retrieval Tech Report

G. Ramirez Camps (Georgina), T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

January 2005
Generation of abstract geometric art based on exact aesthetics, gestalt theory and graphic design principles Tech Report

M.W. Kauw-A-Tjoe

January 2005
Loop-lifted staircase join: from XPath to XQuery Tech Report

P.A. Boncz (Peter), T. Grust, M. van Keulen, S. Manegold (Stefan), J. Rittinger and J. Teubner (Jens)

January 2005
Detecting strongly connected components in large distributed state spaces Tech Report

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

January 2005
Proceedings of the 1st workshop on aspect reverse-engineering, Delft, 09.11.2004 Tech Report

T. Tourwé (Tom), M. Bruntink (Magiel), A.M. Marin (Marius) and D. Shepherd

January 2005
Simulated time for testing railway interlockings with TTCN-3 Tech Report

S.C.C. Blom (Stefan), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

January 2005
Release and deployment at Planon: a case study Tech Report

R.L. Jansen (Slinger), G.C. Ballintijn (Gerco) and S. Brinkkemper

January 2005
A computational theory of spike-timing dependent plasticity: achieving robust neural responses via conditional entropy minimization. Tech Report

S.M. Bohte (Sander) and M.C. Mozer

January 2005
A case study report on the development, release, and deployment processes of ChipSoft. Tech Report

G.C. Ballintijn (Gerco)

January 2005
A type-driven approach to concrete meta programming. Tech Report

J.J. Vinju (Jurgen)

January 2005
A duopoly model with heterogeneous congestion-sensitive customers. Tech Report

M.R.H. Mandjes (Michel) and J. Timmer (Judith)

January 2005
A tandem queue with server slow-down and blocking. Tech Report

N.D. van Foreest, M.R.H. Mandjes (Michel), J.C.W. van Ommeren and W.R.W. Scheinhardt (Werner)

January 2005
Continuous feedback fluid queues Tech Report

W.R.W. Scheinhardt (Werner), N.D. van Foreest and M.R.H. Mandjes (Michel)

January 2005
Survey of 2D face recognition methods for robust identification by smart devices Tech Report

J.W.H. Tangelder (Hans)

January 2005
Exact Riemann solver for RMHD in the case of shocks only Tech Report

D.E.A. van Odyck (Daniel)

January 2005
Building your own shock tube Tech Report

J. Naber (Jorick)

January 2005
A new class of entropy solutions of the Buckley-Leverett equation. Tech Report

C.J. van Duijn (Hans), L.A. Peletier (Bert) and I.S. Pop (Sorin)

January 2005
The dynamics of modulated wave trains. Tech Report

A. Doelman (Arjen), B. Sandstede, A. Scheel and G. Schneider

January 2005
Numerical solver for compressible two-fluid flow Tech Report

J. Naber (Jorick)

January 2005
Space mapping and defect correction Tech Report

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

January 2005
Stability of spatially periodic pulse patterns in a class of singularly perturbed reaction-diffusion equations Tech Report

H. van der Ploeg and A. Doelman (Arjen)

January 2005
The ABC of hyper recursions. Tech Report

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

January 2005
Composition of negotiation protocols for E-commerce applications Tech Report

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev

January 2005
Algebra, bitstreams, and circuits Tech Report

J.J.M.M. Rutten (Jan)

January 2005
Composing configurable Java components Tech Report

T. van der Storm (Tijs)

January 2005
Isolating crosscutting concerns in system software Tech Report

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2005
Extending Rebeca with synchronous messages and reusable components Tech Report

M. Sirjani (Marjan), F.S. de Boer (Frank), A. Movaghar (Ali) and A. Shali

January 2005
Reasoning about connector reconfiguration. Part I. Tech Report

D.G. Clarke (David)

January 2005
A systematic aspect-oriented refactoring and testing strategy, and its application to JHotDraw. Tech Report

A. van Deursen (Arie), A.M. Marin (Marius) and L.M.F. Moonen (Leon)

January 2005
Specification-based test generation with TGV Tech Report

J.R. Calamé (Jens)

January 2005
A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
An industrial application of context-sensitive formatting. Tech Report

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

January 2005
Hybrid trajectory spaces Tech Report

P.J. Collins (Pieter)

January 2005
Markovianity in space and time : [dedicated to Professor Mike Keane on the occasion of his 65th birthday] Tech Report

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

January 2005
On some conjectural inequalities and their consequences Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

January 2005
Maximum likelihood estimation for random sequential adsorption Tech Report

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

January 2005
History of the software industry: the challenge Tech Report

G. Alberts (Gerard), A. van den Bogaard, M. Campbell-Kelly and F. Veraart

January 2005
Syllogistics = monotonicity + symmetry + existential import Tech Report

D.J.N. van Eijck (Jan)

January 2005
Crosscutting concerns in J2EE applications Tech Report

A. Mesbah (Ali) and A. van Deursen (Arie)

January 2005
Performance of TCP-friendly streaming sessions in the presence of heavy-tailed elastic flows Tech Report

R. Bekker (Rene), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)

January 2005
Realization theory for linear and bilinear hybrid systems Tech Report

M. Petreczky (Mihaly)

January 2005
Regularization of moving boundaries in a Laplacian field by a mixed Dirichlet-Neumann boundary condition : exact results Tech Report

B.J. Meulenbroek (Bernard), U. Ebert (Ute) and L. Schäfer

January 2005
On the numerical solution of diffusion-reaction equations with singular source terms Tech Report

M. Ashyraliyev (Maksat), J.G. Blom (Joke) and J.G. Verwer (Jan)

January 2005
IRKC: an IMEX solver for stiff diffusion-reaction PDEs Tech Report

L.F. Shampine, B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

January 2005
The Eggshell method in a nutshell. Tech Report

M. Nool (Margreet) and D.J.P. Lahaye (Domenico)

January 2005
Diffusion correction to the avalanche-to-streamer transition Tech Report

C. Montijn (Carolynne-Sireeh) and U. Ebert (Ute)

January 2005
A multirate time stepping strategy for parabolic PDE. Tech Report

V. Savcenco (Valeriu), W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 2005
Realization theory for linear and bilinear switched systems: a formal power series approach Tech Report

M. Petreczky (Mihaly)

January 2005
First order approximation of an elliptic 3D singular perturbation problem Tech Report

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

January 2005
A geometric construction of traveling waves in a bioremediation. Tech Report

M. Beck, A. Doelman (Arjen) and T.J. Kaper (Tasso Joost)

January 2005
Generalizations of Gronwall's integral inequality and their discrete analogies Tech Report

M. Ashyraliyev (Maksat)

January 2005
A note on iterated splitting schemes. Tech Report

W. Hundsdorfer (Willem) and L. Portero (Laura)

January 2005
Positivity for explicit two-step methods in linear multistep and one-leg form Tech Report

N.N. Pham Thi (Nga), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)

January 2005
Evanescence in coined quantum walks Tech Report

H.A. Carteret, L.B. Richmond and N.M. Temme (Nico)

January 2005
A difference scheme of improved accuracy for a quasilinear singularly perturbed elliptic convection-diffusion equation. Tech Report

L.P. Shishkina and G.I. Shishkin (Gregori)

January 2005
Experiments on the diameter of positive streamers in air Tech Report

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

January 2005
Influences of the pulsed power supply on corona streamer appearance Tech Report

E.M. van Veldhuizen, T.M.P. Briels (Tanja), L.R. Grabowski, A.J.M. Pemen and U. Ebert (Ute)

January 2005
Nonlinear asymptotic stability of the semi-strong pulse dynamics in a regularized Gierer-Meinhardt model Tech Report

A. Doelman (Arjen), T.J. Kaper (Tasso Joost) and K. Promislow

January 2005
Adaptive grid simulations of negative streamers in nitrogen in under- and overvolted gaps Tech Report

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

January 2005
The multiscale nature of streamers. Tech Report

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 2005
Vroege vonken onder de virtuele microscoop Tech Report

C. Montijn (Carolynne-Sireeh)

January 2005
Applications of factorization embeddings for L Tech Report

A.B. Dieker (Ton)

January 2005
The multigrid image transform. Tech Report

P.M. de Zeeuw (Paul)

January 2005
Large buffer asymptotics for generalized processor sharing queues with Gaussian inputs Tech Report

K.G. Dȩbicki (Krzysztof) and M.J.G. van Uitert (Miranda)

January 2005
A unifying conservation law for single server queues. Tech Report

U. Ayesta (Urtzi)

January 2005
On the non-optimality of the FB discipline within the service time distribution class IMRL Tech Report

S. Aalto and U. Ayesta (Urtzi)

January 2005
Representations of isotropic random fields with homogeneous increments, with applications to spacial fractional Brownian motion Tech Report

K.O. Dzhaparidze (Kacha)

January 2005
A Lévy process reflected at a Poisson age process. Tech Report

O. Kella, O.J. Boxma (Onno) and M.R.H. Mandjes (Michel)

January 2005
Load characterization and anomaly detection for voice over IP traffic Tech Report

M.R.H. Mandjes (Michel), I. Saniee and A. Stolyar

January 2005
Stability of size-based scheduling disciplines in resource-sharing networks Tech Report

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

January 2005
Optimal admission control in queues with workload-dependent service rates Tech Report

R. Bekker (Rene) and S.C. Borst (Sem)

January 2005
A modified version of frozen percolation on the binary tree. Tech Report

R.M. Brouwer (Rachel)

January 2005
Analysis of jitter due to call-level fluctuations Tech Report

M.R.H. Mandjes (Michel)

January 2005
Quasi-product forms for L Tech Report

K.G. Dȩbicki (Krzysztof), A.B. Dieker (Ton) and T. Rolski

January 2005
Modeling the interaction of IEEE 802.3x hop-by-hop flow control and TCP end-to-end flow control Tech Report

R. Malhotra, R. van Haalen, M.R.H. Mandjes (Michel) and R. Núñez Queija (Rudesindo)

January 2005
Representations of isotropic random fields with homogeneous increments Tech Report

K.O. Dzhaparidze (Kacha), J.H. van Zanten (Harry) and P. Zarȩba (Pawel)

January 2005
Identification clouds: aspects of the implementation Tech Report

C.L. Blom (Kees) and M. Hazewinkel (Michiel)

January 2005
Specification of coordination behaviors in software architecture using the Reo coordination language Tech Report

Y. Li (Yongzhi)

January 2005
Specification of e-business process model for PayPal online payment process using Reo Tech Report

M. Xie

January 2005
The unified coordination language UnCL. Tech Report

F.S. de Boer (Frank), J.V. Guillen Scholten (Juan) and J.F. Jacob (Joost)

January 2005
Design and implementation of an editor and simulators for constraint automata in the context of Reo Tech Report

H. Kwan Kan

January 2005
Landscape maps for enterprise architectures Tech Report

L.W.N. van der Torre (Leon), M.M. Lankhorst, H. ter Doest, J. Campschroer and F. Arbab (Farhad)

January 2005
Integrating architectural models Tech Report

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), M.M. Lankhorst, H.A. Proper and L.W.N. van der Torre (Leon)

January 2005
Interactive visualization of dynamic models Tech Report

F. Arbab (Farhad) and L.W.N. van der Torre (Leon)

January 2005
When and how to develop domain-specific languages Tech Report

M. Mernik (Marjan), J. Heering (Jan) and A.M. Sloane

January 2005
Super-scalar RAM-CPU cache compression Tech Report

M. Zukowski (Marcin), S. A. B. C. Héman (Sándor), N.J. Nes (Niels) and P.A. Boncz (Peter)

January 2005
Canonical processes of media production Tech Report

L. Hardman (Lynda)

January 2005
Capture and transfer of metadata during video production Tech Report

F.-M. Nack (Frank)

January 2005
Ontologies in information integration within multimedia presentation generation Tech Report

J. Salas Enrech

January 2005
Learning from induced changes in opponent (re)actions in multi-agent games Tech Report

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2005
Algebraic specification and coalgebraic synthesis of Mealy automata Tech Report

J.J.M.M. Rutten (Jan)

January 2005
Discovering faults in idiom-based exception handling Tech Report

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2005
Infinitary normalization Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

January 2005
On a model of sequential point patterns Tech Report

V. Shcherbakov (Vadim)

January 2005
Gaussian fluctuations of random point measures generated by cooperative sequential adsorption Tech Report

V. Shcherbakov (Vadim)

January 2005
About 'trivial' software patents: the IsNot case Tech Report

J.A. Bergstra (Jan) and P. Klint (Paul)

January 2005
A surface capturing method for the efficient computation of steady water waves. Tech Report

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

January 2005
A fully conservative model for compressible two-fluid flow. Tech Report

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

January 2005
On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Tech Report

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

January 2005
An adaptive grid refinement strategy for the simulation of negative streamers. Tech Report

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

January 2005

Previous

Next

Available Years