Results 31 to 40 of about 21,415 (228)

Inconsistency, paraconsistency and ω-inconsistency [PDF]

, 2018
In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth:
Da Re, Bruno
core   +2 more sources

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

Paraconsistent Belief Revision based on a formal consistency operator [PDF]

, 2015
In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly
Coniglio, Marcelo E., Ribeiro, Márcio M., Testa, Rafael R.   +2 more
core  

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

A Compendium of Logic Gates Based on Reconfigurable Three‐Independent‐Gate Transistors Realized in FDSOI Hardware

Advanced Electronic Materials, EarlyView.
This work electrically characterizes sixteen logic gates built from three‐independent‐gate reconfigurable transistors fabricated on full‐scale 300 mm wafers using the industrial 22 nm fully depleted FDSOI process of GlobalFoundries. Static and time‐resolved measurements confirm correct operation, including a 1‐bit adder and reconfigurable AOI/OAI ...
Juan P. Martinez, Yuxuan He, Giulio Galderisi, Violetta Sessi, Niladri Bhattacharjee, Peter Baars, Kerstin Poenisch, Annekathrin Zeun, Konstantin Li, Fernando Koch, Binit Syamal, Thomas Mikolajick, Jens Trommer   +12 more
wiley   +1 more source

A one-valued logic for non-one-sidedness [PDF]

, 2013
Does it make sense to employ modern logical tools for ancient philosophy? This well-known debate2 has been re-launched by the indologist Piotr Balcerowicz, questioning those who want to look at the Eastern school of Jainism with Western glasses.
Schang, Fabien
core  

Cost‐Benefit Analysis of the European Union Carbon Border Adjustment Mechanism in Fertilizer Trade

Agribusiness, EarlyView.
ABSTRACT The carbon border adjustment mechanism (CBAM), launching 2026, will charge EU importers for embedded carbon emissions, aiming to reduce emissions but raising import costs. Shifts in demand following implementation may reduce carbon emissions, but importers will bear the cost of increased prices.
Natalie Crisci, Md Deluair Hossen, Andrew Muhammad, Seong‐Hoon Cho   +3 more
wiley   +1 more source

Complete Additivity and Modal Incompleteness [PDF]

, 2019
In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic can be ...
Holliday, Wesley H., Litak, Tadeusz
core   +2 more sources

AI in chemical engineering: From promise to practice

AIChE Journal, EarlyView.
Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew, Ronnie Andersson, Thomas Bierweiler, Patrik Ryttestal, Torsten Wik   +4 more
wiley   +1 more source