Results 71 to 80 of about 77,551 (274)
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Basis of Globally Admissible Rules for Logic S4
Известия Иркутского государственного университета: Серия "Математика"Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules:in logic $L$, a rule of inference is admissible if the set of theorems $L$ is closed with respect to this ...
V.V. Rimatskiy
doaj +1 more source
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Fabric‐Based Wearable Robotic Exoskeleton Gloves: Advancements and Challenges
Advanced Materials Technologies, EarlyView.This review highlights interdisciplinary technological advances in fabric‐based robotic gloves, focusing on progress in design, fabrication, actuation, sensing, control, and power and energy requirements. It also addresses performance testing and validation, including biomechanical, strength, functional, user experience, and durability assessments, to ...
Ayse Feyza Yilmaz +2 more
wiley +1 more source
Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩ [PDF]
, 2016 We continue our investigation of the proof searching procedures developed for natural deduction calculus for classical and a variety of non-classical logics.
Bolotov, A. +3 more
core
, 2018 Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core +1 more source
Flux Analysis of the Supercapacitor Performance at Component Level
Advanced Materials Technologies, EarlyView.The central objective of this study is to introduce new approach and metrics for analyzing the supercapacitor performance at the component level. The lack of standardized evaluation methodologies for analyzing the nonlinear behavior of real system is critical and hinders progress of supercapacitor.
Hyacinthe Randriamahazaka +2 more
wiley +1 more source
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020 In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes +3 more
doaj +1 more source
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source