Results 171 to 180 of about 77,551 (274)

Natural deduction for non-classical logics

open access: yes, 1996
We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models.
Basin, D., Matthews, S., Viganò, L.
openaire   +1 more source

Evolution of Physical Intelligence Across Scales

open access: yesAdvanced Intelligent Discovery, EarlyView.
By following the evolution of physical intelligence across scales, this article shows how intelligence arises from materials, structures, physical interactions, and collectives. It establishes physical intelligence as the evolutionary foundation upon which embodied intelligence is built.
Ke Liu   +7 more
wiley   +1 more source

Decidability results in non-classical logics

open access: yesAnnals of Mathematical Logic, 1975
openaire   +1 more source

Explaining the Origin of Negative Poisson's Ratio in Amorphous Networks With Machine Learning

open access: yesAdvanced Intelligent Discovery, EarlyView.
This review summarizes how machine learning (ML) breaks the “vicious cycle” in designing auxetic amorphous networks. By transitioning from traditional “black‐box” optimization to an interpretable “AI‐Physics” closed‐loop paradigm, ML is shown to not only discover highly optimized structures—such as all‐convex polygon networks—but also unveil hidden ...
Shengyu Lu, Xiangying Shen
wiley   +1 more source

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

Gaze‐Engineered 3D Augmented Reality

open access: yesAdvanced Intelligent Systems, EarlyView.
Augmented Reality (AR) systems serve as a critical interface bridging users with the metaverse. This study explores the application of human factors engineering in metaverse development, specifically investigating the integration of eye‐tracking technology to enhance AR display performance.
Naiqin Zhao   +3 more
wiley   +1 more source

Home - About - Disclaimer - Privacy