Results 151 to 160 of about 87,998 (303)

A natural deduction system for the Byzantine Generals Oral Messages algorithm. [PDF]

Acta Inform
Volpano DM.
europepmc   +1 more source

Unraveling Hierarchical B‐Site Ordering: Mechanism of Microwave Dielectric Enhancement in Complex Perovskite Oxide Ceramics

Advanced Science, EarlyView.
This study maps out the hierarchical ordering in 1:2 B‐site complex perovskite ceramics using a comprehensive multiscale characterization route. It turns out that intradomain strain, oxygen vacancies, and Mg disorder within the ordered domains act as strong phonon scatterers.
Qingqiao Fu, Hui Gu, Hanbin Gao, Pianpian Ma, Xiangming Chen, Juanjuan Xing, Qiang Zheng   +6 more
wiley   +1 more source

On the Possibility of retrograde calculation of blood alcohol concentrations below 0.15‰. [PDF]

Int J Legal Med
Mihan ATR, Toennes S, Paulke A, Verhoff MA.   +3 more
europepmc   +1 more source

CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction

Advanced Science, EarlyView.
CLRe uses a contrastive difficulty score to order pretrained seq2seq fine‐tuning for retrosynthesis. Reaction embeddings define the ranking score, and a cumulative easy‐to‐hard schedule expands from the easiest subset to the full training set while earlier examples remain active.
Tianhao Su, Xitao Wang, Musen Li, Guanhua Qin, Shunbo Hu, Tong‐Yi Zhang   +5 more
wiley   +1 more source

Genetically modified (GM) crop use 1996-2024: farm income and production impacts. [PDF]

GM Crops Food
Brookes G.
europepmc   +1 more source

Natural deduction system for linear time temporal logic

, 2008
We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic.
Bolotov, A., Gregoryev, O., Shangin, V., Basukoski, A.   +3 more
core  

Unveiling the Ultralow Thermal Conductivity of Hybrid Perovskites

Advanced Science, EarlyView.
In hybrid perovskites, thermal energy flows through lattice vibrations of the framework (48%–65%) and organic molecules (35%–52%). When the disorder introduced by organic molecules is excluded, the temperature dependence of the vibrational thermal conductivity results from the lattice framework transits from ∼T0 to ∼T−1, and the value doubles at room ...
Qinqin He, Yuli Chen, Zhigang Li, Yanguang Zhou   +3 more
wiley   +1 more source

Cyber resilience across domains: an in-depth exploration of cybersecurity practices and paradigms from the home environment to Operational Technology (OT). [PDF]

Sci Rep
Sakthivel T, Balasubramanian K.
europepmc   +1 more source

Thermally Assisted Photocatalytic Dehydrogenation of Methanol in Continuous Steady‐State Operation

Advanced Science, EarlyView.
Thermally assisted photocatalytic methanol dehydrogenation on Pt/TiO2 enables formaldehyde and hydrogen production far beyond thermodynamic limits. Continuous operation delivers up to 95% selectivity over 70 h, and oxygen microdosing strongly boosts conversion by regenerating surface oxygen sites.
Florian Stubenrauch, Phillip Nathrath, Markus Schörner, Yazan Mahayni, Birk Fritsch, Andreas Hutzler, Peter Wasserscheid, Andreas Bösmann, Patrick Schühle   +8 more
wiley   +1 more source

Deduction

The Reasoner, 2010
Frank Zanker
doaj