Results 11 to 20 of about 1,036,043 (288)
Mean Square Exponential Stability of Stochastic Delay Differential Systems with Logic Impulses
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
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]
Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories.
Z. Diskin +3 more
doaj +1 more source
Design and simulation of Penternary adder based on GNRFET [PDF]
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
Maximal Theories of Product Logic
Product logic is one of the main fuzzy logics arising from a continuous t-norm, and its equivalent algebraic semantics is the variety of product algebras. In this contribution, we study maximal filters of product algebras, and their relation with product hoops. The latter constitute the variety of 0-free subreducts of product algebras.
Valeria Giustarini, Sara Ugolini
openaire +2 more sources
Energy-Efficient circuits with improved diode free adiabatic logic design methodology
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
Reasoning, logic, and category mistakes
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
DESAIN MEDIA PEMBELAJARAN BERBASIS E MODUL PADA MATERI LOGIKA MATEMATIKA
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
From the Line to the Circle [PDF]
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
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
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

