Results 141 to 150 of about 1,821,618 (323)
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Bulletin of the Section of LogicLinear 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
Completeness of two fragments of a logic for conditional strategic reasoning [PDF]
Yinfeng Li, Fengkui Ju
openalex +1 more source
Agribusiness, EarlyView.ABSTRACT This study analyzes the effects of value co‐creation and creation of shared value in agricultural input marketing. This study used a sample of 178 agricultural companies in Costa Rica. The data were analyzed using partial least squares structural equation modeling (PLS‐SEM) with SMART PLS software. Our findings reveal the significant influence
Luis Ricardo Solís‐Rivera +1 more
wiley +1 more source
Angewandte Chemie, EarlyView.After decades of research into metal alkylidyne complexes and their extensive use as catalysts for alkyne metathesis, one might think that there is nothing fundamentally new to be discovered in this field. The present study into formally d4‐configured Ru alkylidynes shows that this notion is incorrect: not only is a novel and convenient entry route ...
Mingxu Cui +3 more
wiley +2 more sources
Carbon Dots: Small Materials With Big Impacts on Optoelectronic Devices
Aggregate, EarlyView.This review systematically summarizes the roles of carbon dots in optoelectronic devices, emphasizing their electro‐induced effects, and structural optimization strategies. It further analyzes performance limitations and prospects for the preparation and application of high‐quality carbon dots.
Boyang Wang, Junwei Wang, Siyu Lu
wiley +1 more source
Frame‐Shifted Synthesis of Oligoheterocycles as a Platform for Molecular Design
Angewandte Chemie, EarlyView.Modern chemistry seeks to turn the simple raw materials into complex molecules that matter in health, agriculture, and technology. Among these, oligoheterocycles stand out for their versatility, yet they are most often built by cross‐coupling reactions that often rely on expensive metal catalysts.
Kane A. C. Bastick +6 more
wiley +2 more sources
The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus [PDF]
, 2021 Hiroyoshi Komatsu
openalex +1 more source
Designing Memristive Materials for Artificial Dynamic Intelligence
Advanced Intelligent Discovery, EarlyView.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
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Advanced Intelligent Discovery, EarlyView.Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang +4 more
wiley +1 more source
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications [PDF]
Alessandro Artale +2 more
openalex +1 more source