Results 71 to 80 of about 374,266 (282)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Indian Manufacturing Productivity: What Caused the Growth Stagnation before the 1990s? [PDF]

International Productivity Monitor, 2010
This article addresses the question of why productivity growth in Indian manufacturing was slow in the pre-reform period and analyzes how economic reforms in the 1990s accelerated productivity growth.
Abhay Gupta
doaj  

Engineering New‐to‐Nature Biological Pathways for β,γ‐Alkanediol Synthesis

Advanced Science, EarlyView.
β,γ‐Alkanediols are value‐added chemicals to be used as functional solvents, biofuels, and cosmetic components. This work demonstrates a carboligation‐mediated approach for synthesis of linear chain β,γ‐alkanediols in Escherichia coli, namely, hexane‐2,3‐diol (2,3‐HDO) and pentane‐2,3‐diol (2,3‐PDO). The engineered E. coli cells produce 152.2 mm (17.98
Haofeng Chen, Haidong Yu, Dongjiang Lin, Guojun Yang, Yuchen Xie, Yang Zhang, Jifeng Yuan   +6 more
wiley   +1 more source

Stratification in steelmaking ladles [PDF]

, 1993
The problem of temperature stratification in a steelmaking ladle is considered. There are three distinct zones in the flow, the wall boundary layer, the bottom stagnation zone and the central plug flow.
Weber, R.
core  

Multimodal Cross‐Attentive Graph‐Based Framework for Predicting In Vivo Endocrine Disruptors

Advanced Science, EarlyView.
A multimodal cross‐attentive graph neural network integrates molecular graphs with androgen and estrogen adverse outcome pathway (AOP)–anchored in vitro assay signals to predict in vivo endocrine disruption. By fusing information on Tier‐1 AOP logits with chemical structures, the framework achieves high accuracy and provides assay‐traceable ...
Eder Soares de Almeida Santos, Gustavo Felizardo Santos Sandes, Artur Christian Garcia da Silva, Holli‐Joi Martin, Eugene N. Muratov, Rodolpho de Campos Braga, Bruno Junior Neves   +6 more
wiley   +1 more source

Adaptive Differential Evolution with the Stagnation Termination Mechanism

Mathematics
Differential evolution is capable of searching for the optimum for different types of optimization problems with a few inputs, which has gained worldwide popularity.
Yuhong Liu, Liming Zheng, Bohan Cai
doaj   +1 more source

THE TRANSITION IN RUSSIA: THEORY AND PRACTICE OF FORMATION OF MARKET ECONOMY

Вестник Северо-Кавказского федерального университета, 2022
In article the author considers a theme connected with an economic situation of Russia in transition from a planned economy to the market. The author notices, that on scale and complexity of solved problems process of the reforms which are carried out in
Marina Rybasova
doaj  

Endothelial GPR68 Is Essential for Arteriogenesis and Represents a Therapeutic Target in a Model of Peripheral Artery Disease

Advanced Science, EarlyView.
Endothelial GPR68 is identified as a critical regulator of collateral artery growth in peripheral artery disease. Genetic and pharmacological evidence demonstrates that GPR68 integrates hemodynamic cues to drive monocyte recruitment and inflammatory remodeling, thereby promoting collateral arteriogenesis and tissue perfusion after ischemia ...
Yiyan Song, Senyi Peng, Zhilei Huang, Miao Yu, Mingyue Wu, Yuexin Zhu, Zeyi Zhou, Yongshan Liu, Yalin Zhang, Yu Huang, Zhongxing Wang, Fu‐Li Xiang, Jie Xu   +12 more
wiley   +1 more source

Connections between summer air pollution and stagnation

Environmental Research Letters, 2018
The body of literature on ambient air pollution suggests that atmospheric stagnation events trigger high levels of air pollution. In this paper we use fifteen years (2000–2014) of summertime in situ air quality measurements together with meteorological ...
Gaige Hunter Kerr, Darryn W Waugh
doaj   +1 more source

Japanese Diversification Strategy in the Early 21st Century

Управленческое консультирование, 2019
The aim of this article is to highlight the main changes in the Japanese FDI strategy in 2000– 2016. The beginning of the 21st century appeared to be a period when the Japanese foreign economic policy was changed and adapted to new conditions of ...
L. V. Popova, K. V. Subbotina
doaj   +1 more source