Department of Mathematics and Computer Science

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

Projects 2016 2021

GEARS: NWO TOP project GEARS

Wijs, A., Wijs, A., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.

11/08/1710/08/21

Project: Research directResearch

Interoperability of Heterogeneous IoT Platforms

Liotta, A., Exarchakos, G., van Hout, J., Mocanu, D., Moerenhout, M., Moerenhout, M. & van der Lee, T.

1/01/1631/12/18

Project: Research direct

Research Output 1950 2019

Additional filtering of blood from a cell salvage device is not likely to show important additional benefits in outcome in cardiac surgery

de Vries, A. J., Vermeijden, W. J., van Pelt, L. J., van den Heuvel, E. R. & van Oeveren, W., 1 Jan 2019, (Accepted/In press) In : Transfusion.

Research output: Contribution to journalArticleAcademicpeer-review

Thoracic Surgery
Blood Cells
Equipment and Supplies
Confidence Intervals
Blood Transfusion

A least-squares method for a Monge-Ampère equation with non-quadratic cost function applied to optical design

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 1 Jan 2019, Numerical Mathematics and Advanced Applications ENUMATH 2017. Radu, F. A., Kumar, K., Berre, I., Nordbotten, J. M. & Pop, I. S. (eds.). Cham: Springer, p. 301-309 9 p. (Lecture Notes in Computational Science and Engineering; vol. 126)

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

Monge-Ampère Equation
Optical design
Optical Design
Least Square Method
Cost functions

Analogue circuit design for smart sensors in flexible TFT technology

Garripoli, C., 3 Apr 2019, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven. 108 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

Datasets

NASA Crew Exploration Vehicle (CEV) Software Event Log

Leemans, M. (Creator), 4TU.Centre for Research Data, 21 Apr 2017

Dataset

Sepsis Cases - event log

Mannhardt, F. (Creator), 4TU.Centre for Research Data, 2016

Dataset

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

Collaborative Software Development

Alexander Serebrenik (Speaker)
9 Feb 2018

Activity: Talk or presentation typesContributed talkProfessional

4th International Conference on Technology Trends, CITT 2018

Miguel Botto Tobar (Chair)
29 Aug 201831 Aug 2018

Activity: Participating in or organising an event typesConferenceScientific

Black hat USA 2018

Bram C.M. Cappers (Organiser)
4 Aug 20189 Aug 2018

Activity: Participating in or organising an event typesConferenceProfessional

Courses

Advanced algorithms

1/09/15 → …

Course

Advanced Automotive Sensing

1/09/18 → …

Course

Advanced Calculus I

1/09/18 → …

Course

Press / Media

Study Finds Robots can Detect Breast Cancer as well as Radiologists

Tao Tan

5/03/19

1 item of media coverage

Press/Media: Expert Comment

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 contributions

Press/Media: Public Engagement Activities

Research areas

Post-Quantum Cryptography

Paul Bezembinder (Content manager), Rianne Sanders (Content manager)

Impact: Research Topic/Theme (at group level)

Quantum Materials and Devices

Paul Bezembinder (Content manager), Rianne Sanders (Content manager)

Impact: Research Topic/Theme (at group level)

Quantum Nanophotonics

Paul Bezembinder (Content manager), Rianne Sanders (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