Results 121 to 130 of about 50,581 (256)
Advanced Robotics Research, EarlyView.This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino +7 more
wiley +1 more source
Truth as a Mathematical Object
Principia: An International Journal of Epistemology, 2010 In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj
Advanced Robotics Research, EarlyView.An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy +13 more
wiley +1 more source
A. A. Zinoviev's Conception of the Many-valued Logic
, 1993 The paper seeks to reconstruct A.A. Zinoviev's many-valued logic. In order to construct any system of the many-valued logic it is essential to assume the two-valued logic. The many-valued logic cannot be treated as competitive to the two-valued one.
Lechniak, Marek
core
An application of automated equational reasoning to many-valued logic
, 1991 In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many-valued logic of Lukasiewicz. We give a new equational axiomatization of many-valued logic and we prove by SBR3 that it is equivalent to the classical ...
Maria Paola Bonacina +2 more
core +1 more source
Collision‐Resilient Winged Drones Enabled by Tensegrity Structures
Advanced Robotics Research, EarlyView.Based on structures of birds such as the woodpeck, this article presents the collision‐resilient aerial robot, SWIFT. SWIFT leverages tensegrity structures in the fuselage and wings which allow it to undergo large deformations in a crash, without sustaining damage. Experiments show that SWIFT can reduce impact forces by 70% over conventional structures.
Omar Aloui +5 more
wiley +1 more source
, 2012 The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights
De, Michael
core
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Can many-valued logic help to comprehend quantum phenomena? [PDF]
, 2014 Following Lukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger - Horne - Zeilinger 'paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while
Pykacz, Jarosław
core
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source