Results 81 to 90 of about 4,614 (253)
Advanced Robotics Research, EarlyView.A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay +9 more
wiley +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Learning‐Based Soft Robotic Grasping: Recent Progress and Remaining Challenges
Advanced Robotics Research, EarlyView.This review analyzes learning‐based soft robotic grasping from a pipeline‐oriented perspective, encompassing soft gripper design, multimodal sensing, and learning‐based planning and control. It surveys key neural network architectures and benchmark datasets and identifies critical challenges such as sim‐to‐real transfer, generalization, and continual ...
Arnab Majumder +3 more
wiley +1 more source
Chordless Cycle Packing Is Fixed-Parameter Tractable
28th Annual European Symposium on Algorithms (ESA 2020), 2020 A chordless cycle or hole in a graph G is an induced cycle of length at least 4. In the Hole Packing problem, a graph G and an integer k is given, and the task is to find (if exists) a set of k pairwise vertex-disjoint chordless cycles. Our main result is showing that Hole Packing is fixed-parameter tractable (FPT), that is, can be solved in time f(k)n^
openaire +3 more sources
Advanced Science, EarlyView.IGFBP4 is upregulated in granulosa cells of aged ovaries across monkeys, mice, and humans. It inhibits YAP signaling, thereby suppressing cell proliferation and contributing to follicular dysfunction. Deletion of Igfbp4 in granulosa cells enhances ovulatory output, improves hormone profiles, and reproductive performance in aged female mice, suggesting ...
Qianhui Hu +8 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
The HOMFLY-PT polynomial is fixed-parameter tractable
CoRR, 2017 15 pages, 4 ...
openaire +6 more sources
Solid Harmonic Wavelet Bispectrum for Image Analysis
Advanced Science, EarlyView.The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +1 more source
Journal of Integrative Bioinformatics, 2012 The explosion of biological data has largely influenced the focus of today’s biology research. Integrating and analysing large quantity of data to provide meaningful insights has become the main challenge to biologists and bioinformaticians.
Sun Peng, Guo Jiong, Baumbach Jan
doaj +1 more source
Fixed-Parameter Tractability of Hedge Cut
12 pages, 1 figure, to appear in SODA ...
Fedor V. Fomin +4 more
openaire +2 more sources