Molecular dynamic simulations of the thermal degradation of polyethylene were used to identify factors which might be effective in reducing polymer flammability by promoting the formation of a residual char. Computer movies of the calculated trajectories indicate that cross-linked polymers, such as those obtained from exposure of polyethylene to ionizing radiation, will undergo further cross-li...

We aim to design a system for classifying scientific articles based on the presence of protein characterization experiments, intending to aid the curators populating JCVI’s Characterized Protein (CHAR) Database of experimentally characterized proteins. We trained two classifiers using small datasets labeled by CHAR curators, and another classifier based on a much larger dataset using annotation...

The yields of char, tar, and non-condensible gases from the pyrolysis of Pinus radiata D. Don bark were measured. Pyrolysis of bark, on a small preparative scale using an airacetylene flame, gave 48% char with ash content 3.5% (mainly aluminium, calcium, potassium, and silica), and recovered tar in 7% yield (on oven-dried bark equivalent). The major components of the pyrolysis tar were catechol...

KITP is an automated inference system developed for supporting the formal design, veriication, and validation of computer programs. It has evolved from an automated veriication system, RVF 5]. The latest version of KITP, KITP-93, features a typed formulation and deduction, meta-level reasoning, and resolution-based proving enhanced by conditional term-rewriting. This report describes KITP-93 fr...

Anthropogenic activities are greatly altering the habitats of animals, whereby fish are already encountering several stressors simultaneously. The purpose of the current study was to investigate the capacity of fish to respond to two different environmental stressors (high temperature and overnight hypoxia) separately and together. We found that acclimation to increased temperature (from 7.7±0....

Let G be a nite group, let V be an F G-module of nite dimension d, and denote by (V; G) the minimal number m such that the invariant ring S(V) G is generated by nitely many elements of degree at most m. A classical result of E. Noether says that (V; G) jGj provided that char F is coprime to jGj!. If char F divides jGj then no bounds for (V; G) are known except for very special choices of G. In ...

The influence of pH on the sorption of pentachlorophenol (PCP) onto three organic amendments, char, humic acid (HA) and peat, and the effect of organic amendments on PCP sorption to three kinds of soils were evaluated. The sorption of PCP on these sorbents fitted the Freundlich model well, suggesting that PCP sorption isotherms were nonlinear with exponential coefficient (N) value lower than 1....