Увійти

Готові списки джерел за темами / LM-logic algebra

Зміст

Статті в журналах
Дисертації

Добірка наукової літератури з теми "LM-logic algebra"

Автор: Grafiati

Опубліковано: 3 червня 2025

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "LM-logic algebra".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "LM-logic algebra"

1

Ion, C. Baianu, Georgescu George, F. Glazebrook James, and Brown Ronald. "BRAIN Journal - Lukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems." Brain Journal 1, SPECIAL ISSUE ON COMPLEXITY IN SCIENCES AND ARTIFICIAL INTELLIGENCE (2010): 1–11. https://doi.org/10.5281/zenodo.1037321.

Повний текст джерела

Анотація:

ABSTRACT The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applications to complex genetic network dynamics and highly complex systems are presented in the context of a categorical ontology theory of levels, Medical Bioinformatics and self-organizing, highly complex systems. Quantum Automata were defined in refs.[2] and [3] as generalized, probabilistic automata with quantum state spaces [1]. Their next-state functions operate through transitions between quantum states defined by the quantum equations of motions in the Schr¨odinger representation, with both initial and boundary

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Wang, Luyao, and Guolin Liu. "A Method for Solving Ill-Conditioned Nonlinear Least Squares Problems and Its Application in Image Distortion Correction Using Self-Calibration." Axioms 13, no. 3 (2024): 209. http://dx.doi.org/10.3390/axioms13030209.

Повний текст джерела

Анотація:

In this study, the ill-conditioning of the iterative method for nonlinear models is discussed. Due to the effectiveness of ridge estimation for ill-conditioned problems and the lack of a combination of the H-K formula with the iterative method, the improvement of the LM algorithm is studied in this paper. Considering the LM algorithm for ill-conditioned nonlinear least squares, an improved LM algorithm based on the H-K formula is proposed for image distortion correction using self-calibration. Three finite difference methods are used to approximate the Jacobian matrix, and the H-K formula is u

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Lv, Shengmei, and Liying Zhao. "Hamiltonian Indices of Three Classes of Graphs Obtained from Petersen Graph." Axioms 12, no. 6 (2023): 580. http://dx.doi.org/10.3390/axioms12060580.

Повний текст джерела

Анотація:

In this paper, we mainly consider the Hamiltonian indices of three classes of graphs obtained from Petersen graph, that is, the minimum integer m of m-time iterated line graph Lm(G) of these three classes of graphs such that Lm(G) is Hamiltonian. We show that the Hamiltonian indices of those graphs obtained by replacing every vertex of Petersen graph with a n-cycle or a complete graph of order n, or adding n pendant edges to each vertex of Petersen graph are both 2. In addition, we also study the situations of adding an edge to these three classes of graphs and obtain that their Hamiltonian in

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Himika, Taasnim Ahmed, Md Farhad Hasan, Md Mamun Molla, and Md Amirul Islam Khan. "LBM-MHD Data-Driven Approach to Predict Rayleigh–Bénard Convective Heat Transfer by Levenberg–Marquardt Algorithm." Axioms 12, no. 2 (2023): 199. http://dx.doi.org/10.3390/axioms12020199.

Повний текст джерела

Анотація:

This study aims to consider lattice Boltzmann method (LBM)–magnetohydrodynamics (MHD) data to develop equations to predict the average rate of heat transfer quantitatively. The present approach considers a 2D rectangular cavity with adiabatic side walls, and the bottom wall is heated while the top wall is kept cold. Rayleigh–Bénard (RB) convection was considered a heat-transfer phenomenon within the cavity. The Hartmann (Ha) number, by varying the inclination angle (θ), was considered in developing the equations by considering the input parameters, namely, the Rayleigh (Ra) numbers, Darcy (Da)

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "LM-logic algebra"

1

Tian, Chun. "A formalization of unique solutions of equations in process algebra." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14798/.

Повний текст джерела

Анотація:

In this thesis, a comprehensive formalization of Milner's Calculus of Communicating Systems (also known as CCS) has been done in HOL theorem prover (HOL4), based on an old work in HOL88. This includes all classical properties of strong/weak bisimulation equivalences and observation congruence, a theory of congruence for CCS, various versions of ``bisimulation up to'' techniques, and several deep theorems, namely the ``coarsest congruence contained in weak equivalence'', and three versions of the ``unique solution of equations'' theorem in Milner's book. This work is further extended to supp

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!