A numerical model for the dissolution of spherical particles in binary alloys under mixed mode control

A general numerical model is described for the dissolution kinetics of spherical particles in binary systems for any combination of first order reactions at the particle-matrix interface and long distance diffusion within the matrix. The model is applicable to both finite and infinite media and handles both complete and partial particle dissolution. It is shown that interfacial reactions can have a strong effect on the dissolution kinetics, the solute concentration at the particle-matrix interface and the solute concentration profile in the matrix.     

A role for B cells in the development of T cell helper function in a malaria infection in mice

B cell knockout mice are unable to clear a primary erythrocytic infection of Plasmodium chabaudi chabaudi. However, the early acute infection is controlled to some extent, giving rise to a chronic relapsing parasitemia that can be reduced either by drug treatment or by adoptive transfer of B cells. Similar to mice rendered B-cell deficient by lifelong treatment with anti-mu antibodies, B cell knockout mice (muMT) retain a predominant CD4+ Th1-like response to malarial antigens throughout a primary infection. This contrasts with the response seen in control C57BL/6 mice in which the CD4+ T-cell response has switched to that characteristic of Th2 cells at the later stages of infection, manifesting efficient help for specific antibodies in vitro and interleukin 4 production. Both chloroquine and adoptive transfer of immune B cells reduced parasite load. However, the adoptive transfer of B cells resulted in a Th2 response in recipient muMT mice, as indicated by a relative increase in the precursor frequency of helper cells for antibody production. These data support the idea that B cells play a role in the regulation of CD4+ T subset responses.     

Consumption of reduced-fat products: effects on parameters of anti-oxidative capacity

Plasma levels of fibrinogen, factor VIIc and prothrombin fragment F1 + 2, a marker of thrombin generation in vivo, were studied in 68 subjects with serum total cholesterol (TC) levels between 135 and 349 mg/dl but without clinical evidence of cardiovascular disease and other atherosclerotic risk factors. F1 + 2 plasma levels were directly correlated with TC (p < 0.0004), low-density lipoprotein cholesterol (LDL-C; p < 0.0018) and factor VIIc (p < 0.024). Thirty-five subjects with TC greater than 249 mg/dl (median value of the whole group) showed higher levels of F1 + 2 (p < 0.0001) and fibrinogen (p < 0.0015) than those with TC lower than 249 mg/dl. In subjects with TC > 249 mg/dl and F1 + 2 > 1.2 nM (median value of the whole group), a cholesterol-lowering drug (simvastatin) was able to reduce F1 + 2 (p < 0.009) as well as TC and LDL-C. This study shows a relationship between serum cholesterol and the rate of thrombin generation supporting the hypothesis that a hypercoagulable state may occur in hypercholesterolemic subjects before the onset of clinical evidence of atherosclerotic cardiovascular disease.     

Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

The impact of cleaner processing on nutrient availability in the bleached kraft industry.

The pulp and paper industry has invested heavily over recent years in cleaner processing, to reduce losses and minimise its impact on the environment. Over the past fifteen years, a New Zealand integrated bleached kraft mill has undergone a comprehensive programme of upgrades to increase production, reduce water consumption and streamline its biological treatment process. Whilst the overall discharge of contaminants from the site decreased, the treatment system performance did not show a concurrent improvement as may have been expected. Reduced BOD removal, low dissolved oxygen levels, and poor solids settlability were symptomatic of phosphorus limitation in the aerated lagoon treatment system. The wastewater entering the system was found to be phosphorus limited at a BOD:P ratio of 100:0.2. Mono-ammonium-phosphate was supplemented, at approximately 30 kg P/d, to raise the phosphorus levels to a BOD:P ratio of 100:0.3. Treatment efficiencies improved very quickly after phosphorus dosage, with a 50% reduction in BOD and TSS discharge, a significant increase in dissolved oxygen levels, and improved BOD removal (85% to 93%). This case study demonstrates that whilst more closed operation can result in reduced discharge of organic loads, there may be negative impacts on the availability of nutrients for balanced biological growth.     

Analysis of electrocardiograms during atrial fibrillation

The research discussed in this article is motivated by the search for an optimal classification of the different types of atrial fibrillation (AF) on the basis of recorded atrial signals. This would facilitate the selection of an optimal therapy. This article focuses on the biophysical models of the genesis of ECG waveforms during AF. The model of the electric activity of the atria was found to have sufficient realism to be used to describe the electric sources during AF. The inclusion of the volume conduction model resulted in electrocardiographic signals that are in all aspects similar to those observed clinically. The model is currently applied to solve various problems related to optimal signal preprocessing and extraction of features in AF signals for the classification of AF abnormalities. The biophysical model of the atrial activity is an essential element in this research, since it is capable of describing the electric source specifications derived from different hypotheses relating to the etiology of AF     

A Study of Integrated Document and Connection Caching in the WWW

Document caching and connection caching are extensively studied problems. In document caching, one has to maintain caches containing documents accessible in a network. In connection caching, one has to maintain a set of open network connections that handle data transfer. Previous work investigated these two problems separately while in practice the problems occur together: In order to load a document, one has to establish a connection between network nodes if the required connection is not already open. In this paper we present the first study that integrates document and connection caching. We first consider a very basic model in which all documents have the same size and the cost of loading a document or establishing a connection is equal to 1. We present deterministic and randomized online algorithms that achieve nearly optimal competitive ratios unless the size of the connection cache is extremely small. We then consider general settings where documents have varying sizes. We investigate a FAULT model in which the loading cost of a document is 1 as well as a BIT model in which the loading cost is equal to the size of the document.