(S)-Reutericyclin: Susceptibility Testing and In Vivo Effect on Murine Fecal Microbiome and Volatile Organic Compounds

We aimed to assess the in vitro antimicrobial activity and the in vivo effect on the murine fecal microbiome and volatile organic compound (VOC) profile of (S)-reutericyclin. The antimicrobial activity of (S)-reutericyclin was tested against Clostridium difficile, Listeria monocytogenes, Escherichia coli, Enterococcus faecium, Staphylococcus aureus, Staphylococcus (S.) epidermidis, Streptococcus agalactiae, Pseudomonas aeruginosa and Propionibacterium acnes. Reutericyclin or water were gavage fed to male BALBc mice for 7 weeks. Thereafter stool samples underwent 16S based microbiome analysis and VOC analysis by gas chromatography mass spectrometry (GC-MS). (S)-reutericyclin inhibited growth of S. epidermidis only. Oral (S)-reutericyclin treatment caused a trend towards reduced alpha diversity. Beta diversity was significantly influenced by reutericyclin. Linear discriminant analysis Effect Size (LEfSe) analysis showed an increase of Streptococcus and Muribaculum as well as a decrease of butyrate producing Ruminoclostridium, Roseburia and Eubacterium in the reutericyclin group. VOC analysis revealed significant increases of pentane and heptane and decreases of 2,3-butanedione and 2-heptanone in reutericyclin animals. The antimicrobial activity of (S)-reutericyclin differs from reports of (R)-reutericyclin with inhibitory effects on a multitude of Gram-positive bacteria reported in the literature. In vivo (S)-reutericyclin treatment led to a microbiome shift towards dysbiosis and distinct alterations of the fecal VOC profile.     

Geo-located image categorization and location recognition

Image categorization is undoubtedly one of the most recent and challenging problems faced in Computer Vision. The scientific literature is plenty of methods more or less efficient and dedicated to a specific class of images; further, commercial systems are also going to be advertised in the market. Nowadays, additional data can also be attached to the images, enriching its semantic interpretation beyond the pure appearance. This is the case of geo-location data that contain information about the geographical place where an image has been acquired. This data allow, if not require, a different management of the images, for instance, to the purpose of easy retrieval from a repository, or of identifying the geographical place of an unknown picture, given a geo-referenced image repository. This paper constitutes a first step in this sense, presenting a method for geo-referenced image categorization, and for the recognition of the geographical location of an image without such information available. The solutions presented are based on robust pattern recognition techniques, such as the probabilistic Latent Semantic Analysis, the Mean Shift clustering and the Support Vector Machines. Experiments have been carried out on a couple of geographical image databases: results are actually very promising, opening new interesting challenges and applications in this research field. The article is published in the original. Marco Cristani received the Laurea degree in 2002 and the Ph.D. degree in 2006, both in Computer Science from the University of Verona, Verona, Italy. He was a visiting Ph.D. student at the Computer Vision Lab, Institute for Robotics and Intelligent Systems School of Engineering (IRIS), University of Southern California, Los Angeles, in 2004–2005. He is now an Assistant Professor with the Department of Computer Science, University of Verona, working with the Vision, Image Processing and Sounds (VIPS) Lab. His main research interests include statistical pattern recognition, generative modeling via graphical models, and non-parametric data fusion techniques, with applications on surveillance, segmentation and image and video retrieval. He is the author of several papers in the above subjects and a reviewer for several international conferences and journals. Alessandro Perina received the BD and MS degrees in Information Technologies and Intelligent and Multimedia Systems from the University of Verona, Verona, Italy, in 2004 and 2006, respectively. He is currently a Ph.D. candidate in the Computer Science Department at the University of Verona. His research interests include computer vision, machine learning and pattern recognition. He is a student member of the IEEE. Umberto Castellani is Ricercatore (i.e., Research Assistant) of Department of Computer Science at University of Verona. He received his Dottorato di Ricerca (Ph.D.) in Computer Science from the University of Verona in 2003 working on 3D data modelling and reconstruction. During his Ph.D., he had been Visiting Research Fellow at the Machine Vision Unit of the Edinburgh University, in 2001. In 2007 he has been an Invited Professor for two months at the LASMEA laboratory in Clermont-Ferrand, France. In 2008, he has been Visiting Researcher for two months at the PRIP laboratory of the Michigan State University (USA). His main research interests concern the processing of 3D data coming from different acquisition systems such as 3D models from 3D scanners, acoustic images for the vision in underwater environment, and MRI scans for biomedical applications. The addressed methodologies are focused on the intersections among Machine Learning, Computer Vision and Computer Graphics. Vittorio Murino received the Laurea degree in electronic engineering in 1989 and the Ph.D. degree in electronic engineering and computer science in 1993, both from the University of Genoa, Genoa, Italy. He is a Full Professor with the Department of Computer Science, University of Verona. From 1993 to 1995, he was a Postdoctoral Fellow in the Signal Processing and Understanding Group, Department of Biophysical and electronic Engineering, University of Genoa, where he supervised of research activities on image processing for object recognition and pattern classification in underwater environments. From 1995 to 1998, he was an Assistant Professor of the Department of Mathematics and Computer Science, University of Udine, Udine, Italy. Since 1998, he has been with the University of Verona, where he founded and is responsible for the Vision, Image processing, and Sound (VIPS) Laboratory. He is scientifically responsible for several national and European projects and is an Evaluator for the European Commission of research project proposals related to different scientific programmes and frameworks. His main research interests include computer vision and pattern recognition, probabilistic techniques for image and video processing, and methods for integrating graphics and vision. He is author or co-author of more than 150 papers published in refereed journals and international conferences. Dr. Murino is a referee for several international journals, a member of the technical committees for several conferences (ECCV, ICPR, ICIP), and a member of the editorial board of Pattern Recognition, IEEE Transactions on Systems, Man, and Cybernetics, Pattern Analysis and Applications and Electronic Letters on Computer Vision and Image Analysis (ELCVIA). He was the promotor and Guest Editor off our special issues of Pattern Recognition and is a Fellow of the IAPR.     

Preface: Volume 16, Issue 2

This volume contains the Proceedings of the fifth EXPRESS workshop. The workshop was held in Nice, France, on 7 September 1998, as a satellite event to CONCUR '98.The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power.These workshops were originally held as meetings of the HCM project EXPRESS, which has been active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco de Nicola), and Dagstuhl (1996, chaired by Ursula Goltz, Frits Vaandrager and Rocco de Nicola). The fourth workshop, which took place in Santa Margherita Ligure in 1997 and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. The fifth workshop, EXPRESS '98, was again organised as a (one day) conference, and was also meant as an occasion to discuss on the inheritance of the Express project and possible directions of future research. We had 17 submissions, out of which we selected 7 for inclusion in these proceedings (41%). Additionally, this collection contains the contribution of the two invited speakers, Matthew Hennessy (University of Sussex, UK) and P.S. Thiagarajan (SPIC Mathematical Institute, IN).We would like to thank the authors of the submitted papers, the invited speakers, and the members of the program committee for their contribution to both the meeting and this volume. We also would like to thank INRIA for their help with the local organization, and Michael Mislove for his help with the editing of the proceedings.

EXPRESS '98 Programme Committee
Ilaria Castellani (co-chair, INRIA)	Catuscia Palamidessi (co-chair, PSU)
Luca Aceto (Aalborg Univ.)	Roberto Amadio (Univ. Marseille)
Eike Best (Oldenburg Univ.)	Steve Brookes (CMU)
Philippe Darondeau (INRIA)	Rocco De Nicola (Univ. Firenze)
Jan Willem Klop (CWI)	Patrick Lincoln (SRI)
Frits Vaandrager (Nijmegen Univ.)	Glynn Winskel (Aarhus Univ.)

Full-size table

17 October 1998, Ilaria Castellani and Catuscia Palamidessi     

Self-adaptation and secure information flow in multiparty communications

We present a comprehensive model of structured communications in which self-adaptation and security concerns are jointly addressed. More specifically, we propose a model of multiparty, self-adaptive communications with access control and secure information flow guarantees. In our model, multiparty protocols (choreographies) are described as global types; security violations occur when process implementations of protocol participants attempt to read or write messages of inappropriate security levels within directed exchanges. Such violations trigger adaptation mechanisms that prevent the violations to occur and/or to propagate their effect in the choreography. Our model is equipped with local and global adaptation mechanisms for reacting to security violations of different gravity; type soundness results ensure that the overall multiparty protocol is still correctly executed while the system adapts itself to preserve the participants’ security.     

Expression of high-molecular-mass neurofilament protein in horse (Equus caballus) spinal ganglion neurons

Spinal ganglion (SG) neurons are subdivided, on the basis of their cytoplasmic aspect at light and electron microscopy, into dark (D) and light (L) neurons. Numerous efforts have been made to find specific markers able to identify D and L neuronal cytotypes. The isolectin B4 (IB4), utilized to identify nonpeptidergic D neurons in mice, unfortunately, has not proved as effective in other species. The 200-kDa neurofilament protein (NF200) is considered as a typical marker of L neurons in the rat, cat, and chick. The aim of this study was to analyze the histological, morphometric, and neurochemical characteristic of NF200-immunoreactive (IR) horse SG neurons, to better characterize them morphologically and functionally. NF200-IR neurons showed two levels (strong and weak) of staining intensity. Most (84%) strongly stained NF200-IR neurons corresponded to L neurons, and showed similar bimodality as in the size distribution study, which seems to indicate a third population of neurons, in addition to the two populations (small and large) previously identified. In triple-staining experiments where NF200 was colocalized with IB4, substance P (SP), and neuronal nitric oxide synthase (nNOS) neuronal markers, most NF200-IR neurons were single stained. On the contrary, most IB4-, SP-, and nNOS-stained neurons were triple labeled and almost equally subdivided between strong and weak NF200-IR with the latter being always smaller in size than strong NF200-IR neurons. In conclusion, horse SG neurons display significant morphometric and neurochemical differences compared with those of rodents.     

Current Correlations in Strongly Disordered Superconductors

We calculate the current response to a static vector potential in disordered superconductors. In contrast to standard BCS theory which violates gauge invariance, it is important here to incorporate the coupling to phase fluctuations in order to obey charge conservation. At strong disorder, where the system breaks up into superconducting islands, the superfluid stiffness is determined by percolative current paths which form via a ‘constriction’ process from the homogeneous situation.     

The L467F-F508del Complex Allele Hampers Pharmacological Rescue of Mutant CFTR by Elexacaftor/Tezacaftor/Ivacaftor in Cystic Fibrosis Patients: The Value of the Ex Vivo Nasal Epithelial Model to Address Non-Responders to CFTR-Modulating Drugs

Loss-of-function mutations of the CFTR gene cause cystic fibrosis (CF) through a variety of molecular mechanisms involving altered expression, trafficking, and/or activity of the CFTR chloride channel. The most frequent mutation among CF patients, F508del, causes multiple defects that can be, however, overcome by a combination of three pharmacological agents that improve CFTR channel trafficking and gating, namely, elexacaftor, tezacaftor, and ivacaftor. This study was prompted by the evidence of two CF patients, compound heterozygous for F508del and a minimal function variant, who failed to obtain any beneficial effects following treatment with the triple drug combination. Functional studies on nasal epithelia generated in vitro from these patients confirmed the lack of response to pharmacological treatment. Molecular characterization highlighted the presence of an additional amino acid substitution, L467F, in cis with the F508del variant, demonstrating that both patients were carriers of a complex allele. Functional and biochemical assays in heterologous expression systems demonstrated that the double mutant L467F-F508del has a severely reduced activity, with negligible rescue by CFTR modulators. While further studies are needed to investigate the actual prevalence of the L467F-F508del allele, our results suggest that this complex allele should be taken into consideration as plausible cause in CF patients not responding to CFTR modulators.     

Theoretical studies of CO adsorption and dissociation on Ru in presence of Cl or MoO x

Using the extended Hückel molecular orbital method we studied the adsorption and dissociation of CO over a Ru cluster with Cl or MoO preadsorbed onto it. Previous experimental information oriented us to think that the remaining Cl present in Ru/SiO₂ and RuMo/SiO₂ catalysts could influence their chemisorptive and catalytic properties. On this basis our theoretical model explains the observed activity and selectivity during the CO + H₂ reaction, that is, Cl decreases the adsorption of CO and hinders its dissociation. This could lead to the appearance of methanol as a synthesis product. On the other hand, our theoretical calculations indicate that the presence of MoO on top of the Ru cluster favors the adsorption of CO parallel to the cluster surface. They also predict an energy barrier for its dissociation which is interpreted in terms of the possible insertion of this CO molecule into a metal-methyl bond thereby forming the ethanol precursor.     

Individual monitoring for internal exposure in Europe and the integration of dosimetric data

The European Radiation Dosimetry Group, EURADOS, established a working group consisting of experts whose aim is to assist in the process of harmonisation of individual monitoring as part of the protection of occupationally exposed workers. A catalogue of facilities and internal dosimetric techniques related to individual monitoring in Europe has been completed as a result of this EURADOS study. A questionnaire was sent in 2002 to services requesting information on various topics including type of exposures, techniques used for direct and indirect measurements including calibration and sensitivity data and the methods employed for the assessment of internal doses. Information relating to Quality Control procedures for direct and indirect measurements, Quality Assurance Programmes in the facilities and legal requirements for "approved dosimetric services" were also considered. A total of 71 completed questionnaires were returned by internal dosimetry facilities in 26 countries. This results in an overview of the actual status of the processes used in internal exposure estimation in Europe. In many ways harmonisation is a reality in internal dose assessments, especially when taking into account the measurements of the activity retained or excreted from the body. However, a future study detailing the estimation of minimum detectable activity in the laboratories is highly recommended. Points to focus on in future harmonisation activities are as follows: the process of calculation of doses from measured activity, establishment of guidelines, similar dosimetric tools and application of the same ICRP recommendations. This would lead to a better and more harmonised approach to the estimation of internal exposures in all European facilities.     

Lessons learned from interlaboratory comparisons of bioassay data interpretation

When a set of bioassay data is given to two different dosimetrists, it is likely that these data will be interpreted differently, that different methods and dosimetric models will be applied and therefore different numerical values will be obtained. Thus, it is important for laboratories dealing with internal dosimetry to undergo performance testing procedures such as interlaboratory comparisons of bioassay data interpretation. Several intercomparison exercises have already been organised at national and international levels. The largest one so far was the 3rd European Intercomparison Exercise on Internal Dose Assessment, which has been organised in the framework of the EULEP/EURADOS Action Group, 'Derivation of parameter values for application to the new model of the human respiratory tract for occupational exposure'. The most important lesson learned from these intercomparison exercises was the need to develop agreed guidelines for internal dose evaluation procedures to promote harmonisation of assessments between organisations and countries.