A Knuth-Bendix completion procedure is parametrized by a reduction ordering used to ensure termination of intermediate and resulting rewriting systems. While in principle any reduction ordering can be used, modern completion tools typically implement only Knuth-Bendix and path orderings. Consequently, the theories for which completion can possibly yield a decision procedure are limited to those...

Universally conserved positions in ribosomal proteins have significant biases in amino acid usage, likely indicating the expansion of the genetic code at the time leading up to the most recent common ancestor(s) (MRCA). Here, we apply this principle to the evolutionary history of the ribosome before the MRCA. It has been proposed that the experimentally determined order of assembly for ribosoma...

α-MnO2 nanotubes were fabricated using a hydrothermal technique. Li, Na and K ions were introduced into MnO2 nanotubes to tailor their magnetic properties. It was found that with a doping concentration lower than 12 at%, the nanotubes showed ferromagnetic-like ordering at low temperature (<50 K), while antiferromagnetic coupling dominated their physical behavior with doping concentrations beyon...

The tutorial connects two notions of information: the inverse relationship principle which relates informational content to the exclusion of possibilities, and information-structures based on a partial ordering on states of information. Jointly, these allow the formulation of several distinct precise notions of content-individuation.

this paper submitting the computation of optimize point of ordering in inventory control systems and particularly for continuous review of ordering system (r,q) by fuzzy logic method which similarly can be used for other ordering systems. since in the ordering models we cannot forecast the parameters like cost exactly, we have ambiguity. in this case using precise parameters may cause wrong dec...

Assessing the change in uncertainty in reservoir production forecasts over field lifetime is rarely undertaken because of the complexity of joining together the individual workflows. This becomes particularly important in complex fields such as naturally fractured reservoirs. The impact of this problem has been identified in previous and many solutions have been proposed but never implemented o...

We study a principle of ’Non-Interference’ in social welfare judgements. NonInterference captures aspects of liberal approaches (particularly aMillian approach) to social decision making. In its full generality, Non-Interference produces an impossibility result: together with Weak Pareto Optimality, it implies that a social welfare ordering must be dictatorial. However, interesting restricted v...

This paper reports on some initial results in using LOTOS as a hardware description language. LOTOS, the Language Of Temporal Ordering Specifications, is a language that has been conceived in the framework of Open Systems Interconnection (OSI) standardization as a tool for the formal description of OSI services and protocols. We present some examples to show how LOTOS can be applied to the spec...

We exploit the analogy between the well ordering principle for nonempty subsets of N (the set of natural numbers) and the existence of a greatest lower bound for non-empty subsets of [a, b) 1 to formulate a principle of induction over the continuum for [a, b) analogous to induction over N. While the gist of the idea for this principle has been alluded to, our formulation seems novel. To demonst...

Recent work in functional and cognitive linguistics has argued and presented evidence that the positioning of adverbial clauses is motivated by competing pressures from syntactic parsing, discourse pragmatics, and semantics. Continuing this line of research, the current paper investigates the e¤ect of the iconicity principle on the positioning of temporal adverbial clauses. The iconicity princi...