Results 101 to 110 of about 1,731,030 (337)

Physical Intelligence in Small‐Scale Robots and Machines

Advanced Materials, EarlyView.
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley   +1 more source

Modal Logic, Probability and Machine Learning Systems for Metadata Extraction

Ratio Mathematica
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj   +1 more source

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem [PDF]

, 2017
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail   +3 more
openalex   +1 more source

A Formal Proof of Modal Completeness for Provability Logic

, 2021
Marco Maggesi, Cosimo Perini Brogi
openalex   +2 more sources

Transistor‐Level Activation Functions via Two‐Gate Designs: From Analog Sigmoid and Gaussian Control to Real‐Time Hardware Demonstrations

Advanced Materials, EarlyView.
Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho, Youngmin Han, Won Woo Lee, Youngwoo Yoo, Kannan Udaya Mohanan, Chang‐Hyun Kim, Junhwan Choi, Young‐Joon Kim, Wonjun Shin, Hocheon Yoo   +9 more
wiley   +1 more source

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

On Combining Intuitionistic and S4 Modal Logic

Bulletin of the Section of Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj   +1 more source

Non‐Destructive Laser Nanopatterning of Superconducting Heterostructures in Topological Sn Thin Films

Advanced Materials, EarlyView.
We demonstrate successful fabrication of high‐quality α‐Sn/β‐Sn planar nanostructures with arbitrary shapes by focused laser irradiation on topological Dirac semimetal α‐Sn thin films. The irradiated regions transform into atomically smooth, superconducting β‐Sn with a critical temperature of 3.7 K.
Le Duc Anh, Takahiro Saeki, Keita Ishihara, Daiki Nishigaki, Hideki Maki, Masaaki Tanaka   +5 more
wiley   +1 more source

Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal

Advanced Materials, EarlyView.
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source

Modal weak Kleene logics: axiomatizations and relational semantics [PDF]

Stefano Bonzio, Nicolò Zamperlin
openalex   +1 more source