An open question in reverse mathematics is whether the cohesive principle, COH, is implied by the stable form of Ramsey’s theorem for pairs, SRT2, in ω-models of RCA0. One typical way of establishing this implication would be to show that for every sequence R⃗ of subsets of ω, there is a set A that is ∆2 in R⃗ such that every infinite subset of A or A computes an R⃗-cohesive set. In this article, ...

The geotechnical literature is not exempt from oxymorons. For example, analytical solutions for interparticle contact clearly show that soils and all particulate materials are inherently non-linear -Hertz theoryand non-elastic -Mindlin’s theory (See Richart, Hall and Woods, 1970; Cascante and Santamarina, 1996). Yet, “linearelastic soil behavior” is a common expression. In most cases it refers ...

Epithelial-mesenchymal transitions (EMTs) drive epithelial remodelling by converting cohesive, stable epithelial layers into individual, motile mesenchymal cells. It is now becoming clear that, from being an all-or-nothing switch, EMT can be applied in a fine-tuned manner to allow the efficient migration of cohesive epithelia that maintain their internal organisation. Recent work suggests that ...

Trench is connected to very narrow and deep excavation filled with bentonite suspension. This paper presents estimation of its stability in cohesive soil. The stability is assessed by two calculation methods. The first involves the equilibrium of forces acting on the rigid wedge. The second one includes numerical calculations conducted in Plaxis 3D Foundations. A few examples having different d...

Discovering patterns in graphs is a well-studied field of data mining. While a lot of work has already gone into finding structural patterns in graph datasets, we focus on relaxing the structural requirements in order to find items that often occur near each other in the input graph. By doing this, we significantly reduce the search space and simplify the output. We look for itemsets that are b...

the objective of this review to be submitted in two independent parts, for steel frames and for rc frames, is to compare their structural performance with respect to the proposed n2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. a preliminary investigation is presented on a pushover analysis used for the seismic perf...

In this paper, we propose a conceptual architecture that models human (spatially-temporallymodally) cohesive narrative development using a computer representation of quale properties. Qualia are proposed to be the fundamental cognitive components humans use to generate cohesive narratives. The engineering approach is based on cognitively inspired technologies and incorporates the novel concept ...

Cohesive granular media flowing down an inclined plane are studied by discrete element simulations. Previous work on cohesionless granular media demonstrated that within the steady flow regime where gravitational energy is balanced by dissipation arising from intergrain forces, the velocity profile in the flow direction scales with depth in a manner consistent with the predictions of Bagnold. H...