In: Personality and individual differences, 2022, vol. 185, p. 10
The personality trait of neuroticism (N) has consistently shown to be a risk factor for Internet Addiction (IA). Review literature, however, looked at this in bivariate analyses only. To the best of our knowledge, we conducted the first review that systematically and conceptually summarized results based on the inclusion of additional factors, thus coming closer to the complex nature of the ...
|
In: Cancers, 2021, vol. 13, no. 19, p. 18
Artificial intelligence (AI) uses mathematical algorithms to perform tasks that require human cognitive abilities. AI-based methodologies, e.g., machine learning and deep learning, as well as the recently developed research field of radiomics have noticeable potential to transform medical diagnostics. AI-based techniques applied to medical imaging allow to detect biological abnormalities, to...
|
In: Algorithms, 2021, vol. 14, no. 9, p. 25
Recent systems applying Machine Learning (ML) to solve the Traveling Salesman Problem (TSP) exhibit issues when they try to scale up to real case scenarios with several hundred vertices. The use of Candidate Lists (CLs) has been brought up to cope with the issues. A CL is defined as a subset of all the edges linked to a given vertex such that it contains mainly edges that are believed to be...
|
In: International journal of fashion design, technology and education, 2021, vol. 14, no. 3, p. 293-301
This paper focuses on the field of digital fashion and its development by providing an overview regarding fashion design and culture. It is part of a larger research that involved a literature review of 491 relevant papers. From the analysis of this corpus, three main categories were identified: Communication and Marketing, Design and Production and Culture and Society. This study focuses on...
|
In: CCF transactions on high performance computing, 2021, no. 3, p. 407–426
Non-linear phase field models are increasingly used for the simulation of fracture propagation problems. The numerical simulation of fracture networks of realistic size requires the efficient parallel solution of large coupled non-linear systems. Although in principle efficient iterative multi-level methods for these types of problems are available, they are not widely used in practice due to...
|
In: Journal of computational science, 2021, vol. 53, p. 13
The ℓ1-regularized Gaussian maximum likelihood method is a common approach for sparse precision matrix estimation, but one that poses a computational challenge for high-dimensional datasets. We present a novel ℓ1- regularized maximum likelihood method for performant large-scale sparse precision matrix estimation utilizing the block structures in the underlying computations. We identify the...
|
In: Computer aided geometric design, 2021, vol. 88, p. 11
Bézier curves are indispensable for geometric modelling and computer graphics. They have numerous favourable properties and provide the user with intuitive tools for editing the shape of a parametric polynomial curve. Even more control and flexibility can be achieved by associating a shape parameter with each control point and considering rational Bézier curves, which comes with the...
|
In: Current opinion in genetics & development, 2021, vol. 71, p. 39-47
DNA breaks may arise accidentally in vegetative cells or in a programmed manner in meiosis. The usage of a DNA template makes homologous recombination potentially error-free, however, recombination is not always accurate. Cells possess a remarkable capacity to tailor processing of recombination intermediates to fulfill a particular need. Vegetatively growing cells aim to maintain genome...
|
In: International journal on software tools for technology transfer, 2021, p. 15
The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...
|
In: Journal of systems and software, 2021, vol. 181, p. 13
Software testing depends on effective oracles. Implicit oracles, such as checks for program crashes, are widely applicable but narrow in scope. Oracles based on formal specifications can reveal applicationspecific failures, but specifications are expensive to obtain and maintain. Metamorphic oracles are somewhere in-between. They test equivalence among different procedures to detect semantic...
|