Chemical Imaging on Liver Steatosis Using Synchrotron Infrared and ToF-SIMS Microspectroscopies

Fatty liver or steatosis is a frequent histopathological change. It is a precursor for steatohepatitis that may progress to cirrhosis and in some cases to hepatocellular carcinoma. In this study we addressed the in situ composition and distribution of biochemical compounds on tissue sections of steatotic liver using both synchrotron FTIR (Fourier transform infrared) and ToF-SIMS (time of flight secondary ion mass spectrometry) microspectroscopies. FTIR is a vibrational spectroscopy that allows investigating the global biochemical composition and ToF-SIMS lead to identify molecular species in particular lipids. Synchrotron FTIR microspectroscopy demonstrated that bands linked to lipid contribution such as -CH3 and -CH2 as well as esters were highly intense in steatotic vesicles. Moreover, a careful analysis of the -CH2 symmetric and anti-symmetric stretching modes revealed a slight downward shift in spectra recorded inside steatotic vesicles when compared to spectra recorded outside, suggesting a different lipid environment inside the steatotic vesicles. ToF-SIMS analysis of such steatotic vesicles disclosed a selective enrichment in cholesterol as well as in diacylglycerol (DAG) species carrying long alkyl chains. Indeed, DAG C36 species were selectively localized inside the steatotic vesicles whereas DAG C30 species were detected mostly outside. Furthermore, FTIR detected a signal corresponding to olefin (C = C, 3000-3060 cm−1) and revealed a selective localization of unsaturated lipids inside the steatotic vesicles. ToF-SIMS analysis definitely demonstrated that DAG species C30, C32, C34 and C36 carrying at least one unsaturated alkyl chain were selectively concentrated into the steatotic vesicles. On the other hand, investigations performed on the non-steatotic part of the fatty livers have revealed important changes when compared to the normal liver. Although the non-steatotic regions of fatty livers exhibited normal histological aspect, IR spectra demonstrated an increase in the lipid content and ToF-SIMS detected small lipid droplets corresponding most likely to the first steps of lipid accretion

A foundation for runtime monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe

A Foundation for Runtime Monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitoring, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the mmucalc) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated

Inter-observer variability in contouring the penile bulb on CT images for prostate cancer treatment planning

Several investigations have recently suggested the existence of a correlation between the dose received by the penile bulb (PB) and the risk of erectile dysfunction (ED) after radical radiotherapy for clinically localized prostate carcinoma

Multiple Changes in Peptide and Lipid Expression Associated with Regeneration in the Nervous System of the Medicinal Leech

peer reviewe

Defining motility in the Staphylococci

The ability of bacteria to move is critical for their survival in diverse environments and multiple ways have evolved to achieve this. Two forms of motility have recently been described for Staphylococcus aureus, an organism previously considered to be non-motile. One form is called spreading, which is a type of sliding motility and the second form involves comet formation, which has many observable characteristics associated with gliding motility. Darting motility has also been observed in Staphylococcus epidermidis. This review describes how motility is defined and how we distinguish between passive and active motility. We discuss the characteristics of the various forms of Staphylococci motility, the molecular mechanisms involved and the potential future research directions

Inter-session, inter-tester and inter-site reproducibility of isometric trunk muscle strength measurements

The purpose of this study was to investigate the inter-session, inter-tester and inter-site reproducibility of trunk muscle strength scores in flexion, extension, lateral flexion and rotation. Ten healthy students were tested on four apparatus with a 7-10 day break between sessions. The first two sessions were identical while the other two differed either by the tester or by the site. Furthermore, 10 patients with chronic low back dysfunction (CLBD) were assessed with the four apparatus, once only. For all tests, CV ranged from 3.4% to 7.6% and from 3.9% to 8.1% in the inter-session and inter-tester studies, respectively (p > 0.05 except for inter-session reproducibility of trunk flexor strength). Peak torque (PT) was more variable from site to site with a CV ranging from 4.2% to 12.7%, particularly in extension and left lateral flexion (p < 0.05). No statistically significant difference in the strength ratios (flexion/extension, right/left lateral-flexion and right/left rotation) were found between sessions or testers (4.9% < CV < 9.7%). The inter-site reproducibility of ratios was lower. Comparison between the CLBD patients and the healthy subjects with regard to PT normalized to body weight indicated significantly decreased performance for the former except for flexion and rotation scores in males. We conclude that in the case of healthy subjects, inter-session and inter-tester trunk strength measurements derived from these devices are reproducible. The low inter-site reproducibility suggests that caution should be exercised when interpreting findings originating from different sites. The lower extension strength scores in CLBD patients test lends some validity to the system. However, further studies focusing on reproducibility and validity of this system in CLBD patients are critical before any conclusion regarding their clinical viability may be drawn