Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Paper
2019

Plan enumeration for SPARQL property paths

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

Research output: Contribution to conferencePaperAcademic

Waveguides
Costs

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

V-awake: a visual analytics approach for correcting sleep predictions from deep learning models

Garcia Caballero, H., Westenberg, M., Gebre, B. & van Wijk, J., 21 Mar 2019 12 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Sleep
Deep learning
2018

A bug bounty perspective on the disclosure of web vulnerabilities

Ruohonen, J. & Allodi, L., 2018

Research output: Contribution to conferencePaperAcademic

Open Access
File

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

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

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

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

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

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

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

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

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

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
Arsenals
Costs
Experiments
Open Access
File
Petri nets
Visualization
Acoustic waves
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

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

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

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)

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

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)

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

A numerical comparison between multiple-scales and FEM solution for sound propagation in lined flow ducts

Rienstra, S. W. & Eversman, W., 1999

Research output: Contribution to conferencePaperAcademic

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

Wavelets and quantum molecular dynamics simulations

Markvoort, A. J., Hilbers, P. A. J. & Pino, R., 1999

Research output: Contribution to conferencePaperAcademic

1 Citation (Scopus)

Wavelets in electronic structure calculations

Markvoort, A. J. & Hilbers, P. A. J., 1999

Research output: Contribution to conferencePaperAcademic