Results 161 to 170 of about 285,209 (280)

Formal Verification of the Danish Railway Interlocking Systems [PDF]

, 2014
Haxthausen, Anne Elisabeth, Peleska, Jan, Vu, Linh Hong   +2 more
core  

Temporal Deformation Characteristics of Hydraulic Asphalt Concrete Slope Flow Under Different Test Temperatures. [PDF]

Materials (Basel)
An X, Li J, Ning Z.
europepmc   +1 more source

A Micromechanics-Based Anisotropic Constitutive Model for Sand Incorporating the True Stress Tensor. [PDF]

Materials (Basel)
Yu P, Baoyin H, Wu K, Yang H.
europepmc   +1 more source

Utilization of Tunnel Muck-Derived Recycled Granite Aggregates in Surface-Layer Asphalt Mixtures via Hybridization with Basalt. [PDF]

Materials (Basel)
Zhou Y, Liu W, Nie Y, Chen Z.
europepmc   +1 more source

Compositional Verification of Interlocking Systems for Large Stations [PDF]

, 2017
A Bonacchi, A Ferrari, AE Haxthausen, AE Haxthausen, AE Haxthausen, C Limbrée, G Theeg, H Hvid Hansen, HD Macedo, HD Macedo, Jan Peleska, K Winter, LH Vu, LH Vu, P James, P James   +15 more
core   +1 more source

Behavior of turnout sleepers in a large-scale ballast box test. [PDF]

Sci Rep
Grohs G, Pircher P, Quirchmair M, Loy H, Six K, Pospischil F.   +5 more
europepmc   +1 more source

In Situ Contact-Separation TENG for High-Speed Rail Wind Monitoring. [PDF]

Nanomaterials (Basel)
Wang G, Fu D, Li Y, Wang X.
europepmc   +1 more source

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model

International Conference on Conceptual Modeling, 2019
Dalay Israel de Almeida Pereira, Sana Debbech, M. Perin, P. Bon, S. C. Dutilleul   +4 more
semanticscholar   +1 more source

Basalt fiber reinforcement cementation with bio-inspired carbonate precipitation for stabilization of expansive soil. [PDF]

Sci Rep
Mehmood M, Yosri AM, Nie W, Peng S, Nadeem M, Ghazouani N, Alzara M.   +6 more
europepmc   +1 more source

The mechanical and hydrochemical properties of cemented calcareous soil under long-term soaking. [PDF]

Sci Rep
Feng P, Cao P, Ren S, Ren J, Dong Y, Wu G, Tang R.   +6 more
europepmc   +1 more source