Results 1 to 10 of about 1,036,043 (288)
Model Checking Synchronized Products of Infinite Transition Systems [PDF]
Logical Methods in Computer Science, 2007 Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability ...
Stefan Wöhrle, Wolfgang Thomas
doaj +3 more sources
A note on drastic product logic [PDF]
, 2014 The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum.
B. Schweizer +9 more
core +2 more sources
Energy-efficient design of CNTFET-based quaternary arithmetic circuits [PDF]
Scientific ReportsThe vast interconnection between digital logic blocks is the main challenge faced in chip designing, which leads to increased area overheads and average power consumption.
Ajay Rupani +2 more
doaj +2 more sources
Visual Perception and the Emergence of Minimal Representation
Frontiers in Psychology, 2021 There is a long-lasting quest of demarcating a minimally representational behavior. Based on neurophysiologically-informed behavioral studies, we argue in detail that one of the simplest cases of organismic behavior based on low-resolution spatial vision–
Argyris Arnellos +2 more
doaj +1 more source
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Cogent Business & Management, 2023 The existing literature has focused on the exclusive relationship between institutional logics that are perceived as competing. The current study argues that multiple logics can co-exist in a blended relationship.
Van Dai Nguyen +2 more
doaj +1 more source
Study on Imagery Modeling of Electric Recliner Chair: Based on Combined GRA and Kansei Engineering
Applied Sciences, 2023 This study aims to integrate data-driven methodologies with user perception to establish a robust design paradigm. The study consists of five steps: (1) theoretical research—a review of the subject background and applications of Kansei engineering and ...
Chengmin Zhou, Lansong Jiang, Jake Kaner
doaj +1 more source
Dual Logic Area Optimization of Finite State Machine [PDF]
Jisuanji gongcheng, 2016 To cope with the problem that exists in the area optimization of Finite State Machine(FSM) by only using Traditional Boolean (TB) logic,a novel algorithm for FSM area optimization using both traditional Boolean logic and Reed-Muller (RM) logic,namely ...
LIN Weijian,WANG Lunyao,XIA Yinshui
doaj +1 more source
Internal Calculi for Separation Logics [PDF]
, 2020 We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal) Hilbert-style axiomatisation for the quantifier-free separation logic SL(
, Lozes, Etienne, Mansutti, Alessio
core +2 more sources
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