objective(s): the quantitative calculation of release data is more facil when mathematics come to help. mathematically modeling could aid optimizing and amending the delivery systems design. aim of this study is to find out the isoniazid release kinetic. methods: in this work degradable temperature sensitive dextran-hydroxy ethyl methacrylate- poly-n-isopropyl acryl amide (dex-hema-pnipaam) nan...

in this article we consider relative iteration of entire functions and studycomparative growth of the maximum term of iterated entire functions withthat of the maximum term of the related functions.

We show how higher-order rewriting may be encoded into rst-order rewriting modulo an equational theory E. We obtain a characterization of the class of higher-order rewriting systems which can be encoded by rst-order rewriting modulo an empty theory (that is, E = ;). This class includes of course the-calculus. Our technique does not rely on a particular substitution calculus but on a set of abst...

Takeuchi [37], Takeuchi and Akahira [38] and Pfanzagl [27] among others proved that any rst-order ecient estimators are second-order ecient. Many authors e.g., Ghosh [15], have conjectured that any third-order ecient estimators are fourth-order ecient. Based on concentration probability of estimators about a true parameter, this paper gives a positive answer to the conjecture in a curved expone...

We study the use of the-calculus for semantical descriptions of higher-order concurrent languages with state. As an example, we choose Concurrent Idealized ALGOL (CIA). CIA is particularly interesting as, yet being a core language, it combines imperative and parallel features with a procedural mechanism of full higher order. It can thus be used as a formal model for concurrent programs as, e.g....

let f, g and h be all entire functions of several complex variables. in this paper we would like to establish some inequalities on the basis of relative order and relative lower order of f with respect to g when the relative orders and relative lower orders of both f and g with respect to h are given.

recently, extracts from various parts of a. occidentale had been massively investigated in themanagement and treatment of various ailments which include but not limited to diabetes, malaria,yellow fever as well as diarrhea. stem bark of anacardium occidentale was extracted with water andethanol. antioxidant activities of the extracts were using dpph. for estimation of effectivediffusivity, math...

Generalization operators have long been studied in the area of Conceptual Inductive Learning (Michalski, 1983; De Raedt, 2010). We present an implementation of these learning operators in a prototype system for cooperative query answering. The implementation can however also be used as a usual concept learning mechanism for concepts described in first-order predicate logic. We sketch an extensi...

We consider the problem of simultaneously compressing a finite set of words by a single grammar. The central result of this paper is the construction of an incompressible sequence of finite word languages. This result is then shown to transfer to tree languages and (via a previously established connection between proof theory and formal language theory) also to formal proofs in first-order pred...