Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Shot-noise-weighted processes : a new family of spatial point processes Tech Report

M.N.M. van Lieshout (Marie-Colette) and I.S. Molchanov (Ilya)

January 1995
The complementary-slackness class of hybrid systems Tech Report

A.J. van der Schaft and J.M. Schumacher (Hans)

January 1995
Dynamic server assignment in a two-queue model Tech Report

O.J. Boxma (Onno) and D.G. Down

January 1995
Lattice calculus of the morphological slope transform Tech Report

H.J.A.M. Heijmans (Henk) and P. Maragos

January 1995
Realization of positive linear systems Tech Report

J.M. van den Hof

January 1995
The behavior of convolution codes Tech Report

J. Rosenthal, J.M. Schumacher (Hans) and E.V. York

January 1995
Realization by inspection Tech Report

J. Rosenthal and J.M. Schumacher (Hans)

January 1995
A partial classification of primes in the positive matrices and in the doubly stochastic matrices Tech Report

G. Picci, J.M. van den Hof and J.H. van Schuppen (Jan)

January 1995
Primes in the doubly stochastic circulants Tech Report

G. Picci, J.M. van den Hof and J.H. van Schuppen (Jan)

January 1995
On a class of one-dimensional random walks Tech Report

O.J. Boxma (Onno) and V.I. Lotov

January 1995
Multi-authority secret-ballot elections with linear work Tech Report

R.J.F. Cramer (Ronald), M. Franklin, L.A.M. Schoenmakers (Berry) and M. Yung (Moti)

January 1995
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning Tech Report

H. Herre, J.O.M. Jaspars and G. Wagner

January 1995
Manual of spIds, a software package for parameter identification in dynamic systems Tech Report

C.T.H. Everaars (Kees), P.W. Hemker (Piet) and W.J.H. Stortelder (Walter)

January 1995
Entropy conditions for heterogeneity induced shocks in two-phase flow problems Tech Report

J. Molenaar (Gijs)

January 1995
Proof-checking an audio control protocol with LP Tech Report

W.O.D. Griffioen

January 1995
The bakery protocol : a comparitive case-study in formal verification Tech Report

W.O.D. Griffioen and H.P. Korver

January 1995
Relational methods in logic, language and information Tech Report

P. Blackburn (Patrick), M. de Rijke (Maarten) and Y. Venema

January 1995
A proof system for finite trees Tech Report

P. Blackburn (Patrick), W. P. M. Meyer Viol (Wilfried) and M. de Rijke (Maarten)

January 1995
Logging in a computational steering environment Tech Report

J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1995
On the identification of Wiener-Hopf factors Tech Report

N. Bayer

January 1995
Filosofische aspecten van machinaal leren [Philosophical aspects of machine learning] Tech Report

H.A.N. van Maanen

January 1995
25 Tips voor beeldschermgebruikers Booklet

January 1995
A PIXE, EPMA and SIMS study of the Chainpur meteorite: small grains of lead found in a chondrule Article

Nuclear Instruments and Methods in Physics Research B, 104(1), 494-494.

J.L.A.M. Kramer, A.C. Kik (Annette) and R.D. Vis

January 1995
The nuclear microprobe used to investigate meteorites Article

Nuclear Instruments and Methods in Physics Research B, 104(1), 395-395.

R.D. Vis, A.C. Kik (Annette) and J.L.A.M. Kramer

January 1995
Numerical aspects of uniform Airy-type asymptotic expansions In Proceedings

N.M. Temme (Nico)

January 1995
Adaptive multigrid applied to a bipolar transistor problem Article

Applied Numerical Mathematics, 17(1), 61-83.

J. Molenaar (Gijs)

January 1995
Step-parallel algorithms for stiff initial value problems Article

Computers & Mathematics with Applications, 30(11), 9-23.

W.A. van der Veen (Wolter)

January 1995
Uniform asymptotic expansions of integrals: a selection of problems In Proceedings

N.M. Temme (Nico)

January 1995
The essence of the law of large numbers In Proceedings

M.S. Keane

January 1995
Matching Book Chapter

A.M.H. Gerards (Bert)

January 1995
A methodology for proving termination of general logic programs In Proceedings

E. Marchiori

January 1995
Transformation and analysis of (constraint) logic programs Dissertation

Networks and Optimization

S. Etalle (Sandro)

January 1995
Action-angle Maps and Scattering Theory for Some Finite-dimensional Integrable Systems III. Sutherland Type Systems and their Duals Article

Publications of the Research Institute for Mathematical Sciences, 31(2), 247-353.

S.N.M. Ruijsenaars (Simon)

January 1995
Experimentele wiskunde : voordracht Book

M. Hazewinkel (Michiel)

January 1995
Condition improvement for point relaxation in multigrid, subsonic Euler-flow computations Article

Applied Numerical Mathematics, 16(4), 457-469.

B. Koren (Barry)

January 1995
A proof-theoretic treatment of assignments. Deduction and language. Article

Bulletin of the Interest Group in Pure and Applied Logics, 3(2-3), 223-242.

W. P. M. Meyer Viol (Wilfried)

January 1995
Sparse-grid finite-volume multigrid for $3$D-problems Article

Advances in Computational Mathematics, 4(1-2), 83-110.

P.W. Hemker (Piet)

January 1995
CWI institute plan 1995 - 2018 Book

CWI CWI

January 1995
Product forms based on backward traffic equations Article

Journal of Applied Probability, 32(2), 508-518.

R.J. Boucherie (Richard)

January 1995
A Petrov-Galerkin mixed finite element method with exponential fitting Article

Numerical Methods for Partial Differential Equations, 501-524.

R.R.P. van Nooyen (Ronald)

January 1995
A short proof of the planarity characterization of Colin de Verdière Article

Journal of Combinatorial Theory - Series B, 65(2), 269-272.

H. van der Holst

January 1995
A globally gated polling system with a dormant server Article

Probability in the Engineering and Informational Sciences, 9(2), 239-254.

S.C. Borst (Sem)

January 1995
Mathematical morphology: a modern approach in image processing based on algebra and geometry Article

SIAM Review, 37(1), 1-36.

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

January 1995
On Tutte's characterization of graphic matroids---a graphic proof Article

Journal of Graph Theory, 20(3), 351-359.

A.M.H. Gerards (Bert)

January 1995
Polling systems with multiple coupled servers Article

Queueing Systems, 20(3-4), 369-393.

S.C. Borst (Sem)

January 1995
Partial up and down logic. Belief revision. Article

Notre Dame Journal of Formal Logic, 36(1), 134-157.

J.O.M. Jaspars

January 1995
Efficient parallel predictor-corrector methods In Proceedings

J.J.B. de Swart (Jacques)

January 1995
Static optimization of queueing systems Book Chapter

O.J. Boxma (Onno)

January 1995
A Lindström theorem for modal logic In Proceedings

M. de Rijke (Maarten)

January 1995
Bernoulli polynomials old and new: generalizations and asymptotics Article

CWI Quarterly, 8(1), 47-66.

N.M. Temme (Nico)

January 1995
Action-angle maps and scattering theory for some finite-dimensional integrable systems III. Sutherland type systems and their duals Article

Publications of the Research Institute for Mathematical Sciences, Kyoto University, 31(2), 247-353.

S.N.M. Ruijsenaars (Simon)

January 1995
Elements of applied bifurcation theory Book

Y.A. Kuznetsov

January 1995
Polyhedral combinatorics Book Chapter

A. Schrijver (Lex)

January 1995
Randomness Article

CWI Quarterly, 8(1), 67-82.

P.M.B. Vitányi (Paul)

January 1995
A calculus of transition systems (towards universal coalgebra) In Proceedings

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

January 1995
Asymptotics of zeros of incomplete gamma functions In Proceedings

N.M. Temme (Nico)

January 1995
Multiparameter quantum groups and multiparameter $R$-matrices. Geometric and algebraic structures in differential equations Article

Acta Applicandae Mathematicae, 41(1-3), 57-98.

M. Hazewinkel (Michiel)

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

Nieuw Archief voor Wiskunde, 13(3), 325-361.

M. Hazewinkel (Michiel)

January 1995
A continued fraction titbit In Proceedings

M.S. Keane

January 1995
Solution of $3$D elliptic systems by semi-refinement Article

Analele Stiintifice ale Universitatii Ovidius Constanta, 3(1), 63-82.

P.W. Hemker (Piet)

January 1995
Mathematical classification of complete chaos In Proceedings

M.S. Keane

January 1995
Physics and the new computation In Proceedings

P.M.B. Vitányi (Paul)

January 1995
Parameters and parametrization in specification, using distributive categories Article

Fundamenta Informaticae, 24(3), 209-250.

B.P.F. Jacobs

January 1995
Subtypes and bounded quantification from a fibred perspective In Proceedings

B.P.F. Jacobs

January 1995
State-space formulas for the computation of the gap Article

International Journal of Control, 62(3), 737-748.

J. de Does (Jesse)

January 1995
Structured Hyperdocument Generation Using OCR and Icon Detection In Proceedings

M. Worring (Marcel), R. van den Boomgaard and A.W.M. Smeulders (Arnold)

January 1995
Digitized Circular Arcs: Characterization and Parameter Estimation Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 17(6), 587-598.

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1995
An Oda/Dexter Hyperdocument System with Automated Link Definition In Proceedings

M. Worring (Marcel), R. Buitenhuis and A.W.M. Smeulders (Arnold)

January 1995
Asymptotics of a time correlation function in multiple recurrent scattering of scalar waves Article

ZAMP: Zeitschrift für angewandte Mathematik und Physik, 46(1), 61-69.

N.M. Temme (Nico), F. Vitalis, B.A. van Tiggelen and A. Lagendijk (Ad)

January 1995
Comparing negation in logic programming and in Prolog Book Chapter

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1995
Learnability of Kolmogorov-easy circuit expressions via queries In Proceedings

J. Balcázar, H.M. Buhrman (Harry) and M. Hermo

January 1995
Self-stabilization of wait-free shared memory objects In Proceedings

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

January 1995
Solutions of functorial and non-functorial metric domain equations In Proceedings

F. Alessi, P. Baldan, G. Bellè and J.J.M.M. Rutten (Jan)

January 1995
Using autoreducibility to separate complexity classes In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and L. Torenvliet (Leen)

January 1995
A Simple Uniform Semantics for Concatenation-based Grammar In Proceedings

A.V. Groenink (Annius)

January 1995
A Unifying Framework for Concatenation-based Grammar Formalisms In Proceedings

A.V. Groenink (Annius)

January 1995
Experiences in authoring hypermedia: Creating better presentations Book Chapter

L. Hardman (Lynda)

January 1995
Towards the generation of hypermedia structure In Proceedings

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

January 1995
Authoring support for durable interactive multimedia presentations In Proceedings

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

January 1995
Using the Amsterdam hypermedia model for abstracting presentation behavior In Proceedings

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

January 1995
Multimedia authoring tools: State of the art and research challenges Article

Lecture Notes in Computer Science, 575-591.

D.C.A. Bulterman (Dick) and L. Hardman (Lynda)

January 1995
Embedded video in hypermedia documents: Supporting integration and adaptive control Article

ACM Transactions on Information Systems, 1-30.

D.C.A. Bulterman (Dick)

January 1995
Adaptive Quality-of-Service Support in Heterogeneous Networks: Results of a Trans-European Experiment Tech Report

D.C.A. Bulterman (Dick), P. Beertema (Piet) and K.S. Mullender (Sjoerd)

January 1995
On the morphology of $gamma$-expansions with deleted digits Article

Transactions of the American Mathematical Society, 955-966.

M.S. Keane, M. Smorodinsky and B. Solomyak

January 1995
Control of a random walk with noisy delayed information Article

Systems & Control Letters, 24(3), 207-213.

E. Altman and G.M. Koole (Ger)

January 1995
Reasoning about update logic Article

Journal of Philosophical Logic, 24(1), 19-45.

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1995
A positive finite-difference advection scheme Article

Journal of Computational Physics, 117(1), 35-46.

W. Hundsdorfer (Willem), B. Koren (Barry), M. van Loon (Martin) and J.G. Verwer (Jan)

January 1995
A triangle inequality for covariances of binary FKG random variables Article

Annals of Applied Probability, 5(1), 322-326.

J. van den Berg (Rob) and A. Gandolfi

January 1995
Incidence and lattice calculus with applications to stochastic geometry and image analysis Article

Applicable Algebra in Engineering, Communication and Computing, 6(3), 129-146.

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

January 1995
A new approach to formal language theory by Kolmogorov complexity Article

SIAM Journal on Computing, 24(2), 398-410.

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

January 1995
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Article

Studia Logica, 61-78.

M. de Rijke (Maarten) and Y. Venema

January 1995
On the estimation of the parameters for the Littlewood model in software reliability Article

Statistica Neerlandica, 49(2), 165-184.

L.G. Barendregt and M.C. J. van Pul (Mark)

January 1995
Deformations of vector fields and Hamiltonian vector fields on the plane Article

Mathematics of Computation, 64(211), 1215-1226.

N.W. van den Hijligenberg, Y.Y. Kotchetkov (Youri) and G. Post

January 1995
Control of discrete event systems---research at the interface of control theory and computer science Article

CWI Quarterly, 8(1), 31-45.

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

January 1995
Perturbing evolutionary systems by step responses and cumulative outputs Article

Differential Integral Equations, 8(5), 1205-1244.

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

January 1995
Line transects, covariance functions and set convergence Article

Advances in Applied Probability, 27(3), 585-605.

A.J. Cabo (Annoesjka) and A.J. Baddeley (Adrian)

January 1995
Convergence aspects of step-parallel iteration of Runge-Kutta methods In Proceedings

W.A. van der Veen (Wolter), J.J.B. de Swart (Jacques) and P.J. van der Houwen (Piet)

January 1995
A note on splitting errors for advection-reaction equations In Proceedings

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1995
Finding all periods and initial palindromes of a string in parallel Article

Algorithmica, 14(4), 355-366.

D. Breslauer (Dany) and Z. Galil

January 1995
Right angle free subsets in the plane Article

Graphs and Combinatorics, 11(2), 121-129.

B. Gamble, W.R. Pulleyblank, B. Reed and F.B. Shepherd (Bruce)

January 1995

Previous

Next

Available Years