Results 61 to 70 of about 41,558 (198)

Flexible Memory: Progress, Challenges, and Opportunities

Advanced Intelligent Discovery, EarlyView.
Flexible memory technology is crucial for flexible electronics integration. This review covers its historical evolution, evaluates rigid systems, proposes a flexible memory framework based on multiple mechanisms, stresses material design's role, presents a coupling model for performance optimization, and points out future directions.
Ruizhi Yuan, Sen Chen, Minghui Guo, Ziliang Cui, Yujie Du, Jing Liu   +5 more
wiley   +1 more source

Layers and Matroids for the Traveling Salesman's Paths

, 2017
Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees".
Schalekamp, Frans, Sebő, András, Traub, Vera, van Zuylen, Anke   +3 more
core   +2 more sources

Toward Knowledge‐Guided AI for Inverse Design in Manufacturing: A Perspective on Domain, Physics, and Human–AI Synergy

Advanced Intelligent Discovery, EarlyView.
This perspective highlights how knowledge‐guided artificial intelligence can address key challenges in manufacturing inverse design, including high‐dimensional search spaces, limited data, and process constraints. It focused on three complementary pillars—expert‐guided problem definition, physics‐informed machine learning, and large language model ...
Hugon Lee, Hyeonbin Moon, Junhyeong Lee, Seunghwa Ryu   +3 more
wiley   +1 more source

Design, Control, and Clinical Applications of Magnetic Actuation Systems: Challenges and Opportunities

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, Lidong Yang, Tiantian Xu, Dong Sun   +3 more
wiley   +1 more source

Self‐Organized Multitarget Pursuit in Multi‐Unmanned Aerial Vehicle Systems via Hierarchical Probabilistic Graphical Models

Advanced Intelligent Systems, EarlyView.
Multi‐UAV systems face challenges in adversarial environments due to limited adaptability and interpretability. This study proposes a self‐organized approach using hierarchical probabilistic graphical models with density‐driven parameter estimation.
Yixin Huang, Xiaojia Xiang, Chao Yan, Heda Xu, Tianjiang Hu, Han Zhou   +5 more
wiley   +1 more source

A proof of cut-elimination theorem in simple type-theory [PDF]

, 1967
Moto-o Takahashi
openalex   +1 more source

Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion [PDF]

, 2020
Norihiro Kamide
openalex   +1 more source

Self‐Supervised Learning‐Based Framework for Speckle Reduction of Optical Coherence Tomography Images Using Frame Interpolation

Advanced Intelligent Systems, EarlyView.
In summary, a self‐supervised end‐to‐end framework for OCT image despeckling is proposed, without access to unpaired noisy–clean images or paired noisy–noisy images for training. The despeckling performance has been evaluated on 150 subjects from five retina datasets (121 subjects) and one middle ear dataset (29 subjects). Optical coherence tomography (
Zhiyi Jiang, Yifeng Hao, Jing Dai, Ka‐Wai Kwok   +3 more
wiley   +1 more source

Lattice-valued representation of the cut-elimination theorem [PDF]

, 1991
Shôji Maehara
openalex   +1 more source

Kolmogorov–Arnold Network for Transistor Compact Modeling

Advanced Intelligent Systems, EarlyView.
This work introduces Kolmogorov–Arnold network (KAN) for the transistor—an architecture that integrates interpretability with high precision in physics‐based function modeling. The results reveal that despite achieving superior prediction accuracy for critical figures of merit, KAN demonstrates unique inherent challenges for transistor modeling ...
Rodion Novkin, Hussam Amrouch
wiley   +1 more source