Eindhoven University of Technology

Research Output 1937 2020

1993
4 Downloads (Pure)

TLD mixed-field ruimtedosimetrie in het cyclotrongebouw

Franken, Y., 1993, Eindhoven: Technische Universiteit Eindhoven. 7 p. (Technische Universiteit Eindhoven. Stralingsbeschermingsdienst rapport; vol. 10711)

Research output: Book/ReportReportProfessional

Open Access
File
35 Downloads (Pure)

Toepassing (A)CTCRC-wet op een systeem met flexibiliteit en Coulombse wrijving

Kuijpers, A. H. W. M., 1993, Eindhoven: Technische Universiteit Eindhoven. 52 p. (DCT rapporten; vol. 1993.060)

Research output: Book/ReportReportPopular

Open Access
File
42 Downloads (Pure)

Toepassingen Rody-III

Bot, de, L. B. J., 1993, Eindhoven: Technische Universiteit Eindhoven. 31 p. (DCT rapporten; vol. 1993.131)

Research output: Book/ReportReportPopular

Open Access
File
52 Downloads (Pure)

Toepassingsmogelijkheden van fuzzy systemen in hydraulische aandrijvingen (4)

Post, W. J. A. E. M., 1993, In : Aandrijftechniek. 1, p. 48-51 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
61 Downloads (Pure)

Toleranzausgleich für ein Werkzeug zur Montage von Kfz-Türdichtungen

Vissers, J. H. G., 1993, Eindhoven: Technische Universiteit Eindhoven. 35 p. (DCT rapporten; vol. 1993.070)

Research output: Book/ReportReportPopular

Open Access
File

Tool life and quality in bulk metal forming

Lange, K., Cser, L., Geiger, M. & Kals, J. A. G., 1993, In : Special Steel. 8, p. 48-69 22 p.

Research output: Contribution to journalArticleAcademic

Tool life and tool quality in bulk metal forming

Cser, L., Geiger, M., Lange, K., Kals, J. A. G. & Hansel, M., 1993, In : Wire. 43, 1, p. 59-71 13 p.

Research output: Contribution to journalArticleAcademic

Metal forming
Knowledge acquisition
7 Citations (Scopus)
1 Downloads (Pure)

To prove, why and how?

Asch, van, A. G., 1993, In : International Journal of Mathematical Education in Science and Technology. 24, 2, p. 301-313

Research output: Contribution to journalArticleAcademicpeer-review

mathematics
Formal Proof
54 Citations (Scopus)
92 Downloads (Pure)

Total hip reconstruction in acetabular dysplasia : a finite element study

Schüller, H. M., Dalstra, M., Huiskes, H. W. J. & Marti, R. K., 1993, In : Journal of Bone & Joint Surgery, British Volume. 75, 3, p. 468-474

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Hip
Pelvic Bones
Transplants
Bone and Bones
Hip Prosthesis
54 Citations (Scopus)

Total hip reconstruction in acetabular dysplasia.

Schller, H. M., Dalstra, M., Huiskes, R. & Marti, R. K., 1993, In : Journal of Bone and Joint Surgery. 75-B, 3, p. 468-474

Research output: Contribution to journalArticleAcademicpeer-review

Hip
Pelvic Bones
Transplants
Bone and Bones
Hip Prosthesis

Total termination of rewriting

Ferreira, M. C. F. & Zantema, H., 1993, Rewriting Techniques and Applications (Proceedings 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993). Berlin: Springer, p. 213-227 (Lecture Notes in Computer Science; vol. 690).

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

7 Citations (Scopus)

Towards an integral approach of building and HVAC system

Hensen, J. L. M., 1993, In : Energy and Buildings. 19, 9, p. 297-302 5 p.

Research output: Contribution to journalArticleAcademicpeer-review

Flow of fluids
Hot Temperature
HVAC

Towards right algorithms for daylight controlled artificial lighting and solar blinds in office buildings

Vijgen, J. M. J. H., 1993, Proceedings of the 2nd European Conference on Energy-Efficient Lighting, 26-29 September 1993, Arnhem, The Netherlands. p. 123-137

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

5 Citations (Scopus)

Trace-based compositional reasoning about fault tolerant systems

Schepers, H. & Hooman, J. J. M., 1993, PARLE'93: Parallel Architectures and Languages Europe (München, Germany, June 14-17, 1993). Bode, A., Reeve, M. & Wolf, G. (eds.). Berlin: Springer, p. 197-208 (Lecture Notes in Computer Science; vol. 694).

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

Tracing fault tolerance

Schepers, H., 1993, Dependable Computing for Critical Applications (Proceedings 3rd IFIP International Working Conference, Mondello, Sicily, Italy, September 14-16, 1992). Landwehr, C. E., Randell, B. & Simoncini, L. (eds.). Wien: Springer, p. 91-110 (Dependable Computing and Fault-Tolerant Systems; vol. 8).

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

Trade-off between burst cues and transition cues in the perception of prevocaoic stop consonanats : predictions from acoustical measurements

Smits, R. L. H. M. & Collier, R. P. G., 1993, In : Journal of the Acoustical Society of America. 94, 3, p. 1864- 1 p.

Research output: Contribution to journalArticleAcademicpeer-review

cues
bursts
stimuli
predictions
vowels
1 Downloads (Pure)

Traffic forecasting with a dedicated GIS : experiences in an educational context

Waerden, van der, P. J. H. J. & Timmermans, H. J. P., 1993, Proceedings of the 4th European Conference and Exhibition on Geographical Information Systems (EGIS '93), 29 March - 1 April 1993, Genoa, Italy. Harts, J., Ottens, H. F. L. & Scholten, H. J. (eds.). EGIS Foundation, p. 76-85

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

Geographical Information System
traffic
experience

Training in feedback and goal setting

Kleingeld, P. A. M. & Tuijl, van, H. F. J. M., 1993, Abstracts Thrid European Congress of Psychology; Federation of Psychologists' Association in Finland & European Federation of Psychologists' Association. Helsinki: The Psychological Society, p. 131-`131

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

Transcripties dialogen blokken-experiment, 1992

Cremers, A. H. M., 21 Jan 1993, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 88 p. (IPO rapport; vol. 889)

Research output: Book/ReportReportPopular

Transformational derivation of (parallel) programs using skeletons

Boiten, E. A., Geerling, A. M. & Partsch, H. A., 1993, Nijmegen: Radboud Universiteit Nijmegen. 15 p. (Technical Report; vol. 93-20)

Research output: Book/ReportReportAcademic

1 Downloads (Pure)

Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract)

Zhou, S., Gerth, R. T. & Kuiper, R., 1993, CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993). Best, E. (ed.). Berlin: Springer, p. 353-367 (Lecture Notes in Computer Science; vol. 715).

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

Temporal logic
Invariance
Specifications
Chemical analysis

Transforming acyclic programs

Bossi, A. & Etalle, S., 1993, Amsterdam: Centrum voor Wiskunde en Informatica. 14 p. (CWI report. CS-R; vol. 9369)

Research output: Book/ReportReportAcademic

31 Downloads (Pure)

Transiente niet-viscometrische visco-elastische stroming rond een cilinder

Roozendaal, van, R. A. J. G., 1993, Eindhoven: Technische Universiteit Eindhoven. 22 p. (DCT rapporten; vol. 1993.169)

Research output: Book/ReportReportPopular

Open Access
File
81 Citations (Scopus)
104 Downloads (Pure)

Transient phenomena in dispersive mixing

Elemans, P. H. M., Bos, H. L., Janssen, J. M. H. & Meijer, H. E. H., 1993, In : Chemical Engineering Science. 48, 2, p. 267-276

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Polymethyl Methacrylate
Extruders
Shear deformation
Surface tension
Polymers
31 Downloads (Pure)

Transitional free convection flows induced by thermal line sources

Bastiaans, R. J. M., 1993, Eindhoven: Eindhoven University of Technology. 61 p. (EUT report. W, Dept. of Mechanical Engineering; vol. 93-W-002)

Research output: Book/ReportReportAcademic

Open Access
File
Large eddy simulation
Natural convection
Laminar flow
Chaos theory
Conservation

Translating TLVHDL into ExSpect

van den Hoorn, H. M. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT), 1993, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

35 Downloads (Pure)

Translation invariant Frechet subspaces of distributions

Eijndhoven, van, S. J. L., 1993, Eindhoven: Eindhoven University of Technology. 40 p. (RANA : reports on applied and numerical analysis; vol. 9315)

Research output: Book/ReportReportPopular

Open Access
File
31 Citations (Scopus)
142 Downloads (Pure)

Transparency and dichroism of ultra-drawn UHMW-PE films in the visible wavelength range

Bastiaansen, C. W. M., Schmidt, H. W., Nishino, T. & Smith, P., 1993, In : Polymer. 34, 18, p. 3951-3954

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Dichroism
Transparency
Wavelength
Coloring Agents
Dyes
22 Citations (Scopus)
109 Downloads (Pure)

Transport facilities and residential choice behavior : a model of multi-person choice processes

Borgers, A. W. J. & Timmermans, H. J. P., 1993, In : Papers in Regional Science. 72, 1, p. 45-61

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
residential location
workplace
human being
travel time
travel
30 Downloads (Pure)

Transport phenomena in a parallel passage reactor

Hoebink, J. H. B. J., Mallens, E. P. J., Vonkeman, K. A. & Marin, G. B., 1993, Proceedings of the AIChE 1993 Spring National Meeting, March 28-April 1, 1993, Houston. Eindhoven: Technische Universiteit Eindhoven

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

Open Access
File
6 Downloads (Pure)

Transportplanningtechnieken (Routeplanning)

Tilanus, C. B., 1993, PolyLogistiek Zakboekje. Goor, van, A. R., Monhemius, W. & Wortmann, J. C. (eds.). Arnhem: Koninklijke PBNA, p. 742-749

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

28 Downloads (Pure)

Transverse strength of a hybrid carbon/polyethylene composite

Brokken, D., 1993, Eindhoven: Technische Universiteit Eindhoven. 8 p. (DCT rapporten; vol. 1993.123)

Research output: Book/ReportReportPopular

Open Access
File
11 Citations (Scopus)

Travelling waves during the transport of reactive solute in porous media : combination of Langmuir and Freundlich isotherms

Duijn, van, C. J., Knabner, P. & Zee, van der, S. E. A. T. M., 1993, In : Advances in Water Resources. 16, 2, p. 97-105 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

porous medium
solute
isotherm
adsorption
boundary condition
110 Downloads (Pure)

Treewidth and pathwidth of cocomparability graphs of bounded dimension

Kloks, A. J. J., Kratsch, D. & Spinrad, J. P., 1993, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computing science notes; vol. 9346)

Research output: Book/ReportReportAcademic

Open Access
File
18 Citations (Scopus)

Treewidth and pathwidth of permutation graphs

Bodlaender, H. L., Kloks, A. J. J. & Kratsch, D., 1993, Automata, Languages and Programming (Proceedings 20th International Colloquium, ICALP'93, Lund, Sweden, July 5-9, 1993). Lingas, A., Karlsson, R. & Carlsson, S. (eds.). Berlin: Springer, p. 114-125 (Lecture Notes in Computer Science; vol. 700).

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

5 Citations (Scopus)

Treewidth of chordal bipartite graphs

Kloks, A. J. J. & Kratsch, D., 1993, STACS'93 (Proceedings 10th Annual Symposium on Theoretical Ascpects of Computer Science, Würzburg, Germany, February 25–27, 1993). Enjalbert, P., Finkel, A. & Wagner, K. W. (eds.). Berlin: Springer, p. 80-89 (Lecture Notes in Computer Science; vol. 665).

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

65 Downloads (Pure)

Treewidth of circle graphs

Kloks, A. J. J., 1993, Utrecht: Utrecht University. 10 p. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9312)

Research output: Book/ReportReportPopular

Open Access
File
8 Citations (Scopus)

Treewidth of circle graphs

Kloks, A. J. J., 1993, Algorithms and Computation (Proceedings 4th International Symposium, ISAAC'93, Hong Kong, December 15-17, 1993). Ng, K. W., Raghavan, P., Balasubramanian, N. V. & Chin, F. Y. L. (eds.). Berlin: Springer, p. 108-117 (Lecture Notes in Computer Science; vol. 762).

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

11 Citations (Scopus)

Trekking in the Alps without freezing or getting tired

Berg, de, M. & Kreveld, van, M. J., 1993, Algorithms - ESA'93 (Proceedings of the First Annual European Symposium, Bad Honnef, Germany, September 30-October 2, 1993). Lengauer, T. (ed.). Berlin: Springer, p. 121-132 (Lecture Notes in Computer Science; vol. 726).

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

24 Downloads (Pure)

Trends and extreme values in climatological time series : what do they tell about climate change? : part 2 : recurrence times in series of Bernoulli trials

Molenaar, J. & Visser, H., 1993, Eindhoven: Technische Universiteit Eindhoven. 22 p. (IWDE Report; vol. 93-05)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Trends and tasks in control rooms

Schaaf, van der, T. W., 1993, Eindhoven: Technische Universiteit Eindhoven. 30 p. (EUT - BDK report. Dept. of Industrial Engineering and Management Science; vol. 57)

Research output: Book/ReportReportAcademic

Open Access
File
7 Citations (Scopus)
1 Downloads (Pure)

Triangle in a triangle : on a problem of Steinhaus

Post, K. A., 1993, In : Geometriae Dedicata. 45, 1, p. 115-120

Research output: Contribution to journalArticleAcademicpeer-review

Triangle
Permutation
Congruent
Necessary Conditions
Sufficient Conditions
31 Downloads (Pure)

Trip report on concurrent engineering in the USA

Graaf, de, R., 1993, Eindhoven: Technische Universiteit Eindhoven. 5 p. (TU Eindhoven. TUE/BDK/FT, Fac. TBDK, Vakgroep FT : rapporten; vol. 9302)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Tuning shock test results and mathematical models using an optimal state estimation method

Fey, R. H. B. & Meijer, G. J., 1993, Topics in applied mechanics : integration of theory and applications in applied mechanics [2nd National mechanics conference, November 1992, Kerkrade, The Netherlands]. Dijksman, J. F. & Nieuwstadt, F. T. M. (eds.). Dordrecht: Kluwer Academic Publishers, p. 39-55

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
shock tests
state estimation
mathematical models
tuning

Tussen droom en daad : formele methoden en gereedschappen bij specificatie en implementatie van open systemen

Brinksma, E., 1993, In : Informatie. 35, 9, p. 20-303

Research output: Contribution to journalArticleProfessional

17 Downloads (Pure)

Tweedimensionale contactalgorithmen in DIANA versie 5.1

Schaap, P., 1993, Eindhoven: Technische Universiteit Eindhoven. 31 p. (DCT rapporten; vol. 1993.143)

Research output: Book/ReportReportPopular

Open Access
File
31 Citations (Scopus)
100 Downloads (Pure)

Two-dimensional methane/air flame

Lange, de, H. C. & Goey, de, L. P. H., 1993, In : Combustion Science and Technology. 92, 4-6, p. 423-427 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Methane
flames
methane
air
Air
32 Citations (Scopus)
63 Downloads (Pure)

Two theorems on lattice expansions

Daubechies, I. & Janssen, A. J. E. M., 1993, In : IEEE Transactions on Information Theory. 39, 1, p. 3-6 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)

Type removal in term rewriting

Zantema, H., 1993, Conditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992). Rusinowitch, M. & Remy, J. L. (eds.). Berlin: Springer, p. 148-154 (Lecture Notes in Computer Science; vol. 656).

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

33 Citations (Scopus)

Typing in pure type systems

Benthem Jutting, van, L. S., 1993, In : Information and Computation. 105, 1, p. 30-41

Research output: Contribution to journalArticleAcademicpeer-review

Computability and decidability
Type Systems
Strengthening
Term
Axioms