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).     

Changes in free amino acids content in albacore (Thunnus alalunga) muscle during thermal processing

Summary The effects of cooking and sterilization at several temperatures on the free amino acids (FAA) content in albacore (Thunnus alalunga) muscle were studied during the processing of canned tuna. FAAs were derivatized witho-phtalaldehyde, separated on a C18 column by HPLC and detected by both fluorescence and ultra-violet detectors. After cooking the loss of FAAs was not significant. However, in the final product sterilized at 115 °C and 110 °C (throughout the whole process) there were significant losses with regard to the start material, but not at 118 °C (all temperatures leading to the same lethal F-value). The influence of the thermal process time at 115 °C was evaluated for 60 and 100 min. Significant losses were found between both canned products (25%) and between the raw fish and the final product (12% and 34%, process time 60 and 100 min, respectively). The determination of the content of FAA present in canned albacore may be a useful indication of the severity of the thermal processing.

---

Veränderung im Gehalt an freien Aminosäuren in Thunfischmuskel (Tunnus alalunga) während der Wärmebehandlung

Zusammenfassung Die Wirkung des Kochens und Sterilisierens bei verschiedenen Temperaturen auf den Gehalt an freien Aminosäuren (FAA) im Thunfischmuskel (Thunnus alalunga) wurde während der Herstellung von Thunfischkonserven untersucht. Die freien Aminosäuren wurden mito-Phtalaldehyd derivatisiert, auf einer C-18-Kolonne mit HPLC abgetrennt und durch Fluorescenz und UV-Detektoren nachgewiesen. Nach dem Kochen war der Verlust an FAA nicht signifikant, jedoch in dem bei 110° und 115 °C sterilisierten Endprodukt ergaben sich signifikante Verluste bezogen auf das Ausgangsmaterial, aber nicht auf das bei 118 °C erhitzte; alle Erhitzungstemperaturen führen zu demselben letalen F-Wert. Der Zeiteinfluß der Erhitzung bei 115 °C wurde bei 60 und 100 min bewertet. Signifikante Verluste sind bei beiden Dosenkonserven aufgetreten (25%) und zwischen diesen und dem Rohfisch ( 12% und 34%) bei einer Erhitzungszeit von 60 und 100 min). Die Bestimmung des FAA-Gehalts in Thunfischkonserven kann für den Nachweis der Einwandfreiheit des thermischen Prozesses sehr nützlich sein.

     

Vapor pressure measurements of para-hydrogen adsorbed on exfoliated graphite

Monolayer isotherms were measured for 15, 18, and 20 K for para-hydrogen adsorbed on exfoliated graphite foam, and for the second, third, and fourth layers in the temperature interval of 8 to 20 K, using the standard volumetric method. From the data, the isosteric heat of adsorption, molar entropies and internal energies were obtained as a function of coverage. The values for coverages above the third layer were compared to those at the p-H₂ bulk triple point, showing that, within our experimental uncertainty, the results are closer to the values of bulk solid para-hydrogen. Critical temperatures for the second and third layers and the triple point temperature for the second layer, were determined, yielding values of T_c2 = (10.0±0.1) K, T_c3 = (11.0±0.5) K and T_t2 = (6.5±0.1) K respectively. Features occurring along the monolayer coverages are compared to transitions which occur in the para-hydrogen phase diagrams adsorbed on graphite, obtained from heat capacity measurements by other authors. From the isotherms, compressibilities were calculated as a function of coverage for several temperatures. Whenever possible the obtained results were compared to existing data in the literature.     

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.     

The Neurovascular Unit Dysfunction in Alzheimer’s Disease

Alzheimer’s disease (AD) is the most common neurodegenerative disease worldwide. Histopathologically, AD presents with two hallmarks: neurofibrillary tangles (NFTs), and aggregates of amyloid β peptide (Aβ) both in the brain parenchyma as neuritic plaques, and around blood vessels as cerebral amyloid angiopathy (CAA). According to the vascular hypothesis of AD, vascular risk factors can result in dysregulation of the neurovascular unit (NVU) and hypoxia. Hypoxia may reduce Aβ clearance from the brain and increase its production, leading to both parenchymal and vascular accumulation of Aβ. An increase in Aβ amplifies neuronal dysfunction, NFT formation, and accelerates neurodegeneration, resulting in dementia. In recent decades, therapeutic approaches have attempted to decrease the levels of abnormal Aβ or tau levels in the AD brain. However, several of these approaches have either been associated with an inappropriate immune response triggering inflammation, or have failed to improve cognition. Here, we review the pathogenesis and potential therapeutic targets associated with dysfunction of the NVU in AD.     

The transient state in the oxidation of binary alloys forming the most-stable oxide: A numerical solution

The initial transient high-temperature oxidation stage for binary alloys forming the most-stable oxide has been examined by means of a numerical procedure based on the finite-difference method. At variance with previous models, the present treatment takes into account the effect of the rate of the reaction at the scale/gas interface over the corrosion kinetics. The calculations concerning the transient stage are developed either using the general parabolic rate law to represent the overall scaling kinetics or using the rate law of the reaction at the scale/gas interface as a boundary condition without imposing any particular rate law to the overall process. A correct analysis of the oxidation behavior of binary alloys during the transient stage must take into account the kinetics effect of the rate of the surface reaction. The concentration of the most-reactive element at the alloy/scale interface changes regularly with time, decreasing gradually from the initial bulk value to its final steady-state value. The present results are in good agreement with those obtained by means of an approximate analytical model developed previously.