Find Research Output

33 Downloads (Pure)

Vergelijking brootsen en frezen

Soepnel, A. P. J., 1963, In : Metaal en kunststof. 1, p. 1784-1789

Research output: Contribution to journalArticlePopular

Open Access
File
25 Downloads (Pure)

Vergelijking niet lokale en gradiëntafhankelijke schademodellen

Spee, I., 1995, Eindhoven: Technische Universiteit Eindhoven. 27 p. (DCT rapporten; vol. 1995.145)

Research output: Book/ReportReportPopular

Open Access
File

Vergelijkingsonderzoek 2 soorten ecologische daken

Cox, M. G. D. M. & Filippini, G. J. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 33 p.

Research output: Book/ReportReportAcademic

87 Downloads (Pure)

Vergelijkingsstudie van discrete regelaars

Smeets, E. L. J., 1992, Eindhoven: Technische Universiteit Eindhoven. 43 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Vakgroep Produktietechnologie : WPB; vol. WPA1358)

Research output: Book/ReportReportPopular

Open Access
File
26 Downloads (Pure)

Vergelijking tussen bovengrens- en schillenmethode voor een planparallele flens

Du Bois, J. M. A. & Ramaekers, J. A. H., 1991, Eindhoven: Technische Universiteit Eindhoven. 16 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Vakgroep Produktietechnologie : WPB; vol. WPA1059)

Research output: Book/ReportReportPopular

Open Access
File
39 Downloads (Pure)

Vergelijking tussen de Erosimat en de AEG (type 401 S) vonkverspaningsmachines

Gijsbers, T. G., 1964, Eindhoven: Technische Hogeschool Eindhoven. 30 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0071)

Research output: Book/ReportReportPopular

Open Access
File
18 Downloads (Pure)
Open Access
File
18 Downloads (Pure)

Vergelijking tussen de mogelijkheden van het werken met lineair-gepolariseerd en met circulair gepolariseerd licht

Bergmans, J., 1960, Eindhoven: Technische Hogeschool Eindhoven. 5 p. (DCT rapporten; vol. 1960.005)

Research output: Book/ReportReportPopular

Open Access
File
185 Downloads (Pure)

Vergelijking van arbeidsanalyse-methoden

Brandsma, A. M. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 27 p. (BMGT; vol. 88.561)

Research output: Book/ReportReportPopular

Open Access
File
113 Downloads (Pure)

Vergelijking van CAD-pakketten

Slangen, M. F. J., 1992, Eindhoven: Technische Universiteit Eindhoven. 40 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Vakgroep Produktietechnologie : WPB; vol. WPA1328)

Research output: Book/ReportReportPopular

Open Access
File
70 Downloads (Pure)

Vergelijking van "checking instruments for testing machinetools" ISO R230 met overeenkomstige DIN- en B.S.-normen

Timmermans, C. J., 1967, Eindhoven: Technische Hogeschool Eindhoven. 7 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0175)

Research output: Book/ReportReportPopular

Open Access
File
6 Downloads (Pure)

Vergelijking van de visuele responsie van stationaire en kort geflitste lijnen

van Gool, H. & Speekenbrink, A. C. M. T., 1982, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 57 p. (IPO-Rapport; vol. 436)

Research output: Book/ReportReportPopular

Open Access
File
43 Downloads (Pure)

Vergelijking van elasto/plastische trekproefmodellen voor iso- en anisotrope materialen t.b.v. een nieuw dataverwerkingsprogramma : modellen-nauwkeurigheid

Habets, W. F. R., 1991, Eindhoven: Technische Universiteit Eindhoven. 25 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Vakgroep Produktietechnologie : WPB; vol. WPA1160)

Research output: Book/ReportReportPopular

Open Access
File

Vergelijking van Eurocode 4 met de Nederlandse richtlijnen

Hove, van, B. W. E. M., 1993, Staal-betonconstructies : Achtergronden van Eurocode 4, 13 en 14 oktober 1993. Delft: Stichting PAO civiele techniek en bouwtechniek

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Vergelijking van gegevensmodellen

Pels, H. J., 1985, Uitdaging aan de informatica : proceedings naar aanleiding van het NGI-SION symposium 3, gehouden op 1 en 2 april 1985, Utrecht. Amsterdam: Nederlands Genootschap voor Informatica, p. 103-120

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

7 Downloads (Pure)

Vergelijking van licht en gezondheid meetinstrumenten

Duijnhoven, van, J., 2015. 22 p.

Research output: Contribution to conferenceAbstract

30 Downloads (Pure)

Vergelijking van methoden van overbrenging van energie in werktuigen

Schlösser, W. M. J., 1967, In : De constructeur. 6, 5, p. 25-30

Research output: Contribution to journalArticlePopular

Open Access
File
161 Downloads (Pure)

Vergelijking van methoden voor de oplossing van elasto-plastische problemen, op basis van de eindige elementen methode

Mullekom, van, J. T. J. M. S., 1974, Eindhoven: Technische Hogeschool Eindhoven. 45 p. (DCT rapporten; vol. 1974.002)

Research output: Book/ReportReportPopular

Open Access
File
24 Downloads (Pure)

Vergelijking van twee toetsen voor periodiciteit

Baaij, J. G., 1973, Eindhoven: Technische Hogeschool Eindhoven. 10 p. (Memorandum COSOR; vol. 7301)

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)

Vergissen en beslissen

Koldenhof, E. A., 1978, Eindhoven: Technische Hogeschool Eindhoven. 24 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File

Vergleich der musikalischen und akustischen Eigenschaften verschiedener Persischer Santuren und Salzburger Hackbretter

Kontos, K., 24 Oct 1985, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 123 p. (IPO rapport; vol. 505)

Research output: Book/ReportReportPopular

Vergleich von faseroptischen Messungen mit Diskreten-Elemente-Simulationen zur Analyse der Fluiddynamik und der Granulation in bedusten Wirbelschichten

Heinrich, S., Tripp, P., Deen, N. G., Link, J. M., Godlieb, W., Peglow, M., Kuipers, J. A. M., Schonherr, M., Morl, L. & Liedy, W., 2006.

Research output: Contribution to conferenceOther

Vergleich von faseroptischen Messungen mit Diskreten-Elemente-Simulationen zur Analyse der Granulation in einer blasenbildenden Wirbelschicht

Heinrich, S., Tripp, P., Deen, N. G., Link, J. M., Godlieb, W., Peglow, M., Kuipers, J. A. M., Schonherr, M., Morl, L. & Liedy, W., 2006.

Research output: Contribution to conferenceOther

51 Downloads (Pure)

Vergrotingsproblemen in de procesindustrie

Rietema, K., 1959, Groningen: Wolters. 20 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File
42 Downloads (Pure)

Vergroting van het meetbereik van een fotoelektrische meetmicroscoop

Huijsman, W. S., 1977, Eindhoven: Technische Hogeschool Eindhoven. 30 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0404)

Research output: Book/ReportReportPopular

Open Access
File
16 Downloads (Pure)

Vergulde daken : inventarisatie van het stadsvernieuwingsbeleid in Zweden

Kalle, E., 1983, Eindhoven: Technische Hogeschool Eindhoven. 83 p.

Research output: Book/ReportReportPopular

Open Access
File

Verhaltenswirksame Werte und Normen, die Luft, Wasser und Boden weiter verschlechtern (Influential environmental values and norms negatively affecting air, water and soil).

Kaiser, F. G., 2000, Institutionen für eine nachhaltige Ressourcennutzung-Innovative Steuerungsansätze am beispiel der Ressourcen Luft und Boden.. Kissling-Näf, I. & Varone, F. (eds.). Zürich, Switzerland: Rüegger, p. 115-127

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

32 Downloads (Pure)

Verhoogd inzicht in de machine-onnauwkeurigheid onder bedrijfsomstandigheden

Spaan, H. A. M., 1992, Eindhoven: Technische Universiteit Eindhoven. 8 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Vakgroep Produktietechnologie : WPB; vol. WPA1398)

Research output: Book/ReportReportPopular

Open Access
File
5 Downloads (Pure)

Verhouding tussen wetenschap en beleid : samenspel of tegenspel

Huyskens, C. J., 1988, Eindhoven: Technische Universiteit Eindhoven. 6 p. (Technische Universiteit Eindhoven. Stralingsbeschermingsdienst rapport; vol. 6811a)

Research output: Book/ReportReportPopular

Open Access
File

Verifiable ring signature

Lv, J. & Wang, X., 2003, Proceedings 9th International Conference on Distributed Media Systems (DMS 2003, Miami FL, USA, September 24-26, 2003; 3rd International Workshop on Cryptology and Network Security (CANS 2003)). p. 663-665

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

4 Citations (Scopus)

Verifiable rotation of homomorphic encryptions

Hoogh, de, S. J. A., Schoenmakers, B., Skoric, B. & Villegas Bautista, J. A., 2009, Public Key Cryptography - PKC 2009 (12th International Conference on Practice and Theory in Public-Key Cryptography, Irvine CA, USA, March 18-20, 2009, Proceedings). Jarecki, S. & Tsudik, G. (eds.). Berlin: Springer, p. 393-410 (Lecture Notes in Computer Science; vol. 5443).

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

Discrete Fourier transforms
Cryptography
Fast Fourier transforms
Fourier transforms

Verifiable secret sharing

Schoenmakers, B., 2011, Encyclopedia of Cryptography and Security (2nd ed.). Tilborg, van, H. C. A. & Jajodia, S. (eds.). New York: Springer, p. 1357-1358

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Verifiable secret sharing

Schoenmakers, B., 2005, Encyclopedia of Cryptography and Security. Tilborg, van, H. C. A. (ed.). New York: Springer, p. 645-647

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

69 Downloads (Pure)

Verifiable secret sharing and applications

Nikov, V. S., 2005, Eindhoven: Technische Universiteit Eindhoven. 197 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
maar
36 Downloads (Pure)

Verificatie snijsnelheid : levensduur relaties van Bertil N. Colding voor frezen

Beer, de, C., 1960, Eindhoven: Technische Hogeschool Eindhoven. 3 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0006-2)

Research output: Book/ReportReportPopular

Open Access
File
24 Downloads (Pure)

Verificatie van de deformatievergelijking ... voor vlak- en ruimtespanningstoestand

Boot, J. G. F. M., 1967, Eindhoven: Technische Hogeschool Eindhoven. 28 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0189)

Research output: Book/ReportReportPopular

Open Access
File
28 Downloads (Pure)

Verificatie van een stuk wiskundige taal

de Bruijn, N. G., 1967, Eindhoven: Technische Hogeschool Eindhoven. 9 p.

Research output: Book/ReportReportPopular

Open Access
File
231 Downloads (Pure)

Verificatie van het berekeningsmodel voor het berekenen van de kracht bij het ponsen

Kerstens, D. C., 1965, Eindhoven: Technische Hogeschool Eindhoven. 46 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0132)

Research output: Book/ReportReportPopular

Open Access
File
39 Downloads (Pure)

Verificatie van het model van een F16-neuslandingsgestel dmv drop tests

Verburg, A. J., 1993, Eindhoven: Technische Universiteit Eindhoven. 22 p. (DCT rapporten; vol. 1993.112)

Research output: Book/ReportReportPopular

Open Access
File
2 Citations (Scopus)

Verification

Verbeek, H. M. W. & Wynn, M. T., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 513-539

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Petri nets
Acoustic waves
2 Downloads (Pure)

Verification and analysis of EM immunity of integrated circuits

Duipmans, L. J., 13 Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 175 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

30 Citations (Scopus)

Verification and improvement of the sliding window protocol

Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2003, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS 2003, Warsaw, Poland, April 7-11, 2003). Garavel, H. & Hatcliff, J. (eds.). Berlin: Springer, p. 113-127 (Lecture Notes in Computer Science; vol. 2619).

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

Network protocols
20 Citations (Scopus)

Verification and optimization of a PLC control schedule

Brinksma, E., 2000, SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000). Havelund, K., Penix, J. & Visser, W. (eds.). Springer, p. 73-92 (Lecture Notes in Computer Science; vol. 1885).

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

23 Citations (Scopus)

Verification and optimization of a PLC control schedule

Brinksma, E., Mader, A. H. & Fehnker, A., 2002, In : International Journal on Software Tools for Technology Transfer. 4, 1, p. 21-33

Research output: Contribution to journalArticleAcademicpeer-review

Programmable logic controllers
Model checking
Controllers
Chemical plants
Hybrid systems

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. (eds.). Frankfurt am Main: Peter Lang, p. 229-262

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

34 Downloads (Pure)

Vérification des textes mathématiques par un ordinateur: conférence à Lille, le 21 novembre 1969

Bruijn, de, N. G., 1969, Eindhoven: Technische Hogeschool Eindhoven. 11 p.

Research output: Book/ReportReportPopular

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

Verification is experimentation!

Brinksma, E., 2001, In : International Journal on Software Tools for Technology Transfer. 3, 2, p. 107-111

Research output: Contribution to journalArticleAcademicpeer-review

Formal methods
Computer science
Explosions
Formal verification
Industry
1 Citation (Scopus)

Verification is experimentation!

Brinksma, E., 2000, CONCUR 2000 - concurrency theory : proceedings 11th international conference, University Park PA, USA, august 22-25, 2000. Palamidessi, C. (ed.). Springer, p. 17-24 (Lecture Notes in Computer Science; vol. 1877).

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

paradigm
mathematical method
computer science
industry
evidence
2 Citations (Scopus)

Verification of 3D mathematical simulation with measured temperature profiles during furnace operation

Bauer, R., Muijsenberg, H. P. H., Simonis, F. & Peters, G. J., 1995, Proceedings of the 4th International Conference Advances in Fusion and Processing of Glass : May 22 - 24, 1995, Würzburg (Germany. Schaeffer, H. A. & Pye, L. D. (eds.). Frankfurt/Main: Deutsche Glastechnische Gesellschaft e.V., p. 44-62 (Glass Science and Technology; vol. 68).

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