A Calculus for Orchestration of Web Services

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages

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

Personal Safety Culture: A New Measure for General Aviation Pilots

Safety culture has been a subject of research for over three decades and is now widely accepted as a critical component of organizational safety programs both domestically and internationally. Through the development of a healthy safety culture, aviation organizations can improve safety processes, reduce mishaps, and mitigate risk more effectively. This is done through the holistic team efforts of an organization’s members and the organization’s leadership. How about aviators who are not part of an organization? Is it possible to identify a personal safety culture defined outside of the traditional organization? And, is it possible to create an instrument allowing pilots to conduct a self-assessment of their personal safety culture? The current research seeks to address these questions by developing such an instrument to measure personal safety culture in General Aviation pilots. The first version of the instrument was developed using resources from prior research studies and a literature review of over 160 publications. It was initially sent to experts in civilian aviation, academia and military sectors who conducted face validity assessments. Once revised, the instrument was tested using a sample drawn from a large southeastern university in the United States. All pilots were required to hold at least a private pilot certificate. A factor analysis conducted on the results of the preliminary study indicate factors that account for a significant amount of the variance in the model. These results are presented with recommendations for application of the self-assessment and thoughts on future research

Assessing kinetic fractionation in brachiopod calcite usingclumped isotopes

Brachiopod shells are the most widely used geological archive for the reconstruction of the temperature and the oxygen isotope composition of Phanerozoic seawater. However, it is not conclusive whether brachiopods precipitate their shells in thermodynamic equilibrium. In this study, we investigated the potential impact of kinetic controls on the isotope composition of modern brachiopods by measuring the oxygen and clumped isotope compositions of their shells. Our results show that clumped and oxygen isotope compositions depart from thermodynamic equilibrium due to growth rate-induced kinetic effects. These departures are in line with incomplete hydration and hydroxylation of dissolved CO2. These findings imply that the determination of taxon-specific growth rates alongside clumped and bulk oxygen isotope analyses is essential to ensure accurate estimates of past ocean temperatures and seawater oxygen isotope compositions from brachiopods

With or without force? : European public opinion on democracy promotion

A Large part of the education provided at colleges and universities of today requires for thestudent to be more independent in their studies. This demands that the physical space,where the students choose to study, is designed in a way that can encourage and supportlearning. It seems as though that many of the learning spaces of today don’t always meetthe students’ needs. The university library at the University of Umeå is currently planningto design new learning spaces for the students. The aim of this study is to examine how thephysical learning space can be designed to engage and encourage the students in theirlearning process. Based on literature describing learning spaces we have initially identified three mainareas to examine- Learning, Information Technology and Learning space design. Theseareas are all important features in the design of new learning spaces. With informationdrawn from that literature we conducted an empirical study at the library of the Universityof Umeå. The empirical study was carried out through observations and focus groupinterviews. To give us more insight about the students’ thoughts about the learning spacewe also compared our findings with a survey conducted by the library personnel in 2008and 2010. The result of our study shows that there are some areas to be improved in theexisting learning space. The students are working more collaboratively which requiresmore group areas. Our study also shows that flexibility, more student interaction and asocial and engaging environment are all important features in the design of new learningspaces

Studying Parton Energy Loss in Heavy-Ion Collisions via Direct-Photon and Charged-Particle Azimuthal Correlations

Charged-particle spectra associated with direct photon ($\gamma_{dir}$) and $\pi^0$ are measured in $p$+$p$ and Au+Au collisions at center-of-mass energy $\sqrt{s_{_{NN}}}=200$ GeV with the STAR detector at RHIC. A hower-shape analysis is used to partially discriminate between $\gamma_{dir}$ and $\pi^0$. Assuming no associated charged particles in the $\gamma_{dir}$ direction (near side) and small contribution from fragmentation photons ($\gamma_{frag}$), the associated charged-particle yields opposite to $\gamma_{dir}$ (away side) are extracted. At mid-rapidity ($|\eta|<0.9$) in central Au+Au collisions, charged-particle yields associated with $\gamma_{dir}$ and $\pi^0$ at high transverse momentum ($8< p_{T}^{trig}<16$ GeV/$c$) are suppressed by a factor of 3-5 compared with $p$ + $p$ collisions. The observed suppression of the associated charged particles, in the kinematic range $|\eta|<1$ and $3< p_{T}^{assoc} < 16$ GeV/$c$, is similar for $\gamma_{dir}$ and $\pi^0$, and independent of the $\gamma_{dir}$ energy within uncertainties. These measurements indicate that the parton energy loss, in the covered kinematic range, is insensitive to the parton path length.Comment: submitted to Phys. Rev. Lett, 6 pages, 4 figure

Observation of charge-dependent azimuthal correlations and possible local strong parity violation in heavy ion collisions

Parity-odd domains, corresponding to non-trivial topological solutions of the QCD vacuum, might be created during relativistic heavy-ion collisions. These domains are predicted to lead to charge separation of quarks along the orbital momentum of the system created in non-central collisions. To study this effect, we investigate a three particle mixed harmonics azimuthal correlator which is a \P-even observable, but directly sensitive to the charge separation effect. We report measurements of this observable using the STAR detector in Au+Au and Cu+Cu collisions at $\sqrt{s_{NN}}$=200 and 62~GeV. The results are presented as a function of collision centrality, particle separation in rapidity, and particle transverse momentum. A signal consistent with several of the theoretical expectations is detected in all four data sets. We compare our results to the predictions of existing event generators, and discuss in detail possible contributions from other effects that are not related to parity violation.Comment: 17 pages, 14 figures, as accepted for publication in Physical Review C

Longitudinal Spin Transfer to Λ\Lambda and Λˉ\bar{\Lambda} Hyperons in Polarized Proton-Proton Collisions at s\sqrt{s} = 200 GeV

The longitudinal spin transfer, $D_{LL}$, from high energy polarized protons to $\Lambda$ and $\bar{\Lambda}$ hyperons has been measured for the first time in proton-proton collisions at $\sqrt{s} = 200 \mathrm{GeV}$ with the STAR detector at RHIC. The measurements cover pseudorapidity, $\eta$, in the range $|\eta| < 1.2$ and transverse momenta, $p_\mathrm{T}$, up to $4 \mathrm{GeV}/c$. The longitudinal spin transfer is found to be $D_{LL}= -0.03\pm 0.13(\mathrm{stat}) \pm 0.04(\mathrm{syst})$ for inclusive $\Lambda$ and $D_{LL} = -0.12 \pm 0.08(\mathrm{stat}) \pm 0.03(\mathrm{syst})$ for inclusive $\bar{\Lambda}$ hyperons with $= 0.5$ and $= 3.7 \mathrm{GeV}/c$. The dependence on $\eta$ and $p_\mathrm{T}$ is presented.Comment: 5 pages, 4 figure

An Experimental Exploration of the QCD Phase Diagram: The Search for the Critical Point and the Onset of De-confinement

The QCD phase diagram lies at the heart of what the RHIC Physics Program is all about. While RHIC has been operating very successfully at or close to its maximum energy for almost a decade, it has become clear that this collider can also be operated at lower energies down to 5 GeV without extensive upgrades. An exploration of the full region of beam energies available at the RHIC facility is imperative. The STAR detector, due to its large uniform acceptance and excellent particle identification capabilities, is uniquely positioned to carry out this program in depth and detail. The first exploratory beam energy scan (BES) run at RHIC took place in 2010 (Run 10), since several STAR upgrades, most importantly a full barrel Time of Flight detector, are now completed which add new capabilities important for the interesting physics at BES energies. In this document we discuss current proposed measurements, with estimations of the accuracy of the measurements given an assumed event count at each beam energy.Comment: 59 pages, 78 figure