Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Rule discovery: tough, not meaningless Tech Report

Z.R. Struzik

January 2003
Towards ontology-driven discourse: from semantic graphs to multimedia presentations Tech Report

J.P.T.M. Geurts (Joost), S. Bocconi, J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2003
The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1 Tech Report

F.E.J. Kruseman Aretz

January 2003
AmbientDB : relational query processing in a P2P network Tech Report

P.A. Boncz (Peter) and C. Treijtel

January 2003
Decentralized control with communication between controllers Tech Report

J.H. van Schuppen (Jan)

January 2003
An implicit-explicit Runge-Kutta-Chebyshev scheme for diffusion-reaction equations Tech Report

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

January 2003
On a two-dimensional discontinuous Galerkin discretisation with embedded Dirichlet boundary condition Tech Report

M.H. van Raalte (Marc)

January 2003
Symmetry in labeled transition systems Tech Report

I.A. van Langevelde

January 2003
Modeling component connectors in Reo by constraint automata Tech Report

F. Arbab (Farhad), C. Baier, J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2003
Abstract behavior types : a foundation model for components and their composition Tech Report

F. Arbab (Farhad)

January 2003
Error reduction at the contact discontinuity in numerical special relativistic hydrodynamics Tech Report

D.E.A. van Odyck (Daniel)

January 2003
MASCOT : metadata for advanced scalable video coding tools : final report Tech Report

H.J.A.M. Heijmans (Henk), C. Bernard, M. Domanski, B. Pesquet-Popescu, A. Smolic, P. Schelkens and L. Torres

January 2003
Sample-path large deviations for generalized processor sharing queues with Gaussian inputs Tech Report

M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2003
A goodness of fit statistic for the geometric distribution Tech Report

J.A. Ferreira

January 2003
Amicable pairs : a survey Tech Report

M. García, J.M. Pedersen and H.J.J. te Riele (Herman)

January 2003
Rational positive systems for reaction networks Tech Report

J.H. van Schuppen (Jan)

January 2003
A note on flux limiting for diffusion discretizations Tech Report

W. Hundsdorfer (Willem) and C. Montijn (Carolynne-Sireeh)

January 2003
Monotonicity for time discretizations Tech Report

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

January 2003
Kink band instability and propagation in layered structures Tech Report

M. Ahmer Wadee, G.W. Hunt and M.A. Peletier (Mark)

January 2003
Coinduction in control of partially observed discrete-event systems Tech Report

J. Komenda

January 2003
Coalgebra and coinduction in decentralized supervisory control Tech Report

J. Komenda

January 2003
Decentralized supervisory control with coalgebra Tech Report

J. Komenda and J.H. van Schuppen (Jan)

January 2003
Streamer branching rationalized by conformal mapping techniques Tech Report

B.J. Meulenbroek (Bernard), A. Rocco (Andrea) and U. Ebert (Ute)

January 2003
A nested-grid finite-difference Poisson solver for concentrated source terms Tech Report

J. Wackers (Jeroen)

January 2003
Stability of negative ionization fronts: regularization by electric screening? Tech Report

M. Arrayás and U. Ebert (Ute)

January 2003
The coherent scattering function of the reptation model: simulations compared to theory Tech Report

A. Baumgärtner, U. Ebert (Ute) and L. Schäfer

January 2003
Period doubling in glow discharges: local versus global differential conductivity Tech Report

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

January 2003
Stone coalgebras Tech Report

C.A. Kupke (Clemens), A. Kurz (Alexander) and Y. Venema

January 2003
Evolving binary constraint satisfaction problem instances that are difficult to solve Tech Report

J.I. van Hemert

January 2003
Towards a multimedia formatting vocabulary Tech Report

J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda), J.P.T.M. Geurts (Joost) and L. Rutledge (Lloyd)

January 2003
SampLe: towards a framework for system-supported multimedia authoring Tech Report

K. Falkovych (Kateryna), F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Rutledge (Lloyd)

January 2003
Modeling of non-equilibrium spherical microwave discharge Tech Report

V.M. Lelevkin and I. Rafatov (Ismail)

January 2003
Difference schemes for the class of singularly perturbed boundary value problems Tech Report

I. Rafatov (Ismail) and S.N. Sklyar

January 2003
Parallel, distributed-memory implementation of a sparse-grid method for time-dependent advection-diffusion problems Tech Report

C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)

January 2003
A language development environment for Eclipse Tech Report

M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and A.T. Kooiker (Taeke)

January 2003
Verifying a sliding window protocol in mCRL Tech Report

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun), B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2003
Mixture formula for shot noise weighted point processes Tech Report

P. Gregori, M.N.M. van Lieshout (Marie-Colette) and J. Mateu

January 2003
On asymptotically efficient simulation of large deviation probabilities Tech Report

A.B. Dieker (Ton) and M.R.H. Mandjes (Michel)

January 2003
Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Tech Report

P.J. Collins (Pieter)

January 2003
An unstructured parallel least-squares spectral element solver for incompressible flow problems Tech Report

M. Nool (Margreet) and M.M.J. Proot

January 2003
Effective modeling of software architectural assemblies using constraint automata Tech Report

N.R. Mehta (Nikunj), M. Sirjani (Marjan) and F. Arbab (Farhad)

January 2003
Further systematic computations on the summatory function of the Möbius function Tech Report

T. Kotnik and J. van de Lune (Jan)

January 2003
Simulation of 3D phytoplankton dynamics: competition in light-limited environments Tech Report

N.N. Pham Thi (Nga), J. Huisman and B.P. Sommeijer (Ben)

January 2003
Sequence and emphasis in automated domain-independent discourse generation Tech Report

M. Alberink, L. Rutledge (Lloyd) and M. Veenstra

January 2003
An application of coinductive stream calculus to signal flow graphs Tech Report

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

January 2003
A generator of efficient strongly typed abstract syntax trees in Java Tech Report

M.G.J. van den Brand (Mark), P.-E. Moreau and J.J. Vinju (Jurgen)

January 2003
Extracting mathematical semantics from LaTeX documents Tech Report

J. Stuber and M.G.J. van den Brand (Mark)

January 2003
Environments for term rewriting engines for free! Tech Report

M.G.J. van den Brand (Mark), P.-E. Moreau and J.J. Vinju (Jurgen)

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

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

January 2003
Rewriting-based languages and systems Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 2003
Quantification of structural information: on a question raised by Brooks Tech Report

J. Heering (Jan)

January 2003
Timed verification with muCRL Tech Report

S.C.C. Blom (Stefan), N. Ioustinova (Natalia) and N. Sidorova

January 2003
Using fairness to make abstractions work Tech Report

D. Bosnacki, N. Ioustinova (Natalia) and N. Sidorova

January 2003
A component-based parallel constraint solver Tech Report

P. Zoeteweij (Peter) and F. Arbab (Farhad)

January 2003
COllective INtelligence with task assignment Tech Report

P.J. 't Hoen (Pieter Jan) and S.M. Bohte (Sander)

January 2003
A study of integrated document and connection caching in the WWW Tech Report

S. Albers and R. van Stee (Rob)

January 2003
Improved competitive guarantees for QoS buffering Tech Report

A. Kesselman, Y. Mansour and R. van Stee (Rob)

January 2003
Bargaining with posterior opportunities: an evolutionary social simulation Tech Report

E.H. Gerding (Enrico) and J.A. La Poutré (Han)

January 2003
Deriving tolerant grammars from a base-line grammar Tech Report

A.S. Klusener (Steven) and R. Lämmel (Ralf)

January 2003
A framework for datatype transformation Tech Report

J. Kort and R. Lämmel (Ralf)

January 2003
Adding superimposition to a language semantics Tech Report

R. Lämmel (Ralf)

January 2003
Design patterns and pspects : modular designs with seamless run-time integration Tech Report

R.A. Hirschfeld (Robert), R. Lämmel (Ralf) and M. Wagner

January 2003
Scrap your boilerplate: a practical design pattern for generic programming Tech Report

R. Lämmel (Ralf) and S. Peyton Jones

January 2003
Strategic polymorphism requires just two combinators! Tech Report

R. Lämmel (Ralf) and J.M.W. Visser (Joost)

January 2003
A Strafunski application letter Tech Report

R. Lämmel (Ralf) and J.M.W. Visser (Joost)

January 2003
Strategic programming meets adaptive programming Tech Report

R. Lämmel (Ralf), E. Visser (Eelco) and J.M.W. Visser (Joost)

January 2003
Parse-tree annotations meet re-engineering concerns Tech Report

J. Kort and R. Lämmel (Ralf)

January 2003
Semantics-directed implementation of method-call interception Tech Report

R. Lämmel (Ralf) and C. Stenzel

January 2003
Towards smart style: combining RDF semantics with XML document transformations Tech Report

J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and L. Rutledge (Lloyd)

January 2003
Creating harmonious and legible colour schemes in the automated generation of multimedia presentations Tech Report

A.S.K. Manniesing

January 2003
Automatic presentation generation for scholarly hypermedia Tech Report

S. Bocconi

January 2003
Cuypers meets users: implementing a user model architecture for multimedia presentation generation Tech Report

S. Little and L. Hardman (Lynda)

January 2003
Semantics in multi-facet hypermedia authoring Tech Report

K. Falkovych (Kateryna), F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Rutledge (Lloyd)

January 2003
That obscure object of desire: multimedia metadata on the Web, part 1 Tech Report

F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2003
A consistent treatment of link and writhe for open rods, and their relation to end rotation Tech Report

G.H.M. van der Heijden, M.A. Peletier (Mark) and R. Planqué (Robert)

January 2003
The hamiltonian particle-mesh method for the spherical shallow water equations Tech Report

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

January 2003
Pattern forming pulled fronts: bounds and universal convergence Tech Report

U. Ebert (Ute), W. Spruijt and W. van Saarloos

January 2003
A variational meshfree method for solving time-discrete diffusion equations Tech Report

J.K. Krottje (Johannes)

January 2003
Convergent asymptotic expansions of Charlier, Laguerre and Jacobi polynomials Tech Report

J.L. López and N.M. Temme (Nico)

January 2003
A simple and efficient space-time adaptive grid technique for unsteady compressible flows Tech Report

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

January 2003
Efficient computation of steady, 3D water-wave patterns Tech Report

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

January 2003
Bandwidth sharing with heterogeneous service requirements Tech Report

S.C. Borst (Sem), R. Núñez Queija (Rudesindo) and A.P. Zwart (Bert)

January 2003
On the asymptotic density in a one-dimensional self-organized critical forest-fire model Tech Report

J. van den Berg (Rob) and A.A. Járai (Antal)

January 2003
Solving disjunctive/conjunctive boolean equation systems with alternating fixed points Tech Report

J.F. Groote (Jan Friso) and M. Keinänen

January 2003
Bundling and pricing for information brokerage: customer satisfaction as a means to profit optimization Tech Report

D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2003
Non-separable 2D wavelets with two-row filters Tech Report

Y. Zhan (Yinwei) and H.J.A.M. Heijmans (Henk)

January 2003
Wireless data performance in multi-cell scenarios Tech Report

T. Bonald, S.C. Borst (Sem), N. Hegde and A. Proutière

January 2003
BioVision: roadmap for biometrics in Europe to 2010 Tech Report

A. Albrecht, M. Behrens, T. Mansfield, W. McMeechan (Will), M. Savastano, P. Statham, C. Schmidt, B.A.M. Schouten (Ben) and M. Walsh

January 2003
Infinite volume limit for the stationary distribution of Abelian sandpile models Tech Report

S.R. Athreya and A.A. Járai (Antal)

January 2003
Conditional limit theorems for queues with Gaussian input, a weak convergence approach Tech Report

A.B. Dieker (Ton)

January 2003
A pressure-invariant and conservative method for two-fluid flows Tech Report

E.H. van Brummelen (Harald) and B. Koren (Barry)

January 2003
Computation of 3D steady Navier-Stokes flow with free-surface gravity waves Tech Report

M.R. Lewis (Mervyn), B. Koren (Barry) and H.C. Raven

January 2003
Fix for solution errors near interfaces in two-fluid flow computations Tech Report

B. Koren (Barry), E.H. van Brummelen (Harald), P.W. Hemker (Piet), B. van Leer and M.R. Lewis (Mervyn)

January 2003
An a-posteriori adaptive mesh technique for singularly perturbed convection-diffusion problems with a moving interior layer Tech Report

G.I. Shishkin (Gregori), L.P. Shishkina and P.W. Hemker (Piet)

January 2003
Analysis and optimization of an algorithm for discrete tomography Tech Report

K.J. Batenburg (Joost)

January 2003
A Database Striptease or How to Manage Your Personal Databases Book Chapter

M.L. Kersten (Martin), G. Weikum, M. Franklin, D. Keim (Daniel), A. Buchmann (Alex) and S. Chaudhuri (Surajit)

January 2003
Nieuwjaarskaartje CWI 2003 Other

January 2003
Nieuwjaarskaart 2003 : versie 2 Other

January 2003
Nieuwjaarskaart 2003 : versie 1 Other

January 2003
Coalgebra and coinduction in decentralized supervisory control In Proceedings

Komenda, J. (Jan)

January 2003

Previous

Next

Available Years