Results 61 to 70 of about 765,429 (244)
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
Reviving Priorian tense logic may seem like a project doomed to fail. The evidence against it seems to be overwhelming. However, in this chapter I show that Priorian tense logic can handle some of the most widely cited evidence against it and argue that ...
Berit Brogaard, Brogaard, Berit
core +1 more source
Hybrid Continuum Robot Designs and Architectures for Healthcare Applications
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
A corpus-based approach to tense and aspect in English-Chinese translation. [PDF]
English is predominantly a tense language, whereas Chinese is exclusively an aspect language (c.f. Wang, 1943:151; Gao, 1948:189; Gong, 1991:252; Norman, 1988:163). While tense and aspect both provide temporal information, they are two different concepts.
Xiao, R. Z., McEnery, A. M.
core +2 more sources
Tense θ-valued Moisil propositional logic [PDF]
In this paper we study the tense θ-valued Moisil propositional calculus, a logical system obtained from the θ-valued Moisil propositional logic by adding two tense operators.
Chiriţă, Carmen
core
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings +6 more
wiley +1 more source
Continuum Robots in Surgery: From Engineering Design to Clinical Practice
The hyper‐redundant nature of continuum robot structures enables near‐infinite degrees of freedom leading to immense potential for medical applications. This review provides a historical background of continuum robots and novel ideas shaping their progress to current structural design, sensing technology, modeling techniques, and control methods.
Griffin Smith +6 more
wiley +1 more source
ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray +3 more
wiley +1 more source
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
We consider an extension of bi-intuitionistic logic with the traditional modalities ◇, □, ◆ and ■ from tense logic Kt. Proof theoretically, this extension is obtained simply by extending an existing sequent calculus for bi-intuitionistic logic ...
Gore, Rajeev +2 more
core
Harnessing Phase Separation for the Development of High‐Performance Hydrogels
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao +3 more
wiley +1 more source

