The concept of this toolbox is a hierachy of dynamic system objects, from the most generic representation (any non-linear differential equations) to more system specific representations such as ...
Abstract: This article considers asymptotic stability and stabilization of Markovian jump Boolean networks (MJBNs) with stochastic state-dependent perturbation. By defining an augmented random ...
Abstract: As the global economy continues to grow, the need for transportation also grows. Transportation researchers are developing new methods for integrating new technologies into existing ...
Quality control (QC) has long been an important part of FMRI processing, but it is typically underreported and too often underappreciated, whether for small or large, public or local datasets. This ...
Many complex data analysis problems within and beyond the scientific domain involve discovering graphical structures and functional relationships within data. Nonlinear variance decomposition with ...
1 Department of Mathematics, University of Patras, Patras, Greece. 2 Department of Business Administration, University of Patras, Patras, Greece. This paper presents a new dimension reduction strategy ...
The current version of the library works for Idris2 0.6.0. Previous versions of the library have been tested under Idris2 0.4.0 and 0.5.1. The latest version of Idris can be found here, and all the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results