Results 161 to 170 of about 156,774 (303)
Restricted normal modal logics and levelled possible worlds semantics [PDF]
Juan C. Agudelo-Agudelo, Manuel Sierra
openalex +1 more source
A novel strategy is proposed to design and synthesize furan‐annulated naphthalenes for high‐performance memristive behaviors by introducing an electron acceptor (trifluoromethyl) or donor (methoxy). The former, with donor–acceptor pairs, demonstrates high‐performance bipolar digital memristive behaviors with multilevel storage characteristics.
Dehui Wang+8 more
wiley +1 more source
CDMRNet: multimodal meta-adaptive reasoning network with dynamic causal modeling and co-evolution of quantum states. [PDF]
Wang S, Chen K, Yu M, Zhao P, Duan H.
europepmc +1 more source
Abstract The modernization of pharmaceutical manufacturing is driving a shift from traditional batch processing to continuous alternatives. Synthesizing end‐to‐end optimal (E2EO) manufacturing routes is crucial for the pharmaceutical industry, especially when considering multiple operating modes—such as batch, continuous, or hybrid (containing both ...
Yash Barhate+4 more
wiley +1 more source
CoNP Complexity for Combinations of Non-normal Modal Logics
Tiziano Dalmonte, Andrea Mazzullo
openalex +1 more source
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley +1 more source
Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]
Litland JE.
europepmc +1 more source
Simplified Kripke-Style Semantics for Some Normal Modal Logics [PDF]
Andrzej Pietruszczak+2 more
openalex +1 more source
Designing Memristive Materials for Artificial Dynamic Intelligence
Key characteristics required of memristors for realizing next‐generation computing, along with modeling approaches employed to analyze their underlying mechanisms. These modeling techniques span from the atomic scale to the array scale and cover temporal scales ranging from picoseconds to microseconds. Hardware architectures inspired by neural networks
Youngmin Kim, Ho Won Jang
wiley +1 more source