Results 121 to 130 of about 1,698,712 (321)
Logical limit laws for layered permutations and related structures
Enumerative Combinatorics and Applications, 2021 Samuel Braunfeld, Matthew Kukla
doaj +1 more source
First-Order Logic with Connectivity Operators [PDF]
, 2022 Nicole Schirrmacher +2 more
openalex +1 more source
Néel Tensor Torque in Polycrystalline Antiferromagnets
Advanced Materials, EarlyView.This work introduces a Néel tensor torque based on a rank‐two symmetric tensor capturing spin correlations in a polycrystalline antiferromagnet. It shows the Néel tensor can be shaped and reshaped through the spin‐orbit torque (SOT) technique, enabling field‐free SOT switching with a specific polarity of the adjacent ferromagnet. This discovery opens a
Chao‐Yao Yang +4 more
wiley +1 more source
A Logic Tensor Network-Based Neurosymbolic Framework for Explainable Diabetes Prediction
Applied SciencesNeurosymbolic AI is an emerging paradigm that combines neural network learning capabilities with the structured reasoning capacity of symbolic systems. Although machine learning has achieved cutting-edge outcomes in diverse fields, including healthcare ...
Semanto Mondal +3 more
doaj +1 more source
Advanced Materials, EarlyView.This study demonstrates a monolithic perovskite OELG device that performs all eight logic operations, including XOR and XNOR, without external bias. Enabled by trap‐engineered MAPbI3:PLL and dual photogates, it achieves reconfigurable logic and parallel decoding of amplitude–frequency signals, supporting scenario‐configured logic‐level separation for ...
Dante Ahn +13 more
wiley +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
A very sharp threshold for first order logic distinguishability of random graphs
Discrete AnalysisA very sharp threshold for first order logic distinguishability of random graphs, Discrete Analysis 2025:6, 17 pp. Let $G_1$ and $G_2$ be two independent random graphs with $n$ vertices.
Itai Benjamini, Maksim Zhukovskii
doaj +1 more source
On Generalizing Decidable Standard Prefix Classes of First-Order Logic
, 2017 Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms.
Voigt, Marco
core
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 +10 more
wiley +1 more source
Using First-Order Logic to Reason about Policies [PDF]
, 2006 Joseph Y. Halpern, Vicky Weissman
openalex +1 more source