Results 141 to 150 of about 385,766 (333)
Sequent-Type Proof Systems for Three-Valued Default Logic [PDF]
Sopo Pkhakadze
openalex +1 more source
This study introduces an innovative approach to treating intervertebral disc degeneration using ultrasound‐triggered in situ hydrogel formation. Proof‐of‐concept experiments using optimized biomaterial and ultrasound parameters demonstrate partial restoration of biomechanical function and successful integration into degenerated disc tissue, offering a ...
Veerle A. Brans +11 more
wiley +1 more source
Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales +11 more
wiley +1 more source
Real‐Time 3D Ultrasound Imaging with an Ultra‐Sparse, Low Power Architecture
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
Three-Valued Logic as an Authentic African Logic: A Critical Reflection
PB Bisong
openalex +2 more sources
Néel Tensor Torque in Polycrystalline Antiferromagnets
This work introduces a Néel tensor torque based on a rank‐two symmetric tensor capturing spin correlations in a polycrystalline antiferromagnet. It shows the Néel tensor can be shaped and reshaped through the spin‐orbit torque (SOT) technique, enabling field‐free SOT switching with a specific polarity of the adjacent ferromagnet. This discovery opens a
Chao‐Yao Yang +4 more
wiley +1 more source
Note on calculi for a three-valued logic for logic programming
Matthias Baaz, Richard Zach
openalex +1 more source
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
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
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

