Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec [PDF]
, 2009 This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis.
Machkasova, Elena +2 more
core +1 more source
Study on Suspender’s Fatigue Performance of Half-through CFST Arch Bridge due to Vehicular Loads [PDF]
, 2012 Hang Sun, Jun Ma, Bo Yu
openalex +1 more source
Analysis and Comparison on Dynamic Characteristics of CFST Arch Bridge
, 2021 Jing Ji +4 more
openalex +1 more source
The Value of Real and Financial Risk Management [PDF]
We characterize a firm as a nexus of activities and projects with their associated cashflows. Production and operations activities and real risk management activities distribute cashflows over states of nature and time periods, leading to a ...
M. Martin Boyer +2 more
core
Development and Application of Concrete-Filled Steel Tubular (CFST) Column Supporting High-stress Roof Strata in Large-span Mine Roadway [PDF]
Wei Song +5 more
openalex +1 more source
Study on a Layered Finite Element Method for Hollow Concrete-Filled Steel Tube Columns
Advances in Civil EngineeringConcrete-filled steel tube (CFST) structures are widely applied in modern engineering due to their high strength, stiffness, and ductility. However, hollow CFST (H-CFST) columns exhibit distinct mechanical behavior because of the incomplete filling of ...
Kaichen Zheng +4 more
doaj +1 more source
BADANIA EKSPERYMENTALNE SŁUPÓW CFST Z BETONEM ZWYKŁYM I EKSPANSYWNYM [PDF]
, 2017 Marcin Abramski +2 more
openalex +1 more source
HSI for monitoring the critical safety functions status tree of a NPP [PDF]
Critical safety function (CSF) is the most significant design concept for prioritize operator actions based on the potential threat to the three barriers (fuel cladding, primary coolant system boundary, and containment) and allows the operator to ...
Almeida, José Carlos Soares de +3 more
core
New shear transfer system for concrete‐filled steel tube (CFST) columns [PDF]
, 2022 Milad Soltanalipour +5 more
openalex +1 more source
The Influence of Different Dynamic Material Constitutive Models on the Impact Performance of Circular CFST Columns [PDF]
, 2023 Xi‐Feng Yan, Siqi Lin, Mizan Ahmed
openalex +1 more source