Plan variants and a plan refinement algorithm

The relational production model of problem solving, due to Vere, is used to analyze plan inefficiency. The concept of plan variant is introduced and precisely related to the triangle tables of Nilsson. The concept is used to extend certain classes of inefficiencies. A method is described which "tightens up" plans containing these inefficiencies, often producing optimal ones

Efficient Logic Programs: A Research Proposal

The goal of the proposed research is to develop methods for efficient implementation of logic programs. There are two areas we wish to investigate, both of which are continuations of research conducted by members of the UCI dataflow architecture group. One aspect of the proposed research involves development of a non-von Neumann architecture for parallel execution of logic programs; preliminary work in this area is reported by Conery [9]. The second area invovles transformation of high level logic specifications into efficient Prolog and/or procedural language programs, and is based on work by Morris [20]

Biological and molecular structure analyses of the controls on soil organic matter dynamics

Includes bibliographical references (page 170).The dynamics of soil organic carbon (SOC) are controlled by the interaction of biological, physical, and chemical parameters. These are best measured by a combination of techniques such as long-term field sites with a C3↔C4 plant switch. Acid hydrolysis and 14C- dating measure the mean residence time (MRT) of the resistant fraction. Long-term incubation allows the in situ biota to identify and decompose the labile SOC components. Statistical analysis (curve fitting) of the CO2 release curves, determines the pool size and of the two labile fractions (1). The effect of chemical structure is measured with pyrolysismolecular beam mass spectrometry (py-MBMS). The dynamics of charcoal, clay and silt are measured with both 13C and 14C

Comparison of Stochastic Methods for the Variability Assessment of Technology Parameters

This paper provides and compares two alternative solutions for the simulation of cables and interconnects with the inclusion of the effects of parameter uncertainties, namely the Polynomial Chaos (PC) method and the Response Surface Modeling (RSM). The problem formulation applies to the telegraphers equations with stochastic coefficients. According to PC, the solution requires an expansion of the unknown parameters in terms of orthogonal polynomials of random variables. On the contrary, RSM is based on a least-square polynomial fitting of the system response. The proposed methods offer accuracy and improved efficiency in computing the parameter variability effects on system responses with respect to the conventional Monte Carlo approach. These approaches are validated by means of the application to the stochastic analysis of a commercial multiconductor flat cable. This analysis allows us to highlight the respective advantages and disadvantages of the presented method

Characterization of a Novel Clade of Transporters in Phytophthora

The oomycete Phytophthora parasitica has a worldwide distribution and is an economically important pathogen of more than 100 species4. RNA-seq analysis showed that one gene, PPTG_16698 has the 5th highest level of expression of all transport proteins in the zoospore stage, and is highly conserved throughout Phytophthora species. This project attempts to characterize the important biological role that PPTG_16698 plays in P. parasitica and other oomycetes. Three strategies have been implemented to accomplish this goal: growth analysis by heterologous expression in yeast, metabolite analysis in yeast, and construction of a GFP fusion protein to enable localization of the gene in oomycete hyphae by confocal microscopy. Confocal microscopy is expected to confirm the vacuolar localization of this gene. If this gene is localized to a vacuolar membrane, then heterologous expression in yeast should result in differential accumulation of metabolites mobilized by this transporter. In preliminary growth assays, expression of this gene did not inhibit the growth of yeast. Therefore, expression of the gene does not result in sequestering of a growth-limiting metabolite. To determine whether expression of the transporter results in the accumulation of polyamines, which are organic compounds necessary for growth in eukaryotes, polyamine levels will be measured by dansylation of amines and separation by HPLC. Other metabolites will be assayed by liquid chromatography mass spectroscopy analysis

Convective Fingering of an Autocatalytic Reaction Front

We report experimental observations of the convection-driven fingering instability of an iodate-arsenous acid chemical reaction front. The front propagated upward in a vertical slab; the thickness of the slab was varied to control the degree of instability. We observed the onset and subsequent nonlinear evolution of the fingers, which were made visible by a {\it p}H indicator. We measured the spacing of the fingers during their initial stages and compared this to the wavelength of the fastest growing linear mode predicted by the stability analysis of Huang {\it et. al.} [{\it Phys. Rev. E}, {\bf 48}, 4378 (1993), and unpublished]. We find agreement with the thickness dependence predicted by the theory.Comment: 11 pages, RevTex with 3 eps figures. To be published in Phys Rev E, [email protected], [email protected], [email protected]

Subglacial Lake Vostok (Antarctica) Accretion Ice Contains a Diverse Set of Sequences from Aquatic, Marine and Sediment-Inhabiting Bacteria and Eukarya

Lake Vostok, the 7th largest (by volume) and 4th deepest lake on Earth, is covered by more than 3,700 m of ice, making it the largest subglacial lake known. The combination of cold, heat (from possible hydrothermal activity), pressure (from the overriding glacier), limited nutrients and complete darkness presents extreme challenges to life. Here, we report metagenomic/metatranscriptomic sequence analyses from four accretion ice sections from the Vostok 5G ice core. Two sections accreted in the vicinity of an embayment on the southwestern end of the lake, and the other two represented part of the southern main basin. We obtained 3,507 unique gene sequences from concentrates of 500 ml of 0.22 μm-filtered accretion ice meltwater. Taxonomic classifications (to genus and/or species) were possible for 1,623 of the sequences. Species determinations in combination with mRNA gene sequence results allowed deduction of the metabolic pathways represented in the accretion ice and, by extension, in the lake. Approximately 94% of the sequences were from Bacteria and 6% were from Eukarya. Only two sequences were from Archaea. In general, the taxa were similar to organisms previously described from lakes, brackish water, marine environments, soil, glaciers, ice, lake sediments, deep-sea sediments, deep-sea thermal vents, animals and plants. Sequences from aerobic, anaerobic, psychrophilic, thermophilic, halophilic, alkaliphilic, acidophilic, desiccation-resistant, autotrophic and heterotrophic organisms were present, including a number from multicellular eukaryotes. © 2013 Shtarkman et al

Superstring partition functions in the doubled formalism

Computation of superstring partition function for the non-linear sigma model on the product of a two-torus and its dual within the scope of the doubled formalism is presented. We verify that it reproduces the partition functions of the toroidally compactified type--IIA and type--IIB theories for appropriate choices of the GSO projection.Comment: 15 page