Non-interference for deterministic interactive programs

We consider the problem of defining an appropriate notion of non-interference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O'Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms of strategies modelling the behaviour of users. We show that, for deterministic interactive programs, it is not necessary to consider strategies and that a simple stream model of the users' behaviour is sufficient. The key technical result is that, for deterministic programs, stream-based NI implies the apparently more general strategy-based NI (in fact we consider a wider class of strategies than those of O'Neill et al). We give our results in terms of a simple notion of Input-Output Labelled Transition System, thus allowing application of the results to a large class of deterministic interactive programming languages

Effect of external force and bimanual operation on upper limb pose during human-robot collaboration

During physical Human-Robot Interaction (pHRI) in industrial applications such as human-robot collaborative abrasive blasting, the operator often interacts with the robot using two hands, exchanging forces through handle bars. For the robot to provide appropriate assistance to the operator and for safe interaction, it would be benefficial for the robot to know the pose of the user. This problem is often challenging due to environmental factors, limited sensing capability in the environment and the robot, and redundancy of the human upper-limb. This paper presents experimental study on how two-hand interaction and force exchange affect the operators upper-limb pose, which can be characterized by swivel angle. The poses of ten subjects were recorded as they interacted with a collaborative robot. Differences in the adopted upper limb pose were analyzed with respect to factors such as unimanual versus bimanual operation, and the amplitude of interaction force between an operator and the robot. The results discovered that the the effect of bimanual operation on the upper limb pose differs between individuals and the magnitude of the force had a varying effect on the pose. The requirement of applying a force forward produced an overall lower swivel angle

Notes on the carpet beetle Attagenus lobatus in Italy

Morphological, distributional and eco-ethological data on the carpet beetle Attagenus lobatus Rosenhauer (Coleoptera Dermestidae) are reported, based on original observations. A. lobatus is a household and stored product species with a primarily Palaearctic distribution, secondarily Holarctic due to passive dispersion by man. This species is not very common in temperate climates and is here recorded for the first time in northern Italy

Bigraphical modelling of architectural patterns

Selected for publication in FACS'2011 post-proceedings, to appear in Springer Lecture Notes in Computer ScienceArchery is a language for behavioural modelling of architectural patterns, supporting hierarchical composition and a type discipline. This paper extends Archery to cope with the patterns' structural dimension through a set of (re-)configuration combinators and constraints that all instances of a pattern must obey. Both types and instances of architectural patterns are semantically represented as bigraphical reactive systems and operations upon them as reaction rules. Such a bigraphical semantics provides a rigorous model for Archery patterns and reduces constraint verification in architectures to a type-checking problem.(undefined

Colostrum from cows immunized with a veterinary vaccine against bovine rotavirus displays enhanced in vitro anti-human rotavirus activity

Human rotaviruses represent a major cause of severe diarrheal disease in infants and young children. The limited impact of oral vaccines on global estimates of rotavirus mortality and the suboptimal use of oral rehydration justify the need for alternative prophylactic and therapeutic strategies, especially for immunocompromised hosts. The protective effects of colostrum\u2014the first milk produced during the initial 24 to 48 h after parturition\u2014are well documented in the literature. In particular, the ingestion of hyperimmune bovine colostrum has been proposed as an alternative preventive approach against human rotavirus gastroenteritis. Although the immunization of pregnant cows with human rotavirus boosts the release of specific immunoglobulin G in bovine colostrum, it raises regulatory and safety issues. In this study, we demonstrated that the conventional bovine rotavirus vaccine is sufficient to enhance the anti-human rotavirus protective efficacy of bovine colostrum, thus providing a conservative approach to produce hyperimmune bovine colostrum, making it exploitable as a functional food

Slug monitoring and impacts on the ground beetle community in the frame of sustainable pest control in conventional and conservation agroecosystems

In conservation agriculture, slugs are considered significant pests and their monitoring is a key option in the integrated pest management framework. Together with molluscicide applications, predators such as ground beetles can offer a tool for slug control in the field. Through the evaluation of slug and ground beetle monitoring strategies, this work compared their presence in conventional and conservation agricultural plots. The invasive Deroceras invadens was the dominant slug species to occur in all sampling periods. Among Carabidae, Poecilus cupreus and Pterostichus melas were the most abundant species, and Bembidion spp., Brachinus spp., and Harpalus spp. were also common. Beer-baited pitfall traps, whatever their alcoholic content, caught more slugs and ground beetles than wooden boards used as shelters. Slugs were more abundant in conventional plots than in conservation plots, possibly due to the lower presence of natural enemies such as ground beetles. Despite possible impacts on Carabidae, beer-baited pitfall traps should be considered a useful tool for slug monitoring and for the planning of molluscicide applications. Soil management such as minimum-or no-tillage and the presence of cover crops are important elements influencing both slug and ground beetle presence, possibly playing a key role in the maintenance of natural enemy populations

PP271—Novel therapeutic strategy to prevent chemotherapy-induced persistent sensory neuropathy by TRPA1 blockade

n/

Olea europea L. Leaves and Hibiscus sabdariffa L. Petals Extracts: Herbal Mix from Cardiovascular Network Target to Gut Motility Dysfunction Application

It is well known that diet and nutrition play a critical role in the etiopathogenesis of many disorders. On the other hand, nutrients or bioactive compounds can specifically target and control various aspects of the mechanism underlying the pathology itself, and, in this context, diseases related to intestinal motility disorders stand out. The Herbal Mix (HM) consisting of Olea europea L. leaf (OEE) and Hibiscus sabdariffa L. (HSE) extracts (13:2) has been proven to be a promising nutraceutical option for many diseases, but its potential in inflammatory-driven gastrointestinal disorders is still unexplored. In this study, HM effects on guinea-pig ileum and colon contractility (induced or spontaneous) and on human iNOS activity, as well as on human colorectal adenocarcinoma Caco-2 cells, were studied. Results showed that the HM can control the ileum and colon contractility without blocking the progression of the food bolus, can selectively inhibit iNOS and possesses a strong pro-apoptotic activity towards Caco-2 cells. In conclusion, the present results suggest that, in some diseases, such as those related to motility disorders, an appropriate nutritional approach can be accompanied by a correct use of nutraceuticals that could help not only in ameliorating the symptoms but also in preventing more severe, cancer-related conditions

Impact of phytosterols on liver and distal colon metabolome in experimental murine colitis model: an explorative study

Phytosterols are known to reduce plasma cholesterol levels and thereby reduce cardiovascular risk. Studies conducted on human and animal models have demonstrated that these compounds have also anti-inflammatory effects. Recently, an experimental colitis model (dextran sulphate sodium-induced) has shown that pre-treatment with phytosterols decreases infiltration of inflammatory cells and accelerates mucosal healing. This study aims to understand the mechanism underlying the colitis by analysing the end-products of the metabolism in distal colon and liver excised from the same mice used in the previous work. In particular, an unsupervised gas chromatography-mass spectrometry (GC-MS) and NMR based metabolomics approach was employed to identify the metabolic pathways perturbed by the dextran sodium sulphate (DSS) insult (i.e. Krebs cycle, carbohydrate, amino acids, and nucleotide metabolism). Interestingly, phytosterols were able to restore the homeostatic equilibrium of the hepatic and colonic metabolome