Structures with shallow foundations are susceptible to excessive settlement and rotation in the event of earthquake-induced soil liquefaction. Numerical modelling problem remains challenging, due persisting uncertainties regarding dynamic response soil–structure interaction. In this paper, numerical simulations employed study seismic a structure on mat foundation, resting liquefiable sand layer...

The nature of soil varies horizontally as well vertically, owing to the process formation soil. Thus, ensuring safe design geotechnical structures has been a major challenge. In shallow foundations, conducting field tests is expensive and time-consuming often conducted on significantly scaled-down models. Empirical models, too, have found be least reliable in literature. study proposes AI-based...

A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, faithful. The work presented here provides the theoretical foundation for the implementation and automation of dyadic deontic logic within off-the-shelf higherorder theorem provers and proof assistants.

Recent studies have highlighted the potential benefits of inelastic foundation response during seismic shaking. According to an emerging seismic design scheme, termed rocking isolation, the foundation is intentionally under-designed to promote rocking and limit the inertia transmitted to the structure. Such reversal of capacity design may improve the seismic performance, drastically increasing ...