Results 11 to 20 of about 165,816 (266)
Polylinear Transformation Method for Solving Systems of Logical Equations
Mathematics, 2022 In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas.
Dostonjon Numonjonovich Barotov +1 more
doaj +1 more source
IEEE Access, 2019 Semi-tensor product of matrices (STP of matrices) is a new matrix product and has been successfully applied to many fields, especially to logical dynamic systems.
Jumei Yue, Yongyi Yan
doaj +1 more source
Feature Selection for Monitoring Erosive Cavitation on a Hydroturbine
International Journal of Prognostics and Health Management, 2017 This paper presents a method for comparing and evaluating cavitation detection features - the first step towards estimating remaining useful life (RUL) of hydroturbine runners that are impacted by erosive cavitation.
Seth W. Gregg +2 more
doaj +1 more source
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
Logical Attacks and Countermeasures for Fingerprint On-Card-Comparison Systems
Sensors, 2020 Digital fingerprints are being used more and more to secure applications for logical and physical access control. In order to guarantee security and privacy trends, a biometric system is often implemented on a secure element to store the biometric ...
Benoit Vibert +3 more
doaj +1 more source
Philosophical Foundations of Hajhosseini's Logics [PDF]
حکمت معاصر, 2023 Recently, Morteza Hajhosseini (2023) published his second edition of the book (2017) Two Non-Classical Logic Systems, A new Outlook on Elements of Logic, where he developed various non-standard logical systems based on specific philosophical foundations.
Asadollah Fallahi
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2007 AbstractWe present an overview of rewriting-based systems that were presented at the workshop.
Grit Denker +5 more
openaire +2 more sources
Approach for Digitalization of the Technical Systems on Logical Basis [PDF]
E3S Web of Conferences, 2020 In the article is given general approach, which can be implemented for digitalization of technical systems as automation in power sector, production sector and etc. Logical inference model is a basis for formalization of various processes.
Bystrov Dmitriy +2 more
doaj +1 more source
Practical aspects of the implementation of logical control programs for technological equipment of digital agriculture using the mathematical apparatus of difference equations [PDF]
E3S Web of Conferences, 2023 The emergence of new types of hardware devices for digitization of agriculture and the development of the software base and new approaches to the design of logical control systems cause a problem of changing the methodology of construction.
Nezhmetdinov Ramil +2 more
doaj +1 more source
Logical entropy of dynamical systems
Advances in Difference Equations, 2018 The main purpose of the paper is to extend the results of Ellerman (Int. J. Semant. Comput. 7:121–145, 2013) to the case of dynamical systems. We define the logical entropy and conditional logical entropy of finite measurable partitions and derive the ...
Dagmar Markechová +2 more
doaj +1 more source