Article history: Received: 28.11.2014. Received in revised form: 19.3.2015. Accepted: 1.4.2015. In traditional vibration isolation and placement studies, vibration participation of foundation is often ignored, and optimizations are focused on the improvements of isolated object and isolation system. In this paper, clamped thin plate was considered as the foundation, and "machinery equipment vib...

End resistance is a dominant variable in the sinking process of super-sized caisson foundation, which great importance to safe foundation. Based on soil excavation super large foundation main tower Changtai Yangtze River Bridge, distribution characteristics and variation earth pressure under foot blade was analyzed using 3D finite element method at first stage excavation. Furthermore, monitored...

We generalize the Franke-Härdle (1992) spectral density bootstrap to the multivariate case. The extension is non-trivial and facilitates use of the Franke-Härdle bootstrap in frequency-domain econometric work, which often centers on cross-variable dynamic interactions. We document the bootstrap’s good finite-sample performance in a small Monte Carlo experiment, and we conclude by highlighting k...

In two recent studies, the HIF2α antagonist, PT2399, decreased HIF2α-dependent transcription and tumor growth in selected VHL-deficient clear-cell renal cell carcinoma (ccRCC) models. These studies validate HIF2α as a therapeutic target in ccRCC, reveal variable sensitivity to HIF2α antagonism, and provide the foundation for predictive biomarker-driven clinical trials.

Monetary policy rule is an approach to avoid time inconsistency problem as regarded by new classical economist to choose a time plan for policy making in order to maximize households’ well-being. The foundation of time inconsistency problem is not coincidence of expectations as an ex-ante variable, which is expected variable, with actual variable as an ex-post variable. Expectations in Finn K...

Technology offers great benefits to employees. This study draws from the theory of the technology acceptance model (TAM) and counterfactual thinking theory and posits anticipated emotion to be an important intermediate variable between adoption intention and exogenous factors (i.e., perceived usefulness and perceived ease of use). The proposed model lays the foundation for a richer understandin...

This paper describes SPLIT, a compositional verifier for safety and general LTL properties of shared-variable, multi-threaded programs. The foundation is a computation of compact local invariants, one for each process, which are used for constructing a proof for the property. An automatic refinement procedure gradually exposes more local information, until a decisive result (proof/disproof) is ...