Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Secure Multi-Player Protocols: Fundamentals, Generality, and Efficiency Dissertation

S. Fehr (Serge)

June 2003
Toric sets and orbits on toric varieties Article

Journal of Pure and Applied Algebra, 181(1), 75-83.

A. Katsampekis (Anargyros) and A. Thoma

June 2003
Online publishing - Wiskunde-informatie in een handomdraai Article

Nieuw Archief voor Wiskunde, 5/4(2), 118-121.

W. Mettrop (Wouter) and A.L. Ong (Ay Ling)

June 2003
TCO en de wet van behoud van ellende Article

Database Magazine, 14(4), 12-13.

M.L. Kersten (Martin)

June 2003
Econonatology: The Physics of the Economy in Labour Article

Physica A: Statistical Mechanics and its Applications, 324(1-2), 344-351.

Z.R. Struzik

June 2003
Computational fluid dynamics : wetenschap en gereedschap : intreerede uitgesproken aan de TU Delft, 23.05.2003 Inaugural Lecture

B. Koren (Barry)

May 2003
Design and Application of iterated Density-Estimation Evolutionary Algorithms Dissertation

P.A.N. Bosman (Peter)

May 2003
Leiding geven in kennisland : uitnodiging afscheid Gerard van Oortmerssen, 15.05.2003 Other

May 2003
Branching Growth in Stony Corals: a modelling approach Dissertation

R.M.H. Merks (Roeland)

May 2003
De natuur tegemoet met pen en PC : intreerede uitgesproken op 9 mei 2003 aan de Technische Universiteit Eindhoven Magazine Article

U. Ebert (Ute)

May 2003
Leidinggeven in kennisland - Wat komt er op het bordje van de manager / wetenschapper? Book

May 2003
De natuur tegenmoet met pen en PC Tech Report

U. Ebert (Ute)

May 2003
Towards a multimedia formatting vocabulary Book Chapter

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

May 2003
To reuse or to be reused : techniques for component composition and construction Dissertation

Software Analysis and Transformation

M. de Jonge (Merijn)

March 2003
Pseudo-parabolic equations with driving convection term Dissertation

C.M. Cuesta Romero (Carlota)

March 2003
Spiking Neural Networks Dissertation

Intelligent and autonomous systems

S.M. Bohte (Sander)

March 2003
Slot Index Spatial Join Article

IEEE Transactions on Knowledge and Data Engineering, 15(1), 211-231.

N. Mamoulis (Nikos) and D. Papadias

March 2003
Generic traversal over typed source code representations Dissertation

Software Analysis and Transformation

J.M.W. Visser (Joost)

February 2003
Coherence and uniqueness theorems for averaging processes in statistical mechanics Article

Acta Applicandae Mathematicae, 105-123.

H.H. Torriani and M. Hazewinkel (Michiel)

February 2003
Nonlinear dynamics of atmospheric regime transitions Dissertation

D.T. Crommelin (Daan)

January 2003
Uitnodiging koffiereceptie t.g.v. 25-jarig jubileum Thea Amende, 15.01.2003 Other

January 2003
Stabilization and blow-up for some multidimensional nonlinear PDE's Dissertation

I.A. Guerra (Ignacio Antonio)

January 2003
Computational aerodynamics and fluid dynamics Article

European Journal of Mechanics - B Fluids, 99-100.

B. Koren (Barry)

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

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

January 2003
Efficient computation of steady, 3D water-wave patterns In Proceedings

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

January 2003
Comparison of two adjoint equation approaches with respect to boundary-condition treatments for the quasi-1D Euler equations In Proceedings

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

January 2003
Model error estimation in global functionals based on adjoint formulation In Proceedings

J. M. Cnossen (Jelmer), H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

January 2003
A pressure-invariant and conservative method for two-fluid flows In Proceedings

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

January 2003
Fix for solution errors near interfaces in two-fluid flow computations In Proceedings

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

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

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

January 2003
A pressure-invariant conservative Godunov-type method for barotropic two-fluid flows Article

Journal of Computational Physics, 289-308.

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

January 2003
Stromende getallen Article

Nieuw Archief voor Wiskunde, 286-293.

B. Koren (Barry)

January 2003
An adaptive-gridding solution method for the 2D unsteady Euler equations Tech Report

J. Wackers (Jeroen)

January 2003
Compound sums and their applications in finance Tech Report

R. Helmers (Roelof) and B. Tarigan

January 2003
A bicategorical approach to Morita equivalence for Von Neumann algebras Tech Report

R.M. Brouwer (Rachel)

January 2003
Self-destructive percolation Tech Report

J. van den Berg (Rob) and R.M. Brouwer (Rachel)

January 2003
Discontinuous Galerkin discretisation with embedded boundary conditions Tech Report

P.W. Hemker (Piet), W. Hoffmann (Walter) and M.H. van Raalte (Marc)

January 2003
Taking the pulse of the economy Tech Report

Z.R. Struzik

January 2003
RAM: array processing over a relational DBMS Tech Report

A.R. van Ballegooij (Alex), A.P. de Vries (Arjen) and M.L. Kersten (Martin)

January 2003
Geometric space-time integration of ferromagnetic materials Tech Report

J.E. Frank (Jason)

January 2003
CAFE Project : final report Tech Report

A. Weber

January 2003
Optimal online bounded space multidimensional packing Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

January 2003
COllective INtelligence with sequences of actions Tech Report

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

January 2003
An algebraic method for system reduction of stationary Gaussian systems Tech Report

D. Jibetean (Dorina) and J.H. van Schuppen (Jan)

January 2003
Global optimization of rational functions: a semidefinite programming approach Tech Report

D. Jibetean (Dorina) and E. de Klerk (Etienne)

January 2003
On the nonparametric prediction of conditionally stationary sequences Tech Report

S. Caires and J.A. Ferreira

January 2003
On spectral simulation of fractional Brownian motion Tech Report

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

January 2003
Perfect simulation for marked point processes Tech Report

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

January 2003
Colour picking: the pecking order of form and function Tech Report

F.-M. Nack (Frank), A.S.K. Manniesing and L. Hardman (Lynda)

January 2003
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, 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

Previous

Next

Available Years