Filter
Conference contribution

Search results

  • 1997

    Computer algebra in service courses

    Simons, F. H., 1997, Second IMA Conference on Mathematical Education of Engineers (Loughborough, UK, April 7-9, 1997).

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

    Open Access
    File
    30 Downloads (Pure)
  • 1996

    Optimal control of a linear control system with positive inputs

    Heemels, W. P. M. H., Eijndhoven, van, S. J. L. & Stoorvogel, A. A., 1996, Proceedings of the International Symposium on Mathematical Theory of Networks and Systems (MTNS'96, St.Louis MO, USA, June 24-28, 1996)).

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

  • 1995

    Performance analysis for real-time databases

    Sassen, S. A. E., 1995, Proceedings of the Real-Time Database Workshop (Eindhoven, The Netherlands, February 23, 1995). Stok, van der, P. D. V. & Wal, van der, J. (eds.). p. 100-106

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

    Open Access
    File
    22 Downloads (Pure)
  • The case information hiding vs constraint satisfaction

    Veltkamp, R. C. & Kelleners, R. H. M. C., 1995, Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995). Amsterdam: Centrum voor Wiskunde en Informatica, p. 250-263

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

  • 1994

    A matrix-geometric analysis of discrete time queueing systems with periodic service interruptions (Abstract)

    Eenige, van, M. J. A., 1994, Operations Research Proceedings 1993 (Papers of the 22nd Annual Meeting of DGOR, in cooperation with NSOR, Amsterdam, The Netherlands, August 25-27, 1993). Dyckhoff, H., Derigs, U., Salomon, M. & Tijms, H. C. (eds.). Berlin: Springer, p. 530-

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

  • Analysing $E_k\vert E_r\vert c$ queues (Abstract)

    Adan, I. J. B. F., 1994, Operations Research Proceedings 1993 (Papers of the 22nd Annual Meeting of DGOR, in cooperation with NSOR, Amsterdam, The Netherlands, August 25-27, 1993). Dyckhoff, H., Derigs, U., Salomon, M. & Tijms, H. C. (eds.). Berlin: Springer, p. 510-

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

  • Asymptotically optimal constructions for covering codes

    Struik, M., 1994, Proceedings of the EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology (Veldhoven, The Netherlands, December 19-21, 1994). Tilborg, van, H. C. A. & Willems, F. M. J. (eds.). Eindhoven: EIDMA, p. 26-

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

  • Minimal vectors in linear codes and sharing of secrets

    Ashikhmin, A. & Barg, A., 1994, Proceedings of the EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology (Veldhoven, The Netherlands, December 19-21, 1994). Willems, F. M. J. (ed.). Eindhoven: EIDMA, p. 41-

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

  • More efficient bounded-distance decoding of the Golay code and the Leech lattice

    Sun, F-W. & Tilborg, van, H. C. A., 1994, Proceedings IEEE International Symposium on Information Theory (ISIT'94, Trondheim, Norway, June 27-JUly 1, 1994). p. 399-

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

    1 Citation (Scopus)
  • Multicast protocols : combining real-time and reliability (Poster)

    Alstein, D., 1994, Real-Time Computing (Proceedings of the NATO Advanced Study Institute, Sint Maarten, Dutch Antilles, October 5-17, 1992). Halang, W. A. & Stoyenko, A. D. (eds.). Berlin: Springer, p. 668-669 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 127).

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

  • Off-line scheduling of hard real-time distributed systems using windows (Poster)

    Verhoosel, J. P. C., 1994, Real-Time Computing (Proceedings of the NATO Advanced Study Institute, Sint Maarten, Dutch Antilles, October 5-17, 1992). Halang, W. A. & Stoyenko, A. D. (eds.). Berlin: Springer, p. 741-742 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 127).

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

  • Self-stabilizing mutual exclusion on directed graphs (Extended abstract)

    Alstein, D., Hoepman, J. H., Olivier, B. E. & Put, van der, P. I. A., 1994, Computing Science in the Netherlands (CSN'94, Utrecht, The Netherlands, November 21-22, 1994). Amsterdam: Centrum voor Wiskunde en Informatica, p. 42-53

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

  • 1993

    Assigning identical operators to different machines (Abstract)

    Wal, van der, J., 1993, Operations Research Proceedings 1993 (Papers of the 22nd Annual Meeting of DGOR, in cooperation with NSOR, Amsterdam, The Netherlands, August 25-27, 1993). Dyckhoff, H., Derigs, U., Salomon, M. & Tijms, H. C. (eds.). Amsterdam: Springer, p. 535-

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

  • A survey of specification formalisms (Abstract)

    Hee, van, K. M., 1993, Operations Research Proceedings 1992 (Papers of the 21th Annual Meeting of DGOR, in cooperation with ÖGOR, Aachen, Germany, September 9-11, 1992). Hansmann, K. W., Bachem, A., Jarke, M., Katzenberger, W. E. & Marusev, A. (eds.). Berlin: Springer, p. 489-

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

  • Eindig versus oneindig

    Rem, M., 1993, Bouwen op wetenschap : Voordrachten uit het symposium ter gelegenheid van het afscheid van prof.dr. F.E.J. Kruseman Aretz van het Philips Natuurkundig Laboratorium (Eindhoven, 28 april 1993). Aarts, E. H. L. & America, P. (eds.). Eindhoven: Philips Research Laboratories, p. 7-13

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

  • Resynchronizing (d, k)-constrained sequences in the presence of insertions and deletions

    Blaum, M., Bruck, J., Melas, C. M. & Tilborg, van, H. C. A., 1993, Proceedings 1993 IEEE International Symposium on Information Theory,ISIT 1993, San Antonio TX, USA, January 17-22, 1993). p. 126-

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

    3 Citations (Scopus)
  • 1992

    Flexible capacity (Abstract)

    Wal, van der, J., 1992, Operations Research Proceedings 1991 (Papers of the 20th Annual Meeting of DGOR, Universität Hohenheim, Stuttgart, Germany, September 4-6, 1991). Gaul, W., Bachem, A., Habenicht, W., Runge, W. & Stahl, W. W. (eds.). Berlin: Springer, p. 551-

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

  • Modelling systems with Exspect

    Hee, van, K. M., Somers, L. J. A. M. & Voorhoeve, M., 1992, Optimization-Based Computer-Aided Modelling and Design (Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991). Beulens, A. J. M. & Sebastian, H. J. (eds.). Berlin: Springer, p. 211-222 (Lecture Notes in Control and Information Sciences; vol. 174).

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

  • Search based planning for decision support

    Eiben, A. E., 1992, Optimization-Based Computer-Aided Modelling and Design (Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991). Beulens, A. J. M. & Sebastian, H. J. (eds.). Berlin: Springer, p. 38-47 (Lecture Notes in Control and Information Sciences; vol. 174).

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

  • 1991

    On the number of lines in a linear space on $p^2+p+1$ points

    Blokhuis, A., Schmitt, R. J. M. & Wilbrink, H. A., 1991, Combinatorics '88 (Proceedings International Conference on Incidence Geometries and Combinatorial Structures, Ravello, Italy, May 23-28, 1988). Barlotti, A. (ed.). Mediterranean Press, Vol. 1. p. 201-209

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

  • Support for problem solving in manpower planning problems

    Kraaij, van, M. W. I., Venema, W. Z. & Wessels, J., 1991, Operations Research (Proceedings 15th Symposium, Vienna, Austria, August 28-31, 1990). Feichtinger, G. (ed.). Frankfurt am Main: Verlag Anton Hain, p. 519-528 (Methods of Operations Research; vol. 64).

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

    41 Citations (Scopus)
  • Torsional vibrations in a crankshaft

    Molenaar, J., 1991, Proceedings of the Fourth European Conference on Mathematics in Industry (Strobl, Austria, May 29-June 3, 1989). Wacker, H. & Zulehner, W. (eds.). Stuttgart/Dordrecht: B.G. Teubner, p. 337-345 (European Consortium for Mathematics in Industry; vol. 6).

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

  • 1990

    Genetic local search algorithms for the travelling salesman problem

    Ulder, N. L. J., Aarts, E. H. L., Bandelt, H. J., Laarhoven, van, P. J. M. & Pesch, E., 1990, Parallel Problem Solving from Nature (Proceedings First Workshop, PPSN I, Dortmund, Germany, October 1-3, 1990). Schwefel, H. P. & Männer, R. (eds.). Springer, p. 109-116 (Lecture Notes in Computer Science; vol. 496).

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

    111 Citations (Scopus)
  • Linear-quadratic problems and the Riccati equation

    Geerts, A. H. W. & Hautus, M. L. J., 1990, Perspectives in Control Theory (Proceedings of the Sielpia conference, Sielpia, Poland, September 19-24, 1988). Jakubczyk, B. & et al., X. (eds.). Boston: Birkhäuser Verlag, p. 39-55 (Progress in Systems and Control Theory; vol. 2).

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

  • Mathematical modelling is a design task

    Ackermans, S. T. M., 1990, Proceedings SEFI Conference on Design in Engineering Education (Dublin, 1990). Cabe, V. J. (ed.). p. 25-31

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

  • On the size of buffers in an assembly line (Abstract)

    Wal, van der, J., 1990, Operations Research Proceedings 1989 (Papers of the 18th Annual Meeting of DGOR, Kiel, Germany, September 13-15, 1989). Kistner, K. P., Ahrens, J. H., Feichtinger, G., Minnemann, J. & Streitferdt, L. (eds.). Berlin: Springer, p. 470-

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

  • 1989

    Fitting ideals and multiple points of analytic mappings

    Mond, D. & Pellikaan, G. R., 1989, Algebraic Geometry and Complex Analysis (Proceedings of the Workshop, Pátzcuaro, Michoacán, México, August 10-14, 1987). Ramirez de Arrellano, E. (ed.). Berlin: Springer, p. 107-161 (Lecture Notes in Mathematics; vol. 1414).

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

  • On the influence of coding on the mean time to failure for degrading memories with defects

    Vinck, A. J. & Post, K. A., 1989, Proceedings of the 1989 IEEE/CAM Information Theory Workshop at Cornell, 25-29 june 1989, Ithaca NY, USA. Institute of Electrical and Electronics Engineers, p. 7-1-

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

    Open Access
    File
    1 Citation (Scopus)
    96 Downloads (Pure)
  • Specifying message passing systems requires extending temporal logic

    Koymans, R. L. C., 1989, Temporal logic in specification: Altrincham, UK, April 8-10, 1987, Proceedings. Banieqbal, B., Barringer, H. & Pnueli, A. (eds.). Berlin: Springer, p. 213-223 11 p. (Lecture Notes in Computer Science (LNCS); vol. 398).

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

    6 Citations (Scopus)
  • 1988

    Extremal doubly-even codes of length 64 derived from symmetric designs

    Kapralov, S. N. & Tonchev, V. D., 1988, Proceedings Ninth Symposium on Information Theory in the Benelux (Mierlo, The Netherlands, May 26-27, 1988). Schouhamer Immink, K. A. (ed.). Enschede: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), p. 25-30

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

  • 1987

    Eine Produktionslinie mit unzuverlässigen Komponenten (Abstract)

    Wessels, J., Hontelez, J. & Zijm, W. H. M., 1987, DGOR : Papers of the 15th Annual Meeting / Vorträge der 15. Jahrestagung. Isermann, H., Merle, G., Rieder, U., Schmidt, R. & Streitferdt, L. (eds.). Berlin: Springer, p. 704-704 1 p. (Operations Research Proceedings (ORP); vol. 1986).

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

  • On monotonicity and dynamic programming in queueing networks (Abstract)

    Wal, van der, J., 1987, DGOR: Papers of the 15th Annual Meeting / Vorträge der 15. Jahrestagung. Isermann, H., Merle, G., Rieder, U., Schmidt, R. & Streitferdt, L. (eds.). Berlin: Springer, p. 703-703 1 p. (Operations Research Proceedings; vol. 1986).

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

  • 1986

    The evaluation of blocking probabilities in a finite capacity non-preemptive priority queue

    van Doremalen, J. B. M., 1986, DGOR: Papers of the 14th Annual Meeting / Vorträge der 14. Jahrestagung. Streitferdt, L., Hauptmann, H., Marusev, A. W., Ohse, D. & Pape, U. (eds.). Berlin: Springer, p. 542-546 (Operations Research Proceedings (OPR); vol. 1985).

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

  • 1985

    A closed network model for I/O systems

    Wijbrands, R. J. & Wessels, J., 1985, Contributions to operations research (Proceedings of the conference, Oberwolfach, Germany, February 26-March 3, 1984). Neumann, K. & Pallaschke, D. (eds.). Berlin: Springer, p. 182-190 9 p. (Lecture Notes in Economics and Mathematical Systems; vol. 240).

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

  • Derivation of a termination detection algorithm for distributed computations

    Dijkstra, E. W., Feijen, W. H. J. & Gasteren, van, A. J. M., 1985, Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984). Broy, M. (ed.). Berlin: Springer, p. 507-512 6 p. (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 14).

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

  • Manpower planning activities on management control level

    Bij, van der, J. D., 1985, DGOR: Papers of the 13th Annual Meeting / Vorträge der 13. Jahrestagung. Ohse, D., Esprester, A. C., Küpper, H. U., Stähly, P. & Steckhan, H. (eds.). Berlin: Springer, p. 29-35 (Operations Research Proceedings (ORP); vol. 1984).

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

  • 1981

    Markov decision processes : implementation aspects (Abstract)

    Wessels, J., 1981, DGOR: Papers of the Annual Meeting/Vorträge der Jahrestagung. Fandel, G., Fischer, D., Pfohl, H. C., Schuster, K. P. & Schwarze, J. (eds.). Berlin: Springer, p. 491-491 1 p. (Operations Research Proceedings (ORP); vol. 1980).

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

  • Nearly optimal stationary strategies for the total reward Markov decision process

    Wal, van der, J., 1981, DGOR: Papers of the Annual Meeting/Vorträge der Jahrestagung. Fandel, G., Fischer, D., Pfohl, H. C., Schuster, K. P. & Schwarze, J. (eds.). Berlin: Springer, p. 501-501 1 p. (Operations Research Proceedings (ORP); vol. 1980).

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

  • Two-graphs, a second survey

    Seidel, J. J. & Taylor, D. E., 1981, Algebraic Methods in Graph Theory (Conf. Szeged, Hungary, 1978). Lovasz, L. & Sos, V. T. (eds.). Amsterdam: North-Holland Publishing Company, p. 689-711 (Colloquia Mathematica Societatis János Bolyai; vol. 25).

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

  • 1980

    Value oriented successive approximations for the average reward Markov decision process : some results

    Wal, van der, J., 1980, Proceedings in Operations Research 9 (Vorträge der 8. Jahrestagung DGOR, Regensburg, Germany, 1979). Schwarze, J. & et al., X. (eds.). Würzburg: Physica-Verlag, p. 446-450

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

  • 1979

    A more formal treatment of a less simple example

    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. 2-20 20 p. (Lecture Notes in Computer Science; vol. 69).

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

  • A theorem about odd powers of odd integers

    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. 47-48 2 p. (Lecture Notes in Computer Science; vol. 69).

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

    1 Citation (Scopus)
  • Finding the correctness proof of a concurrent program

    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. 24-34 11 p. (Lecture Notes in Computer Science; vol. 69).

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

    6 Citations (Scopus)
  • In honour of Fibonacci

    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. 49-50 2 p. (Lecture Notes in Computer Science; vol. 69).

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

  • On the foolishness of "natural language programming"

    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. 51-53 3 p. (Lecture Notes in Computer Science; vol. 69).

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

    12 Citations (Scopus)
  • On the interplay between mathematics and programming

    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. 35-46 12 p. (Lecture Notes in Computer Science; vol. 69).

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

    4 Citations (Scopus)
  • Program inversion

    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. 54-57 4 p. (Lecture Notes in Computer Science; vol. 69).

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

    26 Citations (Scopus)
  • Software engineering : as it should be

    Dijkstra, E. W., 1979, Proceedings of the 4th International Conference on Software Engineering (ICSE, Munich, Germany, September 1979). IEEE Computer Society, p. 442-448

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

  • 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

  • 1976

    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