Looking at the operation of forming neat α-reducts as a functor, with α an infinite ordinal, we investigate when such a functor obtained by truncating ω dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorical result to several amalgamati...

We have developed an extension of the NEAT neuroevolution method, called NEATfields, to solve problems with large input and output spaces. The NEATfields method is a multilevel neuroevolution method using externally specified design patterns. Its networks have three levels of architecture. The highest level is a NEAT-like network of neural fields. The intermediate level is a field of identical ...

To replicate in mammalian hosts, bacterial pathogens must acquire iron. The majority of iron is coordinated to the protoporphyrin ring of heme, which is further bound to hemoglobin. Pathogenic bacteria utilize secreted hemophores to acquire heme from heme sources such as hemoglobin. Bacillus anthracis, the causative agent of anthrax disease, secretes two hemophores, IsdX1 and IsdX2, to acquire ...

We provide a global technique called neatening for the study of mod ularity of left linear Term Rewriting Systems Objects called bubbles are identi ed as the responsibles of most of the problems occurring in mod ularity and the concept of well behaved from the modularity point of view reduction said neat reduction is introduced Neating consists of two steps the rst is proving a property is modu...

This paper investigates the morphology, thermal, and electrical properties of LDPE (low-density polyethylene)-based nanocomposites after thermal aging. The FTIR (Fourier transform infrared spectroscopy) spectra results show that thermo-oxidative reactions occur in neat LDPE and LDPE/SiO₂ nanocomposites when the aging time is 35 days and in LDPE/MgO nanocomposites when the aging time is 77 days....

In this work the fracture toughness of epoxy resin has been improved through the addition of low loading of single part and hybrid nanofiller materials. Functionalised multi-walled carbon nanotubes (f-MWCNTs) was used as single filler, increased the critical strain energy release rate, GIC, by 57% compared to the neat epoxy, at only 0.1 wt% filler content. Importantly, no degradation in the ten...

Humans show considerable interindividual variation in susceptibility to weight gain in response to overeating. The physiological basis of this variation was investigated by measuring changes in energy storage and expenditure in 16 nonobese volunteers who were fed 1000 kilocalories per day in excess of weight-maintenance requirements for 8 weeks. Two-thirds of the increases in total daily energy...

We study the algebraic structure of a programming language with higher-order store, in the style of ML references. Instead of working directly on the operational semantics of the language, we consider its fully abstract game semantics defined by Abramsky, Honda and McCusker one decade ago. This alternative description of the language is nice and conceptual, except on one significant point: the ...

We present a simple and efficient method for calculating symmetrized time correlation functions of neat quantum fluids. Using the pair-product approximation to each complex-time quantum mechanical propagator, symmetrized correlation functions are written in terms of a double integral for each degree of freedom with a purely positive integrand. At moderate temperatures and densities, where the p...

A simulation formalism for the nonlinear response of vibrational excitons is presented and applied to the OH stretching vibrations of neat liquid H(2)O. The method employs numerical integration of the Schrodinger equation and allows explicit treatment of fluctuating transition frequencies, vibrational couplings, dipole moments, and the anharmonicities of all these quantities, as well as nonadia...