The normalized orbit of a bounded normal operator can be a frame, providing a counterexample to Conjecture 3.
Canonical reference
A Dynamic Recursive Unified Internet Design (DRUID),
Canonical reference. 80% of citing Pith papers cite this work as background.
citation-role summary
citation-polarity summary
authors
co-cited works
representative citing papers
EDEN releases the largest freely available Italian clinical notes corpus (4M notes, 6k annotated) and proposes CRF-filling as a structured extraction benchmark with zero-shot baselines from Gemma models.
Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
A 9U CubeSat detector can identify a thermonuclear weapon on a satellite from 4 km away by observing spallation neutrons induced by GeV protons in roughly one week.
O(n log n) algorithm and matching Omega(n log n) lower bound for partitioning a simple polygon's boundary into the minimum number of contiguous visible segments.
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
Derives leading asymptotics for collision-time tails of integrable inhomogeneous Markov chains via steepest-descent analysis and Karlin-McGregor expansion, confirming a prediction for push-block particle systems.
Canopies generalize vines and vineyards by tracking simplex pairs in filtered chain complexes instead of persistence diagram points, with proofs of homeomorphism and applications to multiplicity and monodromy.
A cP_n P_m scheme for DGSEM-LGL achieves m+1 convergence order via projected high-order components and a compact reconstruction operator that corrects the highest Legendre mode.
Hierarchical granular metamaterials achieve simultaneous increases in impact energy absorption per unit mass and reductions in transmitted peak force at low densities through three-level design combining granular dissipation with architected structures.
RoverDevKit is an open physics-based evaluator for lunar micro-rover conceptual design that runs in 30 ms and uses NSGA-II to identify mission-dependent optimal wheel configurations and binding trades.
Symbolic SOS rules generate symbolic semantics that are proven correct and complete with respect to concrete semantics using only the language's algebraic signature.
A YOLO keypoint model trained on 37k+ public images plus 1k neonatal frames achieves SOTA NME and low failure rates for 68-point neonatal landmark detection in clinical conditions.
Approximating twin-width is FPT parameterized by treedepth via oriented twin-width, and exact twin-width computation is FPT parameterized by vertex integrity.
Hybrid sharp-diffuse interface finite element method for accurate thermo-hydrodynamic modeling of melt pools with rapid evaporation.
Subsequence matching with gap-constraints is solvable in O(|D|(|u| + |C|)) time under left-convexity of the languages, optimal under SETH.
citing papers explorer
-
RoverDevKit: An open, physics-grounded tradespace toolkit for conceptual design of lunar micro-rovers
RoverDevKit is an open physics-based evaluator for lunar micro-rover conceptual design that runs in 30 ms and uses NSGA-II to identify mission-dependent optimal wheel configurations and binding trades.
-
Targeting World Models to Compromise Robot Learning Pipelines
World models introduce a stealthy poisoning vector into robot learning pipelines where malicious prompts or dynamics in teleoperated data activate only during synthetic trajectory generation, enabling backdoors in downstream policies.
-
Worth Remembering: Surprise-Gated Robot Episodic Memory
Surprise-gated episodic memory using V-JEPA-2 improves robot QA by ≥12% over prior memory methods and outperforms supervised baselines on event segmentation.
-
Asymptotically Optimal Ergodic Coverage on Generalized Motion Fields
A flow-adaptive ergodic coverage formulation using MMD that preserves guarantees over evolving domains and supports open-loop planning for robots in flows.
-
OmniRobotHome: A Multi-Camera Platform for Real-Time Multiadic Human-Robot Interaction
A 48-camera residential platform delivers real-time occlusion-robust 3D perception and coordinated actuation for multi-human multi-robot interaction in a shared home workspace.
-
Wear-Clearance-Impact Coupling in the Jansen Linkage: A Gait-Durability-Optimized Design Slows Joint Loosening
A clearance-coupled dynamic model of the Jansen linkage demonstrates that a gait-durability-optimized design retains lower per-cycle wear than the classical version across statistical ensembles despite impact amplification and non-uniform wear.
-
Durability-Aware Multi-Objective Optimization of the Jansen Linkage: Trading Gait Quality Against Joint Wear
Adjusting Jansen linkage lengths within 29% yields designs that flatten stance by 28%, smooth velocity by 58%, and cut total joint wear by 56% while satisfying gait constraints.
-
Blind Dexterous Grasping via Real2Sim2Real Tactile Policy Learning
Real2Sim tactile calibration, layout-aware encoder pretraining, and diffusion policy aggregation from object-specific RL experts enable 27% real-world success in blind grasping on a LEAP Hand for 10 seen and 10 unseen objects.
-
Distributionally Robust Control via Stein Variational Inference for Contact-Rich Manipulation
Introduces a Stein variational inference-based deterministic formulation for distributionally robust control in contact-rich robotic manipulation, reporting up to 3x improved robustness under parametric uncertainty.
-
FACTR 2: Learning External Force Sensing for Commodity Robot Arms Improves Policy Learning
NEXT estimates external torques from short free-motion data without hardware sensors and FIRST improves imitation learning by upsampling contact phases, yielding over 17% better task progress on long-horizon manipulation tasks.
-
GuideWalk: Learning Unified Autonomous Navigation and Locomotion for Humanoid Robots across Versatile Terrains
GuideWalk unifies traversability-aware navigation and terrain-adaptive locomotion into a single policy for humanoid robots via teacher distillation and RL refinement.
-
PaCo-VLA: Passivity-Shielded Compliance Prior for Contact-Rich Vision-Language-Action Manipulation
PaCo-VLA adds an independent passivity shield to VLA outputs so that semantic proposals for compliance and admittance can be used in contact-rich tasks without violating passivity or causing damage.
-
Distill: Uncovering the True Intent behind Human-Robot Communication
Distill refines user task specifications for robots by pruning unnecessary steps, generalizing meanings, and relaxing order constraints, as demonstrated in a crowdsourcing study on a web interface.
-
PECMAN: Perception-enabled Collaborative Multi-Agent Navigation in Unknown Environments
PECMAN lets multiple robots share perception and morph their individual RRT* trees to replan paths in unknown environments, reducing team completion time by up to 52 percent with near-100 percent success in 28,000 simulations and real-robot tests.
-
Modular Lie Algebraic PDE Control of Multibody Flexible Manipulators
A modular Lie-algebraic adaptive controller for serial flexible manipulators preserves the full PDE deformation model and proves exponential stability scalable to arbitrary chain lengths.
-
Interaction Forces and Internal Loads in Parallel Manipulators with Actuation Redundancy
The paper clarifies null-space wrench components for redundant parallel manipulators by adapting grasp concepts, resolves ambiguities in interaction forces and internal loads, and provides explicit methods to synthesize equilibrating and manipulating joint torques.
-
A Multi-View 3D Telepresence System for XR Robot Teleoperation
A multi-view point cloud VR system with wrist RGB detail outperforms RGB streams and stereo views in robot teleoperation tasks per a 31-participant user study.
-
Contact-Rich Robotic Assembly in Construction via Diffusion Policy Learning
Diffusion policies achieve 100% success on nominal mortise-tenon timber assembly and 75% average success under randomized 10 mm perturbations using force/torque sensing on an industrial robot.
-
STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle
The paper proposes an STL-based optimization planner with uncertainty-aware risk analysis and event-triggered replanning for safe human-drone collaboration, demonstrated in simulations of an object handover task.
-
The Role of Compute in Autonomous Aerial Vehicles
Compute and motion are tightly intertwined in MAVs, requiring cyber-physical co-design for optimal mission metrics, as shown via analytical models, simulation, end-to-end benchmarking, and the open-sourced MAVBench tool suite.
-
Learning to Feel Materials from Multisensory Tactile Data via Interpretable Models
An interpretable three-model framework links multisensory tactile features to perceptual attributes and material classification, finding that thermal cues and combined interactions improve accuracy.
-
EXPO-FT: Sample-Efficient Reinforcement Learning Finetuning for Vision-Language-Action Models
EXPO-FT enables pretrained VLA policies to reach 30/30 success on complex manipulation tasks using an average of 19.1 minutes of online robot data while outperforming prior RL approaches.
-
Computational Design and Co-Robotic Fabrication for Material Reuse in Architecture
An integrated framework couples computational design and feedback-driven co-robotic fabrication to enable nonstandard structures from heterogeneous reclaimed timber, validated by the Timbrelyn installation.
-
Topology-Driven Anti-Entanglement Control for Soft Robots
TD-MARL uses shared topological states and invariants to coordinate soft robots and reduce entanglement risk, outperforming standard DRL in simulated convergence and anti-winding performance.
-
Engineering Reliable Autonomous Systems: Challenges and Solutions
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.