Results 101 to 110 of about 133,463 (288)
Soft robotic arms are promising for gentle grasping but often rely on bulky actuation systems. This work presents a computational design framework that optimizes tendon number and routing to achieve target grasps with fewer actuators. Validated on an octopus‐inspired underwater arm, the approach enables efficient, underactuated soft manipulators for ...
Michele Martini +6 more
wiley +1 more source
Background Macrophages show versatile functions in innate immunity, infectious diseases, and progression of cancers and cardiovascular diseases. These versatile functions of macrophages are conducted by different macrophage phenotypes classified as ...
Ricardo Ramirez +6 more
doaj +1 more source
Droplet‐based microfluidics enables precise, high‐throughput microscale reactions but continues to face challenges in scalability, reproducibility, and data complexity. This review examines how artificial intelligence enhances droplet generation, detection, sorting, and adaptive control and discusses emerging opportunities for clinical and industrial ...
Junyan Lai +10 more
wiley +1 more source
DNA logic programming: From concept to construction
DNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj +1 more source
Supermodular Programming on Lattices [PDF]
Questions, concerning the optimization of supermodular functions on finite lattices are considered in the paper. The systematic summary of main authors' and other researchers' results known before, new authors' results are given.
Vladimir R. Khachaturov +2 more
doaj
TREE STRUCTURE DATA CHANGE DETECTION METHOD
The new method, increasing efficiency and reliability of change detection in three structures in the Internet data under indetermination of data structure (DTD, XML-Schema) is proposed in this paper.
Yuriy Molchanov +2 more
doaj +1 more source
Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas [PDF]
We present a new propositional proof system based on a somewhat recent characterization of polynomial space (PSPACE) called Boolean programs, due to Cook and Soltys. The Boolean programs are like generalized extension atoms, providing a parallel to extended Frege.
openaire +1 more source
Enabling Stochastic Dynamic Games for Robotic Swarms
This paper scales stochastic dynamic games to large swarms of robots through selective agent modeling and variable partial belief space planning. We formulate these games using a belief space variant of iterative Linear Quadratic Gaussian (iLQG). We scale to teams of 50 agents through selective modeling based on the estimated influence of agents ...
Kamran Vakil, Alyssa Pierson
wiley +1 more source
Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge
Motivation: Mathematical models take an important place in science and engineering. A model can help scientists to explain dynamic behavior of a system and to understand the functionality of system components.
Thomas Leifeld, Zhihua Zhang, Ping Zhang
doaj +1 more source
Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source

