Department of Mathematics and Computer Science

Research Output

Filter
Conference contribution
1962

De keerzijde van de vooruitgang en de wiskunde

Peremans, W., 1962, Handelingen van het 37ste Nederlandse Natuur- en Geneeskundig Congres (Amsterdam, The Netherlands, April 6-8, 1961). 's-Gravenhage: Nijhoff, p. 1-12

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

1966

Application of the thermodynamics of irreversible processes to continuum mechanics

Kluitenberg, G. A., 1966, 1966 Non-equilibrium Thermodynamics, Variational Techniques and Stability (Proc. Sympos. Univ. Chicago, May 17-19, 1965). Chicago IL: Univ. Chicago Press, p. 91-99

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

Some remarks on higher curvature theory

Veldkamp, G. R., 1966, 9th Mechanism Conference (West Lafayette IN, USA, 1966). Paper 66-ME-14

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

1967

Uncertainty principles in Fourier analysis

Bruijn, de, N. G., 1967, Inequalities : proceedings of a symposium held at Wright-Patterson air force base, Ohio, August 19-27, 1965. Shisha, O. (ed.). New York: Academic Press Inc., p. 57-71

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

Open Access
File
228 Downloads (Pure)
1968

Co-operating sequential processes

Dijkstra, E. W., 1968, Programming languages : NATO Advanced Study Institute : lectures given at a three weeks Summer School held in Villard-le-Lans, 1966 / ed. by F. Genuys. London: Academic Press Inc., p. 43-112

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

Open Access
File
1112 Downloads (Pure)

Some applications of statistics in chemical and physical classroom experiments

Hamaker, H. C., 1968, European Meeting on Statistics, Econometrics and Manag. Sci. (Amsterdam, The Netherlands, September 2-7, 1968).

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

The Cosserat continuum with electronic spin

Alblas, J. B., 1968, Mechanics of generalized continua (Proceedings of the IUTAM symposium on the generalized Cosserat continuum and the continuum theory of dislocations with applications, Freudenstadt, August 28-31, Stuttgart, September 1-2, 1967). Kröner, E. (ed.). Berlin: Springer, p. 350-354 5 p. (IUTAM Symposia).

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

1969

Continuum mechanics of media with internal structure

Alblas, J. B., 1969, Teoria dei continui polari (Istituto Nazionale di Alta Matematica (INDAM), Rome, Italy, April 2-5, 1968). London: Academic Press Inc., p. 229-251 (Symposia Mathematica; vol. 1).

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

Enumeration of tree-shaped molecules

Bruijn, de, N. G., 1969, Recent Progress in Combinatorics : proceedings of the third Waterloo conference on combinatorics, May 1968. Tutte, W. T. (ed.). New York: Academic Press Inc., p. 59-68

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

Open Access
File
34 Downloads (Pure)

On the nonexistence of certain perfect codes

van Lint, J. H., 1969, Computers in Number Theory (Proceedings Science Research Council Atlas Symposium no.2, Oxford, UK, August 18-23, 1969). Atkin, A. O. L. & Birch, B. J. (eds.). London: Academic Press Inc., p. 277-282

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

Open Access
File
36 Downloads (Pure)

Strongly regular graphs

Seidel, J. J., 1969, Recent Progress in Combinatorics (Proceedings 3rd Waterloo Conference on Combinatorics, May 1968). Tutte, W. T. (ed.). London: Academic Press Inc., p. 185-198

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

3 Citations (Scopus)
1970

A covering problem

Kamps, H. J. L. & van Lint, J. H., 1970, Combinatorial theory and its applications (Balatonfüred, Hungary, 1969). Erdös, P., Rényi, A. & Sós, V. T. (eds.). Amsterdam: North-Holland Publishing Company, p. 679-685 (Colloquia Mathematica Societatis János Bolyai; vol. 4).

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

Open Access
File
23 Citations (Scopus)
52 Downloads (Pure)

A note on interpolating periodic quintic spline functions

Schurer, F., 1970, Approximation Theory (Proceedings of a symposium, Lancaster, UK, July 1969). Talbot, A. (ed.). London: Academic Press Inc., p. 71-81

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

Automath, a language for checking mathematics with a computer

Nederpelt, R. P., 1970, Tagung über formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970). Bonn: Gesellschaft für Mathematik und Datenverarbeitung, p. 27-29

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

On the nonexistence of perfect 2- and 3-Hamming-error-correcting codes over GF(q)

van Lint, J. H., 1970, Program and abstracts of papers to be presented at the 1970 international symposium on information theory (June 15-19, 1970, Noordwijk, The Netherlands). New York, NY, USA: Institute of Electrical and Electronics Engineers, p. 1

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

Open Access
File
10 Citations (Scopus)
51 Downloads (Pure)

Quasisymmetric block designs

Goethals, J. M. & Seidel, J. J., 1970, Combinatorial Structures and their Applications (Proceedings Calgary International Conference, Calgary, Canada, June 1969). Guy, R. K. & et al., X. (eds.). New York: Gordon and Breach Science Publishers, p. 111-116

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

The mathematical language AUTOMATH, its usage and some of its extensions

Bruijn, de, N. G., 1970, Proceedings Symposium on Automatic Demonstration (Versailles, France, December 1968). Laudet, M., Lacombe, D., Nolin, L. & Schützenberger, M. (eds.). Berlin: Springer, p. 29-61 (Lecture Notes in Mathematics; vol. 125).

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

Open Access
File
103 Downloads (Pure)
1971

Nonexistence theorems for perfect error-correcting codes

van Lint, J. H., 1971, Computers in Algebra and Number Theory (Proceedings, New York NY, USA, March 25-26, 1970), SIAM-AMS Proceedings, vol. IV. Birkhoff, G. & Hall jr, M. (eds.). Providence RI: American Mathematical Society, p. 89-95

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

Open Access
File
66 Downloads (Pure)

Recent developments in enumeration theory

Bruijn, de, N. G., 1971, Actes du Congrès International des Mathématiciens, Nice, 1-10 Septembre 1970. Paris: Gauthier-Villars, p. 193-199

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

Open Access
File
26 Downloads (Pure)
1972

An application of natural cubic spline functions to numerical integration formulae

Schurer, F., 1972, Constructive Function Theory (Proceedings International Conference, Varna, Bulgaria, 1970). Sofia: Izdat. Bulg. Akad. Nauk (Publ. House Bulg. Acad. Sci.), p. 315-325

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

On the bookkeeping of source-text line numbers during the execution phase of ALGOL 60 programs

Kruseman Aretz, F. E. J., 1972, MC-25 Informatica Symposium. Bakker, de, J. W. & et al., X. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 6.1-6.12 (Mathematical Centre Tracts; vol. 37).

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

Realization of continuous-time linear dynamical systems : rigorous theory in the style of Schwartz

Kalman, R. E. & Hautus, M. L. J., 1972, Ordinary Differential Equations (Proceedings NRL-MRC Conference, Washington DC, USA, 1971). Weiss, L. (ed.). New York: Academic Press Inc., p. 151-164

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

1973

A description of AUTOMATH and some aspects of its language theory

van Daalen, D. T., 1973, Proceedings of the symposium on APL, Paris, December 1973 . Bratfort, P. (ed.).

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

Open Access
File
110 Downloads (Pure)

Inventory control with unknown demand distribution : a discrete time-discrete level case

Wessels, J., 1973, Inventory control and water storage (Proceedings of a conference, Gyor, Hungary, September 11-17, 1971). Prékopa, A. (ed.). Amsterdam: North-Holland Publishing Company, p. 321-334

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

Optimal control on manifolds

Hautus, M. L. J., 1973, Geometric Methods in System Theory (Proceedings NATO Advanced Study Institute, London, UK, August 27-September 7, 1973). Mayne, D. Q. & Brockett, R. W. (eds.). Dordrecht: Reidel, p. 185-193 (NATO ASI Series, Series C: Mathematical and Physical Sciences; vol. 3).

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

1974

A bibliography on spline functions

van Rooij, P. L. J. & Schurer, F., 1974, Spline-Funktionen (Vorträge und Aufsätze, 1. Tagung, Oberwolfach, Germany, 1973). Böhmer, K., Meinardus, G. & Schempp, W. (eds.). Mannheim: Bibliographisches Institut, p. 315-415

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

An asymptotic problem

Bruijn, de, N. G., 1974, Proceedings of the Prague Symposium on Asymptotic Statistics (Prague, Czechoslavakia, September 3-6, 1973). Hájek, J. (ed.). Prague: Charles University Press, Vol. 2. p. 31-35

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

Open Access
File
26 Downloads (Pure)

Circularly polarised horn antenna with an asymmetrical pattern

Jansen, J. K. M. & Jeuken, M. E. J., 1974, Proceedings of the Fifth Colloquium on Microwave Communication (Budapest, Hungary, June 24-30, 1974). Bognár, G. (ed.). Budapest: Akademiai Kiadó, p. ET 179-ET 188

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

3 Citations (Scopus)

Electro-magneto-elasticity

Alblas, J. B., 1974, Topics in applied continuum mechanics (Proceedings, Vienna, Austria, March 1-2, 1974). Zeman, J. L. & Ziegler, F. (eds.). Vienna: Springer, p. 71-114 44 p.

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

Equidistant point sets

van Lint, J. H., 1974, Combinatorics (Proceedings of a conference, Aberystwyth, Wales, 1973). McDonough, T. P. & Mavron, V. C. (eds.). Cambridge: Cambridge University Press, p. 169-176 (London Mathematical Society Lecture Note Series; vol. 13).

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

Open Access
File
28 Downloads (Pure)

Graphs and two-graphs

Seidel, J. J., 1974, Proceedings 5th Southeastern Conference on Combinatorics, Graph Theory and Computing (Boca Raton FL, USA, 1974). p. 125-143

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

On the existence and convergence of interpolating periodic spline functions of arbitrary degree

Morsche, ter, H. G., 1974, Spline-Funktionen (Vorträge und Aufsätze, 1. Tagung, Oberwolfach, Germany, 1973). Böhmer, K., Meinardus, G. & Schempp, W. (eds.). Mannheim: Bibliografisches Institut, p. 197-214

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

Recent results on perfect codes and related topics

van Lint, J. H., 1974, Combinatorics, Part 1: theory of designs, finite geometry and coding theory : proceedings of the Advanced Institute on Combinatorics held at Nijenrode Castle, Breukelen, The Netherlands, July 8-20, 1974. Hall Jr., M. & Lint, van, J. H. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 158-178 (Mathematical Centre Tracts; vol. 55).

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

Open Access
File
68 Downloads (Pure)

The Automath mathematics checking project

Bruijn, de, N. G., 1974, APLASM 73 Symposium dórsay sur la manipulation des symbols et l'utilisation d'APL, Orsay, December 1973. Braffort, P. (ed.). Paris: Université Paris Sud, Vol. 1.

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

Open Access
File
30 Downloads (Pure)
1975

A uniform asymptotic theory of diffraction (Abstract)

Boersma, J., 1975, 1975 IEEE Antennas and Propagation Society International Symposium Digest. Piscataway: Institute of Electrical and Electronics Engineers, Vol. 13. p. 397-

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

1 Downloads (Pure)

Big trees in a λ-calculus with λ-expressions as types

de Vrijer, R. C., 1975, Lambda-Calculus and Computer Science Theory (Proceedings of the symposium, Rome, Italy, March 25-27, 1975). Boehm, C. (ed.). Berlin: Springer, p. 252-271 20 p. (Lecture Notes in Computer Science; vol. 37).

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

2 Citations (Scopus)

Correctness concerns and, among other things, why they are resented

Dijkstra, E. W., 1975, Proceedings International Conference on Reliable Software (Los Angeles CA, USA, April 21-23, 1975). Institute of Electrical and Electronics Engineers, p. 546-550 5 p. (ACM SIGPLAN Notices; vol. 10).

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

8 Citations (Scopus)

Craftsman or scientist [Banquet Luncheon Lecture]

Dijkstra, E. W., 1975, Data: Its Use, Organization and Management (ACM Pacific '75, San Francisco CA, USA, April 17-18, 1975). New York NY: Association for Computing Machinery, Inc, p. 217-223

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

Dynamic planning of sales promotions by Markov programming

van Nunen, J. A. E. E. & Wessels, J., 1975, Proceedings XX International Meeting of the Institute of Management Sciences (Jerusalem, Israel, 1975). London: Academic Press Inc., Vol. 2. p. 737-742

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

Elastische datastructuren, hun invloed op programmacorrectheid

Rem, M., 1975, Colloquium Programmacorrectheid (Amsterdam, The Netherlands, 1975). Bakker, de, J. W. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 167-175 (MC Syllabus; vol. 21).

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

Metric problems in elliptic geometry

Seidel, J. J., 1975, Geometry of Metric and Linear Spaces (East Lansing MI, USA, June 17-19, 1974). Kelly, L. M. (ed.). Berlin: Springer, p. 32-43 12 p. (Lecture Notes in Mathematics; vol. 490).

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

On-the-fly garbage collection : an exercise in cooperation

Dijkstra, E. W., Lamport, L., Martin, A. J., Scholten, C. S. & Steffens, E. F. M., 1975, Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L. & Samelson, K. (eds.). Berlin: Springer, p. 43-56 (Lecture Notes in Computer Science; vol. 46).

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

49 Citations (Scopus)

Set theory with type restrictions

Bruijn, de, N. G., 1975, Infinite and finite sets : to Paul Erdõs on his 60th birthday, vol.1. Hajnal, A., Rado, R. & Sos, V. T. (eds.). Amsterdam: North-Holland Publishing Company, p. 205-214 (Colloquia Mathematica Societatis János Bolyai; vol. 10).

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

Open Access
File
35 Downloads (Pure)
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)