Results 71 to 80 of about 28,929 (280)
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo +3 more
wiley +1 more source
Quantified Propositional Gödel Logics [PDF]
, 2000 It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S.
Baaz, Matthias +2 more
core +2 more sources
, 2016 In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to {\L}ukasiewicz logic. The MaxSAT problem for a set of formulae {\Phi} is the problem of finding an assignment to the variables in {\Phi} that satisfies the maximum number of formulae.
Abdalla, Areeg, Halaby, Mohamed El
core +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The systematic design of memristor‐based neural network is provided by analog conductance state parameters to accurately emulate the software‐based high‐resolution weight at discrete device level. The requirement of discrete analog conductance of memristor device is measured as ≈50 states with nonlinearity value of ≈0.142 within the deviation range of ...
Jingon Jang, Yoonseok Song, Sungjun Park
wiley +1 more source
n-Valued Refined Neutrosophic Logic and Its Applications to Physics [PDF]
, 2013 In this paper we present a short history of logics: from particular cases of 2-symbol or numerical valued logic to the general case of n-symbol or numerical valued logic.
Smarandache, Florentin
core +2 more sources
On sets of graded attribute implications with witnessed non-redundancy
, 2015 We study properties of particular non-redundant sets of if-then rules describing dependencies between graded attributes. We introduce notions of saturation and witnessed non-redundancy of sets of graded attribute implications are show that bases of ...
Vychodil, Vilem
core +1 more source
Advanced Intelligent Systems, EarlyView.This study proposes a robust, generalizable new approach for facial type diagnosis. Based on landmark detection and pose normalization, a 94.7% diagnostic accuracy is achieved by Combined Heatmap Regression and Coordinate Regression network. This research makes the AI‐generated preliminary diagnosis more interpretable and reducing the impact of ...
Qianyang Xie +12 more
wiley +1 more source
Collision Avoidance of Moving Obstacles for Underwater Robots [PDF]
Journal of Systemics, Cybernetics and Informatics, 2006 A fuzzy logic for autonomous navigation of underwater robot is proposed in this paper. The VFF(Virtual Force Field) algorithm, which is widely used in the field of mobile robot, is modified for application to the autonomous navigation of underwater robot.
KWON KYOUNG YOUB +3 more
doaj
A temporal semantics for Nilpotent Minimum logic
, 2013 In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +1 more source
Advanced Intelligent Systems, EarlyView.This study introduces a data‐driven framework that combines deep reinforcement learning with classical path planning to achieve adaptive microrobot navigation. By training a surrogate neural network to emulate microrobot dynamics, the approach improves learning efficiency, reduces training time, and enables robust real‐time obstacle avoidance in ...
Amar Salehi +3 more
wiley +1 more source