Results 21 to 30 of about 86,588 (304)

Mean Square Exponential Stability of Stochastic Delay Differential Systems with Logic Impulses

open access: yesMathematics, 2023
This paper focuses on the mean square exponential stability of stochastic delay differential systems with logic impulses. Firstly, a class of nonlinear stochastic delay differential systems with logic impulses is constructed. Then, the logic impulses are
Chunxiang Li   +4 more
doaj   +1 more source

DESAIN MEDIA PEMBELAJARAN BERBASIS E MODUL PADA MATERI LOGIKA MATEMATIKA

open access: yesJurnal Lebesgue, 2023
This research is development research that designs products in the form of e-module mathematics for class XI SMA/SMK/MA. This research is focused on the feasibility of the product developed by involving validation from media experts and material experts.
Lailatul Lutfiyah   +2 more
doaj   +1 more source

Design and simulation of Penternary adder based on GNRFET [PDF]

open access: yesمجله مدل سازی در مهندسی, 2021
In this paper, the design of penternary circuits based on graphene nanoribbon FET (GNRFET) is presented. The employed logic of the penternary corresponds to the Galois logic.
Mahdieh Nayeri, Maryam Nayeri
doaj   +1 more source

Products of weighted logic programs [PDF]

open access: yesTheory and Practice of Logic Programming, 2011
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 ...
Shay B. Cohen   +2 more
openaire   +4 more sources

Reasoning, logic, and category mistakes

open access: yesAufklärung, 2017
In this contribution we sketch a propositional logical system designed to represent reasoning with philosophical categories. This should be of relative interest, at least, for two reasons.
J. Martín Castro-Manzano
doaj   +1 more source

Energy-Efficient circuits with improved diode free adiabatic logic design methodology

open access: yesAin Shams Engineering Journal, 2023
This paper demonstrates a detailed analysis of an unique improved diode-free adiabatic logic (IDFAL) circuit. The IDFAL is operated based on adiabatic switching principle.
Reginald H. Vanlalchaka   +2 more
doaj   +1 more source

From the Line to the Circle [PDF]

open access: yesARQ, 2022
Dismantling the linear logic - from raw material to product - in the construction cycle is today an ecological imperative. Also, it is a conceptual one since part of our survival depends on the change in how we think about the life of materials and ...
Alejandra Celedón
doaj   +1 more source

Revising the Superorganism: An Organizational Approach to Complex Eusociality

open access: yesFrontiers in Psychology, 2019
Eusociality is broadly defined as: colonies consisting of overlapping generations, cooperative brood care, and a reproductive division of labor where sterile (or non-reproductive) workers help the reproductive members.
Mark Canciani   +3 more
doaj   +1 more source

Development of Mathematical Logic Pipeline Tools (Pilogmath) for Learning Mathematical on Logic Material

open access: yesInternational Journal of Trends in Mathematics Education Research, 2023
This development research aims to determine the feasibility of using Mathematical Logic Pipe teaching aid (Pilogmath) on mathematical logic material at SMA Negeri 1 Tanah Luas in terms of validity, practicality, and attractiveness.
Khairun Nisa, Eri Saputra, M Mursalin
doaj   +1 more source

Products of ‘transitive” modal logics

open access: yesJournal of Symbolic Logic, 2005
AbstractWe solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics asK4,S4,S4.1,K4.3,GL, orGrzare undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4, K4] with
David Gabelaia   +3 more
openaire   +4 more sources

Home - About - Disclaimer - Privacy