Results 111 to 120 of about 8,510 (275)
On the Impossibility of Probabilistic Proofs in Relativized Worlds.
We initiate the systematic study of probabilistic proofs in relativized worlds, where the goal is to understand, for a given oracle, the possibility of "non-trivial" proof systems for deterministic or nondeterministic computations that make queries to the oracle.
Alessandro Chiesa, Siqi Liu 0005
openaire +4 more sources
Stacked nanoflake assembly (SNA) membranes can oscillate autonomously, offering opportunities for soft actuation and energy harvesting. This work uncovers the physical mechanism behind the sustained oscillation of SNA membranes in gradient humidity and identifies three governing dimensionless parameters, enabling rational design for optimizing SNA ...
Zijing Zhang +5 more
wiley +1 more source
Content, the Possible and the Impossible [PDF]
What are contents? The answer provided by the possible worlds approach is that contents are sets of possible worlds. This approach incurs serious problems and to solve them Jago suggests, in The Impossible, to get rid of the ‘possible’ bit and allowing ...
Felappi, Giulia +2 more
core +1 more source
Field‐Programmable Mobile Magneto‐Photonic Metaparticles for Active Light Manipulation and Steering
We report magneto‐photonic metaparticles that integrate magnetic actuation with nanoimprinted metagratings, enabling mobile and programmable beam steering in aqueous environments. This platform achieves real time, directional light control beyond static or line‐of‐sight systems, while remaining compatible with scalable fabrication, providing a ...
Seung Yeol Lee, Yujie Luo, Ognjen Ilic
wiley +1 more source
Caging Plygons with Two and Three Fingers [PDF]
We study two- and three-finger caging arrangements of planar objects. An object is caged with an arrangement of fixed fingers (as obstacles) when it is impossible to take the object to arbitrary positions far from its initial placement without ...
Sub Games & Virtual Worlds begr. 1/9/13 +2 more
core
Topology‐Orchestrated Multi‐physical Energy Control in Turtle Shell‐Inspired Metamaterials
A turtle shell‐inspired lattice metamaterial efficiently manages acoustic, fluid‐thermal, and mechanical energy flows simultaneously. The unique hybrid‐coupling architecture achieves superior sound attenuation via pore‐cavity resonance, facilitates effective airflow transport, and maximizes mechanical energy absorption through multistage cell ...
Xi Wang +3 more
wiley +1 more source
We introduce an additively manufactured bioreactor with a perfusion flow system and integrated temperature and pH sensors for skeletal muscle tissue biofabrication. The bioreactor's performance was evaluated by assessing the viability, spreading of the myoblast cells in a printed scaffold, and contraction of the isolated murine musculi interossei ...
Lys Sprenger +9 more
wiley +1 more source
From Rigid to Soft Robotic Approaches for Neuroendoscopy
Robotic assistance has had minimal impact on deep intraventricular surgeries, where small‐scale, precision, and reduced invasiveness can contribute to improved patient outcomes. Emerging technologies in rigid, soft, and hybrid robotics are reviewed to identify the most promising mechanisms for deep brain navigation in addition to an attempt to identify
Kieran Gilday +3 more
wiley +1 more source
Seeing Like a Tesla: How Can We Anticipate Self-Driving Worlds?
In the last five years, investment and innovation in self-driving cars has accelerated dramatically. Automotive autonomy, once seen as impossible, is now sold as inevitable.
Jack Stilgoe
doaj +2 more sources
Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space
A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo +6 more
wiley +1 more source

