Results 41 to 50 of about 165,947,533 (244)
Investments and land reform in agriculture of Ukraine
Agricultural and Resource Economics, 2020 Purpose. The purpose of the paper is to identify trends and factors of investment in agriculture in Ukraine in the period 2014–2019 and the impact of land reform, expected liberalization of the trade of agricultural land on the of investment in ...
Viktoriya Onegina, Yurii Vitkovskyi
doaj +1 more source
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
UCST‐Responsive PMEGA: From Solution Behavior to Functional Hydrogel Surfaces
Advanced Materials Interfaces, EarlyView.PMEGA is used as a versatile water‐based UCST‐responsive platform for engineering microstructured hydrogel coatings via a thiol–ene CLAG approach. From PMEGAs of well‐defined UCST properties, the UV‐based CLAG method provides precise control over film thickness, ranging from nanometers to micrometers, and enables high‐resolution patterning.
Thi Phuong Thu Nguyen +4 more
wiley +1 more source
Future directions of automated deduction: Distributed automated deduction (Position paper)
, 1996 Distributed automated deduction is concerned with the design and realization of strategies where multiple deductive processes work concurrently towards the solution of theorem-proving ...
BONACINA, Maria Paola
core +1 more source
Advanced Materials Interfaces, EarlyView.This work critically reviews MXenes as highly effective multifunctional nanomaterials for the adsorption of radio‐contaminants, demonstrating a remarkable adsorption capacity of up to 1376.75 mg/g and cyclic stability of 2–8 cycles, with complexation, electrostatic interactions, and the numerical strength of MXene active sites playing a key operational
Stephen Sunday Emmanuel +1 more
wiley +1 more source
RUDN Journal of LawThe absence of an effective solution of ownership of movable property in cross-border transactions underscores the relevance of this article. The traditional lex rei sitae connecting factor fails to address issues in cases of mobile conflicts.
Elena A. Leontieva, Mikhail A. Oleynikov
doaj +1 more source
MANAGEMENT STRATEGY OF SEA TRADE PORT: HORIZON, STRUCTURE, TOOLS
Ринкова економіка: сучасна теорія і практика управління, 2016 The research subject is a range of sea trade port strategy elements. The purpose of the article is to substantiate concept for management strategy development.
І. М. Нєнно
doaj +1 more source
On the Complexity of the Natural Deduction Proof Search Algorithm [PDF]
, 2017 We present our first account of the complexity of natural deduction proof search algorithms. Though we target the complexity for natural deduction for temporal logic, here we only tackle classical case, comparing the classical part of the proof search ...
Bolotov, A. +2 more
core
Advanced Materials Technologies, EarlyView.An in situ integrated TiO2/SiOx/Al2O3 synaptic phototransistor couples ultraviolet and electrical stimuli within a scalable, CMOS‐compatible oxide stack. Multimodal plasticity, spike‐timing‐dependent learning, and bee‐inspired associative conditioning are achieved through trap‐mediated temporal dynamics.
Youngbin Yoon +5 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source