Results 51 to 60 of about 147,063 (179)
A Hoare-like logic of asserted single-pass instruction sequences [PDF]
, 2016 We present a formal system for proving the partial correctness of a single-pass instruction sequence as considered in program algebra by decomposition into proofs of the partial correctness of segments of the single-pass instruction sequence concerned ...
Bergstra, J. A., Middelburg, C. A.
core +4 more sources
Discussion on the influencing factors of seismic response calculation of soil layer
地震科学进展In this paper, H-D model and Davidenkov model were used to fit soil layer parameters, and the influence of constitutive model on seismic response calculation of soil layer was discussed. It Select one soil layer profile in each of the sites of class Ⅱ, Ⅲ
Shukai Zhu, Liping Jing, Wenhao Qi
doaj +1 more source
Periodic Single-Pass Instruction Sequences [PDF]
, 2013 A program is a finite piece of data that produces a (possibly infinite) sequence of primitive instructions. From scratch we develop a linear notation for sequential, imperative programs, using a familiar class of primitive instructions and so-called ...
Bergstra, Jan A., Ponse, Alban
core +1 more source
Neural Network-Based Equations for Predicting PGA and PGV in Texas, Oklahoma, and Kansas
, 2018 Parts of Texas, Oklahoma, and Kansas have experienced increased rates of seismicity in recent years, providing new datasets of earthquake recordings to develop ground motion prediction models for this particular region of the Central and Eastern North ...
Ahmad I. +16 more
core +1 more source
Vibration analysis and models of adjacent structures controlled by magnetorheological dampers [PDF]
, 2017 This paper deals with the vibration analysis of adjacent structures controlled by a magnetorheological (MR) damper and with the discussion of a numerical procedure for identification and definition of a reliable finite element model. The paper describes
Basili, Michela, DE ANGELIS, Maurizio
core +3 more sources
BMC Ophthalmology, 2020 Background To determine if 3% diquafosol (DQS) can preserve the meibomian gland morphology in glaucoma patients treated with prostaglandin analogs (PGA) for a 12-month follow-up period.
Yue Guo +4 more
doaj +1 more source
Comparative analysis of the seismic hazard of Central China [PDF]
, 2008 Seismic hazard assessment is globally recognised as a tool in identifying levels of earthquake ground shaking within an area. However, methodologies for seismic hazard calculation are wide ranging and produce variations in results and maps.
Burton, Paul W., Cole, Stephen W.
core
Frontiers in Bioengineering and Biotechnology, 2020 Poly-γ-glutamic acid (γ-PGA) production is commonly achieved using glycerol, citrate, and L-glutamic acid as substrates. The constitutive expression of the γ-PGA synthetase enabled γ-PGA production with Bacillus subtilis from glucose only. The precursors
Birthe Halmschlag +3 more
doaj +1 more source
PLoS ONE, 2021 The main forms of poly-γ-glutamic acid (γ-PGA) applied in agriculture include agricultural γ-PGA and γ-PGA super absorbent polymer (SAP). Laboratory experiments were conducted with a check treatment CK (no γ-PGA added) and two different forms of γ-PGA ...
Jianzhong Guo +3 more
doaj +1 more source
Yantu gongcheng xuebao, 2019 The dynamic triaxial tests on the unsaturated loess in Xiji region of Ningxia under different water contents are carried out. Based on the analysis of the influences of water content on the dynamic characteristics of loess, the influences of water ...
WEI Lai 1, LU Yu-xia 1,2,3, ZHOU Zheng-hua 4, WANG Qian 1, 2, 3, YANG Bo 1, TANG Hong-min 1, LI Tong-lin 1
doaj +1 more source