Transcriptomic and proteomic analyses of Burkholderia xenovorans LB400, a potent polychlorinated biphenyl (PCB) degrader, have implicated growth substrate- and phase-dependent expression of three benzoate-catabolizing pathways: a catechol ortho cleavage (ben-cat) pathway and two benzoyl-coenzyme A pathways, encoded by gene clusters on the large chromosome (boxC) and the megaplasmid (boxM). To e...

Soil erosion is one of the most serious land degradation problems and the primary environmental issue in the Loess Plateau region of China. To identify the critical sub-basins and assess the impacts of land use change and climatic variability change on soil loss, this study tested the feasibility of the Soil and Water Assessment Tool (SWAT) model on sediment load simulation in the upper Sang-ka...

Five genera and 26 species belonging to two subfamilies Arteminae Simon, 1893 (one genus and one species) and Pholcinae C.L. Koch, 1850 (four genera and 25 species) are reported from northern Vietnam, including 19 new species of three genera: Belisana babensis sp. nov. (male, female; Bac Kan), B. cheni sp. nov. (male, female; Bac Kan), B. clavata sp. nov. (male; Ha Giang), B. curva sp. nov. (ma...

in iran due to the lack of long experience in the implementation of soil conservation and watershed management plans, these measures have not been evaluated quantitatively and specific methods for this purpose have not been provided. in this research effort is to investigate the effect of watershed management operations performed in can basin in 1379, on the amount of erosion and sedimentation ...

parameters as interception, infiltration, water storage on surface holes and soil profile, evapotranspiration are factors of loss water in a watershed and avoid from changing of precipitation to runoff. in this study, by use of hec-hms model and comparison of results of different methods of precipitation loss evaluation (initial and constant, green & ampt, scs curve number, deficit & constant a...

The aim is to apply string-rewriting methods to compute left Kan extensions, or, equivalently, induced actions of monoids, categories, groups or groupoids. This allows rewriting methods to be applied to a greater range of situations and examples than before. The data for the rewriting is called a Kan extension presentation. The paper has its origins in earlier work by Carmody and Walters who ga...

This is the third in a series of papers extending Martin-Löf’s meaning explanations of dependent type theory to a Cartesian cubical realizability framework that accounts for higherdimensional types. We extend this framework to include a cumulative hierarchy of univalent Kan universes of Kan types; exact equality and other pretypes lacking Kan structure; and a cumulative hierarchy of pretype uni...

Prairie voles (Microtus ochrogaster) are monogamous New World rodents which show geographic variation in social behavior. In this study, parameters of female reproduction which might be related to mating system were compared in prairie voles from eastern Kansas (KAN) versus central Illinois (ILL). KAN females showed a more rapid onset of natural estrus following exposure to a male and were more...

We give an analysis of the non-constructivity of the following basic result: if X and Y are simplicial sets and Y has the Kan extension property, then Y X also has the Kan extension property. By means of Kripke countermodels we show that even simple consequences of this basic result, such as edge reversal and edge composition, are not constructively provable. We also show that our unprovability...