Results 81 to 90 of about 173,289,208 (196)

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  

Atomic Scale Control of Thermal Conductivity in LaMnO3/SrMnO3 Superlattices

Advanced Electronic Materials, EarlyView.
Interface‐dominated cross‐plane thermal transport in [(LaMnO3)m/(SrMnO3)n]10 superlattices can be controlled by the octahedral rotation/tilt angle φOOR of the MnO6 octahedra, which as well is controlled by the “m/n” ratio. ABSTRACT We report atomic scale structure and phonon thermal transport in (LaMnO3)m/(SrMnO3)n/SrTiO3(100) superlattices (LMO/SMO ...
H. Ulrichs, V. Roddatis, U. Roß, J. P. Bange, D. Meyer, S. Lopatin, V. Radisch, D. Metternich, I. V. Maznichenko, S. Ostanin, R. Egoavil, I. Lazić, V. Moshnyaga   +12 more
wiley   +1 more source

Houses and/or Jobs: Ownership and the Labour Market in Belgian Districts [PDF]

In a number of papers A.J. Oswald (1996, 1997) argues that high rates of home ownership may imply inferior labour market outcomes. This paper tests the Oswald hypothesis in a panel of 42 Belgian districts since the 1970s.
Daan Isebaert, Freddy Heylen, Carine Smolders   +2 more
core  

Ownership by Design [PDF]

, 2018
Ownership is central to the successful design of many offerings. This is made more evident with large contextual shifts in terms of immaterial ownership, ownership by multiple users, and time dependent ownership.
Aurisicchio, M, Baxter, Weston, Marco Aurisicchio, Weston Baxter   +3 more
core   +1 more source

Prediction of Structural Stability of Layered Oxide Cathode Materials: Combination of Machine Learning and Ab Initio Thermodynamics

Advanced Energy Materials, EarlyView.
In this work, we developed a phase‐stability predictor by combining machine learning and ab initio thermodynamics approaches, and identified the key factors determining the favorable phase for a given composition. Specifically, a lower TM ionic potential, higher Na content, and higher mixing entropy favor the O3 phase.
Liang‐Ting Wu, Milica Zdravković, Dijana Milosavljević, Konstantin Köster, Olivier Guillon, Jyh‐Chiang Jiang, Payam Kaghazchi   +6 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

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

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

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

FEATURES OF FINANCIAL AND LEGAL LIABILITY IN UKRAINE

Baltic Journal of Economic Studies
The subject of the study is public relations in the field of financial and legal responsibility in Ukraine. Methodology. The methodological basis of the study is the methods of induction and deduction, the dialectical-materialistic method, the method of ...
Oleg Dubynskyy, Ihor Dubynskyi, Sergii Markin   +2 more
doaj   +1 more source