Results 101 to 110 of about 175,688,364 (273)

Natural Deduction in a Paracomplete Setting [PDF]

, 2014
In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework.
Bolotov, A., Shangin, V.
core  

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

The legal nature of the transfer of the item

Proceedings of the Southwest State University. Series: History and Law
The relevance of the article is due to the lack of a consensus in the science of civil law regarding the legal nature of the transfer of a thing. The study of this issue can enrich the legal science and increase the effectiveness of law enforcement ...
D. Malbin
semanticscholar   +1 more source

Electric Double Layer Engineering Induces O‐Down Interfacial Water Reorientation for Efficient and Long‐Term Seawater Electrolysis

Advanced Energy Materials, EarlyView.
The additive EDTMPS inhibits hydroxides deposition by chelating with Ca2+/Mg2+. It also disrupts the hydrogen bond network of interfacial water and expands the thickness of electric double layer, promoting more free water to flip into adsorbable O‐down configuration.
Tongzhou Li, Yutong Zhao, Hongjie Zhang, Yangkai Han, Zhiwei Ren, Feng Xie, Zongping Shao, Zhigang Shao   +7 more
wiley   +1 more source

Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation

, 2002
In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple interpreter written in tabled logic programming.
Massart, Thierry, Leuschel, Michael
core   +1 more source

Realization of educational programs in the specialty of «International Law» in Ukraine

Analytical and Comparative Jurisprudence
The article is devoted to the realization of educational programs in the specialty «International Law» in Ukraine. The purpose of the study is to form an vision of the realization of educational programs in the specialty «International Law» in Ukraine.
L. Shatalova, V. Cherneha, O. Melnychenko   +2 more
semanticscholar   +1 more source

Ether‐Based Electrolytes and the Solvation Structure in Sodium Ion Batteries

Advanced Energy Materials, EarlyView.
Ether electrolytes enable high‐performance sodium‐ion batteries through their unique physicochemical properties, particularly distinctive solvation structures and co‐intercalation behavior. However, the localized solvation structure and its dynamic evolution during electrochemical processes remain a “black box”.
Jiaxin Ding, John T. S. Irvine
wiley   +1 more source

A shift in the objective deduction of secondary fact in presumption

, 2017
The paper looks at the resulting-trust analysis adopted by the Supreme Court in the case of Prest v Petrodel Resources and argues that there is an inclination to an objectively deductive measure of inferred intention of the transferor.
Mark Hsiao (7703648)
core   +4 more sources

Moderate-scale operation of family farms in China: underlying logic, practical constraints, and optimization pathways for sustainable food systems

Frontiers in Sustainable Food Systems
The transformation of sustainable food systems must reconcile production efficiency and supply resilience with the protection of smallholder livelihoods, and for economies with large populations and limited arable land this reconciliation rests heavily ...
Ning Ding, Jingjing Wang, Yong Xia, Fuhong Wang, Guirong Wang, Guirong Wang, Yi Lyu, Ziyang Wang, Yijuan Yang   +8 more
doaj   +1 more source

Mechanochemically Disordered Li2Ta2OCl10 Oxyhalide Unlocks Superionic Conductivity (>10 mS.cm−1)

Advanced Energy Materials, EarlyView.
This work presents a new crystalline oxyhalide, Li2Ta2OCl10, built from [Ta2OCl10]2− dimers. The disorder induced by ball‐milling drives the dramatic 5000‐fold increase in ionic conductivity to reach 11 mS.cm−1. The material shows promise as a solid electrolyte for batteries and opens new prospects for the discovery of new dimer‐based compounds ...
Clément Morel, Anshuman Chaupatnaik, Jie Liu, Mingxue Tang, Horyung Ji, Mouna Ben Yahia, Marie‐Liesse Doublet, Tatiana N. Kobernik, Dmitry A. Aksyonov, Artem M. Abakumov, Gwenaëlle Rousse, Jean‐Marie Tarascon   +11 more
wiley   +1 more source