Results 41 to 50 of about 41,558 (198)
Waveguide Photoactuators: Materials, Fabrication, and Applications
Advanced Robotics Research, EarlyView.Waveguide photoactuators convert guided light into mechanical motion. Their tethered‐flexible design enables minimally invasive surgery and confined‐space robotics. This review aims to guide materials selection, device design, and system integration, accelerating the transition of waveguide photoactuators from laboratory prototypes to versatile ...
Minjie Xi +4 more
wiley +1 more source
Parametric mixed sequent calculus [PDF]
, 2005 PreprintIn this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics.
Laurent, Olivier, Nour, Karim
core +1 more source
Design Principles for Deployable Fibers Inspired by Hagfish Defense
Advanced Science, EarlyView.Hagfish slime deploys fibers from coiled skeins to form an ultra‐dilute, water‐trapping network. Inspired by this mechanism, design principles are established for synthetic skeins, fabricated with tightly coiled fibers that unravel under flow. These synthetic skeins demonstrate deployable fibrous networks, highlighting generalizable strategies for ...
Mohammad Tanver Hossain +8 more
wiley +1 more source
Expansion Trees with Cut [PDF]
, 2013 Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view it suggests a compact representation of proofs in classical first- and higher-order logic by recording the information which instances have been chosen ...
Hetzl, Stefan, Weller, Daniel
core
Advanced Science, EarlyView.Low‐coherence holotomography reveals that disordered nanowire substrates guide astrocyte morphology toward branched, in vivo–like star‐shaped morphology, emphasizing the role of biophysical cues in shaping neural cell behavior. The developed nanostructured platform offers a new route to study astrocytes for neurobiology studies. Abstract Astrocytes are
Pooja Anantha +11 more
wiley +1 more source
Advanced Science, EarlyView.By utilizing a hot‐pressing (HP) annealing strategy, Cs3Cu2I5 films with larger grains vertically spanning the entire thickness are fabricated. Because HP annealing enhances light utilization and charge transport in Cs3Cu2I5/GaN heterojunction, the HP device achieves superior detection performance while maintaining narrowband photoresponse to UVA/UVB ...
Jingli Ma +13 more
wiley +1 more source
Physical Interpretation of Diffractive Optical Networks for High‐Dimensional Vortex Mode Sorting
Advanced Science, EarlyView.The first layer‐resolved physical interpretation of diffractive optical networks trained for high‐dimensional vortex mode sorting is presented, revealing transformation division phenomena linked to saturated performance as layer numbers increase. This analysis reconciles physical theorems with network operations, enabling physics‐driven design of ...
Ruitao Wu +7 more
wiley +1 more source
An algebraic formulation of cut-elimination theorem [PDF]
, 1965 Satoko Titani
openalex +2 more sources
Nanoscopic Mapping of the Extracellular Space in Amyloid Plaque‐rich Cortex
Advanced Science, EarlyView.The extracellular space and diffusion around amyloid plaques are examined using shadow imaging and single‐particle tracking. Increased diffusivity is found near plaques, extracellular matrix alterations, and plaque core penetrability that varies with amyloid phenotype.
Juan Estaún‐Panzano +11 more
wiley +1 more source
Cut Elimination inside a Deep Inference System for Classical Predicate Logic [PDF]
, 2018 Deep inference is a natural generalisation of the one-sided sequent calculus where rules are allowed to apply deeply inside formulas, much like rewrite rules in term rewriting.
Brünnler, Kai
core