Technische Universiteit Eindhoven

Onderzoeksoutput 1937 2020

Filter
Hoofdstuk
1994
1 Citaat (Scopus)
31 Downloads (Pure)

Set theory with type restrictions

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 841-847 (Studies in logic and the foundations of mathematics; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
Set Theory
Restriction
1 Downloads (Pure)

Short term memory structures for dynamic neural networks

Vries, de, B., 1994, Artificial Neural Networks for Speech and Vision. Mammone, R. J. (redactie). Chapman & Hall, blz. 45- (Neural Computing; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Neural networks
Data storage equipment

Snelweg of snel weg?

Bemelmans, T. M. A. & Korevaar, H., 1994, ?. Zeist: VRI, blz. 57-59

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

52 Downloads (Pure)

Sociotechniek in de gezondheidszorg

Kuipers, H., 1994, Ontwerpen en veranderen van zorgprocessen : bedrijfskundig instrumentarium voor manager en professional. Hoorn, J. W., Lettink, J. & Tuijl, van, H. (redactie). Utrecht: De Tijdstroom, blz. 154-165

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand

Some extensions of Automath : the AUT4-family

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 283-288 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
24 Downloads (Pure)

Some extensions of Automath : the AUT-4 family

Bruijn, de, N. G., 1994, Selected papers on Automath / ed. by Rob P. Nederpelt, J.H. Geuvers and Roel C. de Vrijer ; with the assistance of L.S. van Benthem Jutting and D.T. van Daalen. Amsterdam: North-Holland Publishing Company, blz. 283-288 (Studies in logic and the foundations of mathematics; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukPopulair

Open Access
Bestand
1 Downloads (Pure)

Stadsbeeld als factor in de strategische planning in Tilburg

Doevendans, C. H., Luiten, J. H. & Rutgers, R. A., 1994, Strategische plannen voor de stad : onderzoek en planningspraktijk in drie steden. Fassbinder, H. & Rikhof, H. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 41-52 97 blz. (Bouwstenen; vol. 29).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)

Stadsvorm Tilburg : een gelaagde benadering

Doevendans, C. H., 1994, Tilburg in vorm. Tilburg: Academie voor de Bouwkunst, blz. 55-56 62 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Stoomtechniek

Lintsen, H. W. & Verbong, G. P. J., 1994, Techniek, beroep en praktijk. Lintsen, H. W., Bakker, M. S. C. & Homburg, E. (redactie). Zutphen: Walburg Pers, blz. 203-221 352 blz. (Geschiedenis van de techniek in Nederland : de wording van een moderne samenleving, 1800-1890; vol. V).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Strategische planning : kenmerk van een kentering in de planning, of modebegrip van de jaren negentig?

Fassbinder - Horr, H., 1994, Strategische plannen voor de stad : onderzoek en planning in drie steden. Fassbinder, H. & Rikhof, H. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 7-14 97 blz. (Bouwstenen; vol. 29).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

3 Downloads (Pure)

Strategische planning in Eindhoven, Tilburg en Maastricht : een vergelijking

Beekman, S. M., Rikhof, H. G. A. & Pott, M., 1994, Strategische plannen voor de stad : onderzoek en planningspraktijk in drie steden. Fassbinder, H. & Rikhof, H. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 71-96 (Bouwstenen; vol. 29).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Citaat (Scopus)

Strong normalization in a typed lambda calculus with lambda structured types

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 389-468 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

calculi

Systems identification with norm bounded data uncertainty

Ariaans, L. J. J. M., 1994, Proceedings of the 13th Benelux Meeting on Systems and Control, 2 March 1994, Veldhoven, The Netherlands. Z.pl.: s.n., blz. 75-75

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Identification (control systems)
Uncertainty

Teacher education for technology education

Vries, de, M. J., 1994, Handbook of Teacher Training in Europe. Issues and Trends. Galton, M. & Moon, B. (redactie). London: David Fulton Publ. i.c.w. The Council of Europe, blz. 153-164

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Techniek, beroep en praktijk

Verbong, G. P. J., 1994, Techniek, beroep en praktijk. Lintsen, H. W., Bakker, M. S. C. & Homburg, E. (redactie). Zutphen: Walburg Pers, blz. 11-22 352 blz. (Geschiedenis van de techniek in Nederland : de wording van een moderne samenleving, 1800-1890; vol. V).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Techniek, beroep en praktijk in Nederland

Verbong, G. P. J., 1994, Techniek, beroep en praktijk. Lintsen, H. W., Bakker, M. S. C. & Homburg, E. (redactie). Zutphen: Walburg Pers, blz. 291-303 352 blz. (Geschiedenis van de techniek in Nederland : de wording van een moderne samenleving, 1800-1890; vol. V).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Technology education in Western Europe

Vries, de, M. J., 1994, Innovations in science and technology education. Vol. V. Layton, D. (redactie). Paris: UNESCO, blz. 31-44

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

15 Downloads (Pure)

Telecommunication services and the protection of privacy: Draft Directive SYN 288

Smits, J. M. & Nugter, A. C. M., 1994, Daten- und Verbraucherschutz bei Kommunikationsdienstleitungen in der EG. Kubicek, H. (redactie). Baden: Nomos Verlagsgesellschaft Baden, blz. 86-94

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand

The benefits of a trial period at home using loan-aids

Jorritsma, F. F. & Neve, J. J., 1994, Low vision : research and new developments in rehabilitation. Kooijman, A. C., Looijestijn, P. L., Welling, J. A. & Wildt, van der, G. J. (redactie). Amsterdam: IOS Press, blz. 174-177

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

loan
costs
experience
time

The calculus of constructions and higher order logic

Geuvers, J. H., 1994, The Curry-Howard isomophism. Groote, de, P. (redactie). Louvain-la-Neuve: Katholieke Universiteit Leuven, blz. 139-191 (Cahiers du centre de logique; vol. 8).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

The city on your skin

Wallis De Vries, J. G., 1994, Rudy Uytenhaak Architect. Kloos, M. (redactie). Amsterdam: Architectura & Natura, blz. 9-25 143 blz. (ARCAM pocket series; vol. 5).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Skin
2 Downloads (Pure)

The conceptual basis of gerontechnology

Bouma, H., 1994, Course book on gerontechnology, COST A5: Normal and pathological ageing and the impact of technologym, sected topics, 1994. Kivelä, S. L., Koski, K. & Rietsema, J. (redactie). blz. `15-22

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

The context tree weighting method: Some ideas

Volf, P. A. J. & Willems, F. M. J., 1994, Proc. EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology. Tilborg, van, H. C. A. & Willems, F. M. J. (redactie). blz. 27-27

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

method

The design of interacting agents for use in interfaces

Connah, D. M., 1994, Human-machine communication for educational systems design: NATO ASI Series F: Computer and systems sciences, Volume 129. Brouwer-Janse, M. D. & Harrington, T. L. (redactie). Berlin: Springer, blz. 197-206

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Planning

The heritage of earthen architecture

Schijns, W. H. M., 1994, Urban environment in developing countries : futures, ideas, directions. Erkelens, P. A. & Meulen, van der, G. G. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 22-29 324 blz. (Bouwstenen; vol. 28).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Restoration
Heritage
Architectural Heritage
Social Life
Built Heritage

The language theory of Automath : Chapter I, Sections 1-5 (Introduction)

van Daalen, D. T., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 163-200 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Mathematical reasoning
Continuation
Completion
Language
Necessary

The language theory of Automath : Chapter VIII, 1 and 2 (AUT-II)

van Daalen, D. T., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 303-312 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Language
Theory of Language
Formalization
Extensional

The language theory of Automath : Parts of chapters II, IV, V-VIII

van Daalen, D. T., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 493-653 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Theory of Language
2 Downloads (Pure)

The language theory of Lambdainfty, a typed lambda-calculus where terms are types

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 655-683 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

language theory
2 Downloads (Pure)

The legibility of TV-subtitles for the eldery and visually impaired

Neve, J. J. & Jenniskens, A. J. W., 1994, Low vision : research and new developments in rehabilitation. Kooijman, A. C., Looijestijn, P. L., Welling, J. A. & Wildt, van der, G. J. (redactie). Amsterdam: IOS Press, blz. 243-250

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Legibility
Subtitles
Experiment
Viewer
Length
5 Citaties (Scopus)
30 Downloads (Pure)

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

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 73-100 (Studies in logic and the foundations of mathematics; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
Language
10 Citaties (Scopus)
128 Downloads (Pure)

The mathematical vernacular, a language for mathematics with typed sets

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 865-935 (Studies in logic and the foundations of mathematics; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
Language
53 Citaties (Scopus)
56 Downloads (Pure)

Theory of Brønsted Acidity in Zeolites

Santen, van, R. A., 1994, Advanced Zeolite Science and Applications. Jansen, J. C., Stoecker, M. & Karge, H. G. (redactie). Amsterdam: Elsevier, blz. 273-294

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
Zeolites
Acidity
Protons
Oxygen
Atoms
1 Downloads (Pure)

The rationality of gambling : gamblers' conceptions of probability, chance and luck

Keren, G., 1994, Subjective probability. Ayton, P. & Wright, G. (redactie). New York: Wiley, blz. 485-499 25 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Gambling
Conception
Rationality
Luck
1 Downloads (Pure)

The visual advice centre Eindhoven, an experiment in Dutch low vision care

Neve, J. J., Jorritsma, F. F. & Kinds, G. F., 1994, Low vision : research and new developments in rehabilitation. Kooijman, A. C., Looijestijn, P. L., Welling, J. A. & Wildt, van der, G. J. (redactie). Amsterdam: IOS Press, blz. 512-515

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Vision aids
Lighting
Experiments

Total building performance control

Gits, C. W., 1994, CIB W70 Tokyo Symposium on Strategiers and Technologies for Maintenance and Modernisation of Buildings, CIB W70 Tokyo, 12-16 september 1994. blz. 1-1 1 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

True straight-line linkages having a rectilinear translation bar

Dijksman, E. A., 1994, Advances in robot kinematics and computational geometry. Kluwer Academic Publishers, blz. 411-420 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Turksrood

Verbong, G. P. J., 1994, Techniek, beroep en praktijk. Lintsen, H. W., Bakker, M. S. C. & Homburg, E. (redactie). Zutphen: Walburg Pers, blz. 271-287 352 blz. (Geschiedenis van de techniek in Nederland : de wording van een moderne samenleving, 1800-1890; vol. V).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

22 Citaties (Scopus)
2 Downloads (Pure)

Twenty-five years of Automath research

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 3-54 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Proof System
1 Downloads (Pure)

Typed lambda-calculus

Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, R. P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (redactie). Frankfurt am Main: Peter Lang, blz. 168-199

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

calculi

Type systems : basic ideas and applications

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 229-247 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Type Systems

Uitbesteding van fysieke distributie

Damme, van, D. A., 1994, Vraagbaak voor inkoop en logistiek. Alphen aan den Rijn: Samsom Bedrijfsinformatie, blz. 1-6

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)

Untyped lambda-calculus

Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (redactie). Frankfurt am Main: Peter Lang, blz. 132-167

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

calculi
1 Downloads (Pure)

Urban oasis

Schmid, P., 1994, Urban environment in developing countries : futures, ideas, directions. Erkelens, P. A. & Meulen, van der, G. G. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 73-76 324 blz. (Bouwstenen; vol. 28).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Architectural design
Solid wastes
Developing countries
Recycling
Economics

Veiligheidsbeleid op basis van bijna-ongevalsanalyse

Vuuren, van, W., 1994, Verslag NVvE symposium 'Afstuderen en Ergonomisch Werk', Amsterdam, 1994. Amsterdam: NVvE, 4 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Veranderingsprocessen in ziekenhuizen: contouren van een antwoord op een complexe problematiek

Vries, de, G., 1994, Ontwerpen en veranderen van zorgprocessen. Bedrijfskundig instrumentarium voor manager en professional. Hoorn, J. W., Lettink, J., Tuijl, van, H. F. J. M., Vissers, J. M. H. & Vries, de, G. (redactie). Utrecht: De Tijdstroom, blz. 17-36

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Planning
Mate

Verification by hand using linear time temporal logic

Penczek, W. & Kuiper, R., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M. & et al., X. (redactie). Frankfurt am Main: Peter Lang, blz. 229-262

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

25 Downloads (Pure)

Verification of mathematical proofs by a computer : a preparatory study for a project Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 57-72 (Studies in logic and the foundations of mathematics; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand

Verpakking

Damme, van, D. A., 1994, Vraagbaak voor inkoop en logistiek. Alphen aan den Rijn: Samsom Bedrijfsinformatie, blz. 1-6 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Vertical-cavity surface-emitting lasers with periodic gain and aluminium top contact

Yoffe, G. W., Karouta, F., Vleuten, van der, W. C. & Wolter, J. H., 1994, ESPRIT PHOTONS Workshop on Vertical Cavity Devices. blz. 21-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic