Results 21 to 30 of about 331,702 (295)

Towards a Proof Theory of G\"odel Modal Logics [PDF]

, 2011
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
A. Avron, A. Avron, A. Avron and B. Konikowska, A. Ciabattoni, G. Metcalfe, and F. Monta, D. Larchey-Wendling, F. Bobillo, M. Delgado, J. Gómez-Romero,, F. Wolter, G. Priest, George Metcalfe, K. Gödel, L. Godo, P. Hájek, and F. Esteva, M. C. Fitting, M. C. Fitting, M. Dummett, Martin Giese, Nicola Olivetti, O. Sonobe, P. Hájek, P. Hájek, R. Dyckhoff, S. Schockaert, M. De Cock, and E. Kerre, U. Straccia, X. Caicedo and R. Rodríguez, Z. Zhang, Y. Sui, C. Cao, and G. Wu   +23 more
core   +1 more source

Transformative 4D Printed SMPs into Soft Electronics and Adaptive Structures: Innovations and Practical Insights

Advanced Materials Technologies, EarlyView.
This review highlights recent advancements in 3DP techniques that incorporate emerging multifunctional SMP materials for applications in e‐electronics, soft actuators, biomedical devices, and more. Abstract Shape memory polymers (SMP) have recently gained significant attention as multifunctional materials for flexible and wearable electronics ...
Muhammad Yasir Khalid, Adam Otabil, Omar Samir Mamoun, Khalid Askar, Mahdi Bodaghi   +4 more
wiley   +1 more source

Illuminating Advances in Materials: Optical Physical Unclonable Functions for Security Applications

Advanced Optical Materials, EarlyView.
This review highlights Optical Physical Unclonable Functions (OPUFs) as secure, light‐driven authentication tools. It surveys material platforms including optical fibers, low‐dimensional materials, luminophores, plasmonic nanoparticles and rare earth OPUFs systems.
Syeda Ramsha Ali, Stephen V. Kershaw, Mian Muhammad Faisal, Basel Halak, Nema M. Abdelazim   +4 more
wiley   +1 more source

Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics

Advanced Robotics Research, EarlyView.
This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang, Zhipeng Jiang, Sun Hwa Kwon, Matthew Ibrahim, Alexander Dang, Lin Dong   +5 more
wiley   +1 more source

Energy Consumption Optimization in Trajectory Planning for Fuel Cell Hybrid Uavs Based On HMPC

Advanced Robotics Research, EarlyView.
The endurance limitation of multirotor drones is a critical challenge. This study adopts a hybrid power system of fuel cells and lithium‐ion batteries. Using Nondominated Sorting Genetic Algorithm II, it integrates trajectory planning with energy management optimization.
Xindi Wang, Jianyang Dong, Yongming Yao, Kaijin Hu, Jianxiong Cui, Yikai Luo, Jiawen Zhang, Shichao Niu   +7 more
wiley   +1 more source

Fuzzy Logic

, 2020
This paper proposes a detailed switching model for the medium voltage cascaded H bridge multi level inverter drive and induction motor system using fuzzy logic controller which is suitable for power system dynamic studies. The model includes the We describe in this book recent advances in the fuzzy logic based augmentation of neural networks and in ...
M. Bhuvaneswari, P. Daniel Samson, V. Anish   +2 more
openaire   +2 more sources

A Proof‐of‐Concept Assessment of a Novel Wearable Eyelid Muscle Device: A Pre‐Clinical Animal Cadaver Study for Eyelid Closure Restoration

Advanced Robotics Research, EarlyView.
This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino, Phuoc Thien Phan, James Davies, Bibhu Sharma, Tianruo Guo, Chi Cong Nguyen, Nigel H. Lovell, Thanh Nho Do   +7 more
wiley   +1 more source

Adaptive Machine Learning for Electronic Nose‐Based Forensic VOC Classification

Advanced Science, EarlyView.
A 32‐element electronic nose enhanced with machine learning demonstrates exceptional accuracy in differentiating between living and deceased individuals (98.1%), discriminating human and animal specimens (97.2%), and estimating postmortem intervals.
Ivan Shtepliuk, Kerstin Montelius, Jens Eriksson, Donatella Puglisi   +3 more
wiley   +1 more source

Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes

Advanced Science, EarlyView.
Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He, Yifan Du, Ziqi Fu, Youcun Zheng, Nils Muhlert, Barbara Sahakian, Rebecca Elliott   +6 more
wiley   +1 more source

Directed Self‐Assembly of Magnetic Bioceramic Deep Inside Dentinal Tubules May Alleviate Dental Hypersensitivity

Advanced Science, EarlyView.
Magnetically guided bioceramic nanoparticles (“CalBots”) achieve deep dentinal tubule occlusion via directed self‐assembly under externally applied magnetic field. Various visualization techniques and a novel mouse behavioral assay indicate that CalBot‐induced plugs may reduce dentinal sensitivity, offering a promising strategy for future dentin ...
Shanmukh Peddi, Prajwal Hegde, Prannay Reddy, Anaxee Barman, Arnab Barik, Debayan Dasgupta, Ambarish Ghosh   +6 more
wiley   +1 more source