We settle in the negative the following Problem 51 (Comon{Dauchet, RTA'93 3], RTA'95 4]). Given an arbitrary nite term rewriting system R, is the rst-order theory of one-step rewriting (!R) decidable? Decidability would imply the decid-ability of the rst-order theory of encompassment (that is, being an instance of a subterm) 1], as well as several known decidability results in rewriting. (It is...

In this study we focused on gravity-sensitive proteins of two human thyroid cancer cell lines (ML-1; RO82-W-1), which were exposed to a 2D clinostat (CLINO), a random positioning machine (RPM) and to normal 1g-conditions. After a three (3d)- or seven-day-culture (7d) on the two devices, we found both cell types growing three-dimensionally within multicellular spheroids (MCS) and also cells rema...

Oil well drilling fluid rheology, lubricity, swelling, and loss control are all critical factors to take into account before beginning the hole's construction. Drilling fluids can be made smoother, more cost-effective, efficient by investigating evaluating effects of various nanoparticles including aluminum oxide (Al2O3) iron (Fe2O3) on their performance. A fluid's performance assessed comparin...

In order to understand the load sharing and settlement reduction behaviour of piled raft resting on soft clay, 1g model tests were conducted on small-scale models. The parameters studied were the effect of pile length and number of piles. The load settlement behaviour obtained from the tests has been validated using simplified method (Polous & Davis). Equivalent pier concept of Poulos and Davis...

We show that CG ({g}) is a subgroup CG ({g}) ≤ G. • Closure: For x, y ∈ GG ({g}), then xg = gx and yg = gy, so in particular gxy = xgy = xyg, so xy ∈ CG ({g}) • Inverses: For x ∈ CG ({g}) ⊆ G, ∃x−1 ∈ G s.t. xx−1 = x−1x = e, since G is a group. For g−1 ∈ G exists, then we can write gx−1g−1x = g (gx) x = g (xg) x = gg−1x−1x = e, which shows gx−1 = x−1g, so x−1 ∈ CG ({g}) • Identity: For e ∈ G, eg...

The ground state of NaxCoO2 (0.00.6 due to a_{1g} van Hove singularity near the band to...