Log in

Relevant bibliographies by topics / Theory of algorithms and mathematical logic / Journal articles

To see the other types of publications on this topic, follow the link: Theory of algorithms and mathematical logic.

Journal articles on the topic 'Theory of algorithms and mathematical logic'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Theory of algorithms and mathematical logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Semenov, A. L., M. A. Babenko, A. Ya Belov, et al. "Chair of Mathematical Logic and Theory of Algorithms." Moscow University Mathematics Bulletin 80, no. 1 (2025): 23–33. https://doi.org/10.3103/s0027132225700196.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Uspensky, Vladimir A. "Kolmogorov and mathematical logic." Journal of Symbolic Logic 57, no. 2 (1992): 385–412. http://dx.doi.org/10.2307/2275276.

Full text

Abstract:

There are human beings whose intellectual power exceeds that of ordinary men. In my life, in my personal experience, there were three such men, and one of them was Andrei Nikolaevich Kolmogorov. I was lucky enough to be his immediate pupil. He invited me to be his pupil at the third year of my being student at the Moscow University. This talk is my tribute, my homage to my great teacher.Andrei Nikolaevich Kolmogorov was born on April 25, 1903. He graduated from Moscow University in 1925, finished his post-graduate education at the same University in 1929, and since then without any interruptio

APA, Harvard, Vancouver, ISO, and other styles

3

Zhernovnykova, Oksana, Tamara Deynichenko, Gennadiy Deynychenko, and Oleksandr Chibisov. "Formation of Readiness of Future Mathematics Teachers to Teach Mathematical Logic and Theory of Algorithms." Professional Education: Methodology, Theory and Technologies, no. 16 (November 30, 2022): 90–109. http://dx.doi.org/10.31470/2415-3729-2022-16-90-109.

Full text

Abstract:

The paper is dedicated to the issue of finding ways to increase the efficiency of teaching mathematical logic and the theory of algorithms in pedagogical higher education institutions through the formation of future teachers' professional readiness for teaching the specified type of activity. The purpose of the study was scientific justification and experimental verification of the technology of training students of pedagogical institutions of higher education to study mathematical logic and the theory of algorithms. Methods. During research, a complex of general scientific and special methods

APA, Harvard, Vancouver, ISO, and other styles

4

Moschovakis, Yiannis N. "The formal language of recursion." Journal of Symbolic Logic 54, no. 4 (1989): 1216–52. http://dx.doi.org/10.1017/s0022481200041086.

Full text

Abstract:

This is the first of a sequence of papers in which we will develop a foundation for the theory of computation based on a precise, mathematical notion of abstract algorithm. To understand the aim of this program, one should keep in mind clearly the distinction between an algorithm and the object (typically a function) computed by that algorithm. The theory of computable functions (on the integers and on abstract structures) is obviously relevant to this work, but we will focus on making rigorous and identifying the mathematical properties of the finer (intensional) notion of algorithm.It is cha

APA, Harvard, Vancouver, ISO, and other styles

5

Sinko, Y. I. "INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS»." Information Technologies in Education, no. 6 (May 31, 2010): 123–29. http://dx.doi.org/10.14308/ite000156.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Goncharov, Sergey, and Andrey Nechesov. "Axiomatization of Blockchain Theory." Mathematics 11, no. 13 (2023): 2966. http://dx.doi.org/10.3390/math11132966.

Full text

Abstract:

The increasing use of artificial intelligence algorithms, smart contracts, the internet of things, cryptocurrencies, and digital money highlights the need for secure and sustainable decentralized solutions. Currently, the blockchain technology serves as the backbone for most decentralized systems. However, the question of axiomatization of the blockchain theory in the first-order logic has been open until today, despite the efficient computational implementations of these systems. This did not allow one to formalize the blockchain structure, as well as to model and verify it using logical meth

APA, Harvard, Vancouver, ISO, and other styles

7

Семенов, С. Г., Чжан Ліцзян, Цао Вейлінь, and В. В. Давидов. "Development of protecting a software product mathematical model from unlicensed copying based on the GERT method." Системи обробки інформації, no. 1(164) (March 17, 2021): 73–82. http://dx.doi.org/10.30748/soi.2021.164.08.

Full text

Abstract:

The subject of the research is methods and algorithms for developing the GERT networks that provide a hidden transition along the branches of the control logic graph and the ability to encode digital watermarks in the context of existing threats to the licensing security of software systems. The aim of the work is to develop a system of a software product licensed security based on hidden transition algorithms in GERT networks that carry the properties of digital watermarks. The article solves the following goal: development of a model of a software licensed security system based on the develo

APA, Harvard, Vancouver, ISO, and other styles

8

Nasir, Mohammad, Ali Sadollah, Przemyslaw Grzegorzewski, Jin Hee Yoon, and Zong Woo Geem. "Harmony Search Algorithm and Fuzzy Logic Theory: An Extensive Review from Theory to Applications." Mathematics 9, no. 21 (2021): 2665. http://dx.doi.org/10.3390/math9212665.

Full text

Abstract:

In recent years, many researchers have utilized metaheuristic optimization algorithms along with fuzzy logic theory in their studies for various purposes. The harmony search (HS) algorithm is one of the metaheuristic optimization algorithms that is widely employed in different studies along with fuzzy logic (FL) theory. FL theory is a mathematical approach to expressing uncertainty by applying the conceptualization of fuzziness in a system. This review paper presents an extensive review of published papers based on the combination of HS and FL systems. In this regard, the functional characteri

APA, Harvard, Vancouver, ISO, and other styles

9

KOVALCHUK, GRIGORIY, and AZAT KHISMATULLIN. "DC BOOST CONVERTER USING A FUZZY CONTROL SYSTEM, SIMULATED IN SIMULINK." Computational Nanotechnology 9, no. 4 (2022): 30–34. http://dx.doi.org/10.33693/2313-223x-2022-9-4-30-34.

Full text

Abstract:

Decisive for the operation of voltage, current and power converters is the choice of control method. Control of complex dynamic systems in conditions of insufficient or fuzzy information requires the involvement of non-standard approaches during the construction of the control system. There are two possible ways out of the traditional framework of linear control. The first, is to develop more accurate nonlinear models on which high-performance controller design can be based. However, when choosing this way, one has to develop very complex control algorithms, and, consequently, the controller w

APA, Harvard, Vancouver, ISO, and other styles

10

Li, Xin, Xunxun Xu, Zhijuan Shen, and Mengjun Sun. "Iterative Learning-Based PID Precision Control for Sports Performance Analysis." Wireless Communications and Mobile Computing 2021 (October 26, 2021): 1–13. http://dx.doi.org/10.1155/2021/6404172.

Full text

Abstract:

Traditional function algorithms are contradictory to accuracy and performance. Therefore, taking into account the balance of accuracy and performance, the research of accuracy control-oriented mathematical function algorithms is of great significance to the design of high-precision and high-performance mathematical function algorithms. This paper is aimed at the design of mathematical function algorithm for precision control and has conducted indepth research on traditional PID control algorithm and fuzzy logic control theory. By analyzing the advantages and disadvantages of the two in practic

APA, Harvard, Vancouver, ISO, and other styles

11

Voynarenko, Mykhaylo, Viktoriya Hurochkina, Viacheslav Dzhedzhula, Iryna Yepifanova, and Olena Menchynska. "Applying Fuzzy Logic to Modeling Economic Emergence." WSEAS TRANSACTIONS ON BUSINESS AND ECONOMICS 18 (February 2, 2021): 424–33. http://dx.doi.org/10.37394/23207.2021.18.43.

Full text

Abstract:

Modeling of financial, socioeconomic and integration indicators of fishing enterprises in conditions of uncertainty and constant transformation requires the development of an economic and mathematical model for studying the emergent state, which would be based on a set of main factors of influence of qualitative and quantitative characteristics of the dynamics of functioning. To create an expert modeling system for multi factorial analysis of the processes of functioning and management decisions of industrial enterprises, a mathematical apparatus based on the theory of fuzzy logic and a lingui

APA, Harvard, Vancouver, ISO, and other styles

12

Schumann, Andrew. "Creative Reasoning and Content-Genetic Logic." Studia Humana 7, no. 4 (2018): 39–47. http://dx.doi.org/10.2478/sh-2018-0022.

Full text

Abstract:

Abstract In decision making quite often we face permanently changeable and potentially infinite databases when we cannot apply conventional algorithms for choosing a solution. A decision process on infinite databases (e.g. on a database containing a contradiction) is called troubleshooting. A decision on these databases is called creative reasoning. One of the first heuristic semi-logical means for creative decision making were proposed in the theory of inventive problem solving (TIPS) by Genrich Altshuller. In this paper, I show that his approach corresponds to the so-called content-generic l

APA, Harvard, Vancouver, ISO, and other styles

13

Stanković, Radomir S., Milena Stanković, and Reiner Creutzburg. "Foundations for Applications of Gibbs Derivatives in Logic Design and VLSI." VLSI Design 14, no. 1 (2002): 65–81. http://dx.doi.org/10.1080/10655140290009819.

Full text

Abstract:

New technologies and increased requirements for performances of digital systems require new mathematical theories and tools as a basis for future VLSI CAD systems. New or alternative mathematical approaches and concepts must be suitable to solve some concrete problems in VLSI and efficient algorithms for their efficient application should be provided. This paper is an attempt in this direction and relates with the recently renewed interest in arithmetic expressions for switching functions, instead representations in Boolean structures, and spectral techniques and differential operators in swit

APA, Harvard, Vancouver, ISO, and other styles

14

Shoenfield, J. R. "The Mathematical Work of S.C.Kleene." Bulletin of Symbolic Logic 1, no. 1 (1995): 9–43. http://dx.doi.org/10.2307/420945.

Full text

Abstract:

§1. The origins of recursion theory. In dedicating a book to Steve Kleene, I referred to him as the person who made recursion theory into a theory. Recursion theory was begun by Kleene's teacher at Princeton, Alonzo Church, who first defined the class of recursive functions; first maintained that this class was the class of computable functions (a claim which has come to be known as Church's Thesis); and first used this fact to solve negatively some classical problems on the existence of algorithms. However, it was Kleene who, in his thesis and in his subsequent attempts to convince himself of

APA, Harvard, Vancouver, ISO, and other styles

15

Mlađenović, Nikola. "Mediatization@Logic.com." Mediatization Studies 8 (January 27, 2025): 91–104. https://doi.org/10.17951/ms.2024.8.91-104.

Full text

Abstract:

Mediatization scholars promised to connect mediatization research with social theory, describe its interplay with other meta-processes, and create a “common theoretically based roof”. Hepp and Couldry state that the concept of logic is unable to do that, yet do not provide for the alternative. The paper argues there is a wide misunderstanding what the concept of logic actually is and what it is bringing to the table. Hepp considers logic in terms of “narrow and reductionist thinking”. Media logic is questioned in terms of its universal validity compared to mathematical or philosophical logic.

APA, Harvard, Vancouver, ISO, and other styles

16

Korchunov, Alexey, Mikhail Chukin, and Aleksandr Lysenin. "Methodology of Developing Mathematical Models with Fuzzy Logic Elements for Quality Indices Control." Applied Mechanics and Materials 436 (October 2013): 374–81. http://dx.doi.org/10.4028/www.scientific.net/amm.436.374.

Full text

Abstract:

Advantages of applying fuzzy logic theory to metal products quality indices control in development of new models and in improvement of acting process operations are shown. It is proved that it is appropriate to determine fuzzy relation as preference relation in process of handling products quality indices in process operations. Elaboration of algorithm of handling mathematical models with fuzzy logic elements to control quality indices is undertaken. Methodology of mathematical models development with fuzzy logic elements for metal products quality indices control is created. Process of metal

APA, Harvard, Vancouver, ISO, and other styles

17

García-Olmedo, Francisco Miguel, Jesús García-Miranda, and Pedro González-Rodelas. "Mathematical Foundation of a Functional Implementation of the CNF Algorithm." Algorithms 16, no. 10 (2023): 459. http://dx.doi.org/10.3390/a16100459.

Full text

Abstract:

The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the “distributivity” of logical disjunction versus conjunction. For those types of implementations, the loop iteration runs a comparison between formulas to decide when to stop. In this article, we explain how to pre-calculate the exact number of loop iterations, thus avoiding the work involved in the above-mentioned comparison. After that, it is possible to

APA, Harvard, Vancouver, ISO, and other styles

18

Thomas, Joseph Ivin. "The Principle of Mathematical Induction: Applications in Physical Optics." Journal of Applied Mathematics 2022 (July 5, 2022): 1–10. http://dx.doi.org/10.1155/2022/3618642.

Full text

Abstract:

The bare rudiments of the principle of mathematical induction as a method of proof date back to ancient times. In the contemporary university milieu, the demonstrative scheme is taught as part of a course in discrete mathematics, set theory, number theory, graph theory, group theory, game theory, linear algebra, logic, and combinatorics. In theoretical computer science, it bears the pivotal role of developing the appropriate cognitive skills necessary for the effective design and implementation of algorithms, assessing for both their correctness and complexity. Pure mathematics and computer sc

APA, Harvard, Vancouver, ISO, and other styles

19

Fujita, Takaaki, and Florentin Smarandache. "Some Graph Parameters for Superhypertree-width and Neutrosophictree-width." Neutrosophic Systems with Applications 25 (January 5, 2025): 53–77. https://doi.org/10.61356/j.nswa.2025.25453.

Full text

Abstract:

Graph characteristics are often studied through various parameters, with ongoing research dedicated to exploring these aspects. Among these, graph width parameters—such as treewidth—are particularly important due to their practical applications in algorithms and real-world problems. A hypergraph generalizes traditional graph theory by abstracting and extending its concepts. More recently, the concept of a SuperHyperGraph has been introduced as a further generalization of the hypergraph. Neutrosophic logic, a mathematical framework, extends classical and fuzzy logic by allowing the simultaneous

APA, Harvard, Vancouver, ISO, and other styles

20

Jaszczak, Adrian. "General Theory and Tools for Proving Algorithms in Nominative Data Systems." Formalized Mathematics 28, no. 4 (2020): 269–78. http://dx.doi.org/10.2478/forma-2020-0024.

Full text

Abstract:

Summary In this paper we introduce some new definitions for sequences of operations and extract general theorems about properties of iterative algorithms encoded in nominative data language [20] in the Mizar system [3], [1] in order to simplify the process of proving algorithms in the future. This paper continues verification of algorithms [10], [13], [12], [14] written in terms of simple-named complex-valued nominative data [6], [8], [18], [11], [15], [16]. The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are bas

APA, Harvard, Vancouver, ISO, and other styles

21

Gopalan, Ranjith. "Mathematical Insights into Large Language Models." International Journal of Modern Statistics 4, no. 1 (2024): 14–32. http://dx.doi.org/10.47941/ijms.2006.

Full text

Abstract:

Purpose: The paper presents an exhaustive examination of the mathematical frameworks that support the creation and operation of large language models. The document commences with an introduction to the core mathematical concepts that are foundational to large language models. It delves into the mathematical algorithms employed in training these models and scrutinizes how various mathematical notions influence their efficacy. Methodology: Furthermore, it dissects the structure of large language models, analyzing the mathematical tenets that dictate their design and functionality. It also consid

APA, Harvard, Vancouver, ISO, and other styles

22

Salukhe, Adarsh. "Elements of the Theory of Computation." International Journal for Research in Applied Science and Engineering Technology 11, no. 6 (2023): 2297–308. http://dx.doi.org/10.22214/ijraset.2023.53969.

Full text

Abstract:

Abstract: On the undergraduate level, this book is an introduction to the Theory of Computation. A public purpose of terminology must protect a combination of different classifications. Natural languages, programming languages, mathematical languages, etc. The notation of a natural language is like English, Hindi, etc. Informal language can be defined as a system suitable for expressing specific ideas, facts, or concepts, including symbols and rules to manipulate these. The language we consider for our discussion is an abstraction of natural languages. The theory of Computation is based on Log

APA, Harvard, Vancouver, ISO, and other styles

23

SHAKERIN, FARHAD, and GOPAL GUPTA. "White-box Induction From SVM Models: Explainable AI with Logic Programming." Theory and Practice of Logic Programming 20, no. 5 (2020): 656–70. http://dx.doi.org/10.1017/s1471068420000356.

Full text

Abstract:

AbstractWe focus on the problem of inducing logic programs that explain models learned by the support vector machine (SVM) algorithm. The top-down sequential covering inductive logic programming (ILP) algorithms (e.g., FOIL) apply hill-climbing search using heuristics from information theory. A major issue with this class of algorithms is getting stuck in local optima. In our new approach, however, the data-dependent hill-climbing search is replaced with a model-dependent search where a globally optimal SVM model is trained first, then the algorithm looks into support vectors as the most influ

APA, Harvard, Vancouver, ISO, and other styles

24

Amador-Angulo, Leticia, and Oscar Castillo. "An Interval Type-2 Fuzzy Logic Approach for Dynamic Parameter Adaptation in a Whale Optimization Algorithm Applied to Mathematical Functions." Axioms 13, no. 1 (2023): 33. http://dx.doi.org/10.3390/axioms13010033.

Full text

Abstract:

In this paper, an improved whale optimization algorithm (WOA) based on the utilization of an interval type-2 fuzzy logic system (IT2FLS) is presented. The main idea is to present a proposal for adjusting the values of the r→1 and r→2 parameters in the WOA using an IT2FLS to achieve excellent results in the execution of the WOA. The original WOA has already proven itself as an algorithm with excellent results; therefore, a wide variety of improvements have been made to it. Herein, the main purpose is to provide a hybridization of the WOA algorithm employing fuzzy logic to find the appropriate v

APA, Harvard, Vancouver, ISO, and other styles

25

HAGHVERDI, ESFANDIAR, and PHILIP SCOTT. "Towards a typed Geometry of Interaction." Mathematical Structures in Computer Science 20, no. 3 (2010): 473–521. http://dx.doi.org/10.1017/s096012951000006x.

Full text

Abstract:

Girard's Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut elimination. We introduce a typed version of GoI, called Multiobject GoI for both multiplicative linear logic (MLL) and multiplicative exponential linear logic (MELL) with units. We present a categorical setting that includes our previous (untyped) GoI models, as well as more general models based on monoidal *-categories. Our development of multiobject GoI depends on a new theory of partial traces and trace classes, which we believe is of independent interest, as well as an abstract notio

APA, Harvard, Vancouver, ISO, and other styles

26

Dzițac, Ioan, and Loriana Andrei. "65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998)." International Journal of Computers Communications & Control 1, no. 3 (2006): 93. http://dx.doi.org/10.15837/ijccc.2006.3.2298.

Full text

Abstract:

<p>In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of Three - valued Łukasiewicz algebras” (Romania), cited in the book “Cylindric Algebras” by P. Monk, L. Henkin, A. Tarski. This article attracted the attention of Grigore C. Moisil, who offers him a scholarship, taking him out of production to make his doctorate at the Mathematic Institute of the Romanian Academy. He publishes more than 50 scientific papers in Theory of Algorithms, Logics of mathematics and Theory of Categories fields.</p><p>“Gheorg

APA, Harvard, Vancouver, ISO, and other styles

27

Roman’kov, V. A. "Algorithmic theory of solvable groups." Prikladnaya Diskretnaya Matematika, no. 52 (2021): 16–64. http://dx.doi.org/10.17223/20710410/52/2.

Full text

Abstract:

The purpose of this survey is to give some picture of what is known about algorithmic and decision problems in the theory of solvable groups. We will provide a number of references to various results, which are presented without proof. Naturally, the choice of the material reported on reflects the author’s interests and many worthy contributions to the field will unfortunately go without mentioning. In addition to achievements in solving classical algorithmic problems, the survey presents results on other issues. Attention is paid to various aspects of modern theory related to the complexity o

APA, Harvard, Vancouver, ISO, and other styles

28

S., Geetha, and S. Jayakumar Dr. "COMPUTER REPRESENTATION OF GRAPHS USING BINARY LOGIC CODES IN DISCRETE MATHEMATICS." International Journal of Multidisciplinary Research and Modern Education 3, no. 1 (2017): 152–57. https://doi.org/10.5281/zenodo.438946.

Full text

Abstract:

Discrete Mathematics is a fundamental component of mathematics and computer science. It is the study of finite systems. The Digital computer is basically a finite structure and many of its properties can be understood and interpreted within the framework of finite mathematical systems. Graph are represented by means of Diagrams. These Graphs may be considered as Graph of certain relation. Graphs, Directed Graphs appear in many areas of Mathematics and Computer Science. Graphs are defined as an abstract mathematical system. Elements of Graph Theory are indispensable in almost all areas of Compu

APA, Harvard, Vancouver, ISO, and other styles

29

FIERENS, DAAN, GUY VAN DEN BROECK, JORIS RENKENS, et al. "Inference and learning in probabilistic logic programs using weighted Boolean formulas." Theory and Practice of Logic Programming 15, no. 3 (2014): 358–401. http://dx.doi.org/10.1017/s1471068414000076.

Full text

Abstract:

AbstractProbabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. This paper investigates how classical inference and learning tasks known from the graphical model community can be tackled for probabilistic logic programs. Several such tasks, such as computing the marginals, given evidence and learning from (partial) interpretations, have not really been addressed for probabilistic logic programs before. The first contribution of this paper is a suite of efficient algorithms for various inference tasks. It is based on the conversion of the pro

APA, Harvard, Vancouver, ISO, and other styles

30

Kornilov, P. A., and N. P. Fedotova. "Tasks with mathematical content in Olympiads and competitions in informatics." Informatics in school, no. 1 (April 14, 2025): 10–17. https://doi.org/10.32517/2221-1993-2025-24-1-10-17.

Full text

Abstract:

Mathematical concepts and algorithms are present in the basic and advanced informatics courses of primary and secondary schools, in the tasks of the Uniﬁed State Exam and tasks of Olympiads and competitions in programming. the content lines of mathematics and informatics overlap in many ways, mainly in the sections of discrete mathematics: mathematical logic, graph theory, combinatorics, number systems, modular arithmetic, etc. the article provides examples of mathematical tasks that are useful when studying various sections of the informatics course. the use of semi-invariants and invariants

APA, Harvard, Vancouver, ISO, and other styles

31

Kozyriev, Andrii, and Ihor Shubin. "The method of linear-logical operators and logical equations in information extraction tasks." INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, no. 1 (27) (July 2, 2024): 81–95. http://dx.doi.org/10.30837/itssi.2024.27.081.

Full text

Abstract:

Relational and logical methods of knowledge representation play a key role in creating a mathematical basis for information systems. Predicate algebra and predicate operators are among the most effective tools for describing information in detail. These tools make it easy to formulate formalized information, create database queries, and simulate human activity. In the context of the new need for reliable and efficient data selection, a problem arises in deeper analysis. Subject of the study is the theory of quantum linear equations based on the algebra of linear predicate operations, the forma

APA, Harvard, Vancouver, ISO, and other styles

32

Saleem, Adeel, Kholiddinov Ilkhombek Khosiljonovich, Kholiddinova Mashkhurakhon Mutalibjon Qizi, Komolddinov Sokhib, Sharobiddinov MirzohidShakhobiddin Ugli, and Soliev Sokhibjon Obidovich. "Estimation of powerquality in distribution system using fuzzy logic theory." Indonesian Journal of Electrical Engineering and Computer Science 32, no. 3 (2023): 1236. http://dx.doi.org/10.11591/ijeecs.v32.i3.pp1236-1245.

Full text

Abstract:

There are several methods are used to calculate the power quality indicators. These objectives are now served by the most recent soft computing theories, such as neural networks, fuzzy time series, fuzzy logic theory, and other techniques. The fuzzy logic theory is one of the methods used to calculate the power quality indicators for the distribution electric network in this paper. It resolves the issue of forecasting the voltage values on distribution electrical networks' buses and enhances the quality of electricity in the face of fluctuating consumer loads and uncertainty. This paper propos

APA, Harvard, Vancouver, ISO, and other styles

33

Łukaszewski, Artur, Łukasz Nogal, and Marcin Januszewski. "The Application of the Modified Prim’s Algorithm to Restore the Power System Using Renewable Energy Sources." Symmetry 14, no. 5 (2022): 1012. http://dx.doi.org/10.3390/sym14051012.

Full text

Abstract:

The recent trends in the development of power systems are focused on the Self-Healing Grid technology fusing renewable energy sources. In the event of a failure of the power system, automated distribution grids should continue to supply energy to consumers. Unfortunately, there are currently a limited number of algorithms for rebuilding a power system with renewable energy sources. This problem is possible to solve by implementing restoration algorithms based on graph theory. This article presents the new modification of Prim’s algorithm, which has been adapted to operate on a power grid conta

APA, Harvard, Vancouver, ISO, and other styles

34

Bub, J. "Quantum computaton from a quantum logical perspective." Quantum Information and Computation 7, no. 4 (2007): 281–96. http://dx.doi.org/10.26421/qic7.4-1.

Full text

Abstract:

It is well-known that Shor's factorization algorithm, Simon's period-finding algorithm, and Deutsch's original XOR algorithm can all be formulated as solutions to a hidden subgroup problem. Here the salient features of the information-processing in the three algorithms are presented from a different perspective, in terms of the way in which the algorithms exploit the non-Boolean quantum logic represented by the projective geometry of Hilbert space. From this quantum logical perspective, the XOR algorithm appears directly as a special case of Simon's algorithm, and all three algorithms can be s

APA, Harvard, Vancouver, ISO, and other styles

35

Dudar, Zoia, and Svitlana Litvin. "Ontological description method for building service-oriented distributed learning systems." INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, no. 1 (27) (July 2, 2024): 39–53. http://dx.doi.org/10.30837/itssi.2024.27.039.

Full text

Abstract:

The subject of the research is the analysis and justification of the use of software engineering processes based on ontologies of data access and representation of access to knowledge bases and knowledge reuse in the language of algebra of finite predicates, which is a class of descriptive logics. This approach allows you to use the advantages of ontologies and logic programming in the refactoring of distributed distance learning systems. The purpose of the work is to create a formalism for describing the interaction of services and algorithms for building web service interfaces for the implem

APA, Harvard, Vancouver, ISO, and other styles

36

Hakemi, Shahin, Mahboobeh Houshmand, Seyyed Abed Hosseini, and Xujuan Zhou. "A Modified Quantum-Inspired Genetic Algorithm Using Lengthening Chromosome Size and an Adaptive Look-Up Table to Avoid Local Optima." Axioms 12, no. 10 (2023): 978. http://dx.doi.org/10.3390/axioms12100978.

Full text

Abstract:

The quantum-inspired genetic algorithm (QGA), which combines quantum mechanics concepts and GA to enhance search capability, has been popular and provides an efficient search mechanism. This paper proposes a modified QGA, called dynamic QGA (DQGA). The proposed algorithm utilizes a lengthening chromosome strategy for a balanced and smooth transition between exploration and exploitation phases to avoid local optima and premature convergence. Apart from that, a novel adaptive look-up table for rotation gates is presented to boost the algorithm’s optimization abilities. To evaluate the effectiven

APA, Harvard, Vancouver, ISO, and other styles

37

Frausto Solis, Juan, José L. Purata Aldaz, Manuel González del Angel, Javier González Barbosa, and Guadalupe Castilla Valdez. "SAIPO-TAIPO and Genetic Algorithms for Investment Portfolios." Axioms 11, no. 2 (2022): 42. http://dx.doi.org/10.3390/axioms11020042.

Full text

Abstract:

The classic model of Markowitz for designing investment portfolios is an optimization problem with two objectives: maximize returns and minimize risk. Various alternatives and improvements have been proposed by different authors, who have contributed to the theory of portfolio selection. One of the most important contributions is the Sharpe Ratio, which allows comparison of the expected return of portfolios. Another important concept for investors is diversification, measured through the average correlation. In this measure, a high correlation indicates a low level of diversification, while a

APA, Harvard, Vancouver, ISO, and other styles

38

Tang, Jian-Gang, Yimamujiang Aishan, Ji-Yu Liu, and Jia-Yin Peng. "Research on group type theory and its functorial semantic models in category logic." PLOS One 20, no. 6 (2025): e0326301. https://doi.org/10.1371/journal.pone.0326301.

Full text

Abstract:

This paper explores the introduction of group structures within type theory, drawing from the algebraic theory proposed by Roy L. Crole. We define types with group structures and demonstrate that models of these types in categories with finite products can be interpreted as group objects. Each equation within the context of group theory types corresponds to a commutative diagram, representing the axioms of groups, inspired by Lawvere’s functorial semantics. Moreover, we clarify the role of control equations associated with fundamental properties of groups, such as operations and identities. By

APA, Harvard, Vancouver, ISO, and other styles

39

Yakimova, N. A. "OPERATIONS ON BLOCK PREDICATE MATRICES." Researches in Mathematics and Mechanics 28, no. 1-2(41-42) (2023): 185–99. http://dx.doi.org/10.18524/2519-206x.2023.1-2(41-42).305269.

Full text

Abstract:

This article discusses the possibility of performing basic logical operations on matrices that are divided into rectangular blocks in an arbitrary manner. The results obtained are illustrated using the example of predicate logical matrices defined over a field of finite predicates of arbitrary arity. The possibility of extending the results obtained to Boolean matrices is also justified (they are considered to be defined over a field of finite predicates of zero arity). At the same time, using the apparatus of multivalued logic, starting from Boolean logical matrices, the results obtained can

APA, Harvard, Vancouver, ISO, and other styles

40

Melnyk, Oleksandr, and Viktoriia Kozarevych. "SIMULATION OF PROGRAMMABLE SINGLE-ELECTRON NANOCIRCUITS." Bulletin of the National Technical University "KhPI". Series: Mathematical modeling in engineering and technologies, no. 1 (March 5, 2021): 64–68. http://dx.doi.org/10.20998/2222-0631.2020.01.05.

Full text

Abstract:

The speed and specializations of large-scale integrated circuits always contradict their versatility, which expands their range and causes the rise in price of electronic devices. It is possible to eliminate the contradictions between universality and specialization by developing programmable nanoelectronic devices, the algorithms of which are changed at the request of computer hardware developers, i.e. by creating arithmetic circuits with programmable characteristics. The development of issues of theory and practice of the majority principle is now an urgent problem, since the nanoelectronic

APA, Harvard, Vancouver, ISO, and other styles

41

Amezquita, Lucio, Oscar Castillo, Jose Soria, and Prometeo Cortes-Antonio. "New Variants of the Multi-Verse Optimizer Algorithm Adapting Chaos Theory in Benchmark Optimization." Symmetry 15, no. 7 (2023): 1319. http://dx.doi.org/10.3390/sym15071319.

Full text

Abstract:

In this work, we present multiple variations of the Multi-verse Optimizer Algorithm (MVO) using chaotic maps, using it in the formation of new solutions. In these new variations of the MVO algorithm, which we call the Fuzzy-Chaotic Multi-verse Optimizer (FCMVO), we use multiple chaotic maps used in the literature to substitute some of the parameters for which the original algorithm used a random value in the formation of new universes or solutions. To implement chaos theory on these new variants, we also use Fuzzy Logic for dynamic parameter adaptation; the first tests are performed only using

APA, Harvard, Vancouver, ISO, and other styles

42

Li, Wei, Jingqian Wen, Qing Jiang, Liangtu Song, and Zhengyong Zhang. "Implementation of a Fuzzy Logic Control Strategy on a Harvester’s Controller Based on MATLAB Environment." International Journal of Pattern Recognition and Artificial Intelligence 33, no. 13 (2019): 1959043. http://dx.doi.org/10.1142/s0218001419590432.

Full text

Abstract:

Due to the nonlinear process of grain harvesting, there is no precise mathematical model to describe the behavior of the cleaning system of a harvester. Both the classical control and modern control methods cannot fulfil the requirements. Owing to this, the intelligent control algorithm was proposed, and the fuzzy logic control (FLC) method is a type of this. At present, most FLC algorithms are proposed in a MATLAB environment. However, the control problems in reality are controlled by microcomputer controllers with different chips. The control language of the microcomputer controller is usual

APA, Harvard, Vancouver, ISO, and other styles

43

COHEN, SHAY B., ROBERT J. SIMMONS, and NOAH A. SMITH. "Products of weighted logic programs." Theory and Practice of Logic Programming 11, no. 2-3 (2011): 263–96. http://dx.doi.org/10.1017/s1471068410000529.

Full text

Abstract:

AbstractWeighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a probability) that depends on the real weights of the base axioms used in the proof. The desired output is a function over all possible proofs, such as a sum of scores or an optimal score. We describe the product transformation, which can merge two weighte

APA, Harvard, Vancouver, ISO, and other styles

44

Dr. Bed Prakash Singh and Dr. Krishna Gopal Varshney. "Risk Assessment of H5N1 Influenza Spread in Various Geographic Regions Using Fuzzy Logic Systems." Modern Dynamics: Mathematical Progressions 2, no. 1 (2025): 29–39. https://doi.org/10.64170/mdmp.v2.i1.42.

Full text

Abstract:

There are serious risks to both the stability of the global economy and public health from the possible spread of the highly virulent avian influenza strain H5N1. Efficient prevention and control strategies depend on a precise evaluation of the risk associated with its dispersion throughout various geographical areas. This study uses mathematical theory of evidence and fuzzy logic to assess the likelihood that highly pathogenic avian influenza H5N1 will spread. This study examined population shifts in a region to assess the possibility of H5N1 highly pathogenic avian influenza spreading. There

APA, Harvard, Vancouver, ISO, and other styles

45

Веслогузова, Мария, Mariya Vesloguzova, Лада Розанова, Lada Rozanova, Людмила Петрик, and Lyudmila Petrik. "Territorial socio-ecological-economics systems in the field of tourism and service of Central Federal District: theoretical aspect." Service & Tourism: Current Challenges 9, no. 3 (2015): 43–48. http://dx.doi.org/10.12737/12881.

Full text

Abstract:

This article characterized the territorial socio-ecological-economic system, reveals the essence and sources offuzzi-ness of socio-ecological-economic processes and objects in the service sector, as well as approaches to their evaluation. The aim of the study is to reveal the nature of socio-ecological-economic systems, the disclosure of the nature, dynamics, level of mobility, interaction algorithms, the state of uncertainty and fuzziness of socio-ecological-economic processes and facilities. To achieve this goal, authors used the method of uncertain sets and algorithms L Zadeh, based on the

APA, Harvard, Vancouver, ISO, and other styles

46

Kuzmin, Egor V. "LTL-Specification of Counter Machines." Modeling and Analysis of Information Systems 28, no. 1 (2021): 104–19. http://dx.doi.org/10.18255/1818-1015-2021-1-104-119.

Full text

Abstract:

The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of various non-classical propositional logics takes place. Despite the abstractness of the theory of non-classical logics, in which the main attention is paid to the strict mathematical formalization of logical reasoning, there are real practical areas of application of theoretical results. In particular, languages of temporal modal logics are widel

APA, Harvard, Vancouver, ISO, and other styles

47

Jiang, Haifeng, Guangzhi Han, He Wang, Xinping Li, and Guopeng Zhang. "Fuzzy-logic-based data-differentiated service supported routing protocol for emergency communication networks in underground mines." International Journal of Distributed Sensor Networks 15, no. 7 (2019): 155014771986476. http://dx.doi.org/10.1177/1550147719864762.

Full text

Abstract:

Hybrid wireless mesh networks are suitable to construct emergency communication networks after disasters in underground mines. The routing decision in emergency scene is more difficult to give an accurate mathematical description due to the constraints of various data types, different data transmission requirements, and multi-parameters. Based on the fuzzy decision theory, this article has proposed a fuzzy-logic-based data-differentiated service supported routing protocol. Through the use of the adaptive fuzzy decision system, fuzzy-logic-based data-differentiated service supported routing pro

APA, Harvard, Vancouver, ISO, and other styles

48

Ketineni, Hrithik, and Marek Perkowski. "Quantum algorithm for ESOP minimization." Quantum Information & Computation 23, no. 3&4 (2023): 195–222. http://dx.doi.org/10.26421/qic23.3-4-2.

Full text

Abstract:

The Exclusive-OR Sum-of-Product (ESOP) minimization problem has long been of interest to the research community because of its importance in classical logic design (including low-power design and design for test), reversible logic synthesis, and knowledge discovery, among other applications. However, no exact minimal minimization method has been presented for more than seven variables on arbitrary functions. This paper presents a novel quantum-classical hybrid algorithm for the exact minimal ESOP minimization of incompletely specified Boolean functions. This algorithm constructs oracles from s

APA, Harvard, Vancouver, ISO, and other styles

49

Wang, Runsong, Xuelian Li, Juntao Gao, Hui Li, and Baocang Wang. "Quantum rotational cryptanalysis for preimage recovery of round-reduced Keccak." Quantum Information & Computation 23, no. 3&4 (2023): 223–34. http://dx.doi.org/10.26421/qic23.3-4-3.

Full text

Abstract:

The Exclusive-OR Sum-of-Product (ESOP) minimization problem has long been of interest to the research community because of its importance in classical logic design (including low-power design and design for test), reversible logic synthesis, and knowledge discovery, among other applications. However, no exact minimal minimization method has been presented for more than seven variables on arbitrary functions. This paper presents a novel quantum-classical hybrid algorithm for the exact minimal ESOP minimization of incompletely specified Boolean functions. This algorithm constructs oracles from s

APA, Harvard, Vancouver, ISO, and other styles

50

MITRA, ARINDAM, and CHITTA BARAL. "Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples." Theory and Practice of Logic Programming 18, no. 3-4 (2018): 623–37. http://dx.doi.org/10.1017/s1471068418000248.

Full text

Abstract:

AbstractOver the years the Artificial Intelligence (AI) community has produced several datasets which have given the machine learning algorithms the opportunity to learn various skills across various domains. However, a subclass of these machine learning algorithms that aimed at learning logic programs, namely the Inductive Logic Programming algorithms, have often failed at the task due to the vastness of these datasets. This has impacted the usability of knowledge representation and reasoning techniques in the development of AI systems. In this research, we try to address this scalability iss

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!