Phase equilibrium in a polarized saturated3He—4He mixture

We present experimental results on the phase equilibrium of a saturated³He−⁴He mixture, which has been cooled to a temperature of 10–15 mK and polarized in a⁴He circulating dilution refrigerator to a stationary polarization of 15%, 7 times higher than the equilibrium polarization in the external field of 7 T. The pressure dependence of the polarization enhancement in the refrigerator shows that the molar susceptibilities of the concentrated and dilute phase of a saturared³He-⁴He mixture are equal atp=2.60±0.04 bar. This result affects the Fermi liquid parameters of the dilute phase. The osmotic pressure in the dilute phase has been measured as a function of the polarization of the coexisting concentrated phase up to 15%. We find that the osmotic pressure at low polarization (<7%) agrees well with thermodynamics using the new Fermi liquid parameters of the dilute phase.     

Flexible polymer composite electromagnetic crystals

The dielectric properties of a ceramic powder (BaTiO₃) filled thermoplastic elastomer (EPDM TPE) were investigated for use in a flexible electromagnetic crystal. Materials were produced that had a high dielectric constant (approximately 9) and low loss tangent (less than 0.01). Materials were extruded and injection molded so as to povide low‐cost processing. Mechanical and electromagnetic test results showed the effect of processing conditions on the final quality of the composite. The shear rate during processing and the number of mixing cycles were found to affect the final material characteristics significantly. An electromagnetic crystal woven from extruded rods showed good reflectivity in the 10–15 GHz region.     

The role of visual complexity and prototypicality regarding first impression of websites: Working towards understanding aesthetic judgments

This paper experimentally investigates the role of visual complexity (VC) and prototypicality (PT) as design factors of websites, shaping users' first impressions by means of two studies. In the first study, 119 screenshots of real websites varying in VC (low vs. medium vs. high) and PT (low vs. high) were rated on perceived aesthetics. Screenshot presentation time was varied as a between-subject factor (50 ms vs. 500 ms vs. 1000 ms). Results reveal that VC and PT affect participants' aesthetics ratings within the first 50 ms of exposure. In the second study presentation times were shortened to 17, 33 and 50 ms. Results suggest that VC and PT affect aesthetic perception even within 17 ms, though the effect of PT is less pronounced than the one of VC. With increasing presentation time the effect of PT becomes as influential as the VC effect. This supports the reasoning of the information-processing stage model of aesthetic processing (Leder et al., 2004), where VC is processed at an earlier stage than PT. Overall, websites with low VC and high PT were perceived as highly appealing.     

Intrinsic nonlinear multiscale image decomposition: A 2D empirical mode decomposition-like tool

Many works have been achieved for analyzing images with a multiscale approach. In this paper, an intrinsic and nonlinear multiscale image decomposition is proposed, based on partial differential equations (PDEs) and the image frequency contents. Our model is inspired from the 2D empirical mode decomposition (EMD) for which a theoretical study is quite nonexistent, mainly because the algorithm is based on heuristic and ad hoc elements making its mathematical study hard. This work has three main advantages. Firstly, we prove that the 2D sifting process iterations are consistent with the resolution of a nonlinear PDE, by considering continuous morphological operators to build local upper and lower envelopes of the image extrema. In addition to the fact that now differential calculus can be performed on envelopes, the introduction of such morphological filters eliminates the interpolation dependency that also terribly suffers the method. Also, contrary to former 2D empirical modes, precise mathematical definition for a class of functions are now introduced thanks to the nonlinear PDE derived from the consistency result, and their characterization on the basis of Meyer spaces. Secondly, an intrinsic multiscale image decomposition is introduced based on the image frequency contents; the proposed approach almost captures the essence and philosophy of the 2D EMD and is linked to the well known Absolutely Minimizing Lipschitz Extension model. Lastly, the proposed multiscale decomposition allows a reconstruction of images. The filterbank capability of the new multiscale decomposition algorithm is shown both on synthetic and real images, and results show that our proposed approach improves a lot on the 2D EMD. Moreover, the complexity of the proposed multiscale decomposition is very reduced compared to the 2D EMD by avoiding the surface interpolation approach, which is the core of all 2D EMD algorithms and is very time consuming. For that purpose also, our work will then be a great benefit; especially, in higher dimension spaces.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

Target Score—A Proteomics Data Selection Tool Applied to Esophageal Cancer Identifies GLUT1-Sialyl Tn Glycoforms as Biomarkers of Cancer Aggressiveness

Esophageal cancer (EC) is a life-threatening disease, demanding the discovery of new biomarkers and molecular targets for precision oncology. Aberrantly glycosylated proteins hold tremendous potential towards this objective. In the current study, a series of esophageal squamous cell carcinomas (ESCC) and EC-derived circulating tumor cells (CTCs) were screened by immunoassays for the sialyl-Tn (STn) antigen, a glycan rarely expressed in healthy tissues and widely observed in aggressive gastrointestinal cancers. An ESCC cell model was glycoengineered to express STn and characterized in relation to cell proliferation and invasion in vitro. STn was found to be widely present in ESCC (70% of tumors) and in CTCs in 20% of patients, being associated with general recurrence and reduced survival. Furthermore, STn expression in ESCC cells increased invasion in vitro, while reducing cancer cells proliferation. In parallel, an ESCC mass spectrometry-based proteomics dataset, obtained from the PRIDE database, was comprehensively interrogated for abnormally glycosylated proteins. Data integration with the Target Score, an algorithm developed in-house, pinpointed the glucose transporter type 1 (GLUT1) as a biomarker of poor prognosis. GLUT1-STn glycoproteoforms were latter identified in tumor tissues in patients facing worst prognosis. Furthermore, healthy human tissues analysis suggested that STn glycosylation provided cancer specificity to GLUT1. In conclusion, STn is a biomarker of worst prognosis in EC and GLUT1-STn glycoforms may be used to increase its specificity on the stratification and targeting of aggressive ESCC forms.     

Visceral Adipose Tissue Displays Unique Metabolomic Fingerprints in Obesity,Pre-Diabetes and Type 2 Diabetes

Visceral adipose tissue (VAT) metabolic profiling harbors the potential to disentangle molecular changes underlying obesity-related dysglycemia. In this study, the VAT exometabolome of subjects with obesity and different glycemic statuses are analyzed. The subjects (n = 19) are divided into groups according to body mass index and glycemic status: subjects with obesity and euglycemia (Ob+NGT, n = 5), subjects with obesity and pre-diabetes (Ob+Pre-T2D, n = 5), subjects with obesity and type 2 diabetes under metformin treatment (Ob+T2D, n = 5) and subjects without obesity and with euglycemia (Non-Ob, n = 4), used as controls. VATs are incubated in culture media and extracellular metabolite content is determined by proton nuclear magnetic resonance (¹H-NMR). Glucose consumption is not different between the groups. Pyruvate and pyroglutamate consumption are significantly lower in all groups of subjects with obesity compared to Non-Ob, and significantly lower in Ob+Pre-T2D as compared to Ob+NGT. In contrast, isoleucine consumption is significantly higher in all groups of subjects with obesity, particularly in Ob+Pre-T2D, compared to Non-Ob. Acetate production is also significantly lower in Ob+Pre-T2D compared to Non-Ob. In sum, the VAT metabolic fingerprint is associated with pre-diabetes and characterized by higher isoleucine consumption, accompanied by lower acetate production and pyruvate and pyroglutamate consumption. We propose that glucose metabolism follows different fates within the VAT, depending on the individuals’ health status.     

Superabsorbent hydrogel based on modified polysaccharide for removal of Pb2+ and Cu2+ from water with excellent performance

This contribution describes the absorption percentage of Pb²⁺ and Cu²⁺ from water by a superabsorbent hydrogel matrix (SH) made from an anionic polysaccharide copolymerized with acrylic acid (AAc) and acrylamide (AAm). Metal‐absorption tests, upon sequential pH variation, indicated that the SH has pH‐sensitivity for the absorption of both metals from solution, attributed to the functional ionic groups (? COOH) present in the AAc and arabic gum (AG) segments. At the pH 5.0, the SH exhibited good absorption capacity: 73.10% for Pb²⁺, 81.99% for Cu²⁺ in water and 63.64% for Pb²⁺, and 76.67% for Cu²⁺ in saline water with 0.1 mol kg^?1 ionic strength. A replicated 2² full factorial design with a central point was built to evaluate the maximum absorption capacity of the metals into the SH. It was found that both the interaction and main effects of the pH and the initial concentration of metal solution on absorption percentage of the metals were statistically significant. Surface response plots indicated that the absorption capacity of both metals into the SH may be appreciably improved by using the solutions with lower initial concentration of metal and with higher pH values. Metal‐absorption results demonstrated that the SH is a convenient material for absorption of Pb²⁺ and Cu²⁺ from pure aqueous and saline aqueous environments. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 2007