Results 171 to 180 of about 156,774 (303)

Call-by-Name and Call-by-Value in Normal Modal Logic

open access: yesAsian Symposium on Programming Languages and Systems, 2007
Yoshihiko Kakutani
semanticscholar   +1 more source

Flexible Memory: Progress, Challenges, and Opportunities

open access: yesAdvanced 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   +5 more
wiley   +1 more source

Deep Learning‐Assisted Design of Mechanical Metamaterials

open access: yesAdvanced Intelligent Discovery, EarlyView.
This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong   +5 more
wiley   +1 more source

Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook

open access: yesAdvanced Intelligent Discovery, EarlyView.
Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang   +4 more
wiley   +1 more source

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

open access: green, 2019
Tiziano Dalmonte   +3 more
openalex   +2 more sources

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

open access: yesAdvanced 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

Home - About - Disclaimer - Privacy