Department of Mathematics and Computer Science

Research Output 1937 2020

2020

A decision support system for the Court of East Brabant

Narayan, N., 6 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

A formal actor-based model for streaming the future

Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 Feb 2020, In : Science of Computer Programming. 186, 22 p., 102341.

Research output: Contribution to journalArticleAcademicpeer-review

Specifications
Specification languages
Application programs
Computer programming languages
Servers

A hierarchical model for the joint mortality analysis of pension scheme data with missing covariates

Ungolo, F., Kleinow, T. & Macdonald, A. S., 2020, In : Insurance: Mathematics and Economics. 91, p. 68-84

Research output: Contribution to journalArticleAcademicpeer-review

Missing Covariates
Hierarchical Model
Mortality
Covariates
Missing Data

Automated discomfort detection for premature infants in NICU using time-frequency feature-images and CNNs

Sun, Y., Kommers, D., Tan, T., Wang, W., Long, X., Shan, C., van Pul, C., Aarts, R. M., Andriessen, P. & de With, P. H. N., 2020, SPIE Medical Imaging. SPIE

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Automation of the municipal inspection process in Ecuador applying mobile-D for android

Guevara-Vega, C., Hernández-Rojas, J., Botto-Tobar, M., García-Santillán, I., Basantes Andrade, A. & Quiña-Mera, A., 1 Jan 2020, Advances in Emerging Trends and Technologies Volume 1. Botto-Tobar, M., León-Acurio, J., Díaz Cadena, A. & Montiel Díaz, P. (eds.). Cham: Springer, p. 155-166 12 p. (Advances in Intelligent Systems and Computing; vol. 1066).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Application programs
Automation
Inspection
Studios
Software architecture

Balanced line separators of unit disk graphs

Carmi, P., Chiu, M. K., Katz, M. J., Korman, M., Okamoto, Y., van Renssen, A., Roeloffzen, M., Shiitada, T. & Smorodinsky, S., 1 Jan 2020, In : Computational Geometry: Theory and Applications. 86, 14 p., 101575.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Unit Disk Graph
Separator
Separators
Line
Half-plane

Cliques in rank-1 random graphs: The role of inhomogeneity

Bogerd, K., Castro, R. M. & van Der Hofstad, R., Feb 2020, In : Bernoulli. 26, 1, p. 253-285 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

Hellings, J., Gyssens, M., Wu, Y., van Gucht, D., van den Bussche, J., Vansummeren, S. & Fletcher, G. H. L., Mar 2020, In : Information Systems. 89, 16 p., 101467.

Research output: Contribution to journalArticleAcademicpeer-review

Query languages
Algebra
Data structures
Chemical analysis
1 Downloads (Pure)

Controlling spontaneous and stimulated emission in coupled optical cavities

Pellegrino, D., 11 Feb 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven. 153 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
26 Downloads (Pure)

Criticality in power networks: a probabilistic approach

Sloothaak, F., 16 Jan 2020, Eindhoven: Technische Universiteit Eindhoven. 285 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

Data Science strategy for Lead Time of Service Materials

Krishnakumari, P., 14 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Decision support tools for pricing in a B2B

Ortega Del Vecchyo, M., 2020, (In preparation) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

21 Downloads (Pure)

Design of practical IoT identification methods: deliverable 2.2, Month 34, Nov 2019

Razeghi, B., Voloshynovskiy, S., Gheisari, M., Furon, T., Amsaleg, L., Leermakers, D. & Škorić, B., Jan 2020, Eindhoven: Technische Universiteit Eindhoven. 90 p. (Computer Science Reports; vol. 20-01)

Research output: Book/ReportReportAcademic

Open Access
File

Detection and measurement of contamination in reticles using computer vision

Ortiz Sevillano, J., 20 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

11 Downloads (Pure)

Enhancing the performance and security of Helper Data Systems

Stanko, T., 23 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

Estimation of local degree distributions via local weighted averaging and Monte Carlo cross-validation

Serra, P. & Mandjes, M., Apr 2020, In : Computational Statistics and Data Analysis. 144, 21 p., 106886.

Research output: Contribution to journalArticleAcademicpeer-review

Heterogeneous networks
Degree Distribution
Cross-validation
Averaging
Topology

Exceptional spatio-temporal behavior mining through Bayesian non-parametric modeling

Du, X., Pei, Y., Duivesteijn, W. & Pechenizkiy, M., 2020, (Accepted/In press) In : Data Mining and Knowledge Discovery.

Research output: Contribution to journalArticleAcademicpeer-review

Expansion of percolation critical points for hamming graphs

Federico, L., van der Hofstad, R. W., den Hollander, F. & Hulshof, T., 1 Jan 2020, In : Combinatorics, Probability and Computing. 29, 1, p. 68-100

Research output: Contribution to journalArticleAcademicpeer-review

Hamming Graph
Critical point
Lace Expansion
Lower bound
Branching Random Walk

Fairness in network representation by latent structural heterogeneity in observational data

Du, X., Pei, Y., Duivesteijn, W. & Pechenizkiy, M., 2020, (Accepted/In press) Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Fluctuation symmetry leads to GENERIC equations with non-quadratic dissipation

Kraaij, R. C., Lazarescu, A., Maes, C. & Peletier, M., Jan 2020, In : Stochastic Processes and their Applications. 130, 1, p. 139-170 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

Hamiltonians
Large Deviations
Dissipation
Fluctuations
Symmetry
1 Downloads (Pure)

Gender diversity and community smells: insights from the trenches

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 3 Jan 2020, In : IEEE Software. 37, 1, p. 10-16 7 p., 8852638.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Software engineering
Communication

Geographical prediction of infectious diseases incidences based on temporal network analysis

Fayazbakhsh, M., 14 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Geometry and topology of estuary and braided river channel networks automatically extracted from topographic data

Hiatt, M., Sonke, W. M., Addink, E., van Dijk, W., van Kreveld, M. J., Ophelders, T. A. E., Verbeek, K. A. B., Vlaming, J., Speckmann, B. & Kleinhans, M. G., 5 Jan 2020, In : Journal of Geophysical Research: Earth Surface. 125, 1, 19 p., e2019JF005206.

Research output: Contribution to journalArticleAcademicpeer-review

GPGPU linear complexity t-SNE optimization

Pezzotti, N., Thijssen, J., Mordvintsev, A., Hollt, T., Lew, B. V., Lelieveldt, B. P. F., Eisemann, E. & Vilanova, A., Jan 2020, In : IEEE Transactions on Visualization and Computer Graphics. 26, 1, p. 1172-1181 10 p., 8811606.

Research output: Contribution to journalArticleAcademicpeer-review

Computational complexity
Tensors
Scalability
Tuning
Textures

Indium phosphide membrane nanophotonic integrated circuits on silicon

Jiao, Y., van der Tol, J., Pogoretskii, V., van Engelen, J., Kashi, A. A., Reniers, S., Wang, Y., Zhao, X., Yao, W., Liu, T., Pagliano, F., Fiore, A., Zhang, X., Cao, Z., Kumar, R. R., Tsang, H. K., van Veldhoven, R., de Vries, T., Geluk, E. J., Bolk, J. & 3 others, Ambrosius, H., Smit, M. & Williams, K., Jan 2020, (Accepted/In press) In : Physica Status Solidi (A) Applications and Materials Science. 1900606.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Indium phosphide
Nanophotonics
indium phosphides
Silicon
Photonics
1 Downloads (Pure)

Latent variable models for harmonization of test scores: a case study on memory

van den Heuvel, E. R., Griffith, L. E., Sohel, N., Fortier, I., Muniz-Terrera, G. & Raina, P., Jan 2020, In : Biometrical Journal. 62, 1, p. 34-52 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Latent Variable Models
Score Test
Measurement Invariance
Exchangeability
Observational Study
5 Downloads (Pure)

Layered stochastic networks with limited resources

Aveklouris, A., 28 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven. 209 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
2 Downloads (Pure)

Method of characteristics for transient, spherical flows

Vardy, A. E. & Tijsseling, A. S., 1 Jan 2020, In : Applied Mathematical Modelling. 77, 1, p. 810-828 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Method of Characteristics
Compressible flow
Unsteady flow
Ducts
Equations of motion

Modeling and visualization for High Intensity Focused Ultrasound simulations

Modena, D., 27 Feb 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

On local and global graph structure mining

Pei, Y., 5 Feb 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven. 198 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

Price related data-driven applications for truck parts

Thakkar, R., 2 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Refactoring community smells in the wild: the practitioner’s field manual

Catolino, G., Palomba, F., Tamburri, D., Serebrenik, A. & Ferrucci, F., 16 Jan 2020, (Accepted/In press) Proceedings 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2020.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Similarities and differences of two exponential schemes for convection-diffusion problems: the FV-CF and ENATE schemes

Llorente, V. J., ten Thije Boonkkamp, J. H. M., Pascau, A. & Anthonissen, M. J. H., 15 Jan 2020, In : Applied Mathematics and Computation. 365, 21 p., 124700.

Research output: Contribution to journalArticleAcademicpeer-review

Convection-diffusion Problems
Numerical Approximation
Transport Equation
Finite Volume
Fluxes

STBins: visual tracking and comparison of multiple data sequences using temporal binning

Qi, J., Bloemen, V., Wang, S., van Wijk, J. & van de Wetering, H., Jan 2020, In : IEEE Transactions on Visualization and Computer Graphics. 26, 1, p. 1054-1063 10 p., 8805450.

Research output: Contribution to journalArticleAcademicpeer-review

Towards data driven spare part planning

Xie, J., 2020, (In preparation) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

7 Downloads (Pure)

Two-dimensional queueing models: exact and asymptotic methods

Mayank, 29 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven. 223 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
2019
4 Downloads (Pure)

11,700 km transmission at 4.8 bit/4D-sym via four-dimensional geometrically-shaped polarization-ring-switching mModulation

van der Heide, S., Chen, B., van den Hout, M., Liga, G., Koonen, T., Hafermann, H., Alvarado, A. & Okonkwo, C., 1 Jul 2019, OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019. Piscataway: Institute of Electrical and Electronics Engineers, 3 p. 8817687

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Dense wavelength division multiplexing
Erbium doped fiber amplifiers
format
Amplification
Modulation
19 Downloads (Pure)

11,700 km Transmission at 4.8 bit/4D-sym via four-dimensional geometrically-shaped polarization-ring-switching modulation

Heide, S. V. D., Chen, B., Hout, M. V. D., Liga, G., Koonen, T., Hafermann, H., Alvarado, A. & Okonkwo, C., 29 Apr 2019, In : arXiv. 3 p., 1904.12561 .

Research output: Contribution to journalConference articleAcademic

Open Access
File
format
modulation
rings
polarization

19th International conference on finite elements in flow problems

van Brummelen, H., Corsini, A., Perotto, S. & Rozza, G., 30 Jan 2019, In : Computers & Fluids. 179, p. 702-703 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Biomechanics
Multiphase flow
Fluid dynamics
Finite element method
Fluids
2 Downloads (Pure)

30% reach increase via low-complexity hybrid HD/SD FEC and nonlinearity-tolerant 4D modulation

Liga, G., Chen, B., Heide, S. V. D., Sheikh, A., van den Hout, M., Okonkwo, C. & Alvarado, A., 31 Dec 2019, In : arXiv. 4 p., 1912.13436v1.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
decoders
nonlinearity
modulation
transponders
decoding
1 Downloads (Pure)

A 0.34-571nW all-dynamic versatile sensor interface for temperature, capacitance, and resistance sensing

Xin, H., Andraud, M., Baltus, P. G. M., Cantatore, E. & Harpe, P. J. A., Sep 2019, ESSCIRC 2019 - IEEE 45th European Solid State Circuits Conference. Piscataway: Institute of Electrical and Electronics Engineers, p. 161-164 4 p. 8902918

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Capacitance
Sensors
Electric power utilization
Capacitive sensors
Temperature
13 Downloads (Pure)

A -81.6dBm sensitivity ultrasound transceiver in 65nm CMOS for symmetrical data-links

Berkol, G., Baltus, P. G. M., Harpe, P. J. A. & Cantatore, E., Sep 2019, ESSCIRC 2019 - IEEE 45th European Solid State Circuits Conference. PIscataway: Institute of Electrical and Electronics Engineers, p. 145-148 4 p. 8902921

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
data links
transmitter receivers
Transceivers
Transmitters
CMOS

A bilinear H2 model order reduction approach to linear parameter-varying systems

Benner, P., Cao, X. & Schilders, W. H. A., 1 Dec 2019, In : Advances in Computational Mathematics. 45, p. 2241–2271

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Linear Parameter-varying Systems
Bilinear Model
Model Order Reduction
Model Reduction
Grassmann Manifold

A bottleneck with randomly distorted arrival times

van Leeuwen, D., Ravner, L., Ghazanfari, S. & Queija, R. N., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019. New York: Association for Computing Machinery, Inc, p. 55-62 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Numerical analysis
Mechanics
Uncertainty
1 Downloads (Pure)

Absence of quantum-confined Stark effect in GaN quantum disks embedded in (Al,Ga)N nanowires grown by molecular beam epitaxy

Sinito, C., Corfdir, P., Pfüller, C., Gao, G., Bartolomé, J., Kölling, S., Rodil Doblado, A., Jahn, U., Lähnemann, J., Auzelle, T., Zettler, J. K., Flissikowski, T., Koenraad, P., Grahn, H. T., Geelhaar, L., Fernández-Garrido, S. & Brandt, O., 11 Sep 2019, In : Nano Letters. 19, 9, p. 5938-5948 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Stark effect
Molecular beam epitaxy
Nanowires
nanowires
molecular beam epitaxy
1 Citation (Scopus)

Access control in Internet-of-Things: a survey

Ravidas, S., Lekidis, A., Paci, F. & Zannone, N., 15 Oct 2019, In : Journal of Network and Computer Applications. 144, p. 79-101 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

Access control
Internet of things
Ecosystems
Industry

Accurate ILP-based contention modeling on statically scheduled multicore systems

Palomo, X., Mezzetti, E., Abella, J., Bril, R. J. & Cazorla, F. J., 1 Apr 2019, Proceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019. Brandenburg, B. B. (ed.). Piscataway: Institute of Electrical and Electronics Engineers, p. 15-28 14 p. 8743282

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Inductive logic programming (ILP)
Scheduling
Hardware
Industry

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Axiomatization
Branching
Concretes
Completeness
Equational Theory
9 Downloads (Pure)

Active contamination control for high-tech equipment and substrates: particle generation

Homayoun, M. R., 23 Oct 2019, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Open Access
File