Results 111 to 120 of about 2,282,903 (300)
On definability in dependence logic
, 2009 We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007].
Väänänen, J., Kontinen, J.
core +1 more source
The Disciplining of Clinical Practice by Medical Artificial Intelligence and Its Governance
Yixue yu zhexueMedical practice is inherently intertwined with spatial organization. Building upon the traditional perspectives of regions and networks, John Law's concept of fluid space illuminates what is distinctive about clinical work: fluidity, adaptability, and ...
Wei CAO
doaj +1 more source
Flexible Sensors for Robotics Tactile Perception: A Review
Advanced Robotics Research, EarlyView.Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley +1 more source
Monadic second order logic as the model companion of temporal logic
, 2016 The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all ...
S. van Gool +3 more
core +1 more source
The logic of ambitious legislators in fluid party systems
Legislative Studies QuarterlyAbstractClassic theories of political ambition assume relatively stable and programmatic party systems. However, in many parts of the world, ‘fluid’ or ‘inchoate’ party systems do not provide ambitious legislators with the electoral benefits associated with stable party brands.
Thomas Mustillo +2 more
openaire +1 more source
Nonreciprocal Swarmalators With Reconfigurable and Controllable Formations for Robot Collectives
Advanced Robotics Research, EarlyView.Nonreciprocal swarmalator interactions are enabled through control barrier functions to transform self‐organizing robot collectives into reconfigurable, constraint‐aware systems. Complex two‐ and three‐dimensional shapes, continuous morphing, obstacle‐aware navigation, collective splitting, and object transport emerge from modulating agent‐level ...
Kush Patel +3 more
wiley +1 more source
Application of fuzzy logic controls on hyperbolic differential equations
Partial Differential Equations in Applied MathematicsThe selection of suitable fuzzy logic control (FLC) systems for stabilizing hyperbolic conservation laws (HCLs) remains an open issue in computational fluid dynamics (CFD), particularly for shock-capturing schemes.
Ruchika Lochab, Luckshay Batra
doaj +1 more source
Toward Mechanical Intelligence in Robotics
Advanced Robotics Research, EarlyView.Robots can use their physical bodies to perform functions usually assigned to electronic sensors and controllers. This perspective defines mechanical intelligence through three core operations: filtering inputs, routing mechanical signals, and switching between states.
Xinyi Yang +5 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo +4 more
wiley +1 more source
Distributed Micropneumatic Sensors for Soft Robots to Detect Touch and Pose
Advanced Robotics Research, EarlyView.Soft robots need integrated touch and pose sensing for safe and reliable operation. This work presents a three‐fingered soft gripper with 18 micropneumatic sensors made from the same materials as its pneumatic actuators. By measuring airflow resistance changes in deforming microchannels of the sensors, finger pose and contact are detected, enabling ...
Vilma Lampinen +3 more
wiley +1 more source