Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
A two-level evolution strategy : balancing global and local search Tech Report

C.H.M. van Kemenade (Cees)

January 1995
Wild bootstrapping in finite populations with auxiliary information Tech Report

R. Helmers (Roelof) and M.H. Wegkamp

January 1995
An M/G/1 queue with multiple types of feedback and gated vacations Tech Report

O.J. Boxma (Onno) and U. Yechiali

January 1995
Routing control of a motorway network Tech Report

H.J.C. Huijberts and J.H. van Schuppen (Jan)

January 1995
On the role of Rouché's theorem in queueing analysis Tech Report

J.W. Cohen and D.G. Down

January 1995
Averaging of random sets based on their distance functions Tech Report

A.J. Baddeley (Adrian) and I.S. Molchanov (Ilya)

January 1995
Wiener-Hopf analysis of an M/G/1 queue with negative customers and of a related class of random walks Tech Report

N. Bayer and O.J. Boxma (Onno)

January 1995
An asymptotic analysis of closed queueing networks with branching populations Tech Report

N. Bayer, E.G. Coffman and Y.A. Kogan

January 1995
Fast and efficient solution methods for ozone chemistry Tech Report

M. van Loon (Martin)

January 1995
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

January 1995
A modal characterization of Peirce algebras Tech Report

M. de Rijke (Maarten)

January 1995
Inheritance and cofree constructions Tech Report

B.P.F. Jacobs

January 1995
Coordination of massively concurrent activities Tech Report

F. Arbab (Farhad)

January 1995
Focus points and convergent process operators Tech Report

J.F. Groote (Jan Friso) and J.G. Springintveld

January 1995
A survey of automated timetabling Tech Report

A. Schaerf

January 1995
High performance support for OO traversals in Monet Tech Report

P.A. Boncz (Peter), F. Kwakkel and M.L. Kersten (Martin)

January 1995
A model for I/O in equational languages with don't care non-determinism Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1995
Minimal term rewriting systems Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1995
An extensible language for the generation of parallel data manipulation andcontrol packages Tech Report

H.R. Walters (Pum), J.F.T. Kamperman (Jasper) and T.B. Dinesh

January 1995
Rewrite systems for integer arithmetic Tech Report

H.R. Walters (Pum) and H. Zantema (Hans)

January 1995
Two-sorted metric temporal logics Tech Report

A. Montanari and M. de Rijke (Maarten)

January 1995
Hybrid I/O automata Tech Report

N.A. Lynch (Nancy), R. Segala, F.W. Vaandrager (Frits) and H.B. Weinberg

January 1995
A note on fairness in I/O automata Tech Report

J.M.T. Romijn (Judi) and F.W. Vaandrager (Frits)

January 1995
Approximating Runge-Kutta matrices by triangular matrices Tech Report

W. Hoffmann (Walter) and J.J.B. de Swart (Jacques)

January 1995
On the diagonal approximation of full matrices Tech Report

W.M. Lioen (Walter)

January 1995
Porting a 3D-model for the transport of reactive air pollutants to the parallel machine T3D Tech Report

C. Keßler (Carsten), J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1995
Experiences with sparse matrix solvers in parallel ODE software Tech Report

J.G. Blom (Joke) and J.J.B. de Swart (Jacques)

January 1995
LGO : an implementation of a Lipschitzian global optimization procedure Tech Report

J.D. Pintér

January 1995
On $ \phi $ -amicable pairs (with appendix) Tech Report

G.L. Cohen and H.J.J. te Riele (Herman)

January 1995
Iterating the sum-of-divisors function Tech Report

G.L. Cohen and H.J.J. te Riele (Herman)

January 1995
Solving implicit differential equations on parallel computers Tech Report

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

January 1995
From exponential coordinates to bicovariant differential calculi on matrix quantum groups Tech Report

N.W. van den Hijligenberg and R. Martini

January 1995
A natural differential calculus on Lie bialgebras with dual of triangular type Tech Report

N.W. van den Hijligenberg and R. Martini

January 1995
The many facets of evolutionary dynamics Tech Report

O. Diekmann (Odo)

January 1995
A new lower bound for the critical probability of site percolation on the square lattice Tech Report

J. van den Berg (Rob) and A. B. Ermakov (Alexei)

January 1995

Previous

Next

Available Years