The propagation of pressure in a gelled waxy oil pipeline as studied by particle imaging velocimetry

Paraffinic crude oils in pipelines may form waxy gels during flow shutdowns. These gels can be dislodged by applying pressure if the wall shear stress, proportional to the local pressure gradient, exceeds the gel yield stress. The simplest models assume that the axial pressure profile becomes linear immediately after a jump in upstream pressure, but this fails to account for gel time‐dependent rheology or the effect of gel voids on pressure wave propagation. To investigate the former factor, pressure profile and particle imaging velocimetry (PIV) measurements were performed on a model oil gelled under pressure to reduce void formation. After a jump in upstream pressure to a value insufficient to restart flow, the axial pressure profile becomes linear in a two‐step process, with an immediate small rise in downstream pressure followed by a time‐delayed jump. The local downstream gel deformation measured by PIV exhibits similar two‐step time dependence. © 2011 American Institute of Chemical Engineers AIChE J, 2012     

Software engineering article types: An analysis of the literature

The software engineering (SE) community has recently recognized that the field lacks well-established research paradigms and clear guidance on how to write good research reports. With no comprehensive guide to the different article types in the field, article writing and reviewing heavily depends on the expertise and the understanding of the individual SE actors.In this work, we classify and describe the article types published in SE with an emphasis on what is required for publication in journals and conference proceedings. Theoretically, we consider article types as genres, because we assume that each type of article has a specific function and a particular communicative purpose within the community, which the members of the community can recognize. We draw on written sources available, i.e. the instructions to authors/reviewers of major SE journals, the calls for papers of major SE conferences, and previous research published on the topic.Despite the fragmentation and limitations of the sources studied, we are able to propose a classification of different SE article types. Such classification helps in guiding the reader through the SE literature, and in making the researcher reflect on directions for improvements.     

Growth arrest and suppression of tumorigenicity of bladder-carcinoma cell lines induced by the P16/CDKN2 (p16INK4A, MTS1) gene and other loci on human chromosome 9

Wild-type P16/CDKN2 (p16INK4A, MTS1) cDNA, directed by the cytomegalovirus (CMV) immediate early promoter, was transfected into RT4 and RT112 bladder-carcinoma cell lines bearing a mutated endogenous P16/CDKN2 gene and lacking endogenous P16/CDKN2 respectively. In both cases, only transfected clones with rearranged exogenous P16/CDKN2 cDNA could be grown and propagated in cell culture. This result is reminiscent of transfection of wild-type p53 into cells with a deleted or mutated endogenous gene and suggests that P16/CDKN2, over-expressed under control of the strong CMV promoter, induces growth arrest in RT4 and RT112 cells. Transfer of human chromosome 9 to RT4 cells produced RT4/H9 hybrid clones retaining the P16/CDKN2 gene, since in RT4/H9 cell clones P16/CDKN2-gene expression is modulated by the physiological control of chromosomal regulatory sequence. All the RT4/H9 clones lost the entire chromosome 9, except clone 4 and clone 5, which maintained a deleted and an intact chromosome 9 respectively. Loss of several loci in 9p21, including P16/CDKN2, in tumors induced in nude mice by clone 4 and clone 5 suggests that P16/CDKN2 or other genes in 9p21 suppress tumorigenicity in bladder-carcinoma cells. Tumors induced by clone 4 and clone 5 show loss of markers in 9q. The regions 9q22.3, 9q32-33 and 9q34.2, which were maintained in the 2 clones and lost in their derived tumors, may contain tumor-suppressor genes relevant in bladder carcinoma. The results of this study suggest that the P16/CDKN2 gene controls growth of bladder-carcinoma cells when it is over-expressed, and may be involved in the development of bladder carcinoma, but other genes in 9p21 and 9q may participate in bladder-cancer progression.     

Intralymphocyte free magnesium and plasma triglycerides

To evaluate the relative effect of hypertension and plasma triglycerides on intralymphocyte magnesium we measured ionized intralymphocyte magnesium (Mg(i)) concentration by means of a fluorimetric method based on the dye Furaptra in 4 groups of subjects: 18 normotensive normotriglyceridemic controls (NTNC), 9 hypertriglyceridemic normotensive patients (HTN), 8 hypertriglyceridemic essential hypertensive patients (HTEH), 17 normotriglyceridemic essential hypertensive patients (NTEH). Hypercholesterolemic, diabetic patients and alcoholics were excluded from the study. Mg(i) was found to be statistically reduced (ANOVA test F=10.41, P=0.0001) in both HTN and HTEH (M+/- SD, HTN: 0.235 +/- 0.01, HTEH: 0.236 +/- 0.01 mmol/l) as compared to both NTNC and NTEH (M +/- SD, NTNC: 0.294 +/- 0.008, NTEH: 0.297 +/- 0.009 mmol/l). A statistically significant negative correlation was found in the population as a whole between Mg(i) and plasma triglycerides (n=52, R= -541, P=0.00004). Our data suggest that hypertriglyceridemia per se and possibly the so-called plurimetabolic syndrome is characterized by low intralymphocyte free magnesium.     

Multiparty session types as coherence proofs

Acta Informatica - We propose a Curry–Howard correspondence between a language for programming multiparty sessions and a generalisation of Classical Linear Logic (CLL). In this framework,...     

Molecular and microbiological analysis of caecal microbiota in rats fed with diets supplemented either with prebiotics or probiotics

The potential health-improving effects of both a prebiotic and a probiotic infant formula have been evaluated in a rat model. Two groups of 10 rats were fed with either prebiotics containing fructo-oligosaccharides or probiotics containing viable Bifidobacterium lactis and Streptococcus thermophilus. The composition of their caecal microbiota was analyzed both by classical plate count of the main bacterial groups and by PCR amplification of a V3 fragment of 16S rRNA genes and denaturing gradient gel electrophoresis (DGGE). Both diets induced a significant reduction of clostridia and Bacteroides spp. compared to a control diet, whereas prebiotics were also able to reduce the number of coliforms and to increase the presence of bifidobacteria. DGGE analysis showed a significant increase of 16S rRNA gene fragments in rats fed with either probotics or prebiotics. Nineteen bands were sequenced and most of them showed similarity to cultured bacteria. Detection of Bifidobacterium spp. by this technique using genus-specific primers only permitted these bacteria to be detected in prebiotics-fed rats, whereas the use of Lactobacillus group-specific primers gave similar results in rats fed with any diet, in agreement with the plate count results.     

Heterogeneous knowledge representation: integrating connectionist and symbolic computation

Heterogeneous knowledge representation allows combination of several knowledge representation techniques. For instance, connectionist and symbolic systems are two different computational paradigms and knowledge representations. Unfortunately, the integration of different paradigms and knowledge representations is not easy and very often is informal. In this paper, we propose a formal approach to integrate these two paradigms where as a symbolic system we consider a (logic) rule-based system. The integration is operated at language level between neural networks and rule languages. The formal model that allows the integration is based on constraint logic programming and provides an integrated framework to represent and process heterogeneous knowledge. In order to achieve this we define a new language that allows expression and modelling in a natural and intuitive way the above issues together with the operational semantics.     

Equivalences and optimizations in an expressive XSLT subset

XML is the standard data interchange format and XSLT is the W3C proposed standard for transforming and restructuring XML documents. It turns out that XSLT has very powerful query capabilities as well. Hovewer, due to its complex syntax and lack of formal specification, it is not a trivial task to decide whether two XSLT stylesheets yield the same result, even if for an XSLT subset. We isolate such fragment, powerful enough for expressing several interesting queries and for manipulating XML documents and show how to translate them into queries expressed in a properly extended version of TAX, a powerful XML query algebra, for which we provide a collection of equivalence rules. It is then possible to reason about XSLT equivalences, by translating XSLT stylesheets into XTAX expressions and then statically verifying their equivalence, by means of the mentioned equivalence rules.