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., mrt 2019, In : Transfusion. 59, 3, blz. 989-994

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

A modified L-scheme to solve nonlinear diffusion problems

Mitra, K. & Pop, I. S., 15 mrt 2019, In : Computers and Mathematics with Applications. 77, 6, blz. 1722-1738

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Nonlinear Diffusion
Diffusion Problem
Linearization
Partial differential equations
Nonlinear Problem

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

Collaborative Software Development

Alexander Serebrenik (Spreker)
9 feb 2018

Activiteit: Types gesprekken of presentatiesAangemelde presentatieProfessioneel

Tutorial on Automatic Machine Learning

Frank Hutter (Spreker), Joaquin Vanschoren (Spreker)
3 dec 2018

Activiteit: Types gesprekken of presentatiesKeynote sprekerWetenschappelijk

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

Bram Cappers (Spreker)
13 mrt 2018

Activiteit: Types gesprekken of presentatiesGenodigd sprekerWetenschappelijk

Cursussen

Advanced algorithms

1/09/15 → …

Cursus

Advanced Automotive Sensing

1/09/18 → …

Cursus

Advanced Calculus I

1/09/18 → …

Cursus

Pers/media

NPCS Annual Conference

Nelly Litvak

5/04/19

1 item van media-aandacht

Pers / media: Vakinhoudelijk commentaar

WIPO PUBLISHES PATENT OF IRDETO FOR "IDENTIFYING AN OBJECT WITHIN CONTENT" (DUTCH INVENTORS)

Dmitri Jarnikov

26/03/19

1 item van media-aandacht

Pers / media: Vakinhoudelijk commentaar

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