Results 21 to 30 of about 10,791,571 (264)
Proof Theory of Finite-valued Logics [PDF]
, 1993 The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux
Zach, Richard
core +4 more sources
Mathematics, 2021 This paper focuses on investigating the finite-time projective synchronization of Caputo type fractional-order complex-valued neural networks with time delay (FOCVNNTD). Based on the properties of fractional calculus and various inequality techniques, by
Shuang Wang +3 more
doaj +1 more source
Nonexistence of Finite-Time Stable Equilibria in a Class of Nonlinear Integral Equations
Fractal and Fractional, 2023 This brief report studies conditions to ensure the nonexistence of finite-time stable equilibria in a class of systems that are described by means of nonlinear integral equations, whose kernels are part of some Sonine kernel pairs.
Aldo Jonathan Muñoz-Vázquez +2 more
doaj +1 more source
Fully complex-valued radial basis function networks: orthogonal least squares regression and classification [PDF]
, 2008 We consider a fully complex-valued radial basis function (RBF) network for regression and classification applications. For regression problems, the locally regularised orthogonal least squares (LROLS) algorithm aided with the D-optimality experimental ...
Harris, C. J. +7 more
core +2 more sources
Modeling of complex-valued Wiener systems using B-spline neural network
, 2011 In this brief, a new complex-valued B-spline neural network is introduced in order to model the complex-valued Wiener system using observational input/output data. The complex-valued nonlinear static function in the Wiener system is represented using the
Hong, Xia +3 more
core +2 more sources
Online monitoring of distributed systems with a five-valued LTL
, 2022 S.226-231In this paper, we deal with two kinds of uncertainties in distributed systems. On one hand, the order of causally unrelated executions is not determined when a global clock is not available.
Schlingloff, B.-H., Chai, M.
core +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
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
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