Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Wetenschappelijk programma 1988 : meerjarenplan 1989-1993, deel 1 Book

January 1988
A simple and secure way to show the validity of your public key In Proceedings

J.A.M. van de Graaf (Jeroen) and R. Peralta

January 1988
Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Book Chapter

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and F.W. Wubs (Fred)

January 1988
Multigrid, defect correction and upwind schemes for the steady Navier-Stokes equations In Proceedings

P.W. Hemker (Piet) and B. Koren (Barry)

January 1988
Weighted distributed match-making (preliminary version) In Proceedings

E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1988
Vehicle routing with time windows: Optimization and approximation Book Chapter

M. Desrochers, J.K. Lenstra (Jan Karel), M.W.P. Savelsbergh and F. Soumis

January 1988
Contractions in comparing concurrency semantics In Proceedings

J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

January 1988
A proof technique for register atomicity (preliminary version) In Proceedings

B. Awerbuch, L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1988
Reproducibility of Counting Immunoglobulin-Containing Cells in Colonic Mucosal Biopsies Article

Analytical and Quantitative Cytology and Histology, 10(2), 94-100.

C.A. Seldenrijk, G. Hendriks, A.W.M. Smeulders (Arnold), J.P.A. Baak, J.P. van Spreeuwel, S.G.M. Meuwissen and C.J.L.M. Meijer

January 1988
Measurement of End Diastolic Shape Deformity Using Bending Energy In Proceedings

J. Duncan, A.W.M. Smeulders (Arnold), F.A. Lee and B.L. Zaret

January 1988
Application of the Method of Multiple Thresholding to White Blood Cell Classification Article

Computers in Biology and Medicine, 18(2), 65-74.

E.S. Gelsema, H.F. Bao, A.W.M. Smeulders (Arnold) and H.C. den Harink

January 1988
Analysis of Measuring System Parameters That Influence Reproducibility of Morphometric Assessments with a Graphic Tablet Article

Human Pathology, 19(5), 513-517.

J.C. Fleege, J.P.A. Baak and A.W.M. Smeulders (Arnold)

January 1988
Accurate Measurement of Shape at Low Resolution In Proceedings

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

January 1988
On estimating the complexity of logarithmic decompositions Article

Information Processing Letters, 26(6), 321-324.

M.A. Bezem and J. van Leeuwen (Jan)

January 1988
Experiments with parallel algorithms for combinatorial problems Article

European Journal of Operational Research, 33(1), 65-81.

G.A.P. Kindervater (Gerard) and H. Trienekens

January 1988
The 2-spaces of the standard $Esb 6(q)$-module In Proceedings

A.M. Cohen (Arjeh) and B.N. Cooperstein

January 1988
On simple moving grid methods for one-dimensional evolutionary partial differential equations Article

Journal of Computational Physics, 74(1), 191-213.

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1988
A Vector-like Architecture for Raster Graphics In Proceedings

V. Akman (Varol), P.J.W. ten Hagen (Paul) and A.A.M. Kuijk (Fons)

January 1988
An Exact Incremental Hidden Surface Removal Algorithm In Proceedings

A.A.M. Kuijk (Fons), P.J.W. ten Hagen (Paul) and V. Akman (Varol)

January 1988
Waiting times in discrete-time cyclic-service systems Article

IEEE Transactions on Communications, 36(2), 164-170.

O.J. Boxma (Onno) and W.P. Groenendijk

January 1988
Trilinear alternating forms on a vector space of dimension 7 Article

Communications in Algebra, 16(1), 1-25.

A.M. Cohen (Arjeh) and A.G. Helminck

January 1988
Glivenko-Cantelli properties of some generalized empirical DF's and strong convergence of generalized $L$-statistics Article

Probability Theory and Related Fields, 79(1), 75-93.

R. Helmers (Roelof), P. Janssen and R. Serfling

January 1988
A remark on partial linear spaces of girth $5$ with an application to strongly regular graphs Article

Combinatorica, 8(1), 57-61.

A.E. Brouwer (Andries) and A. Neumaier

January 1988
Decomposable form equations In Proceedings

J.-H. Evertse (Jan-Hendrik) and K. Györy

January 1988
Perturbation theory for dual semigroups II. Time-dependent perturbations in the sun-reflexive case Article

Proceedings of the Royal Society of Edinburgh A, 109(1-2), 145-172.

P. Clermont, O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and H.R. Thieme

January 1988
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency In Proceedings

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

January 1988
Parallel computing in combinatorial optimization Article

Annals of Operations Research, 14(1-4), 245-289.

G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

January 1988
S-unit equations and their applications In Proceedings

J.-H. Evertse (Jan-Hendrik), K. Györy, C.L. Stewart and R. Tijdeman

January 1988
Two queues with alternating service and switching times Book Chapter

O.J. Boxma (Onno) and W.P. Groenendijk

January 1988
Solution of the steady Euler equations by a multigrid method In Proceedings

B. Koren (Barry) and S.P. Spekreijse

January 1988
On the number of polynomials and integral elements of given discriminant Article

Acta Mathematica Hungarica, 51(3-4), 341-362.

J.-H. Evertse (Jan-Hendrik) and K. Györy

January 1988
Elementary symmetric polynomials of increasing order Article

Probability Theory and Related Fields, 80(1), 21-35.

A.J. van Es (Bert) and R. Helmers (Roelof)

January 1988
Distributed match-making Article

Algorithmica, 3(3), 367-391.

S.J. Mullender (Sape) and P.M.B. Vitányi (Paul)

January 1988
A complete inference system for regular processes with silent moves In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1988
Robust control of flexible structures: a case study Article

Automatica, 24(2), 177-186.

J. Bontsema, R.F. Curtain and J.M. Schumacher (Hans)

January 1988
In memoriam A van Wijngaarden 1916--1987 Article

Nieuw Archief voor Wiskunde, 6(3), 269-282.

P.C. Baayen and J. Nuis

January 1988
Finiteness criteria for decomposable form equations Article

Acta Arithmetica, 50(4), 357-379.

H. Gzyl, J.-H. Evertse (Jan-Hendrik) and K. Györy

January 1988
Overall population stability despite local extinction: the stabilizing influence of prey dispersal from predator-invaded patches Article

Theoretical Population Biology, 34(2), 169-176.

M.W. Sabelis and O. Diekmann (Odo)

January 1988
Approximating the distribution of Greenwood's statistic Article

Statistica Neerlandica, 42(3), 153-161.

R.J.M.M. Does, R. Helmers (Roelof) and C.A.J. Klaassen (Chris)

January 1988
Metric semantics for concurrency Article

BIT : Numerical Mathematics, 28(3), 504-529.

J.W. de Bakker (Jaco) and J.-J.C. Meyer (John-Jules)

January 1988
Asymptotic normality of generalized $L$-statistics with unbounded scores Article

Journal of Statistical Planning Inference, 43-53.

R. Helmers (Roelof) and F.H. Ruymgaart

January 1988
Designing equivalent semantic models for process creation Article

Theoretical Computer Science, 60(2), 109-176.

P.H.M. America (Pierre) and J.W. de Bakker (Jaco)

January 1988
Minimum disclosure proofs of knowledge In Proceedings

G. Brassard (Gilles), D. Chaum (David) and C. Crépeau (Claude)

January 1988
Solving reflexive domain equations in a category of complete metric spaces In Proceedings

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1988
Smoothed predictor-corrector methods for solving partial differential equations In Proceedings

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

January 1988
Readies and failures in the algebra of communicating processes Article

SIAM Journal on Computing, 17(6), 1134-1177.

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

January 1988
Defect correction and nonlinear multigrid for the steady Euler equations Book

P.W. Hemker (Piet) and B. Koren (Barry)

January 1988
Counting is easy Article

Journal of the Association for Computing Machinery, 35(4), 985-1000.

J.I. Seiferas and P.M.B. Vitányi (Paul)

January 1988
Censoring, truncation and filtering in statistical models based on counting processes In Proceedings

P.K. Andersen, Ø. Borgan, R.D. Gill (Richard) and N. Keiding

January 1988
The distance-regular antipodal covers of classical distance-regular graphs In Proceedings

J.T.M. van Bon (John) and A.E. Brouwer (Andries)

January 1988
STATAL : statistical procedures in Algol 60, Part 3 Book

R. van der Horst (Rob) and R.D. Gill (Richard)

January 1988
STATAL : statistical procedures in Algol 60, Part 2 Book

R. van der Horst (Rob) and R.D. Gill (Richard)

January 1988
A program generator for recognition, parsing and transduction with syntactic patterns Book

G.J. van der Steen

January 1988
Computational aspects of survey data processing Book

L.C.R.J. Willenborg

January 1988
Numerical solution of optimal control problems with state constraints by sequential quadratic programming in function space Book

K.C.P. Machielsen

January 1988
Continuous decoupling transformations for linear boundary value problems Book

P.M. van Loon

January 1988
Theoretical and computational aspects of simulated annealing Book

P.J.M. van Laarhoven

January 1988
Asymptotic analysis of a class of perturbed Korteweg-de Vries initial value problems Book

F. de Kerf

January 1988
Numerical solution of the shallow-water equations Book

F.W. Wubs (Fred)

January 1988
Asymptotics for generalized chi-square goodness-of-fit tests Book

F.C. Drost

January 1988
Analysis of means in some non-standard situations Book

J.B. Dijkstra

January 1988
Multigrid solution of the steady Euler equations Book

S.P. Spekreijse

January 1988
Regression analysis and empirical processes Book

S.A. van de Geer (Sara)

January 1988
Statistical estimation in large parameter spaces Book

A.W. van der Vaart

January 1988
STATAL : statistical procedures in Algol 60, Part 1 Book

January 1988
Publiceren met LATEX Book

R. de Bruin, C.G. van der Laan, J.R. Luyten and H.F. Vogt

January 1988
Vakantiecursus 1988 Centrum voor Wiskunde en Informatica : differentierekening Book

January 1988
Mark Kac seminar on probability and physics : syllabus : [seminar held during the academic year 1985-1987 at Amsterdam] Book

January 1988
Proceedings seminar 1984-1986 mathematical structures in field theories : [held at Amsterdam] Book

January 1988
A multigrid approach for one-dimensional semiconductor device simulation Article

P.W. Hemker (Piet)

January 1988
Lost in Hyperspace: Cognitive Mapping and Navigation in a Hypertext Environment Book Chapter

D.M. Edwards and L. Hardman (Lynda)

January 1988
Hypertext Tips: Experiences in Developing a Hypertext Tutorial In Proceedings

L. Hardman (Lynda)

January 1988
Introduction to nilpotent approximation filtering In Proceedings

M. Hazewinkel (Michiel)

January 1988
ECMI thoughts In Proceedings

M. Hazewinkel (Michiel)

January 1988
Preface : Stochastic processes in physics and engineering Book Chapter

S. Albeverio, P. Blanchard and M. Hazewinkel (Michiel)

January 1988
Preface : Proceedings European symposium on mathematics in industry 1985 In Proceedings

E.W.C. van Groesen, M. Hazewinkel (Michiel) and R.M.M. Mattheij

January 1988
Arithmetic classification of perfect models of stratified programs In Proceedings

K.R. Apt (Krzysztof) and H.A. Blair

January 1988
Towards a theory of declarative knowledge Book Chapter

K.R. Apt (Krzysztof), H.A. Blair and A. Walker

January 1988
Proving correctness of concurrent programs - a quick introduction Tech Report

K.R. Apt (Krzysztof)

January 1988
Message from a departed president Article

ECMI newsletter, 1988(3), 6-9.

M. Hazewinkel (Michiel)

January 1988
Deformation theory of algebras and structures and applications Book

January 1988
Proceedings of the first European symposium on mathematics in industry Book

January 1988
Stochastic processes in physics and engineering Book

S. Albeverio, P. Blanchard and L. Streit

January 1988
A short tutorial on Lie algebras Tech Report

M. Hazewinkel (Michiel)

January 1988
Appraising fairness in languages for distributed programming Article

Distributed Computing, 226-241.

K.R. Apt (Krzysztof), N. Francez and S. Katz

January 1988
Fairness in parallel programs, the transformational approach Article

ACM Transactions on Programming Languages and Systems, 420-455.

E.R. Olderog (Ernst-Rüdiger) and K.R. Apt (Krzysztof)

January 1988
Multigrid, defect correction and upwind schemes for the steady Navier-Stokes equations Book Chapter

P.W. Hemker (Piet) and B. Koren (Barry)

January 1988
A multigrid approach for one-dimensional semiconductor device simulation Book Chapter

P.W. Hemker (Piet)

January 1988
How to tidy up your set-system? Article

Combinatorics (A. Hajnal, L. Lovász and V.T. Sós, eds.), 309-314.

C.A.J. Hurkens (Cor), L. Lovász (László), A. Schrijver (Lex) and É. Tardos

January 1988
Asymptotic expansion of a special integral In Proceedings

N.M. Temme (Nico)

January 1988
On fractional multicommodity flows and distance functions Article

Discrete Mathematics, 99-109.

C.A.J. Hurkens (Cor), A. Schrijver (Lex) and É. Tardos

January 1988
Mededelingenblad Personeel CWI 1987 - 1995 Miscellaneous

December 1987
Multigrid solution of the steady Euler equations Dissertation

S.P. Spekreijse

November 1987
Hoofdrekenen en tiptoetsen : Brochure eerder uitgegeven onder de titel "Rekenen met Raderen" t.g.v. de tentoonstelling in Teylers Museum, Haarlem, febr.-mei 1987 Booklet

November 1987
Beleidsplan computervoorzieningen 1988-1993 : bijlagen Book

CWI CWI

November 1987
Aanvraag Intentioneel Apparatuur Schema (IAS) 1988-1993 : appendices Book

November 1987
Counting process systems : identification and stochastic realization Dissertation

P.J.C. Spreij (Peter)

October 1987
Numerical solution of the shallow-water equations Dissertation

F.W. Wubs (Fred)

October 1987
Translating programs into delay-insensitive circuits Dissertation

J.C. Ebergen (Jo)

October 1987
Conferentie van numeriek wiskundigen : Zeist, 05-07.10.1987 Book

October 1987

Previous

Next

Available Years