Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Paper
2019
4 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

Eth-tight algorithms for geometric network problems using geometric separators

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

Research output: Contribution to conferencePaperAcademic

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)

Re-identification of vessels with convolutional neural networks

Ghahremani, A., Kong, Y., Bondarev, E. & de With, P. H. N., 1 Jan 2019, p. 93-97. 5 p.

Research output: Contribution to conferencePaperAcademic

Neural networks
Cameras
2018
38 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
140 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
25 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
11 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

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
22 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
8 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
Education
Information technology
Industry
Chemical analysis
2017
28 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)
69 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 conferencePaperAcademic

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 conferencePaperAcademic

Open Access
Hardware
Freight transportation
Virtual reality
Seals
95 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
72 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

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

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

38 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
70 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 conferencePaperAcademic

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)
11 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
4 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 conferencePaperAcademic

Interchanges
Sales
2005
11 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 conferencePaperAcademic

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 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

Performance analysis of local search for multi-processor scheduling problems

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

Research output: Contribution to conferencePaperAcademic

Some Complexity Aspects of Secondary School TimeTabling

Eikelder, ten, H. M. M. & Willemen, R. J., 2000.

Research output: Contribution to conferencePaperAcademic

Web-Enabled Embedded Systems

Lukkien, J. J., Peters, P. & Manders, M. F. A., 2000.

Research output: Contribution to conferencePaperAcademic

1999

Dynamic Monte Carlo Simulations

Nedea, S. V., Segers, J. P. L., Lukkien, J. J. & Hilbers, P. A. J., 1999.

Research output: Contribution to conferencePaperAcademic

On the Relation between Business, Business Model, Software and ICT Platform Architectures

Wortmann, J. C., Hammer, D. K., Goossenaerts, J. B. M. & Aerts, A. T. M., 1999.

Research output: Contribution to conferencePaperAcademic

Preconditioning techniques for problems with inhomogeneities

Drenth, W. D., 1999.

Research output: Contribution to conferencePaperAcademic

3 Citations (Scopus)

The glass tank model

Nefedov, V., 1999.

Research output: Contribution to conferencePaperAcademic