Isabel Oitavem has introduced a term rewriting system (TRS) which captures the class FPS of polynomial-space computable functions. We propose an alternative TRS for FPS. As a consequence, it is obtained that FPS is the smallest class containing certain initial functions and closed under specific operations. It turns out that our characterization is relatively simple and suggests an uniform appr...

Cellulosic fibers from date palm are among the most promising lignocellulose feedstock for biorefinery purposes. The world production is between 1.9 and 2.4 million t/year. Initially, a pretreatment with dilute-sulphuric acid of these was performed using response surface methodology, temperature process time as factors. aim to produce bioethanol young old palm, Phoenix dactylifera L. Optimal th...

We present an algorithm for the minimization of a nonconvex quadratic function subject to linear inequality constraints and two-sided bound on 2-norm its solution. The minimizes objective using active-set method by solving series Trust-Region Subproblems (TRS). Underpinning efficiency this approach is that global solution TRS has been widely studied in literature, resulting remarkably efficient...

This paper improves the existing criterion for proving confluence of a normal conditional term rewriting system (CTRS) via the Şerbănuţă-Roşu transformation, a computationally equivalent transformation of CTRSs into unconditional term rewriting systems (TRS), showing that a weakly left-linear normal CTRS is confluent if the transformed TRS is confluent. Then, we discuss usefulness of the optimi...

SUMMARY In this paper, we extend the Gnaedig's re-sults[2][3] on termination of order-sorted rewriting. Gnaedig required a condition for order-sorted signatures, called minimality, for the termination proof. We get rid of this restriction by introducing a transformation from a TRS with an arbitrary order-sorted signature to another TRS with a minimal signature, and proving that this transformat...

ROC! is a deterministic rewrite strategy language which includes the rewrite rulesas basic operators, and the deterministic choice and the repetition as high-level strategyoperators. In this paper we present a method which, for a given term rewriting system(TRS) R, constructs a new TRS R such that R-rewriting is equivalent (sound and com-plete) with R-rewriting constrained by RO...

Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is essentially due to an inductive argument. Therefore, we show how to couple one of the most popular techniques for TRS termination (the dependency pair method) with inductive theorem proving. As confirmed by the implement...

The objective of the study discussed in this article was to evaluate the impact of residential proximity to toxic release sites (TRS) and potential implications for low birth weight (LBW) and premature delivery in Shelby County, Tennessee women. The sample (N = 369) included pregnant women who participated in the Blues Project (2007-2009). ArcGIS was used to map the mother's residence at delive...

Despite pharmacological advances in the treatment of schizophrenia, significant number of patients continue to be treatment-resistant. Poor control of symptoms could be related to low concentration of antipsychotics because of non-adherence or pharmacokinetic issues. However, there is growing evidence that "true" treatment-resistance might be associated with biological changes, i.e. alterations...

The complete DNA sequence of equine herpesvirus-4 (EHV-4) strain NS80567 was determined. The genome is 145597 bp in size and consists of a long unique region (UL, 112398 bp) flanked by a short inverted repeat (TRL/IRL, 27 bp) linked to a short unique region (Us, 12789 bp) flanked by a substantial inverted repeat (TRs/IRs, 10178 bp). EHV-4 is predicted to contain 76 different genes; three of the...