Department of Mathematics and Computer Science

Research Output

Filter
Conference contribution
1979

Stationary behaviour of some ternary networks

Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (eds.). Berlin: Springer, p. 21-23 3 p. (Lecture Notes in Computer Science; vol. 69).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Strongly regular graphs

Seidel, J. J., 1979, Surveys in Combinatorics (Proceedings 7th British Combinatorial Conference, Cambridge, UK, 1979). Bollobas, B. (ed.). Cambridge: Cambridge University Press, p. 157-180 (London Mathematical Society Lecture Note Series; vol. 38).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

57 Citations (Scopus)

The pentagon

Seidel, J. J., 1979, Proceedings Bicentennial Congress Wiskundig Genootschap (Amsterdam, 1978), Part I. Baayen, P. C., Dulst, van, D. & Oosterhoff, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 81-96 (Mathematical Centre Tracts; vol. 100).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The pentagon

Seidel, J. J., 1979, Proceedings 2nd International Conference on Combinatorial Mathematics (New York, USA, April 4-7, 1978). p. 497-507 (Annals of the New York Academy of Sciences; vol. 319).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Turán theory and the lotto problem

Brouwer, A. E. & Voorhoeve, M., 1979, Packing and covering in combinatorics (Study week "Stapelen en overdekken", Amsterdam, The Netherlands, June 5-9, 1978). Schrijver, A. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 99-105 (Mathematical Centre Tracts; vol. 106).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Two queues in series with non-overlapping service times

Boxma, O. J., 1979, Proceedings 9th International Teletraffic Congress (ITC-9, Torremolinos, Spain, October 16-24, 1979). Madrid: s.n.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Uniform hypergraphs

Schrijver, A. & Brouwer, A. E., 1979, Packing and covering in combinatorics (Study week "Stapelen en overdekken", Amsterdam, The Netherlands, June 5-9, 1978). Schrijver, A. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 39-73 (Mathematical Centre Tracts; vol. 106).

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Unterräume von Blockplänen

Brouwer, A. E. & Lenz, H., 1979, Contributions to Geometry (Proceedings of the Geometry Symposium, Siegen, Germany, June 28-July 1, 1978). Tölke, J. & Wills, J. M. (eds.). Basel: Birkhäuser Verlag, p. 383-389

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1978

Commentary

Bruijn, de, N. G., 1978, Two decades of mathematics in the Netherlands : 1920-1940 : a retrospection on the occasion of the bicentennial of the Wiskundig Genootschap. Part 1 . Bertin, E. M. J., Bos, H. J. M. & Grootendorst, A. W. (eds.). Amsterdam: Mathematical Centre, p. 116-124

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
26 Downloads (Pure)

Commentary on B.L. van der Waerden's paper on arithmetic progressions in sets of integers

Bruijn, de, N. G., 1978, Two Decades of Mathematics in The Netherlands, 1920-1940. Bertin, E. M. J. & et al., X. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 116-124

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Eutactic stars

Seidel, J. J., 1978, Combinatorics (Proceedings Fifth Hungarian Colloquium on Combinatroics, Keszthely, Hungary, 1976). Hajnal, A. & Sos, V. T. (eds.). Amsterdam: North-Holland Publishing Company, p. 983-999 (Colloquia Mathematica Societatis János Bolyai; vol. 18).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Finding the correctness proof of a concurrent program

Dijkstra, E. W., 1978, Mathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978). Winkowski, J. (ed.). Berlin: Springer, p. 31-38 8 p. (Lecture Notes in Computer Science; vol. 64).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Forecasting and recruitment in graded manpower systems

Wessels, J. & van Nunen, J. A. E. E., 1978, Manpower Planning and Organization Design (NATO Conference, Stresa, Italy, 1977). Bryant, D. T. & Niehaus, R. J. (eds.). London: Plenum Press, p. 353-364 (NATO Conference Series, Series II, Systems Science; vol. 7).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Graphs related to exceptional root systems

Bussemaker, F. C., Cvetkovic, D. M. & Seidel, J. J., 1978, Combinatorics (Keszthely, Hungary, 1976). Hajnal, A. & Sos, V. T. (eds.). Amsterdam: North-Holland Publishing Company, p. 185-191 (Colloquia Mathematica Societatis János Bolyai; vol. 18).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Magneto-elastic stability of some composite structures

Alblas, J. B., 1978, Continuum Models of Discrete Systems (Proceedings 2nd International Symposium, Quebec, Canada, June 26-July 2, 1977). Provan, J. W. & Leipholz, H. H. E. (eds.). Waterloo: University of Waterloo Press, p. 283-312

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Möbius vlakken

van Lint, J. H., 1978, Meetkunde, van kunst tot kunde, vroeger en nu: vakantiecursus 1978 Stichting Mathematisch Centrum. Amsterdam: Stichting Mathematisch Centrum, p. 40-49

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Open Access
File
29 Downloads (Pure)

On associative block designs

Brouwer, A. E., 1978, Combinatorics (Proceedings Fifth Hungarian Colloquium on Combinatroics, Keszthely, Hungary, 1976). Hajnal, A. & Sos, V. T. (eds.). Amsterdam: North-Holland Publishing Company, p. 173-184 (Colloquia Mathematica Societatis János Bolyai; vol. 18).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Ovales et codages

van Lint, J. H., 1978, Colloque Mathématiques Discrètes : Codes et Hypergraphes (Brussels, Belgium, 1978). p. 301-305 (Cahiers du CERO; vol. 20).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
21 Downloads (Pure)

Systèmes de triplets et différences associées

Bermond, J-C., Brouwer, A. E. & Germa, A., 1978, Problèmes Combinatoires et Théorie des Graphes (Orsay, France, July 9-13, 1976). Bermond, J-C., Fournier, J-C., Las Vergnas, M. & Sotteau, D. (eds.). Paris: Éditions du C.N.R.S., p. 35-38 (Colloque international du Centre national de la recherche scientifique; vol. 260).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The use of partially ordered sets for the study of non-classical propositional logics

Bruijn, de, N. G., 1978, Colloques internationaux du Centre National de la Recherche Scientifique : No. 260: Problèmes combinatoires et théorie des graphes, Orsay, 9-13 Juillet 1976. Paris: CNRS, p. 67-70

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
18 Downloads (Pure)

Toepassingen van meetkunde in differentiaalvergelijkingen

van der Woude, J. C. S. P., 1978, Meetkunde : van kunst tot kunde, vroeger en nu: vacantiecursus 1978 Stichting Mathematisch Centrum. Amsterdam: Stichting Mathematisch Centrum, p. 85-103

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

1 Downloads (Pure)
1977

Adaptive control of specially structured Markov chains

Hee, van, K. M., 1977, Dynamische Optimierung (Tagungsband der Sonderforschungsbereiches 72). Schäl, M. (ed.). p. 99-116 (Bonner Mathematische Schriften; vol. 98).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A data manipulation language for relational data structures

ter Bekke, J. H., 1977, Systems for Large Data Bases (Proceedings 2nd International Conference on Very Large Data Bases, Brussels, Belgium, September 8-10, 1976). Lockemann, P. C. & Neuhold, E. J. (eds.). Amsterdam: North-Holland Publishing Company, p. 159-168

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Approximations in Bayesian controlled Markov chains

Hee, van, K. M., 1977, Markov Decision Theory (Proceedings of the advanced seminar, Amsterdam, The Netherlands, September 13-17, 1976). Tijms, H. C. & Wessels, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 171-182 (Mathematical Centre Tracts; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A transcendence measure for $\pi$

Cijsouw, P. L., 1977, Transcendence Theory, Advances and Applications (Proceedings Conference, Cambridge, UK, 1976). Baker, A. & Masser, D. W. (eds.). London: Academic Press Inc., p. 93-100

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Codes and designs

van Lint, J. H., 1977, Higher combinatorics : proceedings of the NATO Advanced Study Institute held in Berlin (West Germany), September 1-10, 1976 / Ed. Martin Aigner. Dordrecht: Reidel, p. 241-256 (NATO advanced study institutes series C; vol. 31).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
36 Downloads (Pure)

Markov decision processes and quasi-martingales

Groenewegen, L. P. J. & Hee, van, K. M., 1977, Recent Developments in Statistics (Proceedings European Meeting of Statisticians, Grenoble, France, 1976). Barra, J. R. & et al., X. (eds.). Amsterdam: North-Holland Publishing Company, p. 453-459

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Markov decision processes with unbounded rewards

Wessels, J. & van Nunen, J. A. E. E., 1977, Markov Decision Theory : Proceedings of the advanced seminar, Amsterdam, The Netherlands, September 13-17, 1976. Tijms, H. C. & Wessels, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 1-24 (Mathematical Centre Tracts; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
50 Downloads (Pure)

Markov games with unbounded rewards

Wessels, J., 1977, Dynamische Optimierung (Tagungsband der Sonderforschungsbereiches 72). Schäl, M. (ed.). p. 133-148 (Bonner Mathematische Schriften; vol. 98).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Mathematics education at university level

van Lint, J. H., 1977, Proceedings of the 3rd International Congress on Mathematical Education (ICME-3), Karlsruhe, 1976. p. 174-184

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
25 Downloads (Pure)

Nonlinear regression with nuisance parameters : an algorithm

Linssen, H. N., 1977, Recent Developments in Statistics (Proceedings European Meeting of Statisticians, Grenoble, France, 1976). Barra, J. R. & et al., X. (eds.). Amsterdam: North-Holland Publishing Company, p. 531-533

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

NONLINMIN, een procedure voor het minimaliseren van niet-lineaire functies onder niet-lineaire nevenvoorwaarden

Jong, de, J. L., 1977, Colloquium numerieke programmatuur, deel 2. Riele, te, H. J. J. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 93-120 (MC Syllabus; vol. 29).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
27 Downloads (Pure)

On the relation between optimality and saddle-conversation in Markov games

Groenewegen, L. P. J. & Wessels, J., 1977, Dynamische Optimierung (Tagungsband der Sonderforschungsbereiches 72). Schäl, M. (ed.). p. 19-32 (Bonner Mathematische Schriften; vol. 98).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Presentation of natural deduction

Nederpelt, R. P., 1977, Set Theory and Foundations of Mathematics (Proceedings of the Symposium, Belgrade 1977). p. 115-126 (Zbornik Radova Matematicki Institut. Nova Serija; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Programming : from craft to scientific discipline

Dijkstra, E. W., 1977, Proceedings 5th International Computing Symposium (Liège, Belgium, April 4-7, 1977). Morlet, E. & Ribbens, D. (eds.). AMsterdam: North-Holland Publishing Company, p. 23-30

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Stopping times and Markov programming

Wessels, J., 1977, Transactions of the Seventh Prague Conference on Information Theory, Statistical Decision Functions, Random Processes and the 1974 European Meeting of Statisticians (Prague, August 18-23, 1974). Dordrecht: Reidel, p. 575-585

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Strongly convergent dynamic programming : some results

Hee, van, K. M. & Wal, van der, J., 1977, Dynamische Optimierung (Tagungsband der Sonderforschungsbereiches 72). Schäl, M. (ed.). p. 165-172 (Bonner Mathematische Schriften; vol. 98).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Successive approximation methods for Markov games

Wal, van der, J. & Wessels, J., 1977, Markov Decision Theory (Proceedings of the advanced seminar, Amsterdam, The Netherlands, September 13-17, 1976). Tijms, H. C. & Wessels, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 39-55 (Mathematical Centre Tracts; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Successive approximations for convergent dynamic programming

Hee, van, K. M., Hordijk, A. & Wal, van der, J., 1977, Markov Decision Theory (Proceedings of the advanced seminar, Amsterdam, The Netherlands, September 13-17, 1976). Tijms, H. C. & Wessels, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 183-211 (Mathematical Centre Tracts; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The generation of successive approximation methods for Markov decision processes by using stopping times

van Nunen, J. A. E. E. & Wessels, J., 1977, Markov Decision Theory : Proceedings of the advanced seminar, Amsterdam, The Netherlands, September 13-17, 1976. Tijms, H. C. & Wessels, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 25-37 (Mathematical Centre Tracts; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
38 Downloads (Pure)

Weak-invariance and rest points in control systems

Hautus, M. L. J., Heymann, M. & Stern, R. J., 1977, Dynamic systems (Proceedings of a University of Florida international symposium). Bednarek, A. R. & Cesari, L. (eds.). London: Academic Press Inc., Vol. 1. p. 71-87

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1976

A principle for generating optimization procedures for discounted Markov decision processes

van Nunen, J. A. E. E. & Wessels, J., 1976, Progress in Operations Research (Erger, Hungary, 1974). Prékopa, A. (ed.). Amsterdam: North-Holland Publishing Company, Vol. 2. p. 683-695 (Colloquia Mathematica Societatis János Bolyai; vol. 12).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A survey of two-graphs

Seidel, J. J., 1976, Atti Convegno Internazionale Teorie Combinatorie (Rome, Italy, September 3-15, 1973), Tomo I. Roma: Accademia Nazionale dei Lincei, p. 481-511

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A time-wise hierarchy imposed upon the use of a two-level store

Dijkstra, E. W., 1976, Language hierarchies and interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L., Dijkstra, E. W., Ershov, A., Griffiths, M., Hoare, C. A. R., Wulf, W. A. & Samelson, K. (eds.). Berlin: Springer, p. 345-357 13 p. (Lecture Notes in Computer Science; vol. 46).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Concurrent Pascal, een taal van P. Brinch Hansen

Kruseman Aretz, F. E. J., 1976, Structuur van Programmeertalen (Colloquium 1974-1975, Amsterdam, The Netherlands). Geurts, L. J. M. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 219-236 (MC Syllabus; vol. 25).

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Finite geometric configurations

Seidel, J. J., 1976, Foundations of Geometry (Selected papers of a conference, Toronto, Canada, 1974). Scherk, P. (ed.). Toronto: University of Toronto Press, p. 215-250

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
21 Downloads (Pure)

Formal techniques and sizeable programs

Dijkstra, E. W., 1976, ECI Conference 1976 (Proceedings 1st European Conference in Informatics, Amsterdam, The Netherlands, August 9-12, 1976). Samelson, A. (ed.). Berlin: Springer, p. 225-235 11 p. (Lecture Notes in Computer Science; vol. 44).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Guarded commands, non-determinancy and a calculus for the derivation of programs

Dijkstra, E. W., 1976, Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L. & Samelson, K. (eds.). Berlin: Springer, p. 111-124 14 p. (Lecture Notes in Computer Science; vol. 46).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Het Automath-project

Bruijn, de, N. G., 1976, Nadenken over onderzoek : enkele voorbeelden : symposium tijdens de viering van het vierde lustrum van de T.H. Eindhoven, april 1976). Eindhoven: Technische Hogeschool Eindhoven, p. 14-18

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Open Access
File
32 Downloads (Pure)

Improved successive approximation procedures for discounted Markov decision processes

van Nunen, J. A. E. E., 1976, Progress in Operations Research (Erger, Hungary, 1974). Prékopa, A. (ed.). Amsterdam: North-Holland Publishing Company, Vol. 2. p. 667-682 (Colloquia Mathematica Societatis János Bolyai; vol. 12).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review