Service composition in stochastic settings

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing services to satisfy the requirements of the target service. The model of services and requirements used in most work is that of a finite state machine. This implies that the specification can either be satisfied or not, with no middle ground. This is a major drawback, since often an exact solution cannot be obtained. In this paper we study a simple stochastic model for service composition: we annotate the tar- get service with probabilities describing the likelihood of requesting each action in a state, and rewards for being able to execute actions. We show how to solve the resulting problem by solving a certain Markov Decision Process (MDP) derived from the service and requirement specifications. The solution to this MDP induces an orchestrator that coincides with the exact solution if a composition exists. Otherwise it provides an approximate solution that maximizes the expected sum of values of user requests that can be serviced. The model studied although simple shades light on composition in stochastic settings and indeed we discuss several possible extensions

The impact of peri-natal stress on psychosis risk: Results from the Bo-FEP incidence study

Objective: According to the gene-environment interaction model the pathogenesis of psychosis relies on an adverse neuro-socio-developmental pathway. Perinatal stress represents an important risk factor for the development of psychosis because of the increasingly evident interference with socio-neuro-development in the earlier phases of life. We aim to investigate the correlation of perinatal risk factors with the onset of psychosis with a case-control-incidence study. Results: Patients (and their mothers) were eligible if they presented with first-episode psychosis at the Bologna West Community Mental Health Centre (Bo-West CMHC) between 2002 and 2012. The Bo-West CMHC serves a catchment area of about 200,000 people. The controls were recruited in the same catchment area and study period. 42 patients, 26 controls and their mothers were included. We collected the history of peri-natal stress and calculated crude and adjusted Odds Ratios for onset of first-episode psychosis. Adjusted logistic regression showed that psychosis onset was significantly associated with stressful situations during pregnancy, lower level of maternal physical health before or during pregnancy, use of anti-inflammatory drugs during pregnancy, and low level of maternal education. The results of our study suggest that stress during perinatal period increases the risk of developing psychosis

Architects of time: Labouring on digital futures

Drawing on critical analyses of the internet inspired by Gilles Deleuze and the Marxist autonomia movement, this paper suggests a way of understanding the impact of the internet and digital culture on identity and social forms through a consideration of the relationship between controls exercised through the internet, new subjectivities constituted through its use and new labour practices enabled by it. Following Castells, we can see that the distinction between user, consumer and producer is becoming blurred and free labour is being provided by users to corporations. The relationship between digital technologies and sense of community, through their relationship to the future, is considered for its dangers and potentials. It is proposed that the internet may be a useful tool for highlighting and enabling social connections if certain dangers can be traversed. Notably, current remedies for the lack of trust on the internet are questioned with an alternative, drawing on Zygmunt Bauman and Georg Simmel, proposed which is built on community through a vision of a ‘shared network’

Existential witness extraction in classical realizability and via a negative translation

We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS), 201

Anger and depressive ruminations as predictors of dysregulated behaviours in borderline personality disorder.

BACKGROUND: Anger and depressive ruminations have recently received empirical attention as processes related to borderline personality disorder (BPD). The Emotional Cascade Model (Selby, Anestis, & Joiner, 2008) suggests that negative affect (such as anger and sadness) may trigger rumination, which in turn may increase the duration and extent of negative affect, leading to dysregulated behaviours aimed at reducing such intense and unpleasant emotions. AIM: The aim of this study is to explore the relationships between emotional dysregulation, anger and depressive ruminations, and their role in predicting dysregulated behaviours (such as aggression and self-harm) in a clinical sample of patients with BPD. METHODS: Ninety-one patients with a diagnosis of BPD were recruited from three outpatient community mental health centres and asked to complete a comprehensive assessment for personality disorder symptoms, emotion dysregulation, anger and depressive ruminations, aggression, and self-harm. RESULTS: Anger and depressive ruminations were found to be significantly associated to, respectively, self-harm and aggression, beyond the variance accounted by emotional dysregulation. CONCLUSIONS: Rumination may act as a mediator between emotional dysregulation and dysregulated behaviours in BPD. Future research should examine whether clinical techniques aimed at reducing rumination may be helpful in reducing dysregulated behaviours in patients with BPD. "This is the pre-peer reviewed version of the following article: Martino, F., Caselli, G., Di Tommaso, J., Sassaroli, S., Spada, M.M ., Valenti, B., Berardi, D., Sasdelli, A and Menchetti, M (2017) Anger and depressive ruminations as predictors of dysregulated behaviours in borderline personality disorder. Clinical Psychology and Psychotherapy., which has been published in final form at 10.1002/cpp.2152 . This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving.

A critical analysis of building sustainability assessment methods for healthcare buildings

The healthcare building project contains different aspects from the most common projects. Designing a healthcare environment is based on a number of criteria related to the satisfaction and well-being of the professional working teams, patients and administrators. Mostly due to various design requirements, these buildings are rarely designed and operated in a sustainable way. Therefore, the sustainable development is a concept whose importance has grown significantly in the last decade in this sector. The worldwide economic crisis reinforces the growing environmental concerns as well as raising awareness among people to a necessary and inevitable shift in the values of their society. To support sustainable building design, several building sustainability assessment (BSA) methods are being developed worldwide. Since healthcare buildings are rather complex systems than other buildings, so specific methods were developed for them. These methods are aimed to support decision-making towards the introduction of the best sustainability practices during the design and operation phases of a healthcare environment. However, the comparison between the results of different methods is difficult, if not impossible, since they address different environmental, societal and economic criteria, and they emphasize different phases of the life cycle. Therefore, the aim of this study was to clarify the differences between the main BSA methods for healthcare buildings by analysing and categorizing them. Furthermore, the benefits of these methods in promoting a more sustainable environment will be analysed, and the current situation of them within the context of standardization of the concept sustainable construction will be discussed.The authors acknowledge the Portuguese Foundation for Science and Technology and POPH/FSE for the financial support for this study under the Reference SFRH/BD/77959/2011

Community owned solutions for fire management in tropical ecosystems:case studies from Indigenous communities of South America

Fire plays an increasingly significant role in tropical forest and savanna ecosystems, contributing to greenhouse gas emissions and impacting on biodiversity. Emerging research shows the potential role of Indigenous land use practices for controlling deforestation and reducing CO2 emissions. Analysis of satellite imagery suggests that Indigenous lands have the lowest incidence of wildfires, significantly contributing to maintaining carbon stocks and enhancing biodiversity. Yet, acknowledgement of Indigenous peoples’ role in fire management and control is limited, and in many cases dismissed, especially in policy-making circles. In this paper, we review existing data on Indigenous fire management and impact, focusing on examples from tropical forest and savanna ecosystems in Venezuela, Brazil and Guyana. We highlight how the complexities of community owned solutions for fire management are being lost as well as undermined by continued efforts on fire suppression and firefighting, and emerging approaches to incorporate Indigenous fire management into market, incentive-based for climate change mitigation. Our aim is to build a case for supporting Indigenous fire practices within all scales of decision-making by strengthening Indigenous knowledge systems to ensure more effective and sustainable fire management

An ontology-based framework for describing discoverable data services

Data-services are applications in charge of retrieving certain data when they are called. They are found in different communities such as the Internet Of Things, Cloud Computing, Big Data, etc. So, there is a real need to discover how can an application that requires some data automatically find a data-service which is providing it. To our knowledge, the problem of automatically discovering these data-services is still open. To make a step forward in this direction, we propose an ontology-based framework to address this problem. In our framework, input and output values of the request are mapped into concepts of the domain ontology. Then, data-services specify how to obtain the output from the input by stating the relationship between the mapped concepts of the ontology.Peer ReviewedPostprint (author's final draft