Yosra Barkaoui's doctoral dissertation in mathematics at the University of Vaasa, Finland, has successfully generalised a fundamental theorem that has been limited to the bounded case. The research ...

Firth penalization reduces small-sample bias and produces finite estimates even when standard MLE fails due to (quasi-)complete separation or monotone likelihood. Standard maximum-likelihood logistic ...

For the C implementation on GPUs (recommended for benchmarking), please visit the following repository: $$ \begin{array}{ll} \underset{x \in \mathbb{R}^n}{\min} \quad ...

Describing the processes behind the origin of life requires us to better understand self-amplifying dynamics in complex chemical systems. Detecting autocatalytic cycles is a critical but challenging ...

While there have been some notable successes with program verification systems, a the use of such systems is still perceived as a niche activity for the most critical and specialized projects. 1, 23, ...

Abstract: This article proposes a novel Lyapunov stability analysis for a class of switched nonlinear systems under the mode-dependent average dwell time (MDADT) switching signals. For the first time, ...

In this paper, we present a novel means of control design for probabilistic movement primitives (ProMPs). Our proposed approach makes use of control barrier functions and control Lyapunov functions ...

In Ethereum blockchain, smart contracts are immutable, public, and distributed. However, they are subject to many vulnerabilities stemming from coding errors made by developers. Seven cybersecurity ...