Results 51 to 60 of about 5,900 (186)

Gibbs free-energy difference between the glass and crystalline phases of a Ni-Zr alloy [PDF]

, 1993
The heats of eutectic melting and devitrification, and the specific heats of the crystalline, glass, and liquid phases have been measured for a Ni24Zr76 alloy.
Holzer, J. C., Johnson, W. L., Ohsaka, K., Trinh, E. R.   +3 more
core   +1 more source

“Los ngaites están escuchando”. El patrimonio sonoro del Museo Etnográfico Magütá de Mocagua: una experiencia desde el arrullo

Mundo Amazónico
En el presente artículo, narramos nuestra experiencia de archivo, digitalización y socialización del patrimonio sonoro del Museo Etnográfico Magütá de Mocagua (MEMC) durante los años 2022-2023. Así, presentamos la creación y gestión del MEMC por parte de
Alejandro Prieto-Mendoza, Abel Santos-Angarita   +1 more
doaj   +1 more source

Seismic Behavior Analysis of the Bank Slope Considering the Effect of Earthquake-Induced Excess Pore Water Pressure

Frontiers in Earth Science, 2021
Soil slopes, located near rivers or the sea, often get damaged dramatically under seismic action due to the high groundwater level. To determine the failure mechanism, this study proposed an analytical method for a composite critical slip surface of a ...
Shuai Huang, Shufeng Zhai, Yingjie Liu, Chuanzheng Liu, Katsuichiro Goda, Ben Mou   +5 more
doaj   +1 more source

Automatically proving termination and memory safety for programs with pointer arithmetic [PDF]

, 2017
While automated verification of imperative programs has been studied intensively, proving termination of programs with explicit pointer arithmetic fully automatically was still an open problem. To close this gap, we introduce a novel abstract domain that
A Bouajjani, A Miné, B Cook, Carsten Fuhs, Cornelius Aschermann, EM Clarke, F Blanqui, Florian Frohn, Jera Hensel, Jürgen Giesl, Marc Brockschmidt, Peter Schneider-Kamp, R Iosif, Thomas Ströder   +13 more
core   +2 more sources

Update 2.70 to “GOMC: GPU Optimized Monte Carlo for the simulation of phase equilibria and physical properties of complex fluids”

SoftwareX, 2021
Major updates in version 2.70 of GOMC include new Monte Carlo moves to enhance the sampling of phase space, such as Molecular Exchange Monte Carlo (MEMC), configurational-bias for molecules that contain rings, the crankshaft move, and a force/torque ...
Younes Nejahi, Mohammad Soroush Barhaghi, Gregory Schwing, Loren Schwiebert, Jeffrey Potoff   +4 more
doaj   +1 more source

Proving Skipping Refinement with ACL2s

, 2015
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification ...
Jain, Mitesh, Manolios, Panagiotis
core   +2 more sources

Size Effect on the Acoustic Emission Behavior of Textile-Reinforced Cement Composites

Applied Sciences, 2021
Acoustic emission (AE) is applied for the structural health evaluation of materials. It commonly uses piezoelectric sensors to detect elastic waves coming from energy releases within the material.
Nicolas Ospitia, Aymeric Hardy, Amir Si Larbi, Dimitrios G. Aggelis, Eleni Tsangouri   +4 more
doaj   +1 more source

Quasi-Synchronous Variations in the OLR of NOAA and Ionospheric Ne of CSES of Three Earthquakes in Xinjiang, January 2020

Atmosphere, 2023
The successive tidal force (TF) at the epicenter of the Jiashi M6.6 earthquake in Xinjiang, China, was calculated for the period from 13 December 2019 to 10 February 2020.
Chen Yu, Jing Cui, Wanchun Zhang, Weiyu Ma, Jing Ren, Bo Su, Jianping Huang   +6 more
doaj   +1 more source

Large-scale landslides around the reservoir area of Baihetan hydropower station in Southwest China: Analysis of the spatial distribution

Natural Hazards Research, 2022
Southwest China is an area where geological hazards occur frequently. To develop a basic understanding of geological hazards in this region, the Baihetan hydropower station section of the Jinsha River basin and its surrounding region are selected as the ...
Lei Li, Chong Xu, Xianglong Yao, Bo Shao, Jinhui Ouyang, Zhongjian Zhang, Yuandong Huang   +6 more
doaj   +1 more source

Myelin Lipid Composition in the Central Nervous System Is Regionally Distinct and Requires Mechanistic Target of Rapamycin Signaling

Glia, Volume 73, Issue 9, Page 1841-1859, September 2025.
Main Points Brain oligodendrocytes have lower rates of cholesterol synthesis and higher rates of lipoprotein uptake than spinal cord oligodendrocytes. Myelin lipid content is higher in CNS regions with larger average axon diameter. Brain and spinal cord myelin cholesterol content is innately different, while myelin fatty acid content can be modulated ...
Marie L. Mather, Angelina V. Evangelou, Jennifer N. Bourne, Wendy B. Macklin, Teresa L. Wood   +4 more
wiley   +1 more source