Results 121 to 130 of about 1,125,186 (250)
Bilayered PEDOT:PSS–Collagen Scaffolds as Functional Architectures for Tissue Engineering
Advanced Materials Interfaces, EarlyView.A bilayered scaffold integrates collagen and PEDOT:PSS as distinct yet interconnected 3D matrices, preserving their fibrillar and conductive characteristics. Spatial compartmentalization enables independent tailoring of each domain while maintaining mechanical stability and compatibility with electrochemical monitoring, providing a multifunctional ...
Rasha Nasser +6 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.Xenon flash lamp annealing modulates oxygen‐vacancy states in 1‐nm‐thick ALD In2O3 transistors within a single 139 µs pulse. The photon‐induced defect engineering shifts the threshold voltage, improves bias‐stress stability, and narrows device‐to‐device variation across 64 devices. Combining pristine and treated transistors yields NMOS inverters with a
Sung Jin Park +5 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.LiTa2PO8 (LTPO) suffers from high interfacial resistance when paired with Li metal due to poor solid‐solid contact. Coating LTPO with an ionic liquid (IL) markedly improves interfacial stability, maintaining favorable resistance up to 2000 cycles. However, contact between IL‐coated LTPO and Li metal induces discoloration of LTPO, which is attributed to
Mizuki Fukuda +5 more
wiley +1 more source
Intuitionistic monotone modal logic via translation
We introduce a monotone modal analogue of the intuitionistic (normal) modal logic $\textsf{IK}$ using a translation into a suitable (intuitionistic) first-order logic.
de Groot, Jim
core +1 more source
EXPTIME Tableaux for the Coalgebraic Mu-Calculus
, 2009 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +1 more source
Advanced Materials Technologies, EarlyView.Dense tactile streams from across the humanoid body converge on collide in a central wiring and data bottleneck. By relocating computation closer to and then into the skin itself, near‐ and in‐sensor architectures, together with neuromorphic computing, chart a path toward perception‐native electronic skin, in which the conversion of stimulus into ...
Mijin Kim +6 more
wiley +1 more source
Microscale 3D‐Printed Digital Strain Switches for Embedded Mechanical Computation
Advanced Materials Technologies, EarlyView.Microscale 3D‐printed strain switches on flexible films convert deformation into native digital signals at geometry defined thresholds. A closed form model predicts switching from 3000 to 15 000 microstrain and is validated across 110 devices. Reliable ohmic closure and strain activated AND, OR, and XOR logic point toward low‐power mechanical ...
Regan Kubicek +3 more
wiley +1 more source
The exact correspondence between intuitionistic and modal logic (Extended abstract)
A normalizing system of classical natural deduction for S4 is given. It is shown that steps of indirect proof can be eliminated from derivations of formulas T(A) translated from intuitionistic logic to S4.
von Plato, Jan
core
Advanced Materials Technologies, EarlyView.Single‐filament material extrusion enables spatial stiffness programming through locally controlled thermal foaming of TPU. A data‐driven G‐code framework tunes porosity from 15.7% to 40.7% and hardness from 90 to 63 Shore A within and across layers. Monolithic hands and soft actuators consequently achieve distinct programmed motions without material ...
Rosanna Rifino +3 more
wiley +1 more source