Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Paper
2020

A Post-Contingency Power Flow Emulator for Generalized Probabilistic Risks Assessment of Power Grids

Rocchetta, R. & Patelli, E., 21 Jan 2020, (Accepted/In press).

Research output: Contribution to conferencePaperAcademic

2019

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
Multiway Cut
Odd Cycle
Planar graph
Steiner Tree
kernel
12 Downloads (Pure)

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
Learning systems
Websites

Can VAEs capture topological properties?

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

Research output: Contribution to conferencePaper

Brownian movement
Topology

Eth-tight algorithms for geometric network problems using geometric separators

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

Research output: Contribution to conferencePaperAcademic

1 Downloads (Pure)

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
Hamiltonians
Traveling salesman problem
Experiments

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

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

Research output: Contribution to conferencePaperAcademic

Labels

Plan enumeration for SPARQL property paths

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

Research output: Contribution to conferencePaperAcademic

Waveguides
Costs
1 Downloads (Pure)

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
Survival Analysis
Survival
Retrospective Studies
Precision Medicine
Informatics
2018
42 Downloads (Pure)

A bug bounty perspective on the disclosure of web vulnerabilities

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

Research output: Contribution to conferencePaperAcademic

Open Access
File
152 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
Image analysis

Approximating the Distribution of the Median and other Robust Estimators on Uncertain Data

Buchin, K. A., Phillips, J. M. & Tang, P., 2018, p. 16:1-16:14.

Research output: Contribution to conferencePaperAcademic

Uncertain Data
Robust Estimators
Discrete Distributions
Estimator
Point Sets

Best-Case and Worst-Case Sparsifiability of Boolean CSPs

Chen, H., Jansen, B. M. P. & Pieterse, A., 2018, p. 15:1-15:13.

Research output: Contribution to conferencePaperAcademic

Constraint Satisfaction Problem
Assignment
NP-complete problem
Ring
Linear algebra
27 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
Insurance
12 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
Linguistics
Labels
Classifiers
Visualization
Neural networks

Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth

van Geffen, B. A. M., Jansen, B. M. P., de Kroon, A. A. W. M. & Morel, R., 2018, p. 3:1-3:14.

Research output: Contribution to conferencePaperAcademic

Treewidth
Planar graph
Dynamic Programming
Lower bound
Planarity

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

Ontology
Learning systems
Semantics
Learning algorithms
Experiments
26 Downloads (Pure)

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. 22 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Resource allocation
Servers
Communication
Large scale systems
Data storage equipment
12 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 conferencePaper

Open Access
File
Education
Information technology
Industry
Chemical analysis
2017
29 Downloads (Pure)

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
industry
engineering
viability
1 Citation (Scopus)
72 Downloads (Pure)

A conceptual framework for understanding event data quality in behavior analysis

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

Research output: Contribution to conferencePaper

Open Access
File

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 conferencePaper

Open Access
Hardware
Freight transportation
Virtual reality
Seals
101 Downloads (Pure)

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
Sampling
Data storage equipment
Complex networks
Experiments
79 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 conferencePaper

Open Access
File

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

Collapsing
Hash Function
Collision
Random Permutation
Random Function
1043 Downloads (Pure)

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
148 Downloads (Pure)
Open Access
File
Petri nets
Visualization
Acoustic waves
2016
electromagnetic fields
slabs
Bragg reflectors
approximation
impurities
23 Downloads (Pure)

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
Costs
Preventive maintenance
Time varying systems
41 Downloads (Pure)

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
78 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
2 Citations (Scopus)

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 conferencePaper

Communication
Routing protocols
Statistics
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

Acoustics
Pulleys
Holography
Modal analysis
Pressure measurement
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

Heterogeneous Systems
Multiprocessor Systems
Demonstrations
Synthesis
Field Programmable Gate Array
2010
2 Citations (Scopus)
12 Downloads (Pure)

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
Industry
2008
6 Downloads (Pure)

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
2006
9 Citations (Scopus)
1 Downloads (Pure)

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 conferencePaper

Interchanges
Sales
2005
12 Citations (Scopus)

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 conferencePaper

Approximation algorithms
Statistics
Geometric Algorithms
Divide and conquer
Order Statistics
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 conferencePaper

Lie groups, algebraic groups, quantum groups and their representations

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

Research output: Contribution to conferencePaper

Real and complex harmonic analysis related to homogeneous manifolds

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

Research output: Contribution to conferencePaper

Series of 8 hours on selected topics in Cryptology

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

Research output: Contribution to conferencePaper

2000

Ambient Intelligence : A New User Experience

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

Research output: Contribution to conferencePaper

Formality Works

Hoogerwoord, R. R., 2000.

Research output: Contribution to conferencePaper

National Research Symposium on Geometric Analysis and Applications.

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

Research output: Contribution to conferencePaper

Performance analysis of local search for multi-processor scheduling problems

Schuurman, P. & Vredeveld, T., 2000.

Research output: Contribution to conferencePaperAcademic