Department of Mathematics and Computer Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1950 2019

Analyzing and mining heterogeneous data to predict school sector performance

Koimtzoglou, D., 11 Jan 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisOther research output

An approach to the detection of post-seismic structural damage based on image segmentation methods

Cevallos-Torres, L. J., Minda Gilces, D., Guijarro-Rodriguez, A., Barriga-Diaz, R., Leyva-Vazquez, M. & Botto-Tobar, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 644-658 15 p. (Communications in Computer and Information Science; vol. 895)

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

An overview of multiple sequence alignment methods applied to transmembrane proteins

Zambrano-Vega, C., Oviedo, B., Villamar-Torres, R., Botto-Tobar, M. & Barros-Rodríguez, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 410-419 10 p. (Communications in Computer and Information Science; vol. 895)

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

Prizes

2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Recipient), 2015

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

3rd prize for the technical poster

Monika Gupta (Recipient) & Alexander Serebrenik (Recipient), 2016

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Alexander von Humboldt Professorship

Wil van der Aalst (Recipient), 2017

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Activities 1990 2018

Organizer of SCOM 2018

Gómez Rivas, J. (Consultant)
16 Apr 201818 Apr 2018

Activity: ConsultancyScientific

Tutorial on Automatic Machine Learning

Frank Hutter (Speaker), Vanschoren, J. (Speaker)
3 Dec 2018

Activity: Talk or presentationKeynote talkScientific

Democratizing and Automating Machine Learning

Vanschoren, J. (Speaker)
28 Aug 2018

Activity: Talk or presentationInvited talkScientific

Courses

Adaptive web-based systems

1/09/1531/08/18

Course

Advanced algorithms

1/09/15 → …

Course

Advanced calculus

1/09/15 → …

Course

Press / Media

Traction Eventpad (6 articles and one radio interview)

Erika van der Merwe, Engineers Online, Diederik Toet, Frans van Beveren, Redactie ICTMagazine & Bram Cappers

14/11/187/12/18

7 media contribution

Press/Media: Public Engagement Activities

Research areas

Physics-based Quantum Security and Quantum Networks

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Post-Quantum Cryptography

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Quantum Materials and Devices

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Student theses

(Ab)using Bitcoin for anti-censorship tool

Author: Okupski, K., 31 Dec 2014

Supervisor: Skoric, B. (Supervisor 1), de Weger, B. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

(Data) refinement calculus met stack voorbeelden

Author: Andree, H., 31 Oct 1990

Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

Author: van Dommelen, R., 31 Aug 1992

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master