Automated writing evaluation (AWE) software is an increasingly popular tool for English second language learners. However, research on the accuracy of such has been both scarce and largely limited in its scope. As such, this article broadens field AWE by using a mixed design to holistically evaluate corrective feedback leading program Grammarly. 1136 Grammarly-identified errors related style, l...

Our work seeks to greatly simplify the programming model of cohesive distributed systems. Here, a cohesive distributed activity is one that is conceptually an individual operation, yet executes across multiple physical devices. We believe that the communications structure of a distributed program should be separable from the software engineering modularization of the program. Current distribute...

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...