Onderzoeksoutput zoeken

Zoekresultaten

• 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, blz. 103-120

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

• Vergelijking van licht en gezondheid meetinstrumenten

  Duijnhoven, van, J., 2015. 22 blz.

  Onderzoeksoutput: Bijdrage aan congres › Abstract › Academic

  7 Downloads (Pure)

• Vergelijking van methoden van overbrenging van energie in werktuigen

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

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Populair

  Open Access

  Bestand
  44 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 blz. (DCT rapporten; vol. 1974.002)

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  171 Downloads (Pure)

• Vergelijking van twee toetsen voor periodiciteit

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

  Onderzoeksoutput: Boek/rapport › Rapport › Academic

  Open Access

  Bestand
  35 Downloads (Pure)

• Vergissen en beslissen

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

  Onderzoeksoutput: Boek/rapport › Inaugurale rede › Academic

  Open Access

  Bestand
  42 Downloads (Pure)

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

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand

• 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.

  Onderzoeksoutput: Bijdrage aan congres › Other › Academic

• 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.

  Onderzoeksoutput: Bijdrage aan congres › Other › Academic

• Vergrotingsproblemen in de procesindustrie

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

  Onderzoeksoutput: Boek/rapport › Inaugurale rede › Academic

  Open Access

  Bestand
  69 Downloads (Pure)

• Vergroting van het meetbereik van een fotoelektrische meetmicroscoop

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  49 Downloads (Pure)

• Vergulde daken : inventarisatie van het stadsvernieuwingsbeleid in Zweden

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  25 Downloads (Pure)

• 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. (redactie). Zürich, Switzerland: Rüegger, blz. 115-127

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

• Verhogen van het strategisch produktinnovatievermogen : naar een verhoging van het strategisch produktinnovatievermogen en over het belang van een technologiestrategie : met een toepassing bij producenten van medische apparatuur in Nederland

  Nagel, A. P., 1992, Eindhoven: Technische Universiteit Eindhoven. 199 blz.

  Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

  Open Access

  Bestand
  719 Downloads (Pure)

• Verhoogd inzicht in de machine-onnauwkeurigheid onder bedrijfsomstandigheden

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  41 Downloads (Pure)

• Verhouding tussen wetenschap en beleid : samenspel of tegenspel

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  13 Downloads (Pure)

• 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)). blz. 663-665

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

• 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. (redactie). Berlin: Springer, blz. 393-410 (Lecture Notes in Computer Science; vol. 5443).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  6 Citaten (Scopus)

• Verifiable secret sharing

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

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

• Verifiable secret sharing

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

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

• Verifiable secret sharing and applications

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

  Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

  Open Access

  Bestand
  166 Downloads (Pure)

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

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  63 Downloads (Pure)

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

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  33 Downloads (Pure)

• Verificatie van een stuk wiskundige taal

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  34 Downloads (Pure)

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

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  317 Downloads (Pure)

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

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

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  87 Downloads (Pure)

• 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. (redactie). Berlin: Springer, blz. 513-539

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic
  2 Citaten (Scopus)

• Verification and analysis of EM immunity of integrated circuits

  Duipmans, L. J., 13 dec. 2019, Eindhoven: Technische Universiteit Eindhoven. 175 blz.

  Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

  Open Access

  Bestand
  36 Downloads (Pure)

• 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. (redactie). Berlin: Springer, blz. 113-127 (Lecture Notes in Computer Science; vol. 2619).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  32 Citaten (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, blz. 21-33

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
  22 Citaten (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. (redactie). Springer, blz. 73-92 (Lecture Notes in Computer Science; vol. 1885).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  23 Citaten (Scopus)

• 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/Congresprocedure › Hoofdstuk › Academic

• 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 blz.

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  52 Downloads (Pure)

• Verification device for a connected lighting system

  Pandharipande, A. V., Caicedo Fernández, D. R. & Ampt, M., 15 aug. 2019, IPC-nummer H05B 37/ 02 A I, Octrooi Nr. US2019254144, Prioriteitsdatum 9 jun. 2017, Prioriteitsnummer WO2017EP64135

  Onderzoeksoutput: Octrooi › Octrooi-publicatie

  Open Access

• Verification device for a connected lighting system

  Pandharipande, A. V., Caicedo Fernandez, D. R. & Ampt, M., 11 jan. 2018, IPC-nummer H05B 37/ 02 A I, Octrooi Nr. WO2018007099, Prioriteitsdatum 5 jul. 2016, Prioriteitsnummer EP20160177884

  Onderzoeksoutput: Octrooi › Octrooi-publicatie

  Open Access

• Verification device for a connected lighting system

  Pandharipande, A. V., Caicedo Fernandez, D. R. & Ampt, M., 15 mei 2019, IPC-nummer H05B 37/ 02 A I, Octrooi Nr. EP3482607, Prioriteitsdatum 9 jun. 2017, Prioriteitsnummer WO2017EP64135

  Onderzoeksoutput: Octrooi › Octrooi-publicatie

  Open Access

• Verification is experimentation!

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

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
  7 Citaten (Scopus)

  1 Downloads (Pure)

• Verification is experimentation!

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

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  1 Citaat (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. (redactie). Frankfurt/Main: Deutsche Glastechnische Gesellschaft e.V., blz. 44-62 (Glass Science and Technology; vol. 68).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  3 Citaten (Scopus)

• Verification of a Contactless Characterization Method for Millimeter-Wave Integrated Antennas

  van den Biggelaar, A. J., Galesloot, E., Reniers, A., Smolders, B. & Johannsen, U., 1 mei 2020, In: IEEE Transactions on Antennas and Propagation. 68, 5, blz. 3358-3365 8 blz., 8954901.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

• Verification of a model for a hopping robot

  Verhagen, D., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (DCT rapporten; vol. 2007.039)

  Onderzoeksoutput: Boek/rapport › Rapport › Populair

  Open Access

  Bestand
  33 Downloads (Pure)

• Verification of a sliding window protocol in µCRL

  Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & Pol, van de, J. C., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, blz. 157-176

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

  Open Access

  Bestand
  75 Downloads (Pure)

• Verification of a sliding window protocol in µCRL and PVS

  Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & Pol, van de, J. C., 2005, In: Formal Aspects of Computing. 17, 3, blz. 342-388

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
  26 Citaten (Scopus)

• Verification of atomicity preservation in model-to-code transformations using generic Java code

  Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., blz. 578-588 11 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  2 Citaten (Scopus)

  2 Downloads (Pure)

• Verification of a uranium micromass standard using the Eindhoven scanning microprobe

  Simons, D. P. L., Lagerwaard, A., Mutsaers, P. H. A. & Voigt, de, M. J. A., 1999, In: Nuclear Instruments and Methods in Physics Research. Section B: Beam Interactions with Materials and Atoms. 158, 1-4, blz. 517-522 6 blz.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

• Verification of a wireless ATM medium-access protocol

  Sidorova, N. & Steffen, M., 2000, Proceedings Seventh Asia-Pacific Software Engineering Conference (APSEC 2000, Singapore, December 5-8, 2000). Titsworth, F. (redactie). IEEE Computer Society, blz. 84-91

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  2 Citaten (Scopus)

• Verification of building blocks for asynchronous circuits

  Verbeek, F. & Schmaltz, J., 2013, Proceedings International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013, Laramie WY, USA, May 30-31, 2013). Gamboa, R. & Davis, J. (redactie). EPTCS, blz. 70-84 (Electronic Proceedings in Theoretical Computer Science).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

• Verification of Chromatographic Profile of Primary Essential Oil of Pinus sylvestris L. Combined with Chemometric Analysis

  Allenspach, M., Valder, C., Flamm, D., Grisoni, F. & Steuer, C., jul. 2020, In: Molecules. 25, 13, 14 blz., 2973.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access
  6 Citaten (Scopus)

• Verification of concurrent systems in a model-driven engineering workflow

  de Putter, S. M. J., 28 jan. 2019, Eindhoven: Technische Universiteit Eindhoven. 200 blz.

  Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

  Open Access

  Bestand
  286 Downloads (Pure)

• Verification of context-dependent channel-based service models

  Kokash, N., Krause, C. & Vink, de, E. P., 2010, Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers). Boer, de, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (redactie). Berlin: Springer, blz. 21-40 (Lecture Notes in Computer Science; vol. 6286).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
  15 Citaten (Scopus)