Results 31 to 40 of about 2,939 (217)
4th International Congress for Logic, Methodology, and Philosophy of Science
, 1973 The Fourth International Congress for Logic, Methodology, and Philos ophy of Science was held in Bucharest, Romania, on August 29-September 4, 1971. The Congress was organized, under the auspices of the Inter national Union for History and Philosophy ...
Bogdan, R, Niiniluoto, I
core +1 more source
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
Remarks on the applications of paraconsistent logic to physics [PDF]
, 2003 In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories.
Krause, Décio, da Costa, Newton C. A.
core
Hybrid Continuum Robot Designs and Architectures for Healthcare Applications
Advanced Robotics Research, EarlyView.Hybrid continuum robots represent an emerging class of flexible manipulators that blend materials, structures, and actuation concepts from the established fields of soft and continuum robotics. This review introduces an accessible framework to distinguish key hybridization approaches, surveys current designs aimed at complex clinical applications, and ...
Burak Ozdemir +4 more
wiley +1 more source
Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics [PDF]
, 2020 In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them.
Pantsar, Markus
core +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
Categories without structures [PDF]
, 2009 The popular view according to which Category theory provides a support for Mathematical Structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics.
Rodin, Andrei
core
Geometrisation of first-order logic [PDF]
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
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
Aristotle and Lukasiewicz on existential import [PDF]
, 2015 This work was initially supported by Research Grant AH/F018398/1 (Foundations of Logical Consequence) from the Arts and Humanities Research Council, UK.Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very ...
Read, Stephen +2 more
core +1 more source