Results 21 to 30 of about 9,801,063 (300)
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
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
Logic of transition systems [PDF]
Journal of Logic, Language and Information, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Benthem, Johan van, Bergstra, J.A.
openaire +2 more sources
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
Application of logical and mathematical methods for the analysis of environmental information
Юг России: экология, развитие, 2022 Aim. Evaluation of the possibilities of mathematical logic and logical‐mathematical methods in the description of complex natural systems in simple and clear constructions, as they act as a language, special research methods, a source of ideas and ...
L. Sh. Akhmedova +2 more
doaj +1 more source
Радіоелектронні і комп'ютерні системи, 2022 The subject of the research in this article is the methods for detecting intrusions into the information systems of organizations to justify the requirements for the functioning of the monitoring agent of the selected logical object.
Галина Іванівна Гайдур +2 more
doaj +1 more source
Preservative Translations between Logical Systems [PDF]
, 2010 International audienceThis paper investigates a subclass of translations between logical systems, called the preservative translations, which preserve the satisfiability and the unsatisfiability of formulas.
Ma, Yue +9 more
core +1 more source
Plurality of Logical Systems? Comparing the Classic and Modern Logicians’ Views [PDF]
حکمت و فلسفه, 2008 Before emerging of the modern logic, the then current logical system seemed to be without any alternative. But now classical logic encounters several systems which claim to be logical systems and rival of classical logic.
fereshteh nabati
doaj +1 more source