Department of Mathematics and Computer Science

Research Output

Filter
Poster
2020

ExplainExplore: Visual Exploration of Machine Learning Explanations

Collaris, D. & van Wijk, J. J., 17 Mar 2020. 1 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
2019

Instance-level explanations for fraud detection

Collaris, D., van Wijk, J. J. & Vink, L. M., 19 Mar 2019. 1 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
1 Downloads (Pure)
2018

Assessing dot-map aggregations

Meulemans, W. & Tennekes, M., 2018. 2 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
14 Downloads (Pure)

Instance-level explanations for fraud detection

Collaris, D. A. C., Vink, L. M. & van Wijk, J. J., 27 Nov 2018. 1 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
23 Downloads (Pure)

On minimal-displacement overlap removal

Meulemans, W., 2018. 2 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
18 Downloads (Pure)

Queueing networks for electric vehicle charging

Aveklouris, A., Vlasiou, M. & Zwart, B., 2018.

Research output: Contribution to conferencePosterAcademic

Stochastic networks for electric vehicle charging

Aveklouris, A., Vlasiou, M. & Zwart, B., 2018.

Research output: Contribution to conferencePosterAcademic

Thematic poster on women in mathematics in the Netherlands

Vlasiou, M. & Kruseman, A., 31 Jul 2018.

Research output: Contribution to conferencePosterAcademic

Towards hybrid programmable matter : shape recognition, formation, and sealing algorithms for finite automaton robots

Daymunde, J., Gmyr, R., Hinnenthal, K., Kostitsyna, I., Kuhn, F., Richa, A., Rudolph, D., Scheideler, C. & Strothmann, T., 2018.

Research output: Contribution to conferencePosterAcademic

Open Access
File
47 Downloads (Pure)
2017

Automatic model order reduction for Hydraulics modeling

Abbasi, M. H., Bansal, H., Naderilordejani, S., Velmurugan, N., Iapichino, L., de Megliu, F., Schilders, W. H. A. & van de Wouw, N., 2017. 1 p.

Research output: Contribution to conferencePosterAcademic

Binary puzzle as a SAT problem

Utomo, P. H. & Pellikaan, G. R., 2017.

Research output: Contribution to conferencePosterAcademic

Open Access
File
209 Downloads (Pure)

PathONE : from one thousand patients to one cell

Corvo, A., Westenberg, M. A. & van Wijk, J. J., 2017.

Research output: Contribution to conferencePosterAcademic

Open Access
File
29 Downloads (Pure)

Preventive maintenance of assets with usage dependent failure mechanisms

Kolumban, S. & Kapodistria, S., 4 Dec 2017.

Research output: Contribution to conferencePosterAcademic

Open Access
File
44 Downloads (Pure)

Routing decentralized light bodies: Logical mapping and user interfaces for decentralised control of distributed lighting nodes

Mengin, C., Sharma, R. S. S., Ozcelebi, T. & Funk, M., 4 Dec 2017. 1 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
21 Downloads (Pure)

Semantic network traffic analysis using deep packet inspection and visual analytics

Cappers, B. C. M. & van Wijk, J. J., 19 Mar 2017.

Research output: Contribution to conferencePosterAcademic

Open Access
File
39 Downloads (Pure)

The nutcracker framework for ensemble interpretability

Zeev Ben Mordehay, O., Duivesteijn, W. & Pechenizkiy, M., Oct 2017.

Research output: Contribution to conferencePosterAcademic

Open Access
File
53 Downloads (Pure)
2016

Cleaning output of tractography via fiber to bundle coherence, a new open source implementation

Meesters, S. P. L., Sanguinetti, G. R., Garyfallidis, E., Portegies, J. M., Ossenblok, P. P. W. & Duits, R., 26 Jun 2016.

Research output: Contribution to conferencePosterAcademic

Open Access
File
67 Downloads (Pure)

Combining data loss prevention and detection

Costante, E., Fauri, D., Etalle, S., den Hartog, J. I. & Zannone, N., 2016.

Research output: Contribution to conferencePosterAcademic

Development of the guiding channel of plasma bullets in N2

van der Schans, M., Jongen, R. G. J., Nijdam, S. & IJzerman, W. L., 2016, p. B16.

Research output: Contribution to conferencePosterAcademic

Fast implementations of contextual PDE's for HARDI data processing in DIPY

Meesters, S. P. L., Sanguinetti, G., Garyfallidis, E., Portegies, J. M. & Duits, R., 7 May 2016.

Research output: Contribution to conferencePosterAcademic

Open Access
File
115 Downloads (Pure)

GPUexplore : GPU explicit-state model checking

Wijs, A. J., 28 Sep 2016.

Research output: Contribution to conferencePosterAcademic

Metamodel-independent modularisation of models with MetaMod

Sutii, A. M., Verhoeff, T. & van den Brand, M. G. J., 12 Sep 2016. 3 p.

Research output: Contribution to conferencePosterAcademic

Open Access

Modelling of intracerebral network interactions that co-occur with interictal epileptic discharges

Meesters, S. P. L., Ossenblok, P. P. W., Colon, A., Wagner, L., Schijns, O. E. M. G., Boon, P., Florack, L. M. J. & Fuster, A., 26 Jun 2016.

Research output: Contribution to conferencePosterAcademic

Open Access
File
49 Downloads (Pure)

Modelling of intracerebral network interactions that co-occur with interictal epileptic discharges

Meesters, S. P. L., Ossenblok, P. P. W., Colon, A., Wagner, L., Schijns, O. E. M. G., Boon, P. A. J. M., Florack, L. M. J. & Fuster, A., 22 Mar 2016.

Research output: Contribution to conferencePosterAcademic

Open Access
File
57 Downloads (Pure)

Spontaneous formation of one-dimensional Rydberg crystals in an ultracold gas

van der Weerden, T. H. P., Kokkelmans, S. J. J. M. F. & Vredenbregt, E. J. D., 11 Oct 2016, p. 64-64. 1 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
62 Downloads (Pure)

Taming the herd : statistical analysis of large sets of models

Babur, Ö., 2016, p. 24-26.

Research output: Contribution to conferencePosterAcademic

Open Access
File
15 Downloads (Pure)
2015

Buffer-aware scheduling of modal radio graphs

Salunkhe, H. L., van Berkel, C. H. & Moreira, O., 25 Mar 2015.

Research output: Contribution to conferencePosterAcademic

Open Access
File
61 Downloads (Pure)

Electric field measurements on plasma bullets in N2 using four-wave mixing

van der Schans, M., Böhm, P., Nijdam, S., IJzerman, W. L. & Czarnetzki, U., 2015.

Research output: Contribution to conferencePosterAcademic

21 Downloads (Pure)

Light scattering on a dusty plasma: in-situ monitoring of a single particle

Schepers, L. P. T., Beckers, J. & IJzerman, W. L., 4 Dec 2015.

Research output: Contribution to conferencePosterAcademic

2014

Analyzing access control policies with SMT

Turkmen, F., Hartog, den, J. I. & Zannone, N., 2014, p. 1508-1510.

Research output: Contribution to conferencePosterAcademic

Open Access
File
82 Downloads (Pure)

Corrected phase-type approximations for heavy-tailed queueing models in a Markovian environment

Vatamidou, E., Adan, I. J. B. F., Vlasiou, M. & Zwart, A. P., 2014.

Research output: Contribution to conferencePosterAcademic

Light scattering on dusty plasmas for enhanced color management in white LEDs

Schepers, L. P. T., Beckers, J., Tukker, T. W. & IJzerman, W. L., 2014.

Research output: Contribution to conferencePosterAcademic

Multi-core communication-aware scheduler for CARM 2G

Adyanthaya, S., Schiffelers, R. R. H., Theunissen, R., Huët, van, C., Geilen, M. C. W., Frijns, R. M. W. & Voeten, J. P. M., 2014.

Research output: Contribution to conferencePosterAcademic

The online anatomical human: anatomical knowledge exchange on the web

Smit, N. N., Hofstede, C-W., Kraima, A. C., Jansma, D., DeRuiter, M. C., Eisemann, E., Botha, C. P. & Vilanova, A., 2014. 1 p.

Research output: Contribution to conferencePosterAcademic

Towards 120 kHz stages using CARM 2G

Voeten, J. P. M., Frijns, R. M. W., Bontekoe, M., Gidalov, N., Schiffelers, R. R. H. & Huët, van, C., 2014.

Research output: Contribution to conferencePosterAcademic

WiBAF : Within Browser Adaptation Framework

Montes Garcia, A., 2014, p. 1-6.

Research output: Contribution to conferencePosterAcademic

Open Access
File
60 Downloads (Pure)
2013

Convex-arc drawings of pseudolines

Eppstein, D., Garderen, van, M., Speckmann, B. & Ueckerdt, T., 2013, p. 522-523.

Research output: Contribution to conferencePosterAcademic

Corrected phase-type approximations for the workload of the MAP/G/1 queue with heavy-tailed service times

Vatamidou, E., Adan, I. J. B. F., Vlasiou, M. & Zwart, A. P., 2013. 1 p.

Research output: Contribution to conferencePosterAcademic

Open Access
File
71 Downloads (Pure)

High-performance heterogeneous architectures for CARM2G

Frijns, R. M. W., Bontekoe, M., Gemei, K. J. A., Gidalov, N., Huët, van, C., Schiffelers, R. R. H. & Voeten, J. P. M., 2013.

Research output: Contribution to conferencePosterAcademic

Humans in software engineering : the more things you do, the more things you can do!

Vasilescu, B. N., Serebrenik, A. & Brand, van den, M. G. J., 2013.

Research output: Contribution to conferencePosterAcademic

Open Access
File
41 Downloads (Pure)

Point and pattern detection in 4D PC-MRI blood flow

Claassen, G. G. H., Pelt, van, R. F. P., Fuster, A. & Vilanova, A., 2013.

Research output: Contribution to conferencePosterAcademic

POSTER-TRIPLEX : verifying data minimisation in communication systems

Veeningen, M. G., Bruso, M., Hartog, den, J. I. & Zannone, N., 2013, p. 1415-1418.

Research output: Contribution to conferencePosterAcademic

3 Downloads (Pure)

SMT-based analysis of a Boolean model of inflammation

Riel, van, N. A. W., Zantema, H., Bosnacki, D. & Hilbers, P. A. J., 2013.

Research output: Contribution to conferencePosterAcademic

2012

Accelerated high frame rate mouse CINE CMR using retrospective triggering and compressed sensing reconstruction

Mohamed, A. G. A., Coolen, B. F., Abdurrachim, D., Pires da Silva Castro, R. M., Florack, L. M. J., Prompers, J. J., Nicolaij, K. & Strijkers, G. J., 2012.

Research output: Contribution to conferencePosterAcademic

Buffer-aware scheduling of modal radio graphs

Salunkhe, H. L., Moreira, O. & van Berkel, C. H., 23 Oct 2012.

Research output: Contribution to conferencePosterAcademic

Open Access
File
59 Downloads (Pure)

CARM 2G : model based design, analysis and initialization of Twinscan servo controllers

Schiffelers, R. R. H., Huët, van, C., Gidalov, N., Alberts, W., Voeten, J. P. M., Theelen, B. D., Ven, J. & Tabingh Suermondt, W., 2012.

Research output: Contribution to conferencePosterAcademic

Computer simulations of particle-laden flows

Frijters, S. C. J., Günther, F. S., Janoschek, F., Kaoui, B., Krüger, T. & Harting, J. D. R., 2012.

Research output: Contribution to conferencePosterAcademic

1 Downloads (Pure)

Cost-sensitive classification problem (Poster)

Calders, T. G. K. & Pechenizkiy, M., 2012, p. 1-6.

Research output: Contribution to conferencePosterAcademic

1 Downloads (Pure)