Department of Mathematics and Computer Science

Research Output

Filter
Paper
2020

Diffusion Variational Autoencoders

Perez Rey, L. A., 11 Jul 2020, (Accepted/In press).

Research output: Contribution to conferencePaperAcademic

ExplainExplore: Visual Exploration of Machine Learning Explanations

Collaris, D. & van Wijk, J. J., 3 Jun 2020, p. 26-35. 10 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
73 Downloads (Pure)
2019

36 Gb/s operation of a BiCMOS driver and InP EAM using foundry platforms

Trajkovic, M., Zhang, X., Blache, F., Mekhazni, K., Matters-Kammerer, M. K., Debregeas, H., Leijtens, X. & Williams, K., 26 Sep 2019. 3 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
70 Downloads (Pure)

A deterministic polynomial kernel for Odd Cycle Transversal and Vertex Multiway Cut in planar graphs

Jansen, B. M. P., Pilipczuk, M. & van Leeuwen, E. J., 1 Mar 2019, p. 39:1-39:18. 18 p.

Research output: Contribution to conferencePaperAcademic

Open Access

An open source AutoML benchmark

Gijsbers, P., LeDell, E., Poirier, S., Thomas, J., Bischl, B. & Vanschoren, J., Jun 2019. 8 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
28 Downloads (Pure)

Can VAEs capture topological properties?

Perez Rey, L. A., Menkovski, V. & Portegies, J. W., 2019.

Research output: Contribution to conferencePaperAcademic

5 Downloads (Pure)

Eth-tight algorithms for geometric network problems using geometric separators

de Berg, M., 2019, p. 225. 1 p.

Research output: Contribution to conferencePaperAcademic

Fine-grained complexity of k-OPT in bounded-degree graphs for solving TSP

Bonnet, É., Iwata, Y., Jansen, B. M. P. & Kowalik, Ł., Sep 2019, p. 23:1-23:14. 14 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
4 Downloads (Pure)

Multi-class detection and orientation recognition of vessels in maritime surveillance

Ghahremani, A., Kong, Y., Bondarau, Y. & de With, P. H. N., 13 Jan 2019, p. 266-1-266-5. 5 p.

Research output: Contribution to conferencePaperAcademic

1 Citation (Scopus)
1 Downloads (Pure)

Plan enumeration for SPARQL property paths

Yakovets, N., Godfrey, P. & Gryz, J., 1 Jan 2019, (Submitted).

Research output: Contribution to conferencePaperAcademic

SurviVIS: visual analytics for interactive survival analysis

Corvo, A., Garcia Caballero, H. & Westenberg, M. A., 2019, p. 73-77. 5 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
8 Downloads (Pure)
2018

A bug bounty perspective on the disclosure of web vulnerabilities

Ruohonen, J. & Allodi, L., 2018.

Research output: Contribution to conferencePaperAcademic

Open Access
File
77 Downloads (Pure)

Anomaly detection for imbalanced datasets with deep generative models

Santos Buitrago, N. R., Tonnaer, L. M. A., Menkovski, V. & Mavroeidis, D., 8 Sep 2018. 15 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
199 Downloads (Pure)

Best-case and worst-case sparsifiability of Boolean CSPs

Chen, H., Jansen, B. M. P. & Pieterse, A., 2018. 13 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
9 Downloads (Pure)

Instance-level explanations for fraud detection: a case study

Collaris, D. A. C., Vink, L. M. & van Wijk, J. J., 19 Jun 2018, p. 28-33. 6 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
33 Downloads (Pure)

Looking deeper into deep learning model: attribution-based explanations of TextCNN

Xiong, W., Ni'mah, I., Huesca, J. M. G., van Ipenburg, W., Veldsink, J. & Pechenizkiy, M., 8 Nov 2018. 9 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
19 Downloads (Pure)

Low loss transmission lines in COBRA generic photonic integration platform

Trajkovic, M., Blache, F., Debregeas, H., Leijtens, X. J. M. & Williams, K. A., 2018.

Research output: Contribution to conferencePaperAcademic

Open Access
File
37 Downloads (Pure)

Meta learning for defaults: symbolic defaults

van Rijn, J. N., Pfisterer, F., Thomas, J., Muller, A., Bischl, B. & Vanschoren, J., 8 Dec 2018. 7 p.

Research output: Contribution to conferencePaperAcademic

ML schema: exposing the semantics of machine learning with schemas and ontologies

Correa Publio, G., Esteves, D., Ławrynowicz, A., Panov, P., Soldatova, L., Soru, T., Vanschoren, J. & Zafar, H., 2018. 5 p.

Research output: Contribution to conferencePaperAcademic

Scalable load balancing in networked systems: universality properties and stochastic coupling methods

van der Boor, M., Borst, S., van Leeuwaarden, J. & Mukherjee, D., Jan 2018, p. 3911-3942. 32 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
3 Citations (Scopus)
43 Downloads (Pure)

The effect of security education and expertise on security assessments: the case of software vulnerabilities

Allodi, L., Cremonini, M., Massacci, F. & Shim, W., 1 Aug 2018.

Research output: Contribution to conferencePaperAcademic

Open Access
File
18 Downloads (Pure)
2017

A case of industrial vs. open-source OCL: not so different after all

Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R., van den Brand, M. G. J. & Serebrenik, A., 2017, p. 472-474. 3 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
32 Downloads (Pure)

A conceptual framework for understanding event data quality in behavior analysis

Lu, X. & Fahland, D., 2017, p. 11-14. 4 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
2 Citations (Scopus)
81 Downloads (Pure)

Assuring virtual network function image integrity and host sealing in telco cloud

Lal, S., Ravidas, S., Oliver, I. & Taleb, T., May 2017, p. 1-6.

Research output: Contribution to conferencePaperAcademic

Open Access
1 Citation (Scopus)

Clustering-structure representative sampling from graph streams

Zhang, J., Zhu, K., Pei, Y., Fletcher, G. H. L. & Pechenizkiy, M., 2017.

Research output: Contribution to conferencePaperAcademic

Open Access
File
120 Downloads (Pure)

NTRU prime : reducing attack surface at low cost

Bernstein, D. J., Chuengsatiansup, C., Lange, T. & van Vredendaal, C., 2017.

Research output: Contribution to conferencePaperAcademic

Open Access
File
115 Downloads (Pure)

Post-quantum security of the sponge construction

Czajkowski, J., Groot Bruinderink, L., Hülsing, A. T., Schaffner, C. & Unruh, D., 2017, p. 1-32.

Research output: Contribution to conferencePaperAcademic

The work-averse cyber attacker model : theory and evidence from two million attack signatures

Allodi, L., Massacci, F. & Williams, J., Jun 2017. 36 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
1059 Downloads (Pure)
Open Access
File
159 Downloads (Pure)
2016

Asymptotic error bounds for truncated buffer approximations of a 2-node tandem queue

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

Research output: Contribution to conferencePaperAcademic

Open Access
File
25 Downloads (Pure)

Condition-based maintenance at both scheduled and unscheduled opportunities

Kalosi, S., Kapodistria, S. & Resing, J. A. C., 8 Jul 2016.

Research output: Contribution to conferencePaperAcademic

Open Access
File
28 Downloads (Pure)

Connected dominating set in unit-disk graphs is W[1]-hard

de Berg, M. T., Bodlaender, H. L. & Kisfaludi-Bak, S., 2016.

Research output: Contribution to conferencePaperAcademic

Monitoring a wind turbine by combining sensor data

Kapodistria, S., Di Bucchianico, A. & Kenbeek, T. A., 2016.

Research output: Contribution to conferencePaperAcademic

Open Access
File
48 Downloads (Pure)

Reaching intrinsic compute efficiency requires adaptable micro-architectures

Wijtvliet, M., Waeijen, L. J. W., Adriaansen, M. & Corporaal, H., 18 Jan 2016, p. 1-7. 7 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
88 Downloads (Pure)

Trust-based neighbor unreachability detection for RPL

Ozen, S., Özcelebi, T. & Lukkien, J. J., 1 Aug 2016, p. 1-6. 6 p.

Research output: Contribution to conferencePaperAcademic

4 Citations (Scopus)
2014

The silent success of the pushbelt CVT

van der Noll, E., de Kuyper, D. J., Zidkova, P., Kurz, G. & Lopez Arteaga, I., 1 Jan 2014, p. FISITA2014/F2014-NVH-079.

Research output: Contribution to conferencePaperAcademic

2013

MAMPSX: A demonstration of rapid, predictable HMPSOC synthesis

Fernando, S., Wijtvliet, M., Siyoum, F., He, Y., Stuijk, S., Kumar, A. & Corporaal, H., 1 Jan 2013, p. 1-1.

Research output: Contribution to conferencePaperAcademic

2010

Performance analysis of business process models with advanced constructs

Piessens, D., Wynn, M. T., Adams, M. & van Dongen, B. F., 1 Dec 2010.

Research output: Contribution to conferencePaperAcademic

Open Access
File
3 Citations (Scopus)
14 Downloads (Pure)
2008

An LP-based heuristic for the post enrolment course timetabling problem of the ITC

van den Broek, J. & Hurkens, C., 1 Jan 2008. 4 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
8 Downloads (Pure)
2006

Integration of EPC-related tools with ProM

Barborka, P., Helm, L., K̈oldorfer, G., Mendling, J., Neumann, G., van Dongen, B., Verbeek, E. & van der Aalst, W., 1 Dec 2006, p. 105-120. 16 p.

Research output: Contribution to conferencePaperAcademic

9 Citations (Scopus)
1 Downloads (Pure)
2005

Staying in the middle: exact and approximate medians in R1 and R2 for moving points

Agarwal, P. K., de Berg, M., Gao, J., Guibas, L. J. & Har-Peled, S., 1 Jan 2005, p. 43-46. 4 p.

Research output: Contribution to conferencePaperAcademic

12 Citations (Scopus)
2001

A formal approach to hybrid systems

Cuijpers, P. J. L. & Juloski, A. L., 2001.

Research output: Contribution to conferencePaperAcademic

Computational number theory

Lenstra, A. K., 2001.

Research output: Contribution to conferencePaperAcademic

Lie groups, algebraic groups, quantum groups and their representations

Elst, ter, A. F. M., 2001.

Research output: Contribution to conferencePaperAcademic

Real and complex harmonic analysis related to homogeneous manifolds

Elst, ter, A. F. M., 2001.

Research output: Contribution to conferencePaperAcademic

Series of 8 hours on selected topics in Cryptology

Tilborg, van, H. C. A., 2001.

Research output: Contribution to conferencePaperAcademic

2000

Ambient Intelligence : A New User Experience

Aarts, E. H. L. & Harwig, R., 2000, p. 1-4.

Research output: Contribution to conferencePaperAcademic

Formality Works

Hoogerwoord, R. R., 2000.

Research output: Contribution to conferencePaperAcademic

National Research Symposium on Geometric Analysis and Applications.

Elst, ter, A. F. M., 2000.

Research output: Contribution to conferencePaperAcademic