Positive interpolation with rational quadratic splines

A necessary and sufficient criterion is presented under which the property of positivity carry over from the data set to rational quadratic spline interpolants. The criterion can always be satisfied if the occuring parameters are properly chosen.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

The evolving tree-analysis and applications

In this paper, we enhance and analyze the Evolving Tree (ETree) data analysis algorithm. The suggested improvements aim to make the system perform better while still maintaining the simple nature of the basic algorithm. We also examine the system's behavior with many different kinds of tests, measurements and visualizations. We compare the ETree's performance against classical data analysis methods and very similar modern systems. We find that the ETree is a suitable method for unsupervised analysis of huge data sets.     

Gibbs-Duhem integrations with negative mole fractions

A thermodynamic analysis of a molten metal sulfide or oxide system begins with the equilibration of melts with a gas mixture containing the active species, for example, H₂S/H₂ with sulfides and CO₂/CO with oxides. The Gibbs-Duhem equation is then integrated to calculate the activities of the components of interest. Because the sulfur pressures tend toward zero near the metal side of the binary and toward one bar at the metal sulfide side, integration in these systems can be difficult. An alternative approach using negative mole fractions is described and applied to the silver-silver sulfide system.     

The role of hydrodynamic stress on the phenotypic characteristics of single and binary biofilms of Pseudomonas fluorescens.

This study investigates the phenotype of turbulent (Re = 5,200) and laminar (Re = 2,000) flow-generated Pseudomonas fluorescens biofilms. Three P. fluorescens strains, the type strain ATCC 13525 and two strains isolated from an industrial processing plant, D3-348 and D3-350, were used throughout this study. The isolated strains were used to form single and binary biofilms. The biofilm physiology (metabolic activity, cellular density, mass, extracellular polymeric substances, structural characteristics and outer membrane proteins [OMP] expression) was compared. The results indicate that, for every situation, turbulent flow-generated biofilms were more active (p < 0.05), had more mass per cm(2) (p < 0.05), a higher cellular density (p < 0.05), distinct morphology, similar matrix proteins (p > 0.1) and identical (isolated strains -single and binary biofilms) and higher (type strain) matrix polysaccharides contents (p < 0.05) than laminar flow-generated biofilms. Flow-generated biofilms formed by the type strain revealed a considerably higher cellular density and amount of matrix polysaccharides than single and binary biofilms formed by the isolated strains (p < 0.05). Similar OMP expression was detected for the several single strains and for the binary situation, not dependent on the hydrodynamic conditions. Binary biofilms revealed an equal coexistence of the isolated strains with apparent neutral interactions. In summary, the biofilms formed by the type strain represent, apparently, the worst situation in a context of control. The results obtained clearly illustrate the importance of considering strain variation and hydrodynamics in biofilm development, and complement previous studies which have focused on physical aspects of structural and density differences.     

Influence of residual milk-clotting enzyme and proteolysis on melting properties of soft cheese

In this work, we assessed the influence of coagulant residual activity and primary proteolysis on Cremoso Argentino cheese melting properties. For that purpose, we made Cremoso soft cheeses using different amounts of coagulant, and also obtained samples in which milk-clotting enzyme was inactivated. Primary proteolysis correlated with residual activity of coagulant in early stages of cheese ripening; however, it was similar in all cheeses after 30 days. The hydrolysis of caseins did not significantly affect the melting ability of the cheeses, expressed as the area increase after heating samples under standardized conditions. Samples with similar proximate composition showed some changes in meltability; those seemed related to pH evolution during ripening.     

Modeling Power Supply Noise in Delay Testing

Excessive power supply noise during test can cause overkill. This article discusses two models for supply noise in delay testing and their application to test compaction. The proposed noise models avoid complicated power network analysis, making them much faster than existing power noise analysis tools. can cause performance degradation and