Results 21 to 30 of about 10,336 (231)
IEEE Access, 2019 Using a new matrix analysis tool, called semi-tensor product of matrices (STP) developed in recent years, this paper investigates the problem of finding control sets (or dominating sets) of graphs mathematically.
Yongyi Yan +3 more
doaj +1 more source
Hardy type unique continuation properties for abstract Schrödinger equations and applications
Electronic Journal of Qualitative Theory of Differential Equations, 2019 In this paper, Hardy's uncertainty principle and unique continuation properties of Schrödinger equations with operator potentials in Hilbert space-valued $L^{2}$ classes are obtained.
Veli Shakhmurov
doaj +1 more source
Hierarchy of many-body invariants and quantized magnetization in anomalous Floquet insulators
SciPost Physics, 2021 We uncover a new family of few-body topological phases in periodically driven fermionic systems in two dimensions. These phases, which we term correlation-induced anomalous Floquet insulators (CIAFIs), are characterized by quantized contributions to
Frederik Nathan, Dmitry A. Abanin, Netanel H. Lindner, Erez Berg, Mark S. Rudner
doaj +1 more source
IET Control Theory & Applications, 2017 This study presents a detailed survey on recent development of logical networks and its applications, including the background of logical networks, the theory of a new matrix product called semi‐tensor product (STP) of matrices, some fundamental works on logical networks, and some current research works.
Jianquan Lu +3 more
openaire +1 more source
Fractal and FractionalThis article investigates the problem of finite-time synchronization of fractional-order complex-valued random multi-layer networks without decomposing them into two real-valued systems.
Lulu Xu +4 more
doaj +1 more source
AxiomsThis article investigates finite-time passivity for fuzzy inertial complex-valued neural networks (FICVNNs) with time-varying delays. First, by using the existing passivity theory, several related definitions of finite-time passivity are illustrated ...
Jing Han
doaj +1 more source
Complexity, 2018 This paper is concerned with a class of discrete-time nonhomogeneous Markov jump systems with multiplicative noises and time-varying transition probability matrices which are valued on a convex polytope. The stochastic stability and finite-time stability
Shaowei Zhou +3 more
doaj +1 more source
Automatic Generation of Proof Tactics for Finite-Valued Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 A number of flexible tactic-based logical frameworks are nowadays available that can implement a wide range of mathematical theories using a common higher-order metalanguage.
João Marcos
doaj +1 more source
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
Roughness of fuzzy soft sets and related results [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper investigates roughness of fuzzy soft sets. A pair of fuzzy soft rough approximations is proposed and their properties are given. Based on fuzzy soft rough approximations, the concept of fuzzy soft rough sets is introduced.
Zhaowen Li, Tusheng Xie
doaj +1 more source