Vegetal diamine oxidase alleviates histamine-induced contraction of colonic muscles

Excess of histamine in gut lumen generates a pronounced gastrointestinal discomfort, which may include diarrhea and peristalsis dysfunctions. Deleterious effects of histamine can be alleviated with antihistamine drugs targeting histamine receptors. However, many antihistamine agents come with various undesirable side effects. Vegetal diamine oxidase (vDAO) might be a relevant alternative owing to its histaminase activity. Mammalian intestinal mucosa contains an endogenous DAO, yet possessing lower activity compared to that of vDAO preparation. Moreover, in several pathological conditions such as inflammatory bowel disease and irritable bowel syndrome, this endogenous DAO enzyme can be lost or inactivated. Here, we tested the therapeutic potential of vDAO by focusing on the well-known effect of histamine on gut motility. Using ex vivo and in vitro assays, we found that vDAO is more potent than commercial anti-histamine drugs at inhibiting histamine-induced contraction of murine distal colon muscles. We also identified pyridoxal 5′-phosphate (the biologically active form of vitamin B6) as an effective enhancer of vDAO antispasmodic activity. Furthermore, we discovered that rectally administered vDAO can be retained on gut mucosa and remain active. These observations make administration of vDAO in the gut lumen a valid alternative treatment for histamine-induced intestinal dysfunctions

Black Sea coastal forecasting system

The Black Sea coastal nowcasting and forecasting system was built within the framework of EU FP6 ECOOP (European COastalshelf sea OPerational observing and forecasting system) project for five regions: the south-western basin along the coasts of Bulgaria and Turkey, the north-western shelf along the Romanian and Ukrainian coasts, coastal zone around of the Crimea peninsula, the north-eastern Russian coastal zone and the coastal zone of Georgia. The system operates in the real-time mode during the ECOOP project and afterwards. The forecasts include temperature, salinity and current velocity fields. Ecosystem model operates in the off-line mode near the Crimea coast

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Microscopic dynamics in liquid metals: the experimental point of view

The experimental results relevant for the understanding of the microscopic dynamics in liquid metals are reviewed, with special regards to the ones achieved in the last two decades. Inelastic Neutron Scattering played a major role since the development of neutron facilities in the sixties. The last ten years, however, saw the development of third generation radiation sources, which opened the possibility of performing Inelastic Scattering with X rays, thus disclosing previously unaccessible energy-momentum regions. The purely coherent response of X rays, moreover, combined with the mixed coherent/incoherent response typical of neutron scattering, provides enormous potentialities to disentangle aspects related to the collectivity of motion from the single particle dynamics. If the last twenty years saw major experimental developments, on the theoretical side fresh ideas came up to the side of the most traditional and established theories. Beside the raw experimental results, therefore, we review models and theoretical approaches for the description of microscopic dynamics over different length-scales, from the hydrodynamic region down to the single particle regime, walking the perilous and sometimes uncharted path of the generalized hydrodynamics extension. Approaches peculiar of conductive systems, based on the ionic plasma theory, are also considered, as well as kinetic and mode coupling theory applied to hard sphere systems, which turn out to mimic with remarkable detail the atomic dynamics of liquid metals. Finally, cutting edges issues and open problems, such as the ultimate origin of the anomalous acoustic dispersion or the relevance of transport properties of a conductive systems in ruling the ionic dynamic structure factor are discussed.Comment: 53 pages, 41 figures, to appear in "The Review of Modern Physics". Tentatively scheduled for July issu

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World

International audienceThe modularity offered by component-based systems made it one of the most employed paradigms in software engineering. Precise structural specification is a key ingredient that enables their verification and consequently their reliability. This gains special relevance for reconfigurable component-based systems. To this end, the Grid Component Model (GCM) provides all the means to define such reconfigurable component-based applications. In this paper we report our experience on the formal specification and verification of a reconfigurable GCM application as an industrial case study

Asynchronous Testing of Synchronous Components in GALS Systems

International audienceGALS (Globally Asynchronous Locally Synchronous) systems, such as the Internet of Things or autonomous cars, integrate reactive synchronous components that interact asynchronously. The complexity induced by combining synchronous and asynchronous aspects makes GALS systems difficult to develop and debug. Ensuring their functional correctness and reliability requires rigorous design methodologies, based on formal methods and assisted by validation tools. In this paper we propose a testing methodology for GALS systems integrating: (1) synchronous and asynchronous concurrent models; (2) functional unit testing and behavioral conformance testing; and (3) various formal methods and their tool equipments. We leverage the conformance test generation for asynchronous systems to automatically derive realistic scenarios (input constraints and oracle), which are necessary ingredients for the unit testing of individual synchronous components, and are difficult and error-prone to design manually. We illustrate our approach on a simple, but relevant example inspired by autonomous cars

A unifying perspective on protocol mediation: interoperability in the Future Internet

Given the highly dynamic and extremely heterogeneous software systems composing the Future Internet, automatically achieving interoperability between software components —without modifying them— is more than simply desirable, it is quickly becoming a necessity. Although much work has been carried out on interoperability, existing solutions have not fully succeeded in keeping pace with the increasing complexity and heterogeneity of modern software, and meeting the demands of runtime support. On the one hand, solutions at the application layer target higher automation and loose coupling through the synthesis of intermediary entities, mediators, to compensate for the differences between the interfaces of components and coordinate their behaviours, while assuming the use of the same middleware solution. On the other hand, solutions to interoperability across heterogeneous middleware technologies do not reconcile the differences between components at the application layer. In this paper we propose a unified approach for achieving interoperability between heterogeneous software components with compatible functionalities across the application and middleware layers. First, we provide a solution to automatically generate cross-layer parsers and composers that abstract network messages into a uniform representation independent of the middleware used. Second, these generated parsers and composers are integrated within a mediation framework to support the deployment of the mediators synthesised at the application layer. More specifically, the generated parser analyses the network messages received from one component and transforms them into a representation that can be understood by the application-level mediator. Then, the application-level mediator performs the necessary data conversion and behavioural coordination. Finally, the composer transforms the representation produced by the application-level mediator into network messages that can be sent to the other component. The resulting unified mediation framework reconciles the differences between software components from the application down to the middleware layers. We validate our approach through a case study in the area of conference management

Obstacles and opportunities in the functionalanalysis of extracellular vesicle RNA – an ISEVposition paper

The release of RNA-containing extracellular vesicles (EV) into the extracellular milieu has been demonstrated in a multitude of different in vitro cell systems and in a variety of body fluids. RNA-containing EV are in the limelight for their capacity to communicate genetically encoded messages to other cells, their suitability as candidate biomarkers for diseases, and their use as therapeutic agents. Although EV-RNA has attracted enormous interest from basic researchers, clinicians, and industry, we currently have limited knowledge on which mechanisms drive and regulate RNA incorporation into EV and on how RNA-encoded messages affect signalling processes in EV-targeted cells. Moreover, EV-RNA research faces various technical challenges, such as standardisation of EV isolation methods, optimisation of methodologies to isolate and characterise minute quantities of RNA found in EV, and development of approaches to demonstrate functional transfer of EV-RNA in vivo. These topics were discussed at the 2015 EV-RNA workshop of the International Society for Extracellular Vesicles. This position paper was written by the participants of the workshop not only to give an overview of the current state of knowledge in the field, but also to clarify that our incomplete knowledge – of the nature of EV(-RNA)s and of how to effectively and reliably study them – currently prohibits the implementation of gold standards in EV-RNA research. In addition, this paper creates awareness of possibilities and limitations of currently used strategies to investigate EV-RNA and calls for caution in interpretation of the obtained data