Results 61 to 70 of about 6,062,625 (214)
Vine‐Inspired Soft Robotics: Materials, Actuations, and Emerging Applications
Vine‐inspired robots grow from the tip, enabling navigation through confined spaces with minimal disturbance. This Review summarizes material and actuation strategies for vine‐inspired growth, key functions including steering, retraction, attachment, branching, and variable stiffness, and emerging applications spanning medical intervention, confined ...
Jiahao Wu +7 more
wiley +1 more source
Input-testate stability (ISS) of a parameterized familyof discrete-time time-varying nonlinear systems isinvestigated. A converse Lyapunov theorem for such systems is developed.
Laila, Dina Shona +2 more
core +1 more source
On the Parameterized Complexity of Contraction to Generalization of Trees [PDF]
For a family of graphs F, the F-Contraction problem takes as an input a graph G and an integer k, and the goal is to decide if there exists S \subseteq E(G) of size at most k such that G/S belongs to F.
Agrawal, Akanksha +5 more
core +1 more source
Rhizodeposition Drives One Third of Belowground Carbon Input in Agroecosystems
This study quantifies photosynthesized C allocation in the plant–soil system across six crop types: barley, wheat, maize, rice, legumes and grasses. It reports C partitioning into shoot respiration, shoot‐C, root‐C, net rhizodeposition and root‐derived CO2, providing standardized percentage averages and GPP‐derived absolute values as a robust baseline ...
Zhengjun Yan +10 more
wiley +1 more source
Topology-specific synthesis of self-stabilizing parameterized systems with constant-space processes
This paper investigates the problem of synthesizing parameterized systems that are self-stabilizing by construction. To this end, we present several significant results.
Ebnenasir, Ali, Klinkhamer, Alex
core +1 more source
Synthesis of Distributed Algorithms with Parameterized Threshold Guards [PDF]
Fault-tolerant distributed algorithms are notoriously hard to get right. In this paper we introduce an automated method that helps in that process: the designer provides specifications (the problem to be solved) and a sketch of a distributed algorithm ...
Konnov, Igor +3 more
core +1 more source
An MTJ‐based probabilistic processing‐in‐memory architecture unites nonvolatile storage, local entropy generation, and stochastic computation within each memory cell. Stored multi‐bit weights are converted directly into programmable stochastic bitstreams, enabling neural‐network inference, adaptive Ising optimization, and uncertainty‐aware Bayesian ...
Qiuyuan Wang +6 more
wiley +1 more source
A compact Phe‐Cys‐Pro‐Phe (FCPF) tag and an environment‐sensitive SBD‐Cl‐derived probe form a sequence‐selective fluorogenic pair for wash‐free live‐cell protein imaging. This minimally perturbing chemistry allows flexible insertion at termini or loops, produces strong fluorescence upon local microenvironment confinement, supports FRET‐assisted ...
Xiao Wang +11 more
wiley +1 more source
This Perspective charts the modeling landscape for soft manipulators, spanning sparse system identification, neural dynamics, physics‐informed models and hybrid intelligence. We examine how physics, data, sensing, adaptation and control can assume complementary roles within this landscape, and provide a framework for selecting modeling approaches ...
Wenbo Hui +4 more
wiley +1 more source
From Artificial to Embodied and Physical Intelligence in Smart Manufacturing
Smart manufacturing is reframed through complementary artificial, embodied, and physical intelligence, spanning computational reasoning, perception‐action coupling, and material‐level adaptation. Their integration across design, fabrication, operation, and maintenance reveals how intelligence can be co‐designed across algorithms, embodied agents, and ...
Kang Wang +9 more
wiley +1 more source

