Results 141 to 150 of about 164,088 (328)

Machine Learning for Designing Perovskites and Perovskite‐Inspired Solar Materials: Emerging Opportunities and Challenges

Advanced Science, EarlyView.
This review offers a comprehensive comparison between perovskites and perovskite‐inspired materials (PIMs), focusing on their crystal structures, electronic properties, and chemical compositions. It evaluates the applicability of machine learning (ML) descriptors and models across both material classes.
Yangfan Zhang, Yiming Xia, Ali Shakiba, Hongrui Zhang, Xiaojing Hao, Priyank V. Kumar, Mahesh P. Suryawanshi   +6 more
wiley   +1 more source

Atom-canonicity and complete representations for cylindric-like\n algebras, and omitting types for the clque guarded fragment of first order\n logic [PDF]

, 2014
Tarek Sayed Ahmed
openalex   +1 more source

Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

Annals of Pure and Applied Logic, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range

Advanced Electronic Materials, EarlyView.
A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel, Aleix Barrera, Lluís Balcells, Narcís Mestres, Enrique Miranda, Anna Palau, Jordi Suñé   +6 more
wiley   +1 more source

Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

, 2008
Dietrich Kuske
openalex   +2 more sources

Universal Oxychlorination Strategy in Halide Solid Electrolytes for All‐Solid‐State Batteries

Advanced Energy Materials, EarlyView.
A WO2Cl2‐driven oxychlorination strategy enables bulk oxygen incorporation into close‐packed LixMCl6 (M = Zr, Y, Er, In) halide lattices. Oxygen is selectively anchored by W6+ as lattice‐integrated [WO2Cl4]2− units, regulating the anionic framework, diversifying Li coordination, and weakening Li–Cl interactions.
Jae‐Seung Kim, Heeju Park, Hae‐Yong Kim, Eunryeol Lee, Heewon Kim, Soeul Lee, Jinyeong Choe, Jiwon Seo, Hyeon‐Jong Lee, Hojoon Kim, Jemin Yeon, Yoon Seok Jung, Kyung‐Wan Nam, Dong‐Hwa Seo   +13 more
wiley   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic

, 2017
Sebastian Brandt, Elem Güzel Kalaycı, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev   +5 more
openalex   +2 more sources

Deciphering Intricacies in Directional CO2 Conversion From Electrolysis to CO2 Batteries

Advanced Energy Materials, EarlyView.
This review will delve into the inherent connections and distinctions of CO2‐directed conversion in ECO2RR and CO2 batteries, in terms of product types, catalyst selection, catalytic mechanisms, and electrochemical performances, while proposing a benchmarking framework for the evaluation of CO2 batteries and innovative CO2 battery configurations for ...
Changfan Xu, Huaping Zhao, Lizhuang Chen, Weidong Shi, Guosheng Shao, Yong Lei   +5 more
wiley   +1 more source

Meaning is Use: the Case of Propositional Identity

Bulletin of the Section of Logic
We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj   +1 more source