Find Research outputs

Search results

• Report

  Verhouding schoolbestuur en centrale directie in het voortgezet onderwijs

  Brandsma, H. P. & Leemkuil, H. H., 1998, Enschede: Universiteit Twente. 68 p.

  Research output: Book/Report › Report › Professional

• Verification of a timestamp-based sliding-window protocol

  Oláh, A. L., 1994, Enschede: University of Twente. 35 p. (Memoranda informatica; no. 94-42)(Memorandum TIOS; no. 94-12)

  Research output: Book/Report › Report › Professional

• Verification of Compensation Requirements for the SEPIA Cooperative Authoring System

  Even, S. J. & Spelt, D., 1998, Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. 98-25)

  Research output: Book/Report › Report › Academic

• Verification of Modal Properties Using Infinite Boolean Equation Systems

  Mader, A. H., 1997, Nijmegen: Computing Science Institute, University of Nijmegen. (ICIS Technical Reports; no. CSI-R9)

  Research output: Book/Report › Report › Other research output

  File
  33 Downloads (Pure)

• Verifying Class Invariants in Concurrent Programs

  Zaharieva, M. & Huisman, M., 17 Jan 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 20 p. (CTIT Technical Report Series; no. TR-CTIT-14-01)

  Research output: Book/Report › Report › Professional

  File
  4 Citations (Scopus)

  82 Downloads (Pure)

• Verifying the distributed real-time network protocol RTnet using Uppaal

  Hanssen, F. T. Y., Mader, A. H. & Jansen, P. G., Jan 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT Technical Report Series; no. 06-19)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  4 Citations (Scopus)

  85 Downloads (Pure)

• VerifyThis 2016: A Program Verification Competition

  Huisman, M., Monahan, R., Müller, P. & Poll, E., Jun 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. TR-CTIT-16-07)

  Research output: Book/Report › Report › Professional

  File
  104 Downloads (Pure)

• VerifyThis 2017: A Program Verification Competition

  Huisman, M., Monahan, R., Müller, P., Mostowski, W. & Ulbrich, M., 2017, Karlsruhe: Karlsruhe Institute of Technology. (Karlsruhe Reports in Informatics; no. 2017-10)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  129 Downloads (Pure)

• VerifyThis2018: A Program Verification Competition

  Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

  Research output: Book/Report › Report › Academic

  Open Access

  File
  81 Downloads (Pure)

• Verkeers- en vervoerseducatie en natuur- en milieu-educatie in leermiddelen : de aandacht voor VVE/NME in bestaande methoden voor de eerste fase van het voortgezet onderwijs : een inhoudelijke analyse

  van Aert, L. C. M. & Bronkhorst, E. M., 1992, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 56 p.

  Research output: Book/Report › Report › Professional

• Verkeers- en vervoerseducatie en natuur- en milieu-educatie in leermiddelen : de aandacht voor VVE/NME in lespakketten voor de eerste fase voortgezet onderwijs : een inhoudelijke en onderwijskundige analyse

  van Aert, L. C. M. & Bronkhorst, E. M., 1992, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 86 p.

  Research output: Book/Report › Report › Professional

• Verkenning automatische metadataprocessen

  Pannekeet, K., Strijker, A., Brouns, F. & van der Vegt, W., 2006, Utrecht: Digitale Universiteit. 17 p.

  Research output: Book/Report › Report › Professional

• Verkenning beleidsexperimenten lokale veiligheid: inzet van psychologische inzichten ter voorkoming van uitgaansoverlast

  Galetzka, M., van Hoof, J. J. & de Vries, P. W., 2016, Wetenschappelijk Onderzoek- en Documentatiecentrum (WODC).

  Research output: Book/Report › Report › Professional

  File
  415 Downloads (Pure)

• Verkenning data-gedreven onderwijsonderzoek in Nederland

  Translated title of the contribution: Exploration of big data in educationVeldkamp, B. P., Schildkamp, K., Keijsers, M., Visscher, A. J. & de Jong, T., 2017, Universiteit Twente. 64 p.

  Research output: Book/Report › Report › Professional

  Open Access

  File
  937 Downloads (Pure)

• Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland

  van der Molen, I., Berendsen, J., Gerardts, R., Haverkort, B. R. H. M., Meijerink, B. J., Misana-Ter Huurne, E. F. J., Rojer, G., Schoop, R. & Torenvlied, R., 2017, University of Twente. 96 p.

  Research output: Book/Report › Report › Professional

  Open Access

  File
  261 Downloads (Pure)

• Verkenningen duurzame ontwikkelingen Verkeer en Waterstaat (deelonderzoek)

  Achterhuis, H., 1993, Den Haag: Ministerie van Verkeer en Waterstaat. 32 p.

  Research output: Book/Report › Report › Professional

• Verkenningen hoogwaterbeheer Maas: Een studie naar besluitvorming als verweving van expertise en belangen

  Wesselink, A., 2006, Enschede: University of Twente. 153 p. (Civil Engineering & Management reports; no. 2006R-003/WEM.-004)

  Research output: Book/Report › Report › Professional

• Verkenning kennisdomein & praktijk Technostart

  Groen, A. J., Jenniskens, C. G. M. & van der Sijde, P., 2003, Enschede: Netherlands Institute for Knowledge Intensive Entrepreneurship (NIKOS). 87 p. (BBT research report)

  Research output: Book/Report › Report › Professional

• Verkenning marktpositie van de Open Universiteit Nederland

  Faber, M. & Vossensteyn, J. J., 2009, Enschede: Center for Higher Education Policy Studies (CHEPS). 80 p.

  Research output: Book/Report › Report › Professional

• Verkenning onderdelen veiligheidsmanagement - systeem voor gasdistributie

  Arentsen, M. J. & Wolters, M., 2006, Enschede: Center for Clean Technology and Environmental Policy. 42 p. (CSTM-reeks; no. 269)

  Research output: Book/Report › Report › Professional

• Verkenning onderzoeksgebied verkeersbouwkunde

  ter Huerne, H. L., 1993, Universiteit Twente, Enschede: Universiteit Twente, Enschede. 21 p.

  Research output: Book/Report › Report › Professional

• Verkenning provinciaal economisch beleid. Een vooronderzoek naar het economisch beleid van de provincies Overijssel en Gelderland

  Coenen, F. H. J. M., van de Peppel, R. A. & Visser, G. J., 2007, Enschede: Center for Clean Technology and Environmental Policy. 60 p.

  Research output: Book/Report › Report › Professional

• Verkenningscommissies tussen veld en overheid : evaluatie-onderzoek verkenningscommissies

  van der Meulen, B., Westerheijden, D. F., Rip, A. & van Vught, F. A., 1991, Zoetermeer: Ministerie van Onderwijs en Wetenschappen. 311 p. (Achtergrondstudies hoger onderwijs en wetenschappelijk onderzoek; no. 8)

  Research output: Book/Report › Report › Professional

• Verkenning van de mogelijkheden van ICT voor leerplanontwikkeling en kennismanagement

  Voogt, J., Zocca, M., Fisser, P. & Strijker, A., 2006, Enschede: Stichting Leerplan Ontwikkeling (SLO). 22 p.

  Research output: Book/Report › Report › Professional

• Vermogens- en bundelmetingen van een 2,8kW CO2-lasersysteem van Metaveld Wijchen BV

  Husslage, W., 1999, Geen adressering: Geen opgaven.

  Research output: Book/Report › Report › Professional

• Vernieuwend onderwijs met ICT.

  Eichhorn, K., Pronk, H., Thijs, A. & Voogt, J., 2000, Dordrecht: Ichthus Hogeschool. 28 p.

  Research output: Book/Report › Report › Professional

• Verontreiniging drinkwater Leidscherijn. Raad voor de Transportveiligheid.

  Visser, J. P., van Berkom, M. L. J. J., Spiekhout, J., Suurenbroek, Y., Wessels, J. F. M., Smolders, B. P. & Pietersen, C. M., 2003, Den Haag: SDU. 39 p. (CB-3-03.015)

  Research output: Book/Report › Report › Professional

• Verrichte werkzaamheden voor het project: IOP-roterende gasreiniger, reiniging van met halogeen koolwaterstoffen verontreinigde procesgassen d.m.v. de roterende gasreiniger

  van der Velde, H., 1993, Rapp. no. WB/ThW/RDS-9303: Rapport voor Senter den Haag.

  Research output: Book/Report › Report › Professional

• Verrichte werkzaamheden voor het project: IOP-roterende gasreiniger, reiniging van met hologeen koolwaterstoffen verontreinigde procesgassen d.m.v. de roterende gasreiniger

  van der Velde, H., 1993, Rapport nr. WB.ThW/RDS-9301: Rapport voor Senter den Haag.

  Research output: Book/Report › Report › Professional

• Versal deformation of the Lie algebra $L_2$

  Fialowski, A. & Post, G. F., 1999, Enschede: University of Twente, Department of Applied Mathematics. (Memorandum / Department of Applied Mathematics; no. 1490)

  Research output: Book/Report › Report › Other research output

  File
  114 Downloads (Pure)

• Versal deformation of the Lie algebra L_2

  Fialowski, A. & Post, G. F., 1999, Geen adressering: Universiteit Twente. 14 p.

  Research output: Book/Report › Report › Professional

• Versatile Markovian models for networks with asymmetric TCP sources

  van Foreest, N. D., Haverkort, B. R. H. M., Mandjes, M. R. H. & Scheinhardt, W. R. W., 2004, Enschede: University of Twente, Department of Applied Mathematics. 28 p. (Memorandum Faculty of Mathematical Sciences; no. 1734)

  Research output: Book/Report › Report › Professional

  File
  19 Downloads (Pure)

• Verschijningsvormen van en succesfactoren voor het afstandsonderwijs. Een internationaal vergelijkend onderzoek

  Beverwijk, J. M. R., Boezerooy, P., Huisman, J. & van de Maat, L. J. F., 1999, Enschede: Center for Higher Education Policy Studies (CHEPS). 74 p.

  Research output: Book/Report › Report › Professional

• Verschijningsvormen van en succesfactoren voor het afstandsonderwijs. Een internationaal vergelijkend onderzoek

  Beverwijk, J. M. R., Boezerooy, P., Huisman, J. & van de Maat, L. J. F., 1999, Enschede: Center for Higher Education Policy Studies (CHEPS). 74 p.

  Research output: Book/Report › Report › Professional

• Verschijningsvormen van verzorging, deel A: Survey-onderzoek

  Doornekamp, B. G., 1995, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 166 p.

  Research output: Book/Report › Report › Professional

• Verschijningsvormen van verzorging, deel B: dieptestudie-onderzoek

  Doornekamp, B. G., 1995, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 157 p.

  Research output: Book/Report › Report › Professional

• Verschillen in examencijfers. De rol van initiele vaardigheden en de bijdrage van scholen. Een onderzoek naar de examenresultaten 1998 en 1999 van VOCL-93 leerlingen.

  Rekers-Mombarg, L. T. M., Lodewick, J. G. M. H. & Bosker, R., 2000, Enschede: OCTO, Universiteit Twente. 75 p.

  Research output: Book/Report › Report › Professional

• Verschillen in leercultuur tussen sectoren

  Gielen, P. M., Nieuwenhuis, L., Woudstra, L. S. E. & Kirschner, P. A., 2009, Tilburg: IVA. 85 p.

  Research output: Book/Report › Report › Professional

  File
  105 Downloads (Pure)

• Verschillen in nieuwsframing en nieuwsconsumptie bij een gedrukte en een online versie van de Gelderlander en de Telegraaf.

  Heuvelman, A., Kokhuis, M., Van summeren, C., Jankowski, N. & d'Haens, I., 2000, Nijmegen: Katholieke Universiteit Nijmegen. 46 p.

  Research output: Book/Report › Report › Professional

• Verschil maken. Trends en beschouwingen ten aanzien van autonomie en verantwoording in het academisch onderzoek

  Jongbloed, B. W. A., 2002, Enschede, the Netherlands: Center for Higher Education Policy Studies (CHEPS). 16 p.

  Research output: Book/Report › Report › Professional

• Verslag eerste jaar ECO-onderzoek

  van Riemsdijk, M. & Verburg, C. A., 1 Feb 1990, Amsterdam/Weesp: Onbekend.

  Research output: Book/Report › Report › Professional

• Verslag haalbaarheidsonderzoek PHIL-project

  Doornekamp, B. G. & Streumer, J., 1993, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 55 p.

  Research output: Book/Report › Report › Professional

• Verslag van de algmene onderzoeksresultaten

  Huisman, J. A. B., Nijhof, W. J., Peppel, T. B. & Schrik, H. M., 1995, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 18 p.

  Research output: Book/Report › Report › Professional

• Verslag van de First International Conference on Artificial Intelligence in Design '91, Edinburgh

  Wognum, P. M. & Alberts, L. K., 1992, Enschede: CIAD. 1 p.

  Research output: Book/Report › Report › Professional

• Verslag van de Proefscholen Oost-Nederland over het schooljaar 1990/1991

  Dekker, P. J., ten Hoonte, J., Schothans, J. M., ter Ellen, G. A. & Zwaga, L. H. M., 1993, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 105 p. (PRONTO-rapporten)

  Research output: Book/Report › Report › Professional

• Verslag van de Second International Conference on Artificial Intelligence in Design '92, Pittsburgh

  Wognum, P. M., Alberts, L. K. & Mars, N., 1992, Enschede: CIAD. 2 p.

  Research output: Book/Report › Report › Professional

• Verslag van de studiedag "Effectieve nascholing op het gebied van informatietechnologie" op 30 november en 6 december 1989

  Thijsen, J. A. & van der Sijde, P., 1 Jan 1990, Enschede: OCTO, Universiteit Twente.

  Research output: Book/Report › Report › Professional

• Verslag van de 'Workshop on Historical and Social Study of the Human Genome Initiative'

  Stemerding, D., 1990, Enschede: Universiteit Twente. 12 p.

  Research output: Book/Report › Report › Professional

• Verslag van het CIAD-symposium 'Kennistechnologie ten behoeve van het ontwerpen van technische produkten', 2 april 1992

  Wognum, P. M., 1992, Enschede: CIAD. 1 p.

  Research output: Book/Report › Report › Professional

• Verslag van het project 'Auditieve Courseware voor Blinden'

  Jaspers, F. & Koelma, R., 1993, Enschede: Universiteit Twente, Faculteit Toegepaste Onderwijskunde. 37 p.

  Research output: Book/Report › Report › Professional