Search concepts
|
Selected filters
|
- 250 - 300 out of 9,529 results
Search results
-
Technical report
A Pattern to Test Instances of the Template Method
Bijlsma, A., Pootjes, H. J., Stuurman, S. & Passier, H. J. M., 12 Apr 2017, Open Universiteit Nederland. 11 p.Research output: Book/Report › Technical report › Academic
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)
Cledou, G., Edixhoven, L. J., Jongmans, S-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile12 Downloads (Pure) -
A Predicate Transformer for Choreographies (Full Version)
Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 36 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile28 Downloads (Pure) -
A Predicate Transformer for Choreographies (Technical Report)
Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 132 p. (OUNL-CS (Technical Reports); No. 02, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile13 Downloads (Pure) -
Balanced-by-construction regular and ω-regular languages (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).Research output: Book/Report › Technical report › Academic
File14 Downloads (Pure) -
Beautiful JavaScript: How to create good and elegant code
Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 11 May 2015, Open Universiteit Nederland. 26 p.Research output: Book/Report › Technical report › Academic
-
Branching pomsets for choreographies (technical report)
Edixhoven, L., Jongmans, S-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile8 Downloads (Pure) -
Comic Book: Intellectual Output 2 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage
Brighi, A., Mameli, C., Guarini, A., Menin, D., Völlink, T., Willems, R. A., Scheithauer, H., Fiedler, N., Purdy, N., Hamilton, J., Rowan, A., Smith, P. K. & Culbert, C., Oct 2019, Belfast: Stranmillis University College. 28 p.Research output: Book/Report › Technical report › Academic
Open AccessFile28 Downloads (Pure) -
Construction of a knowledge graph for exercise selection
Bijlsma, A., Huizing, C., Kok, A. J. F., Kuiper, R., Passier, H. J. M., Scheffers, E., Schivo, S. & Vos, T. E. J., 14 Oct 2021, Open Universiteit. 24 p. (OUNL-CS (Technical Reports); No. 2, Vol. 2021).Research output: Book/Report › Technical report › Academic
Open AccessFile18 Downloads (Pure) -
Docentprofessionalisering in regionale leercentra: Heyy: Eindrapport doorbraakproject docentprofessionalisering Educatieve Agenda Limburg
Evers, A., Rajagopal, K., Kreijns, K., Smeets, A. & Fasen, J., Oct 2018, Heerlen: Welten-instituut - Open Universiteit. 20 p.Research output: Book/Report › Technical report › Professional
Open AccessFile139 Downloads (Pure) -
Emotions and technology in pension service interactions: Taking stock and moving forward
Eberhardt, W., Henkel, A. & Hoet, C., Apr 2020, Tilburg: Netspar. 41 p. (Netspar Industry paper series, Vol. 144). (Netspar Design Paper, Vol. 144).Research output: Book/Report › Technical report › Professional
Open Access -
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Jongmans, S-S. & Yoshida, N., 2020, Open Universiteit Nederland. 189 p. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 01, Vol. 2020).Research output: Book/Report › Technical report › Academic
Open AccessFile37 Downloads (Pure) -
Generating hints and feedback for Hilbert-style axiomatic proofs
Lodder, J. S., Heeren, B. J. & Jeuring, J. T., Dec 2016, Utrecht: Utrecht University. 8 p. (Technical Report University Utrecht, Vol. UU-CS-2016-009).Research output: Book/Report › Technical report › Professional
File32 Downloads (Pure) -
Guidance for parents/carers: Intellectual Output 3 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage
Smith, P. K., Culbert, C., Brighi, A., Mameli, C., Guarini, A., Menin, D., Völlink, T., Willems, R. A., Scheithauer, H., Fiedler, N., Purdy, N., Hamilton, J. & Rowan, A., Oct 2019, Belfast: Stranmillis University College. 20 p.Research output: Book/Report › Technical report › Academic
Open AccessFile28 Downloads (Pure) -
Het bevorderen van burgerschapscompetenties in de natuurwetenschappelijke vakken met behulp van zelfgemaakt actueel en innovatief lesmateriaal: Een onderzoek naar karakteristieken van effectief burgerschapsonderwijs in de natuurwetenschappelijke vakken en kenmerken van docenten die zelf actuele burgerschapslessen ontwerpen
Henze, I., Bayram-Jacobs, D., Barendsen, E. & Platteel, ., 2020, Delft/Nijmegen/Leiden: Nationaal Regieorgaan Onderwijsonderzoek (NRO). 44 p.Research output: Book/Report › Technical report › Academic
Open Access -
Het Nederlands waterbeheer: Publiek vertrouwen niet vanzelfsprekend
Voogd, R., De Vries, J. & Beunen, R., 2021, Wageningen University. 6 p.Research output: Book/Report › Technical report › Professional
Open Access -
Hoe stimuleer je circulair inkopen? 7 eenvoudige lessen om de transitie te maken
Neessen, P. C. M., 16 Nov 2020, Zeist: Nevi. 5 p.Research output: Book/Report › Technical report › Professional
-
How do students test software units? Part one: Their natural attitude diagnosed
Bijlsma, A., Doorn, N., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 27 May 2020, Heerlen: Open Universiteit Nederland. 46 p. (Technical Report - Computer Science & Information Science (TR-OU-INF), Vol. 2019).Research output: Book/Report › Technical report › Academic
Open AccessFile28 Downloads (Pure) -
ID 7.12 – Revised version of the learning path description and validation plan
Herder, E., Kärger, P., Berlanga, A., Janssen, J. & Heyenrath, S., 6 Jan 2010Research output: Book/Report › Technical report › Academic
Open AccessFile3 Downloads (Pure) -
ID 7.13+17 – Validation of learning path description, Implementation of the Learning Path Manager and Editor
Herder, E., Kärger, P., Berlanga, A., Janssen, J. & Heyenrath, S., 6 Jan 2010Research output: Book/Report › Technical report › Academic
Open AccessFile1 Downloads (Pure) -
ID 7.17 – Implementation of the Learning Path Manager and Editor
Herder, E., Kärger, P., Berlanga, A., Janssen, J. & Heyenrath, S., 6 Jan 2010Research output: Book/Report › Technical report › Academic
Open AccessFile3 Downloads (Pure) -
Innovation au sens large. Une étude pour la mesure de l’innovation.
Pauwels, F., Cortese, V., Martinez, E., Forrier, A., Van Hootegem, G., Van Ruysseveldt, J., Manshoven, J. & Teirlinck, P., 2004Research output: Book/Report › Technical report › Academic
Open AccessFile33 Downloads (Pure) -
Integrated Test Development: Technical Report (TR-OU-ICA-2018-01)
Bijlsma, A., Passier, H. J. M., Pootjes, H. & Stuurman, S., 2018, Open Universiteit.Research output: Book/Report › Technical report › Academic
-
Lecture notes on ‘Analysing energy consumption by software: for the TACLe Summerschool 2016, Yspertal, Austria
van Gastel, B. E. & van Eekelen, M. C. J. D., Sep 2016, Radboud University Nijmegen. 42 p.Research output: Book/Report › Technical report › Professional
Open AccessFile5 Downloads (Pure) -
Levenslange obstakels: Een levensloopstudie naar licht verstandelijk beperkten in het strafrecht en in de zorg
Teeuwen, M., Bruggeman, M., Dirkse, M. & Malsch, M., 2020, Amsterdam: Nederlands Studiecentrum Criminaliteit. 96 p.Research output: Book/Report › Technical report › Academic
Open Access -
Licht verstandelijk beperkte jongeren in de strafprocedure: Knelpunten en risico’s
Teeuwen, M. & Malsch, M., 2017, Amsterdam: Nederlands Studiecentrum Criminaliteit. 42 p.Research output: Book/Report › Technical report › Academic
Open Access -
Methodical Concurrency Design in Education: Part I: Race Conditions.
Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., 17 Dec 2015, Heerlen (NL): Open Universiteit Nederland.Research output: Book/Report › Technical report › Professional
-
Methodical Concurrency Design in Education, Part II: Deadlock.
Bijlsma, A., Bockisch, C. M., Passier, H. J. M. & Pootjes, H. J., 17 Dec 2015, (Submitted) Heerlen (NL): Open Universiteit Nederland.Research output: Book/Report › Technical report › Professional
-
Mitigeren en compenseren stikstofdepositie op beschermde Natura 2000-habitats: Een reflectie op basis van relevante wetenschappelijke inzichten en juridische kaders
Beunen, R., Dec 2022, Heerlen: Open Universiteit.Research output: Book/Report › Technical report › Professional
Open AccessFile7 Downloads (Pure) -
Mobile Augmented Reality for Learning
Specht, M., 3 Apr 2012, 1 ed. the Netherlands.Research output: Book/Report › Technical report › Academic
Open AccessFile4 Downloads (Pure) -
Monitoring spatial sustainable development: Semi-automated analysis of satellite and aerial images for energy transition and sustainability indicators
Curier, R. L., De Jong, T. J. A., Strauch, K., Cramer, K., Rosenski, N., Schartner, C., Debusschere, M., Ziemons, H., Iren, D. & Bromuri, S., 26 Sep 2018, 24 p. (arXiv).Research output: Book/Report › Technical report › Academic
Open Access -
Nationale stimuleringsactie empirical legal studies
Elbers, N., Malsch, M., van der Laan, P., Akkermans, A. & Bijleveld, C., 2018, Amsterdam: Nederlands Studiecentrum Criminaliteit en Rechtshandhaving. 37 p.Research output: Book/Report › Technical report › Professional
Open Access -
Non-Quantitative Modeling of Service-Oriented Architectures, Refactorings, and Performance
van Eekelen, M., Lamers, A. & Jongmans, S-S., 2017, Open Universiteit Nederland. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 2, Vol. 2017).Research output: Book/Report › Technical report › Academic
Open AccessFile6 Downloads (Pure) -
On the validation of an Evaluation Framework: Assessment by Experts
Högler, T. & Versendaal, J. M., 11 Nov 2017, HBO Kennisbank, SURF. 58 p.Research output: Book/Report › Technical report › Professional
Open AccessFile8 Downloads (Pure) -
On the validation of the initial step of an upfront system implementation evaluation framework: The firebrigade case
Högler, T. & Versendaal, J. M., 11 Nov 2017, HBO Kennisbank, SURF. 26 p.Research output: Book/Report › Technical report › Professional
Open AccessFile16 Downloads (Pure) -
Ontwerprichtlijnen voor formatief toetsen vanuit de geheugenpsychologie 1 + 1 = 3?
Dirkx, K., Joosten - ten Brinke, D. & Camp, G., 2019, Heerlen: Welten-instituut - Open Universiteit. 44 p.Research output: Book/Report › Technical report › Academic
Open Access -
Pilot Study for TYPE A REPORT - The position of linguistic minorities during elections: A focus on speakers of autochthonous languages
van der Velden, B. D., 2018, 32 p.Research output: Book/Report › Technical report › Professional
Open AccessFile5 Downloads (Pure) -
Quality Reference Framework (QRF) for the Quality of Massive Open Online Courses (MOOCs): Developed by MOOQ in close collaboration with all interested parties worldwide
Stracke, C. M., Tan, E., Moreira Texeira, A., do Carmo Pinto, M., Vassiliadis, B., Kameas, A., Sgouropoulou, C. & Vidal, G., 2018, MOOQ. 36 p.Research output: Book/Report › Technical report › Academic
Open AccessFile95 Downloads (Pure) -
Realisability of branching pomsets (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2022, Heerlen: Open Universiteit Nederland. 28 p. (OUNL-CS (Technical Reports); No. 05, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile6 Downloads (Pure) -
Restructering design patterns using functions in Java: An explorative study
Bijlsma, A., Kok, A. J. F., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 10 Jan 2019, Open Universiteit Nederland. 41 p.Research output: Book/Report › Technical report › Academic
Open AccessFile119 Downloads (Pure) -
Specification based OO development: Procedural Guidance
Passier, H. J. M., Bijlsma, A. & Kuiper, R., 2022, Heerlen: Open Universiteit Nederland. 72 p. (OUNL-CS (Technical Reports); No. 06, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile13 Downloads (Pure) -
Summary recommendations for social networking site providers: Intellectual Output 4 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage
Purdy, N., Hamilton, J., Rowan, A., Smith, P. K., Culbert, C., Brighl, A., Mamell, C., Guarini, A., Menin, D., Völlink, T., Willems, R. A., Scheithauer, H. & Fiedler, N., Oct 2019, Belfast: Stranmillis University College. 33 p.Research output: Book/Report › Technical report › Academic
Open AccessFile15 Downloads (Pure) -
Summary resources for teachers: Intellectual Output 1 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage
Scheithauer, H., Fiedler, N., Purdy, N., Hamilton, J., Rowan, A., Smith, P. K., Culbert, C., Brighi, A., Mameli, C., Guarini, A., Menin, D., Völlink, T. & Willems, R. A., Oct 2019, Belfast: Stranmillis University College. 20 p.Research output: Book/Report › Technical report › Academic
Open AccessFile30 Downloads (Pure) -
The Automatic Generation of Knowledge Spaces From Problem Solving Strategies
Milovanovic', I. & Jeuring, J. T., Apr 2016, Utrecht: Utrecht University. 4 p.Research output: Book/Report › Technical report › Academic
Open Access -
Toezicht op strafvorderlijk overheidsoptreden
Devroe, E., Malsch, M., Matthys, J. & Minderman, G., 2017, Den Haag: Leiden University Press . 155 p.Research output: Book/Report › Technical report › Academic
Open Access -
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises: Extended Version. (UU-CS-2016-001)
Keuning, H., Jeuring, J. T. & Heeren, B. J., Mar 2016, Utrecht: Utrecht University. 20 p. (Technical Report University Utrecht, Vol. UU-CS-2016-001).Research output: Book/Report › Technical report › Professional
Open Access -
Метод формального анализа динамических алгоритмов представленных функциональными схемами.
Roubtsova, E. E., Abramova, N. A. & Ambartsumyan, A. A., 1990, Moscow: VINITI. 18 p.Translated title of the contribution :Formal analysis method of dynamic algorithms represented by functional schemes. Research output: Book/Report › Technical report › Academic
-
Special Issue editing
Annual Review of Sex Research Special Issue: Editor’s Introduction
van Lankveld, JJDM. (ed.), 2015, In: Journal of Sex Research. 52, 4, p. 361 1 p.Research output: Contribution to journal › Special Issue editing › Academic
-
GaLA Conf 2020 Special Issue
Marfisi-Schottmann, I. (ed.), Hamon, L. (ed.), Klemke, R. (ed.), Laforcade, P. (ed.) & Bellotti, F. (ed.), Sep 2021, In: International Journal of Serious Games. 8, 3Research output: Contribution to journal › Special Issue editing › Academic
Open Access -
ICT in de lerarenopleiding
Martens, R. (Guest ed.), Thys, J. (Guest ed.), Van den Berg, E. (Guest ed.) & Vanderlinde, R. (Guest ed.), 1 Jun 2014, In: Tijdschrift voor Lerarenopleiders. 35, 4, p. 3-128 128 p.Research output: Contribution to journal › Special Issue editing › Professional
Open AccessFile114 Downloads (Pure)