Specifying and Analysing SOC Applications with COWS

COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above

Rapporteur summaries of plenary, symposia, and oral sessions from the XXIIIrd World Congress of Psychiatric Genetics Meeting in Toronto, Canada, 16-20 October 2015

The XXIIIrd World Congress of Psychiatric Genetics meeting, sponsored by the International Society of Psychiatric Genetics, was held in Toronto, ON, Canada, on 16-20 October 2015. Approximately 700 participants attended to discuss the latest state-of-the-art findings in this rapidly advancing and evolving field. The following report was written by trainee travel awardees. Each was assigned one session as a rapporteur. This manuscript represents the highlights and topics that were covered in the plenary sessions, symposia, and oral sessions during the conference, and contains major notable and new findings. © 2016 Wolters Kluwer Health, Inc

Management of bacterial speck of tomato in greenhouses under four individual polythene glazing materials

Most electromagnetic radiation can be detrimental to living organisms, especially for microorganisms. UV radiation is used as a strategy for microbial control to eliminate plant pathogens. The most effective wavelength for UV radiation is 250-260 nm (253.7 nm), as this wavelength is absorbed most efficiently by DNA. The tomato bacterial speck disease agent, Pseudomonas syringae pv. tomato, causes severe damage in nurseries, commercial greenhouses and several regions with highly rainy summers. In this study, the effects of four individual polythene (PE) glazing materials used in greenhouses for bacterial speck disease management were investigated. The study was performed from January to June 2015. Bacterial inoculum was sprayed onto 1-m-tall tomato plants and disease development was monitored. Disease severity was scored according to speck symptoms on the leaves using a 0-5 scale. Disease severity ranged from 22-33% in the four greenhouses. The most successful PE glazing, with enhanced red/infrared radiation, reduced disease development by 32.5%. This latter treatment was also analyzed in different statistical groups using ANOVA statistics. PE glazing with different UV transmittance filtering reduced disease symptoms by up to 9.20%, statistically significantly different. However, disease severity was high, up to 32%, in PE glazing with no UV radiation transmittance and in traditional PE glazing greenhouses. © 2018 International Society for Horticultural Science. All rights reserved.Firat University Scientific Research Projects Management Unit: FYL-2015-4634 213O204This study was supported financially by the Scientific and Technological Research Council of Turkey (project number 213O204) and Cukurova University Scientific Research Projects (project number FYL-2015-4634)