Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Article
2019

Software architecture social debt: managing the incommunicability factor

Tamburri, D. A., 1 Feb 2019, In : IEEE Transactions on Computational Social Systems. 6, 1, p. 20-37 18 p., 8613009.

Research output: Contribution to journalArticleAcademicpeer-review

Software architecture
Software Architecture
indebtedness
Costs
costs
9 Downloads (Pure)

SolarView: low distortion radial embeddings with a focus

Castermans, T., Verbeek, K., Speckmann, B., Westenberg, M. A., Koopman, R., Wang, S., van den Berg, H. & Betti, A., Oct 2019, In : IEEE Transactions on Visualization and Computer Graphics. 25, 10, p. 2969-2982 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Solar system
Visualization
Systems analysis

Solving computational problems in the theory of word-representable graphs

Akgün, Ö., Gent, I., Kitaev, S. & Zantema, H., 2019, In : Journal of Integer Sequences. 22, 2, 18 p., 19.2.5.

Research output: Contribution to journalArticleAcademicpeer-review

Graph in graph theory
Representability
Comparability Graph
Graph Representation
Odd number

Solving singular generalized eigenvalue problems by a rank-completing perturbation

Hochstenbach, M. E., Mehl, C. & Plestenjak, B., 5 Sep 2019, In : SIAM Journal on Matrix Analysis and Applications. 40, 3, p. 1022-1046 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Generalized Eigenvalue Problem
Perturbation
Eigenvalue
Alternatives
10 Downloads (Pure)

Sparse evolutionary deep learning with over one million artificial neurons on commodity hardware

Liu, S., Mocanu, D., Ramapuram Matavalam, A. R., Pei, Y. & Pechenizkiy, M., 26 Jan 2019, In : arXiv. 14 p., 1901.09181v1.

Research output: Contribution to journalArticleAcademic

Open Access
File
Multilayer neural networks
Neurons
Feature extraction
Microarrays
Hardware
2 Downloads (Pure)

Spatially and temporally coherent visual summaries

Wulms, J. J. H. M., Buchmüller, J., Meulemans, W., Verbeek, K. A. B. & Speckmann, B., 2 Dec 2019, In : arXiv. 15 p., 1912.00719v1.

Research output: Contribution to journalArticleAcademic

Open Access
File
Experiments
4 Citations (Scopus)
5 Downloads (Pure)

Spin-orbit protection of induced superconductivity in Majorana nanowires

Bommer, J. D. S., Zhang, H., Gül, Ö., Nijholt, B., Wimmer, M., Rybakov, F. N., Garaud, J., Rodic, D., Babaev, E., Troyer, M., Car, D., Plissard, S. R., Bakkers, E. P. A. M., Watanabe, K., Taniguchi, T. & Kouwenhoven, L. P., 9 May 2019, In : Physical Review Letters. 122, 18, 7 p., 187702.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
nanowires
superconductivity
spin-orbit interactions
orbits
proximity
12 Downloads (Pure)

Stability analysis of kinetic orientation-based shape descriptors

Meulemans, W., Verbeek, K. & Wulms, J., 27 Mar 2019, In : arXiv. 18 p., ArXiv:1903.11445v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
Kinetics
Costs
1 Citation (Scopus)
16 Downloads (Pure)

Stillman’s conjecture via generic initial ideals

Draisma, J., Lasoń, M. & Leykin, A., 16 Apr 2019, In : Communications in Algebra. 47, 6, p. 2384-2395

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Generic Initial Ideal
Finitely Generated
Lexicographic Order
Formal Power Series
Homogeneous Polynomials
1 Citation (Scopus)
1 Downloads (Pure)

Strain engineering in Ge/GeSn core/shell nanowires

Assali, S., Albani, M., Bergamaschini, R., Verheijen, M. A., Li, A., Kölling, S., Gagliano, L., Bakkers, E. P. A. M. & Miglio, L., 9 Sep 2019, In : Applied Physics Letters. 115, 11, 113102.

Research output: Contribution to journalArticleAcademicpeer-review

nanowires
engineering
geometry
epitaxy
finite element method
23 Downloads (Pure)

Structural connectivity analysis using Finsler geometry

Dela Haije, T., Savadjiev, P., Fuster, A., Schultz, R. T., Verma, R., Florack, L. & Westin, C-F., 2019, In : SIAM Journal on Imaging Sciences. 12, 1, p. 551-575 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Downloads (Pure)

Subspace methods for three-parameter eigenvalue problems

Hochstenbach, M. E., Meerbergen, K., Mengi, E. & Plestenjak, B., 2 Jul 2019, In : Numerical Linear Algebra with Applications. 26, 4, 22 p., e2240.

Research output: Contribution to journalArticleAcademicpeer-review

Subspace Methods
Eigenvalue Problem
Two Parameters
Helmholtz equation
Iteration Method
3 Citations (Scopus)
46 Downloads (Pure)

Super-resolution imaging of structure, molecular composition, and stability of single oligonucleotide polyplexes

Feiner-Gracia, N., Olea, R. A., Fitzner, R., El Boujnouni, N., van Asbeck, A. H., Brock, R. & Albertazzi, L., 8 May 2019, In : Nano Letters. 19, 5, p. 2784-2792 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
oligonucleotides
Oligonucleotides
Cell-Penetrating Peptides
Molecular structure
Peptides
1 Citation (Scopus)

Survival analysis of pension scheme mortality when data are missing

Ungolo, F., Christiansen, M., Kleinow, T. & Macdonald, A., 3 Jul 2019, In : Scandinavian Actuarial Journal. 2019, 6, p. 523-547 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Survival Analysis
Mortality
Covariates
Survival Model
Identifiability
1 Citation (Scopus)

Sustainable performance challenges of rural microgrids: analysis of incentives and policy framework in Indonesia

Derks, M. J. W. & Romijn, H. A., Dec 2019, In : Energy for Sustainable Development. 53, p. 57-70 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Indonesia
incentive
Deterioration
renewable energy
performance

Switch chain mixing times and triangle counts in simple random graphs with given degrees

Bannink, T., van der Hofstad, R., Stegehuis, C. & Mateos, J. (ed.), 16 Aug 2019, In : Journal of Complex Networks. 7, 2, p. 210-225 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Mixing Time
Simple Graph
Random Graphs
Triangle
Switch
5 Downloads (Pure)

Systematic design of the color point of a white LED

Meretska, M. L., Vissenberg, G., Lagendijk, A., Ijzerman, W. L. & Vos, W. L., 18 Dec 2019, In : ACS Photonics. 6, 12, p. 3070-3075 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Light emitting diodes
light emitting diodes
Color
color
Light

System integration and packaging of a terahertz photodetector at $ W $-band

Dong, Y., Olvera, A. D. J. F., Morales, A., Aller, M. M., Preu, S., Zhurbenko, V., Hanberg, P. J., Okonkwo, C., Monroy, I. T. & Johansen, T. K., Aug 2019, In : IEEE Transactions on Components, Packaging and Manufacturing Technology. 9, 8, p. 1486-1494 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Photodetectors
Packaging
Rectangular waveguides
Indium phosphide
Photoconducting materials
4 Downloads (Pure)

Te incorporation and activation as n-type dopant in self-catalyzed GaAs nanowires

Hakkarainen, T. V., Rizzo Piton, M., Fiordaliso, E. M., Leshchenko, E. D., Koelling, S., Bettini, J., Vinicius Avanço Galeti, H., Koivusalo, E., Gobato, Y. G., de Giovanni Rodrigues, A., Lupo, D., Koenraad, P. M., Leite, E. R., Dubrovskii, V. G. & Guina, M., 5 Aug 2019, In : Physical Review Materials. 3, 8, 12 p., 086001.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Nanowires
nanowires
Chemical activation
Doping (additives)
activation

The (H, k)-server problem on bounded depth trees

Bansal, N., Eliáš, M., Jeż, Ł. & Koumoutsos, G., 1 Feb 2019, In : ACM Transactions on Algorithms. 15, 2, 26 p., 28.

Research output: Contribution to journalArticleAcademicpeer-review

Server
Competitive Ratio
Online Algorithms
Metric
Resource Augmentation

The (S−1,S) inventory model and its counterparts in queueing theory

Boxma, O. J., Perry, D. & Stadje, W., 1 Nov 2019, In : Operations Research Letters. 47, 6, p. 483-488 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Queueing theory
Queueing Theory
Inventory Model
Jackson Networks
Loss System
1 Citation (Scopus)

The combined effect of cancer and cardiometabolic conditions on the mortality burden in older adults

Raina, P., Gilsing, A., Freisling, H., van den Heuvel, E., Sohel, N., Jenab, M., Ferrari, P., Tjønneland, A., Benetou, V., Picavet, S., Eriksson, S., Schöttker, B., Brenner, H., Saum, K. U., Perna, L., Wilsgaard, T., Trichopoulou, A., Boffetta, P. & Griffith, L. E., 15 Feb 2019, In : The Journals of Gerontology. Series A, Biological Sciences and Medical Sciences. 74, 3, p. 366-372 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Mortality
Neoplasms
Confidence Intervals
Myocardial Infarction
Proportional Hazards Models
3 Citations (Scopus)

The complexity of Dominating set in geometric intersection graphs

de Berg, M., Kisfaludi-Bak, S. & Woeginger, G., 17 May 2019, In : Theoretical Computer Science. 769, p. 18-31 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Geometric Graphs
Intersection Graphs
Dominating Set
Interval
Semi-algebraic Sets

The dimension of an amoeba

Draisma, J., Rau, J. & Yuen, C. H., 22 Oct 2019, In : Bulletin of the London Mathematical Society.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

The extreme upper tail for triangles in random regular graphs

Hoorn, P. V. D., Lippner, G. & Mossel, E., 3 Apr 2019, In : arXiv.org,e-Print Archive, Mathematics.

Research output: Contribution to journalArticleAcademic

File
15 Downloads (Pure)

The homogeneous broadcast problem in narrow and wide strips I: algorithms

de Berg, M., Bodlaender, H. L. & Kisfaludi-Bak, S., 1 Jul 2019, In : Algorithmica. 81, 7, p. 2934-2962 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Broadcast
Strip
Wireless networks
Hardness
Polynomials
1 Citation (Scopus)
12 Downloads (Pure)

The homogeneous broadcast problem in narrow and wide strips II: lower bounds

de Berg, M., Bodlaender, H. L. & Kisfaludi-Bak, S., Jul 2019, In : Algorithmica. 81, 7, p. 2963-2990 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Broadcast
Strip
Computational complexity
Wireless networks
Lower bound
2 Downloads (Pure)

The impact of a network split on cascading failure processes

Sloothaak, F., Zwart, A. P. B. & Borst, S. C., 2019, In : Stochastic Systems. 9, 4, p. 392-416 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Complex networks
3 Downloads (Pure)

The inconsistent labelling problem of stutter-preserving partial-order reduction

Neele, T., Valmari, A. & Willemse, T. A. C., 22 Oct 2019, In : arXiv. 19 p., 1910.09829v2.

Research output: Contribution to journalArticleAcademic

Open Access
File
Labeling
Model checking
Defects

The k-dimensional cube is k-representable

Broere, B. & Zantema, H., 2019, In : Journal of Automata, Languages and Combinatorics. 24, 1, p. 3-12 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Regular hexahedron
Vertex of a graph
Concatenation
Cartesian product
Graph in graph theory

The single server queue with mixing dependencies

Raaijmakers, Y., Albrecher, H. & Boxma, O., 1 Dec 2019, In : Methodology and Computing in Applied Probability. 21, 4, p. 1023-1044 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Single Server Queue
Arrival Time
Waiting Time
Tail
M/M/1 Queue

The sport teams grouping problem

Toffolo, T. A. M., Christiaens, J., Spieksma, F. C. R. & Vanden Berghe, G., 1 Apr 2019, In : Annals of Operations Research. 275, 1, p. 223-243 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

The t linear mixed model: model formulation, identifiability and estimation

Regis, M., Brini, A., Nooraee, N., Haakma, R. & van den Heuvel, E. R., 24 Dec 2019, (Accepted/In press) In : Communications in Statistics. Part B, Simulation and Computation.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Linear Mixed Model
Identifiability
Formulation
Efficient Estimation
Sleep
1 Downloads (Pure)

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Bartholomeus, M., Luttik, B., Willemse, T. A. C., Hansen, D., Leuschel, M. & Hendriks, P., 1 Nov 2019, In : IRSE News. 260, 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

Formal methods
Demonstrations
Specifications

The use of formal methods in standardisation of interfaces of signalling systems

van der Werff, M., Elsweiler, B., Luttik, B. & Hendriks, P., Jun 2019, In : IRSE News. 256, p. 15-17 3 p.

Research output: Contribution to journalArticleProfessional

Formal methods
Standardization
Managers
1 Citation (Scopus)
14 Downloads (Pure)

Tight fluctuations of weight-distances in random graphs with infinite-variance degrees

Baroni, E., van der Hofstad, R. & Komjáthy, J., 28 Feb 2019, In : Journal of Statistical Physics. 174, 4, p. 906-934 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Infinite Variance
Random Graphs
Fluctuations
First-passage Percolation
random variables
3 Citations (Scopus)
8 Downloads (Pure)

Topological noetherianity of polynomial functors

Draisma, J., 18 Apr 2019, In : Journal of the American Mathematical Society. 32, 3, p. 691-707 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Functor
Polynomials
Polynomial
Noetherian
Polynomial ring
3 Citations (Scopus)
20 Downloads (Pure)

TOSCA-based Intent modelling: goal-modelling for infrastructure-as-code

Tamburri, D. A., van den Heuvel, W., Lauwers, C., Lipton, P., Palma, D. & Rutkowski, M., 1 Jun 2019, In : Software-Intensive Cyber-Physical Systems. 34, 2-3, p. 163-172 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Topology
Specifications
9 Downloads (Pure)

Traveling wave solutions for the Richards equation with hysteresis

Behi-Gornostaeva, E. E., Mitra, K. & Schweizer, B., Aug 2019, In : IMA Journal of Applied Mathematics. 84, 4, p. 797-812

Research output: Contribution to journalArticleAcademicpeer-review

File
Richards Equation
Traveling Wave Solutions
Hysteresis
Hysteresis Operators
Overshoot
5 Downloads (Pure)

Turing kernelization for finding long paths in graph classes excluding a topological minor

Jansen, B. M. P., Pilipczuk, M. & Wrochna, M., 1 Oct 2019, In : Algorithmica. 81, 10, p. 3936-3967 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Kernelization
Longest Path
Graph Classes
Turing
Minor
5 Citations (Scopus)
4 Downloads (Pure)

Ubiquitous non-Majorana zero-bias conductance peaks in nanowire devices

Chen, J., Woods, B. D., Yu, P., Hocevar, M., Car, D., Plissard, S. R., Bakkers, E. P. A. M., Stanescu, T. D. & Frolov, S. M., 6 Sep 2019, In : Physical Review Letters. 123, 10, 6 p., 107703.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
nanowires
indium
magnetic fields
energy
6 Downloads (Pure)

Ultrafast dynamics of nonequilibrium organic exciton-polariton condensates

Ramezani, M., Halpin, A., Wang, S., Berghuis, M. & Rivas, J. G., 11 Dec 2019, In : Nano Letters. 19, 12, p. 8590-8596 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Excitons
polaritons
condensates
Condensation
condensation

Uniform asymptotics for compound Poisson processes with regularly varying jumps and vanishing drift

Kamphorst, B. & Zwart, B., 1 Feb 2019, In : Stochastic Processes and their Applications. 129, 2, p. 572-603 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

Uniform Asymptotics
Compound Poisson Process
Jump
Supremum
Scale Function
1 Citation (Scopus)

Using Hidden Markov Models for the accurate linguistic analysis of process model activity labels

Leopold, H., van der Aa, H., Offenberg, J. & Reijers, H. A., 1 Jul 2019, In : Information Systems. 83, p. 30-39 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Hidden Markov models
Linguistics
Labels
Learning systems
Specifications
14 Downloads (Pure)

Variance components models for analysis of big family data of health outcomes in the lifelines cohort study

Demetrashvili, N., Smidt, N., Snieder, H., van den Heuvel, E. R. & Wit, E. C., 1 Feb 2019, In : Twin Research and Human Genetics. 22, 1, p. 4-13 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Family Health
Cohort Studies
Health
Quality of Life
17 Downloads (Pure)

Variational principle for scale-free network motifs

Stegehuis, C., Hofstad, R. V. D. & van Leeuwaarden, J. S. H., 1 Dec 2019, In : Scientific Reports. 9, 1, 10 p., 6762.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
20 Downloads (Pure)

Vegetable oils as carbon and energy source for Aureobasidium melanogenum in batch cultivation

van Nieuwenhuijzen, E. J., Sailer, M. F., van den Heuvel, E. R., Rensink, S., Adan, O. C. G. & Samson, R. A., Jun 2019, In : MicrobiologyOpen. 8, 6, 12 p., e00764.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Plant Oils
Linseed Oil
Oils
Carbon
Flax

Verification of hypertorus communication grids by infinite Petri nets and process algebra

Zaitsev, D., Shmeleva, T. & Groote, J. F., May 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 3, p. 733-742 10 p., 8707130.

Research output: Contribution to journalArticleAcademicpeer-review

Petri nets
Algebra
Communication
Packet switching
Structural analysis
12 Downloads (Pure)

Verifying big data topologies by-design: a semi-automated approach

Bersani, M. M., Marconi, F., Tamburri, D. A., Nodari, A. & Jamshidi, P., 1 Dec 2019, In : Journal of Big Data. 6, 1, 23 p., 40.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Topology
Momentum
Processing
Big data
Inference
44 Downloads (Pure)

Video-based actigraphy for monitoring wake and sleep in healthy infants: A Laboratory Study

Long, X., Otte, R., Sanden, E. V. D., Werth, J. & Tan, T., 3 Mar 2019, In : Sensors. 19, 5, 10 p., 1075.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Actigraphy
sleep
Polysomnography
wakes
Sleep