Results 11 to 20 of about 73,209 (264)
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]
Scientific Annals of Computer Science, 2016 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
The Logical Pragmatics of Arguments in Argumentation
مجلة كلية التربية للبنات, 2022 Logic is understood so far as a product perspective, either formal or informal. The topic is still, though interesting, imprecise, sketchy and problematic. Besides, the relevance of logic to linguistics has not been explained.
Waleed Ridha Hammoodi Al-Jwaid +1 more
doaj +1 more source
Mean Square Exponential Stability of Stochastic Delay Differential Systems with Logic Impulses
Mathematics, 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
Reasoning, logic, and category mistakes
Aufklä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
Products of weighted logic programs [PDF]
Theory 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
DESAIN MEDIA PEMBELAJARAN BERBASIS E MODUL PADA MATERI LOGIKA MATEMATIKA
Jurnal 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]
مجله مدل سازی در مهندسی, 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
Revising the Superorganism: An Organizational Approach to Complex Eusociality
Frontiers 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
Energy-Efficient circuits with improved diode free adiabatic logic design methodology
Ain 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]
ARQ, 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