Log in

Relevant bibliographies by topics / LM-logic algebra

Contents

Journal articles
Dissertations / Theses

Academic literature on the topic 'LM-logic algebra'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'LM-logic algebra.'

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.

Journal articles on the topic "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.

Full text

Abstract:

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, and other styles

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.

Full text

Abstract:

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, and other styles

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.

Full text

Abstract:

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, and other styles

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.

Full text

Abstract:

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, and other styles

Dissertations / Theses on the topic "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/.

Full text

Abstract:

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, 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!