Faculteit Wiskunde & Informatica

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Projecten 2016 2021

GEARS: GPU Enabled Accelerated Reasoning about System designs

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

11/08/1710/08/21

Project: Onderzoek directOnderzoek

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: Onderzoek direct

Onderzoeksoutput 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, (Geaccepteerd/In druk) In : Transfusion.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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. (redactie). Cham: Springer, blz. 301-309 9 blz. (Lecture Notes in Computational Science and Engineering; vol. 126)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Analyzing and mining heterogeneous data to predict school sector performance

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

Onderzoeksoutput: ScriptiePd Eng ThesisAndere onderzoeksoutput

Uitrusting

Datasets

NASA Crew Exploration Vehicle (CEV) Software Event Log

Leemans, M. (Ontwerper), 4TU.Centre for Research Data, 21 apr 2017

Dataset

Sepsis Cases - event log

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

Dataset

Prijzen

2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Ontvanger), 2015

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

3rd prize for the technical poster

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

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

Alexander von Humboldt Professorship

Wil van der Aalst (Ontvanger), 2017

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

Activiteiten 1990 2018

SpySpot: Network Traffic Analysis using Deep Packet Inspection and Data Visualization

Bram Cappers (Spreker)
13 mrt 2018

Activiteit: Types gesprekken of presentatiesGenodigd sprekerWetenschappelijk

Structured Markov Chains

Ivo J.B.F. Adan (Spreker), J.S.H. van Leeuwaarden (Spreker)
22 jun 2018

Activiteit: Types gesprekken of presentatiesGenodigd sprekerWetenschappelijk

Machine Learning, better, together.

Joaquin Vanschoren (Spreker)
8 dec 2018

Activiteit: Types gesprekken of presentatiesGenodigd sprekerWetenschappelijk

Cursussen

Advanced algorithms

1/09/15 → …

Cursus

Advanced process mining

1/09/15 → …

Cursus

Advanced simulation

1/09/14 → …

Cursus

Pers/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 mediabijdrages

Pers / media: PR activiteiten

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)

Scripties/masterproeven

(Ab)using Bitcoin for anti-censorship tool

Auteur: Okupski, K., 31 dec 2014

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

Scriptie/masterproef: Master

Bestand

(Data) refinement calculus met stack voorbeelden

Auteur: Andree, H., 31 okt 1990

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

Scriptie/masterproef: Master

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

Auteur: van Dommelen, R., 31 aug 1992

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

Scriptie/masterproef: Master