Results 11 to 20 of about 279,015 (269)
Direct Foundations for Compositional Programming
CoRR, 2022 The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem. CP is implemented on top of a polymorphic core language with disjoint intersection types called Fi+.
Andong Fan +4 more
openaire +4 more sources
Compositional Foundation Models for Hierarchical Planning
Advances in Neural Information Processing Systems 36, 2023 To make effective decisions in novel environments with long-horizon goals, it is crucial to engage in hierarchical reasoning across spatial and temporal scales. This entails planning abstract subgoal sequences, visually reasoning about the underlying plans, and executing actions in accordance with the devised plan through visual-motor control.
Anurag Ajay +9 more
openaire +3 more sources
Lateral pressures on retaining wall of composite foundation in clayey soils
Yantu gongcheng xuebao, 2019 Due to the technological progress and good economic benefits, a large number of existing projects have adopted composite foundation. Because of the combined effects of piles and soils, the composite foundation can effectively reduce the deformation and ...
LI Lian-xiang 1, 2, HUANG Jia-jia 1, 2, JI Xiang-kai 1, 2
doaj +1 more source
Numerical Analysis on the Behavior of Floating Geogrid-Encased Stone Column Improved Foundation
Buildings, 2023 The ordinary (OSC) and geosynthetic-encased stone column (ESC) with different bearing strata significantly influenced its behavior. The paper established seven models for studying the behavior of floating stone columns using the finite difference method (
Ye Cheng +3 more
doaj +1 more source
Applied Sciences, 2021 This paper presents numerical modelling to investigate the bearing capacities and failure mechanisms of single pile-friction wheel composite foundation in sand-overlying-clay soil conditions under combined V-H-M (vertical-horizontal-moment) loadings.
Yikang Wang, Xinjun Zou, Jianfeng Hu
doaj +1 more source
Direct Foundations for Compositional Programming (Artifact).
Dagstuhl Artifacts Ser., 2022 Our companion paper proposes a new formulation of the 𝖥_{i}^{+} calculus with disjoint polymorphism and a merge operator based on Type-Directed Operational Semantics. The artifact contains Coq formalization of the 𝖥_{i}^{+} calculus and our new implementation of the CP language, which demonstrates the new 𝖥_{i}^{+} can serve as the direct foundation ...
Fan, Andong +4 more
openaire +3 more sources
Buildings, 2023 Based on a plain concrete pile composite foundation project in the coastal area of Zhuhai, considering the complex hydraulic load environment induced by tidal water-level changes, finite element simulations and parameter calibrations were carried out to ...
Xiaohai Fu +4 more
doaj +1 more source
Yantu gongcheng xuebao, 2023 In order to improve its reinforcement effects, the bearing mechanism of a composite foundation with plain concrete piles reinforced by border piles under large loads and rapid loading is studied.
LI Guowei 1, 2, SU Tong 2, 3, ZHOU Chuner 4, LI Linjie 2, XIONG Li 2
doaj +1 more source
Settlements of composite foundation for expressway expansion based on CPTU tests
Yantu gongcheng xuebao, 2023 The composite foundation is a common method for treatment of soft soil subgrade. The accurate calculation of settlements of composite foundation is of great significance for differential settlement control of new and old roads.
WANG Caijin 1, YANG Yang 2, WU Meng 1, CAI Guojun 1, 3, HE Huan 1, LIU Songyu 1, Chang Jianxin 1, WANG Meng 1
doaj +1 more source
Method of settlement calculation for underlying layer of soft soil composite foundation based on load transfer mechanism [PDF]
Archives of Civil EngineeringThe mechanical properties of soil in soft soil area are poor, and the settlement of the underlying layer in the composite foundation accounts for a large proportion of the total settlement.
Yaoting Xiao, Jing Wang
doaj +1 more source