Shape‐Memory Alloy Torsion Strips for Soft Robotic Manipulation and Morphing
Advanced Intelligent Systems, EarlyView.In this research, a dedicated configuration of SMA strip is proposed for soft robotic manipulation and morphing. This configuration has broad application prospects and demonstrates remarkable advantages in soft body joint operations. Mimicking invertebrates, soft robots tend to control each of their body joints to achieve the desired shape changes and ...
Changchun Wu +6 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Large‐scale Hopfield neural networks (HNNs) for associative computing are implemented using vertical NAND (VNAND) flash memory. The proposed VNAND HNN with the asynchronous update scenario achieve robust image restoration performance despite fabrication variations, while significantly reducing chip area (≈117× smaller than resistive random‐access ...
Jin Ho Chang +4 more
wiley +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
, 2018 In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked ...
Dupré, Daniele Theseider +1 more
core +1 more source
Advanced Intelligent Systems, EarlyView.Shape memory alloy wires exhibit thermally induced phase changes that generate actuation strain and resistance variations enabling self‐sensing. However, hysteretic electromechanical behavior complicates accurate state estimation. This paper presents an artificial in‐based self‐sensing method to reconstruct SMA actuator position in real time, achieving
Krunal Koshiya +2 more
wiley +1 more source
Worm‐Inspired Soft Robots With Modular Outfit‐Changing for Intelligent Multienvironment Adaptation
Advanced Intelligent Systems, EarlyView.This study proposes a worm‐inspired soft robot capable of locomotion across multiple environments through a modular “outfit‐changing” strategy. The robot integrates pneumatically actuated peristaltic segments with interchangeable external modules, enabling efficient motion on ground surfaces, within pipelines, through granular media, and underwater ...
Xiaomin Liu +6 more
wiley +1 more source
Interplay between phonon and impurity scattering in 2D hole transport
, 2012 We investigate temperature dependent transport properties of two-dimensional p-GaAs systems taking into account both hole-phonon and hole-impurity scattering effects. By analyzing the hole mobility data of p-GaAs in the temperature range 10 K$
Hwang, E. H., Min, Hongki, Sarma, S. Das
core +1 more source
Testing and Debugging Techniques for Answer Set Solver Development
, 2010 This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core +2 more sources
Crystallization of Water Mediated by Carbon
Geophysical Monograph Series, Page 77-86., 2020 This book is Open Access. A digital copy can be downloaded for free from Wiley Online Library.
Explores the behavior of carbon in minerals, melts, and fluids under extreme conditions
Carbon trapped in diamonds and carbonate-bearing rocks in subduction zones are examples of the continuing exchange of substantial carbon ...
Tianshu Li, Yuanfei Bi, Boxiao Cao
wiley +1 more source
A flexible framework for defeasible logics [PDF]
, 2000 Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others.
David Billington +4 more
core +5 more sources