Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Ntyft/ntyxt rules reduce to ntree rules Tech Report

W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)

January 1995
Restrictive blinding of secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Partial up and down logic Tech Report

J.O.M. Jaspars

January 1995
Honesty in partial logic Tech Report

W. van der Hoek (Wiebe), J.O.M. Jaspars and E. Thijsse

January 1995
Transformations of CLP modules Tech Report

S. Etalle (Sandro) and M. Gabbrielli

January 1995
Interaction objects in the MADE multimedia environment Tech Report

F.C. Heeman, I. Herman (Ivan) and G.J. Reynolds

January 1995
Modal model theory Tech Report

M. de Rijke (Maarten)

January 1995
An implicit-explicit approach for atmospheric transport-chemistry problems Tech Report

J.G. Verwer (Jan), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

January 1995
Discrete approximations for singularly perturbed boundary value problems with parabolic layers Tech Report

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

January 1995
Uniform asymptotic expansion of integrals : a selection of problems Tech Report

N.M. Temme (Nico)

January 1995
Composing morphological filters Tech Report

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

January 1995
The workload in the M/G/1 queue with work removal Tech Report

R.J. Boucherie (Richard) and O.J. Boxma (Onno)

January 1995
Static optimization of queueing systems Tech Report

O.J. Boxma (Onno)

January 1995
On the final size of epidemics within herds Tech Report

O. Diekmann (Odo), A.A. de Koeijer and J.A.J. Metz

January 1995
On periodic cohort solurions of a size-structured population model Tech Report

W. Huyer

January 1995
Classification in mathematics, discrete metric spaces, and approximation by trees Tech Report

M. Hazewinkel (Michiel)

January 1995
Lipshitz distance and hierarchical clustering Tech Report

M. Hazewinkel (Michiel)

January 1995
Tree-tree matrices and other combinatorial problems from taxonomy Tech Report

M. Hazewinkel (Michiel)

January 1995
Linked balanced designs are symmetric BIBD's Tech Report

M. Hazewinkel (Michiel)

January 1995
A vector/parallel method for a three-dimensional transport model coupled with bio-chemical terms Tech Report

B.P. Sommeijer (Ben) and J. Kok (Jan)

January 1995
Development of semi-coarsening and sparse-grid techniques Tech Report

P.M. de Zeeuw (Paul)

January 1995
A comparison of stiff ODE solvers for atmospheric chemistry problems Tech Report

J.G. Verwer (Jan), J.G. Blom (Joke), M. van Loon (Martin) and E.J. Spee (Edwin)

January 1995
Iteration of Runge-Kutta methods with block triangular Jacobians Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1995
Step-parallel algorithms for stiff initial value problems Tech Report

W.A. van der Veen (Wolter)

January 1995
Coupling advection and chemical kinetics in a global atmospheric test model Tech Report

E.J. Spee (Edwin)

January 1995
On the generalized Hamming weights of convolutional codes Tech Report

J. Rosenthal and E.V. York

January 1995
Structural identifiability of linear mamillary compartmental systems Tech Report

J.M. van den Hof

January 1995
System identification with information theoretic criteria Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

January 1995
A controllability test for general first-order representations Tech Report

U. Helmke, J. Rosenthal and J.M. Schumacher (Hans)

January 1995
Analysis of the asymmetrical shortest two-server queueing model Tech Report

J.W. Cohen

January 1995
Statistical models of random polyhedra Tech Report

I.S. Molchanov (Ilya) and D. Stoyan

January 1995
Set-valued means of random particles Tech Report

D. Stoyan and I.S. Molchanov (Ilya)

January 1995
Self-stabilizing mutual exclusion on directed graphs Tech Report

D. Alstein, J.H. Hoepman (Jaap-Henk), B.E. Olivier and P.I.A. van der Put

January 1995
Toward self-stabilizing wait-free shared memory objects Tech Report

J.H. Hoepman (Jaap-Henk), M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1995
Calculational graph algorithmics: reconciling two approaches with dynamic algebra Tech Report

K. Clenaghan

January 1995
A note on parallel executions of restrictive blind issuing protocols for secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Collapsing partial combinatory algebras Tech Report

I. Bethke and J.W. Klop (Jan Willem)

January 1995
On the symbiosis of a data mining environment and a DBMS Tech Report

M.L. Kersten (Martin) and M. Holsheimer

January 1995
An efficient electronic payment system withstanding parallel attacks Tech Report

L.A.M. Schoenmakers (Berry)

January 1995
Restrictive blind issuing of secret-key certificates in parallel mode Tech Report

S.A. Brands (Stefan)

January 1995
Python library reference Tech Report

G. van Rossum (Guido)

January 1995
Python reference manual Tech Report

G. van Rossum (Guido)

January 1995
Python tutorial Tech Report

G. van Rossum (Guido)

January 1995
Extending and embedding the Python interpreter Tech Report

G. van Rossum (Guido)

January 1995
The MADE help system Tech Report

M. Haindl and M.M. de Ruiter

January 1995
Efficient and provable security amplifications Tech Report

R.J.F. Cramer (Ronald) and T.P. Pedersen (Torben Pryds)

January 1995
On shared randomness and the size of secure signatures Tech Report

R.J.F. Cramer (Ronald)

January 1995
A perspective on databases and data mining Tech Report

M. Holsheimer, M.L. Kersten (Martin), H. Mannila and H. Toivonen

January 1995
A multimedia constraint system Tech Report

J.E.A. van Hintum and G.J. Reynolds

January 1995
Why combine logics? Tech Report

P. Blackburn (Patrick) and M. de Rijke (Maarten)

January 1995
More on restrictive blind issuing of secret-key certificates in parallel mode Tech Report

S.A. Brands (Stefan)

January 1995
Infinitary lambda calculus Tech Report

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

January 1995
Literate programming in C : CWEBx manual Tech Report

M.A.A. van Leeuwen (Marc)

January 1995
Tableau algorithms defined naturally for pictures Tech Report

M.A.A. van Leeuwen (Marc)

January 1995
Computation of functions and their derivatives in Content Tech Report

V.V. Levitin

January 1995
Remarks on food chain dynamics Tech Report

Y.A. Kuznetsov and S. Rinaldi

January 1995
A mechanistic model to describe the spread of phocid distemper virus Tech Report

A.A. de Koeijer, O. Diekmann (Odo) and P.J.H. Reijnders

January 1995
On estimating the intensity of oil-pollution in the North-Sea Tech Report

R. Helmers (Roelof)

January 1995
Structural identifiability from input-output observations of linear compartmental systems Tech Report

J.M. van den Hof

January 1995
A limit theorem for solutions of inequalities Tech Report

I.S. Molchanov (Ilya)

January 1995
Output feedback pole placement with dynamic compensators Tech Report

J. Rosenthal and X. Wang

January 1995
On the symmetrical shortest queue and the compensation approach Tech Report

J.W. Cohen

January 1995
Objects and classes, coalgebraically Tech Report

B.P.F. Jacobs

January 1995
An adaptive image reconstruction method Tech Report

M. Haindl

January 1995
Multimedia synchronization Tech Report

M. Haindl

January 1995
A data model for autonomous objects Tech Report

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

January 1995
A methodology for proving termination of general logic programs Tech Report

E. Marchiori

January 1995
X Python reference manual Tech Report

K.S. Mullender (Sjoerd)

January 1995
An effective axiomatization for real time ACP Tech Report

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

January 1995
Arrays, bounded quantification and iteration in logic and constraint logic programming Tech Report

K.R. Apt (Krzysztof)

January 1995
Completing partial combinatory algebras with unique head-normal forms Tech Report

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

January 1995
On normalisation Tech Report

F. van Raamsdonk (Femke) and P. Severi

January 1995
Presuppositions and information updating Tech Report

D.J.N. van Eijck (Jan)

January 1995
An evolutionary approach to time constrained routing problems Tech Report

C.H.M. van Kemenade (Cees) and J.N. Kok (Joost)

January 1995
Orgy in the computer: multi-parent reproduction in genetic algorithms Tech Report

A.E. Eiben, C.H.M. van Kemenade (Cees) and J.N. Kok (Joost)

January 1995
Multi-parent recombination to overcome premature convergence in genetic algorithms Tech Report

C.H.M. van Kemenade (Cees) and A.E. Eiben

January 1995
Evolutionary computation in air traffic control planning Tech Report

C.H.M. van Kemenade (Cees), C.F.W. Hendriks, H.H. Hesselink and J.N. Kok (Joost)

January 1995
On the coupled solution of diffusion and chemistry in air pollution models Tech Report

J.G. Verwer (Jan) and J.G. Blom (Joke)

January 1995
Triangularly implicit iteration methods for ODE-IVP solvers Tech Report

P.J. van der Houwen (Piet) and J.J.B. de Swart (Jacques)

January 1995
Counting interlacing pairs on the circle Tech Report

M. Hazewinkel (Michiel) and V.V. Kalashnikov

January 1995
Equational term graph rewriting Tech Report

Z.M. Ariola (Zena) and J.W. Klop (Jan Willem)

January 1995
Bootstrap resampling: a survey of recent research in the Netherlands Tech Report

R. Helmers (Roelof) and H. Putter

January 1995
Central limit theorem for a class of random measures associated with germ-grain models Tech Report

L. Heinrich and I.S. Molchanov (Ilya)

January 1995
Differential Hopf algebra structures on the universal enveloping algebra ofa Lie algebra Tech Report

N.W. van den Hijligenberg and R. Martini

January 1995
HomCont: An auto86 driver for homoclinic bifurcation analysis. Version 2.0 Tech Report

A.R. Champneys, Y.A. Kuznetsov and B. Sandstede

January 1995
A deterministic epidemic model taking acccount of repeated contacts betweenthe same individuals Tech Report

O. Diekmann (Odo), M.C.M. de Jong and J.A.J. Metz

January 1995
An implementation of the number field sieve Tech Report

M.C.M. de Jong, J.A.J. Metz, M. Elkenbracht-Huizing and O. Diekmann (Odo)

January 1995
A new method for finding amicable pairs Tech Report

H.J.J. te Riele (Herman)

January 1995
Factoring integers with large prime variations of the quadratic sieve Tech Report

H. Boender (Henk) and H.J.J. te Riele (Herman)

January 1995
Jacobi-Davidson methods for generalized MHD-eigenvalue problems Tech Report

J.G.L. Booten, D.R. Fokkema, G.L.G. Sleijpen and H.A. van der Vorst (Henk)

January 1995
A computational method for oleo-acoustics, application to hydraulic shock absorbers Tech Report

B. Koren (Barry), P.F.M. Michielsen (Paul), J.-W. Kars and P. Wesseling

January 1995
Splitting methods for three-dimensional transport models with interaction terms Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1995
Suggestions for a non-monotonic feature logic Tech Report

W.C. Rounds and G.Q. Zhang (Guo-Qiang)

January 1995
The difference between splitting in n and n + 1 Tech Report

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

January 1995
PREMO : an emerging standard for multimedia presentation Tech Report

I. Herman (Ivan), G.J. Reynolds and J. van Loo

January 1995
Secret-key certificates (continued) Tech Report

S.A. Brands (Stefan)

January 1995
(Un)decidability results for trigger design theories Tech Report

A.P.J.M. Siebes (Arno), J.F.P. van den Akker (Johan) and M.H. van der Voort

January 1995
New generation of secure and practical RSA-based signatures Tech Report

R.J.F. Cramer (Ronald)

January 1995
Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness Tech Report

C.H.M. van Kemenade (Cees), J.N. Kok (Joost) and A.E. Eiben

January 1995

Previous

Next

Available Years