Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems In Proceedings

D.C.A. Bulterman (Dick)

November 1992
CWI in Bedrijf, 09.10.1992 : Samenvattingen van voordrachten Article

October 1992
Daarom het CWI : openingstoespraak op de presentatiedag CWI in Bedrijf, 09.10.1992 Presentation

G. van Oortmerssen (Gerard)

October 1992
Multimedia, Wiskunde en milieu, Databases, Visualisatie, Dynamische systemen : uitnodiging en programma CWI in Bedrijf, 09.10.1992 Booklet

October 1992
Moving-grid methods for time-dependent partial differential equations Dissertation

P.A. Zegeling (Paul)

October 1992
Conferentie van numeriek wiskundigen, Zeist, 05-07.10.1992 : program and abstracts Booklet

October 1992
R0 Dissertation

J.A.P. Heesterbeek (Hans)

September 1992
On the development of an artifact and design description language Dissertation

P. J. Veerkamp (Paul)

September 1992
An architecture for interactive raster graphics In Proceedings

A.A.M. Kuijk (Fons), E.H. Blake and P.J.W. ten Hagen (Paul)

September 1992
Transition systems and dynamic semantics In Proceedings

R.T.P. Fernando (Tim)

September 1992
Data structures and amortized complexity in a functional setting Dissertation

L.A.M. Schoenmakers (Berry)

September 1992
Circuits in graphs embedded on the torus Article

Discrete Mathematics, 415-433.

A. Schrijver (Lex)

September 1992
Manifold: Concepts and implementation In Proceedings

F. Arbab (Farhad), I. Herman (Ivan) and P. Spilling

September 1992
A generalization of the Z-buffer algorithm Article

CWI Quarterly, 5(3), 219-234.

K. van Overveld and H. van de Wetering (Huub)

September 1992
Computational steering: a case study Article

CWI Quarterly, 5(3), 207-218.

R. van Liere (Robert)

September 1992
A processor farm example in manifold Article

CWI Quarterly, 5(3), 189-206.

I. Herman (Ivan) and F. Arbab (Farhad)

September 1992
Provably unforgeable signatures Article

CWI Quarterly, 5(3), 173-188.

J.N.E. Bos (Jurjen)

September 1992
Vakantiecursus 1992: Systeemtheorie : Amsterdam, 28-29.08.1992 en Eindhoven, 03-04.09.1992 : programma en uitnodiging Booklet

August 1992
Object Storage Management in Goblin In Proceedings

M.L. Kersten (Martin), S. Plomp and C.A. van den Berg (Carel)

August 1992
Philosophical issues in Kolmogorov complexity In Proceedings

M. Li (Ming) and P.M.B. Vitányi (Paul)

July 1992
De vorming van onderzoekscholen Wiskunde : rapport van de Strategiecommissie Onderzoekscholen Wiskunde, 30-06-1992 Miscellaneous

June 1992
Stochastic scheduling and dynamic programming Dissertation

G.M. Koole (Ger)

June 1992
Process algebra with data Dissertation

A. Ponse (Alban)

June 1992
Linear unary operators in process algebra Dissertation

C. Verhoef (Chris)

June 1992
Structural computations in finite permutation groups Article

CWI Quarterly, 5(2), 127-160.

W. Bosma (Wieb) and J. Cannon

June 1992
Random algorithms for permutation groups Article

CWI Quarterly, 5(2), 107-125.

G. Cooperman and L. Finkelstein

June 1992
Notes on polynomial-time group theory Article

CWI Quarterly, 5(2), 93-105.

W.M. Kantor

June 1992
Preface Article

CWI Quarterly, 5(2), 89-91.

A.M. Cohen (Arjeh)

June 1992
Product-form in queueing networks Dissertation

R.J. Boucherie (Richard)

May 1992
Some aspects of mixed finite element methods for semiconductor simulation Dissertation

Scientific Computing

R.R.P. van Nooyen (Ronald)

May 1992
A short proof of the decidability of bisimulation for normed bpa-processes Article

Information Processing Letters, 42(3), 167-171.

J.F. Groote (Jan Friso)

May 1992
Bootstrapping U-quantiles In Proceedings

R. Helmers (Roelof), P. Janssen and N. Veraverbeke

April 1992
Practical privacy Dissertation

J.N.E. Bos (Jurjen)

March 1992
Integrity Primitives for IBC In Proceedings

W. Fumy, P. Landrock, D. Chaum (David), C.J.A. Jansen, G. Roelofsen and J. Vandewalle

March 1992
Multigrid methods for semiconductor device simulation Dissertation

Scientific Computing

J. Molenaar (Hans)

March 1992
Computing with Daubechies' wavelets Article

CWI Quarterly, 5(1), 63-72.

A.B. Olde Daalhuis

March 1992
Image compression using wavelets Article

CWI Quarterly, 5(1), 53-62.

P. F. M. Nacken (Peter)

March 1992
Calculation of the wavelet decomposition using quadrature formulae Article

CWI Quarterly, 5(1), 33-52.

W. Sweldens and R. Piessens

March 1992
Discrete wavelets and multiresolution analysis Article

CWI Quarterly, 5(1), 5-32.

H.J.A.M. Heijmans (Henk)

March 1992
The adjoint of a semigroup of linear operators Dissertation

J.M.A.M. van Neerven (Jan)

February 1992
Numerical methods for the three-dimensional shallow water equations on supercomputers Dissertation

E.D. de Goede (Erik)

February 1992
Law and order in algorithmics Dissertation

M.M. Fokkinga (Maarten)

February 1992
Parallelism in the numerical integration of initial value problems Dissertation

B.P. Sommeijer (Ben)

February 1992
Solving parabolic integro-differential equations by an explicit integration method Article

Journal of Computational and Applied Mathematics, 39(1), 121-132.

A.S. Vasudeva Murthy and J.G. Verwer (Jan)

February 1992
Parser generation for interactive environments Dissertation

Software Engineering

J. G. Rekers (Jan)

January 1992
On steady, inviscid shock waves at contnuously curved, convex surfaces Tech Report

B. Koren (Barry) and H.T.M. van der Maarel (Eric)

January 1992
Towards a design theory for database triggers Tech Report

A.P.J.M. Siebes (Arno), M.H. van der Voort and M.L. Kersten (Martin)

January 1992
XlnPosse: structural simulation for graphics hardware Tech Report

M.A. Guravage (Michael), E.H. Blake and A.A.M. Kuijk (Fons)

January 1992
A simple specification language combining processes, time and data Tech Report

W.J. Fokkink (Wan)

January 1992
Bisimulation semantics for concurrency with atomicity and action refinement Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1992
Processes as terms: non-well-founded models for bisimulation Tech Report

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

January 1992
Mathematics as technology: mathematical engineering Tech Report

G. Alberts (Gerard)

January 1992
The saturating contact rate in marriage- and epidemic models Tech Report

J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1992
Asynchronous communication in process algebra : extended abstract Tech Report

F.S. de Boer (Frank), J.W. Klop (Jan Willem) and C. Palamidessi (Catuscia)

January 1992
A singular perturbation theorem for evolution equations and time-scale arguments for structured population models Tech Report

G. Greiner, J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1992
Verification of parallel systems via decomposition Tech Report

J.F. Groote (Jan Friso) and F. Moller

January 1992
On transfinite abstract reduction systems Tech Report

J.R. Kennaway (Richard)

January 1992
On the adequacy of graph rewriting for simulating term rewriting Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1992
Computing brine transport in porous media with an adaptive-grid method Tech Report

R.A. Trompert (Ronald), J.G. Verwer (Jan) and J.G. Blom (Joke)

January 1992
Survey of continuities of curves and surfaces Tech Report

R.C. Veltkamp (Remco)

January 1992
Approximate analysis of an M/G/1 priority queue with priority changes due to impatience Tech Report

P.R. de Waal

January 1992
A general model for maintenance of complex systems Tech Report

P.R. de Waal

January 1992
Asymptotic estimates of Stirling numbers Tech Report

N.M. Temme (Nico)

January 1992
The 'cumulative' formulation of (physiologically) structured population models Tech Report

O. Diekmann (Odo), M. Gyllenberg, H. Metz and H.R. Thieme

January 1992
Hyperasymptotics and the Stokes' phenomenon Tech Report

A.B. Olde Daalhuis

January 1992
Classification of minimal graphs of given face-width on the torus Tech Report

A. Schrijver (Lex)

January 1992
Graphs on the torus and geometry of numbers Tech Report

A. Schrijver (Lex)

January 1992
Grid minors of graphs on the torus Tech Report

M. de Graaf (Mart) and A. Schrijver (Lex)

January 1992
Finding k disjoint paths in a directed planar graph Tech Report

A. Schrijver (Lex)

January 1992
Packing odd paths Tech Report

A. Schrijver (Lex) and P.D. Seymour (Paul)

January 1992
A globally gated polling system with server interruptions, and applications to the repairman problem Tech Report

O.J. Boxma (Onno), J.A. Weststrate and U. Yechiali

January 1992
One-third-integrality in the metric polytope Tech Report

M. Laurent (Monique) and S. Poljak

January 1992
Finite interpolation of random fields Tech Report

K.O. Dzhaparidze (Kacha)

January 1992
Complexity of scheduling multiprocessor tasks with prespecified processor allocations Tech Report

J.A. Hoogeveen, S.L. van de Velde and B. Veltman

January 1992
Gray-scale granulometries compatible with spatial scalings Tech Report

E.J. Kraus (Eugene), H.J.A.M. Heijmans (Henk) and E.R. Dougherty (Edward)

January 1992
Provably recursive programs Tech Report

R.T.P. Fernando (Tim)

January 1992
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Tech Report

R.T.P. Fernando (Tim)

January 1992
More examples in Manifold Tech Report

I. Herman (Ivan) and F. Arbab (Farhad)

January 1992
Formal specification of Manifold: a preliminary study Tech Report

E.P.B.M. Rutten, F. Arbab (Farhad) and I. Herman (Ivan)

January 1992
A theory of first-order built-in's of Prolog Tech Report

K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)

January 1992
A finite volume discretisation scheme with a-posteriori error estimates for the symmetrised continuity equation Tech Report

R.R.P. van Nooyen (Ronald)

January 1992
A Petrov-Galerkin mixed finite element method with exponential fitting Tech Report

R.R.P. van Nooyen (Ronald)

January 1992
A comparison between direct and iterative methods to solve the linear systems arising from a time-dependent 2D groundwater flow model Tech Report

J.G. Blom (Joke), J.G. Verwer (Jan) and R.A. Trompert (Ronald)

January 1992
Moving-finite-element solution of time-dependent partial differential equations in two space dimensions Tech Report

P.A. Zegeling (Paul)

January 1992
Stability of parallel Volterra-Runge-Kutta methods Tech Report

M.R. Crisci, P.J. van der Houwen (Piet), E. Russo and A. Vecchio

January 1992
A-stable diagonally implicit Runge-Kutta-Nyström methods for parallel computers Tech Report

N. Cong

January 1992
Error analysis for the one-dimensional convection-diffusion equation Tech Report

R.R.P. van Nooyen (Ronald)

January 1992
Error analysis and local refinement for a one-dimensional, scalar conservation law Tech Report

H.T.M. van der Maarel (Eric)

January 1992
Analysis of local uniform grid refinement Tech Report

J.G. Verwer (Jan) and R.A. Trompert (Ronald)

January 1992
On Zeilberger's algorithm and its q-analogue: a rigorous description Tech Report

T.H. Koornwinder

January 1992
Incidence and lattice calculus with applications to stochastic geometry and image analysis Tech Report

A.J. Baddeley (Adrian) and H.J.A.M. Heijmans (Henk)

January 1992
A two-machine repair model with variable repair rate Tech Report

F.A. van der Duyn Schouten and P. Wartenhorst

January 1992
Transition systems and dynamic semantics Tech Report

R.T.P. Fernando (Tim)

January 1992
Real time process algebra with prefixed integration Tech Report

W.J. Fokkink (Wan) and A.S. Klusener (Steven)

January 1992
Specification of Manifold : version 1.0 Tech Report

F. Arbab (Farhad)

January 1992
A comparison of OBJ3 and ASF+SDF Tech Report

S.M. Eker

January 1992
Associative matching for linear terms Tech Report

S.M. Eker

January 1992
Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited Tech Report

S.M. Eker

January 1992
Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report

R.P. Brent and H.J.J. te Riele (Herman)

January 1992
Computable processes and bisimulation equivalence Tech Report

A. Ponse (Alban)

January 1992

Previous

Next

Available Years