This paper describes a system that uses AI planning and representation techniques as the core of a decision support system.* The planning technology is supplemented with other AI and non-AI technologies. The overall system and initial application domain, military operations planning, are described first. We then describe the integration of SIPE-2, a generative planning system, with three indepe...

let $r$ be a commutative ring with identity and $m$ be a finitely generated unital $r$-module. in this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. moreover, we investigate some conditions which imply that the module $m$ is the direct sum of some cyclic modules and free modules. then some properties of fitting ideals of...

OBJECTIVE To evaluate the effect of maternal supplementation with vitamin E on the concentration of α-tocopherol in colostrum and its supply to the newborn. METHOD This randomized clinical trial enrolled 99 healthy adult pregnant women; of these, 39 were assigned to the control group and 60 to the supplemented group. After an overnight fast, 5mL of blood and 2mL of colostrum were collected. A...

A Fock space is introduced which admits an action of a quantum group of type A supplemented with some extra operators. The canonical and dual canonical basis of the Fock space are computed and then used to derive the finite-dimenisonal tilting and irreducible characters for the Lie superalgebra osp(2|2n). We also determine all the composition factors for the symmetric tensors of the natural osp...

We show how one may classify all semisimple algebras containing the $\mathfrak{su}(3)\oplus \mathfrak{su}(2) \oplus \mathfrak{u}(1)$ symmetry of Standard Model and acting on some given matter sector, enabling theories beyond with unification (partial or total) symmetries (gauge global) to be catalogued. With just a single generation fermions plus singlet neutrino, only {gauge} correspond well-k...

A central topic in query learning is to determine which classes of Boolean formulas are e ciently learnable with membership and equivalence queries. We consider the class Rk consisting of conjunctions of k unate DNF formulas. This class generalizes the class of k-clause CNF formulas, and the class of unate DNF formulas, both of which are known to be learnable in polynomial time with membership ...

The enzymes chlorocatechol-1,2-dioxygenase, chloromuconate cycloisomerase, dienelactone hydrolase, and maleylacetate reductase allow Ralstonia eutropha JMP134(pJP4) to degrade chlorocatechols formed during growth in 2,4-dichlorophenoxyacetate or 3-chlorobenzoate (3-CB). There are two gene modules located in plasmid pJP4, tfdC(I)D(I)E(I)F(I) (module I) and tfdD(II)C(II)E(II)F(II) (module II), pu...

E-law module is the web application which works mainly as the set of information retrieval and extraction tools dedicated for the lawyers. E-law module consists of following tools: (1) document search engine; (2) context oriented search engine plugin; (3) legal phrase oriented machine translation; (4) document metatagger; (5) verdict finder. Machine translation, document meta-tagger and verdict...

an experiment was carried out to compare the effects of laying hen’s diet supplemented with inorganic and different organic sources of selenium (se) on quality and oxidative stability of eggs during storage. a total of 81, (35-week old) laying hens of lohmann lsl-white were assigned to cages in a completely randomized design with 9 groups of treatment and 3 replicates of 3 birds. hens in each g...

In this paper we defined the concept of module amenability of Banach algebras and module connes amenability of module dual Banach algebras.Also we assert the concept of module Arens regularity that is different with [1] and investigate the relation between module amenability of Banach algebras and connes module amenability of module second dual Banach algebras.In the following we studythe...