Activities per year
Activities
- 38 results
Search results
-
Machine learning and deep learning for the analysis of behavioral data
Frouke Hermens (Speaker)
26 Jan 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Tobias Kappé (Speaker)
28 Mar 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Eye movements during screen-based and real-world tasks
Frouke Hermens (Invited speaker)
25 Oct 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
How to use twitter whilst ensuring privacy
Hugo Jonker (Speaker)
14 Jul 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Leapfrog: Certified Equivalence for Protocol Parsers
Tobias Kappé (Speaker)
11 Oct 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Possibilistic logic, argumentation and conditionals
Jesse Heyninck (Invited speaker)
24 Aug 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
(Probabilistic) Guarded Kleene Algebra with Tests
Tobias Kappé (Speaker)
22 Oct 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Samen grenzen slechten: autisme en de universiteit
Sylvia Stuurman (Speaker)
8 Oct 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Popular
-
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming
Jesse Heyninck (Speaker)
21 Jul 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
TEL trends in medical education
Ebrahim Rahimi (Speaker)
28 Feb 2021Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Active learning strategies in Online Education
Ebrahim Rahimi (Speaker)
12 Sept 2020Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Practical Experience in evaluating students' learning in online learning environments
Ebrahim Rahimi (Speaker)
9 May 2020Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
File -
ICT en vakinhoud: op zoek naar de verbindende schakel
Erik Barendsen (Speaker)
13 Feb 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
The electricity consumption of bitcoin mining revisited
Harald Vranken (Speaker)
24 Oct 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
A design framework for Web 2.0 Personal learning environments
Ebrahim Rahimi (Speaker)
24 Oct 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
File -
Het energieverbruik van bitcoin mining: zin en onzin
Harald Vranken (Speaker)
11 Sept 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
IRMA: The future of identities
Fabian van den Broek (Speaker)
3 Dec 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
File -
IRMA: authentic identities for the future
Fabian van den Broek (Speaker)
7 Nov 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional
-
Shepherd - an automatic and large-scale study of website login security
Hugo Jonker (Invited speaker)
18 Nov 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
AVG en UPLOADFILTERS: goed bestuur of censuur?
Hugo Jonker (Speaker)
21 May 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Formative assessment of programming growth using students generated design products in the context of secondary school
Ebrahim Rahimi (Speaker)
17 Apr 2019Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Distributed Programming using Role-Parametric Session Types in Go
Sung-Shik Jongmans (Speaker)
18 Dec 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool
Pekka Aho (Speaker)
8 Nov 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Authentication with Privacy and Security
Greg Alpár (Speaker)
25 Aug 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Make it to learn it!
Ebrahim Rahimi (Speaker)
7 Nov 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Scriptless Test Automation through Graphical User Interface
Pekka Aho (Speaker)
17 Oct 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Online identities
Fabian van den Broek (Speaker)
24 Feb 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Keynote: Alégroth, Amalfitano, Vos, and Aho
Emil Alégroth (Keynote speaker), Domenico Amalfitano (Keynote speaker), Tanja E.J. Vos (Keynote speaker) & Pekka Aho (Keynote speaker)
19 Jul 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
An extensible strategy language for describing cognitive skills
Bastiaan Heeren (Speaker) & Johan Jeuring (Speaker)
23 Mar 2017Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Inference for Probabilistic Logic Programming with Continuous Distributions
Arjen Hommersom (Speaker)
7 Sept 2017Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Resilience of the Internet: case studies on DNS availability and botnet detection
Harald Vranken (Speaker)
19 Nov 2016Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Wiskunde D online
Evert van de Vrie (Speaker)
2016Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional
-
Een mastercursus over software security: van contactonderijs naar afstandonderwijs
Harald Vranken (Speaker)
23 Apr 2015 → 24 Apr 2015Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional
-
Technologie voor intelligentie in serious games voor algebra
Johan Jeuring (Speaker)
31 Jan 2014Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional
-
Education in interaction design
Gerrit van der Veer (Keynote speaker)
9 Jun 2014Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional
-
Design patterns
Bastiaan Heeren (Speaker)
11 Sept 2014Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional
-
To whom we are talking
Gerrit van der Veer (Invited speaker)
18 Feb 2014Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Communicate! A serious game for practicing communication skills
Johan Jeuring (Speaker)
19 Mar 2014Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional