Results 111 to 120 of about 1,435,923 (372)
Real‐Time 3D Ultrasound Imaging with an Ultra‐Sparse, Low Power Architecture
Advanced Healthcare Materials, EarlyView.This article presents a novel, ultra‐sparse ultrasound architecture that paves the way for wearable real‐time 3D imaging. By integrating a unique convolutional array with chirped data acquisition, the system achieves high‐resolution volumetric scans at a fraction of the power and hardware complexity.
Colin Marcus +9 more
wiley +1 more source
, 2009 Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents.
Fisman, Dana +2 more
core +2 more sources
Systematic construction of natural deduction systems for many-valued logics [PDF]
, 2002 Matthias Baaz +2 more
openalex +1 more source
Advanced Materials, EarlyView.This study demonstrates a monolithic perovskite OELG device that performs all eight logic operations, including XOR and XNOR, without external bias. Enabled by trap‐engineered MAPbI3:PLL and dual photogates, it achieves reconfigurable logic and parallel decoding of amplitude–frequency signals, supporting scenario‐configured logic‐level separation for ...
Dante Ahn +13 more
wiley +1 more source
Exploring a syntactic notion of modal many-valued logics [PDF]
, 2008 We propose a general semantic notion of modal many-valued logic. Then, we explore the di culties to characterize this notion in a syntactic way and analyze the existing literature with respect to this frameworkPeer ...
Bou, F., Esteva, F., Godo, L.
core +1 more source
A study of fuzzy and many-valued logics in cellular automata [PDF]
, 2006 Angelo B. Mingarelli
openalex +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
Inferential Interpretations of Many-Valued Logics
LogicsNon-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj +1 more source
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
International Journal of Computational Intelligence Systems, 2017 Histograms are an intuitively understandable tool for graphically presenting frequency data that is available for and useful in modern data-analysis, this also makes comparing histograms an interesting field of research.
Pasi Luukka, Mikael Collan
doaj +1 more source