Results 131 to 140 of about 17,292 (295)
Advanced Science, EarlyView.A universal metal pre‐fixation (MPF) strategy directs the precise crystallization of diverse metal‐organic frameworks (Co‐MOF, ZIF‐8, Fe‐MOF, UIO‐66) on covalent organic framework (PY‐COF) scaffolds. The resulting hierarchical hybrids exhibit tunable porosity, structural defective and dimensional, as well as enhanced performance in CH4/C2H6/C3H8 ...
Ying Zhao +5 more
wiley +1 more source
A Natural Deduction System for Keisler's Quantification
, 2005 Labelled deduction systems have been used to present a large class of logics. The purpose of this paper is to show N DQ, a (labelled) natural deduction system for Keisler's logic, and discuss some of its properties.
Haeusler, Edward Hermann +3 more
core +1 more source
Advanced Science, EarlyView.Correcting the apparent priming effect resolves systematic biases in Asian rice fertilizer nitrogen accounting. Net soil retention drops below 7%, while 48% of fertilizer escapes, inflicting US$98.53 billion in annual reactive‐nitrogen damages. High‐resolution mapping uncovers N‐risk archetypes across 42% of the rice area, delivering a spatially ...
Xiuyun Liu +5 more
wiley +1 more source
Advanced Energy Materials, EarlyView.A nickel‐free and practical synthesis strategy to poly(pyrene tetraone) and its integration with a percolated CNTs/Ketjen Black network enables stable cycling and efficient energy storage in a sodium‐based batteries. This work demonstrates how controlling polymer structure and electrode architecture improves ion transport and mitigates dissolution in ...
Md. Adil +9 more
wiley +1 more source
Mechanisms of Alkali Ionic Transport in Amorphous Oxyhalides Solid State Conductors
Advanced Energy Materials, EarlyView.Large‐scale machine learning‐based molecular dynamics simulations are used to investigate isovalent amorphous oxyhalides, revealing a remarkable chemically independent ionic conductivity. A rigorous analysis of alkali residence times across different metal–anion environments identifies divalent anions as key diffusion bottlenecks.
Luca Binci +3 more
wiley +1 more source
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT Increased frequency of extreme weather events, particularly droughts, threatens grassland farming by destabilizing yields and farms' economic viability. We examine, theoretically and through numerical simulations, how sown plant diversity (natural insurance) influences the attractiveness of indemnity and drought index insurance (formal ...
Nicolas Alou +3 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT This study aims to explore the influence of Wine Tourism (WT) on the Sustainable Performance (SP) of wineries in Spain. It particularly investigates how Corporate Social Legitimacy (CSL) and Green Innovation (GI) may act as intermediary factors in this relationship.
Javier Martínez‐Falcó +3 more
wiley +1 more source
A Deep Natural Deduction Calculus
, 2011 In this talk I will describe an extension of the natural deduction calculus (for the purely implicative fragment of intuitionistic logic only) that allows inference rules to be applied deeply.
Woltzenlogel-Paleo, Bruno
core
Pedagogical Natural Deduction Systems: the Propositional Case
, 2007 This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by some example. It is established that such systems
Colson, Loïc +3 more
core +1 more source
Farmers’ Protests in Germany: Media Coverage and Types of Bias
Agribusiness, EarlyView.ABSTRACT The German farmers’ protests of 2024 sparked widespread media coverage and public debate. Yet, media coverage was not always positive, reflecting the media's attention‐seeking and selective focus. Occurrences of farmers blocking media outlets reflected distrust in how their concerns were portrayed.
Felix Schlichte, Doris Läpple
wiley +1 more source