Choreography Rehearsal ⋆

Abstract. We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised to handle event notification within the service choreography.

Heterodinuclear titanium/zinc catalysis: synthesis, characterization and activity for CO2/epoxide copolymerization and cyclic ester polymerization

The preparation of heterodinuclear complexes, especially those comprising early-late transition metals coordinated by a simple or symmetrical ancillary ligand, represents a fundamental challenge and an opportunity to prepare catalysts benefitting from synergic properties. Here, two new mixed titanium(IV)-zinc(II) complexes, [LTi(OiPr)2ZnEt] and[LTi(OiPr)2ZnPh], both coordinated by a diphenolate tetra(amine) macrocyclic ligand (L), are prepared. The synthesis benefits from the discovery that reaction of the ligand with a single equivalent of titanium tetrakis(iso-propoxide) allows the efficient formation of a mono-Ti(IV) complex, [LTi(OiPr)2]. All new complexes are characterized by a combination of single crystal X-ray diffraction, multinuclear NMR spectroscopy and mass spectrometry techniques. The two heterobimetallic complexes, [LTi(OiPr)2ZnEt] and [LTi(OiPr)2ZnPh], feature trianionic coordination by the macrocyclic ligand and bridging alkoxide groups coordinate to both the different metal centres. The heterodinuclear catalysts are compared to the mono-titanium analogue, [LTi(OiPr)2], in various polymerization reactions. In the alternating copolymerizations of carbon dioxide and cyclohexene oxide, the mono-titanium complex is totally inactive whilst the heterodinuclear complexes show moderate activity (TOF = 3 h-1); it should be noted the activity is measured using just 1 bar pressure of carbon dioxide. In the ring opening polymerization of lactide and ε-caprolactone, the mono-Ti(IV) complex is totally inactive whilst the heterodinuclear complexes show moderate-high activities, qualified by comparison to other known titanium polymerization catalysts (L-lactide, kobs = 11 x 10-4 s-1 at 70 °C, 1 M in [lactide]) and ε-caprolactone (kobs = 5 x 10-4 s-1 at 70 °C, 0.9 M in [ε-caprolactone])

Genetic determinants of heel bone properties: genome-wide association meta-analysis and replication in the GEFOS/GENOMOS consortium

Quantitative ultrasound of the heel captures heel bone properties that independently predict fracture risk and, with bone mineral density (BMD) assessed by X-ray (DXA), may be convenient alternatives for evaluating osteoporosis and fracture risk. We performed a meta-analysis of genome-wide association (GWA) studies to assess the genetic determinants of heel broadband ultrasound attenuation (BUA; n = 14 260), velocity of sound (VOS; n = 15 514) and BMD (n = 4566) in 13 discovery cohorts. Independent replication involved seven cohorts with GWA data (in silico n = 11 452) and new genotyping in 15 cohorts (de novo n = 24 902). In combined random effects, meta-analysis of the discovery and replication cohorts, nine single nucleotide polymorphisms (SNPs) had genome-wide significant (P < 5 × 10(-8)) associations with heel bone properties. Alongside SNPs within or near previously identified osteoporosis susceptibility genes including ESR1 (6q25.1: rs4869739, rs3020331, rs2982552), SPTBN1 (2p16.2: rs11898505), RSPO3 (6q22.33: rs7741021), WNT16 (7q31.31: rs2908007), DKK1 (10q21.1: rs7902708) and GPATCH1 (19q13.11: rs10416265), we identified a new locus on chromosome 11q14.2 (rs597319 close to TMEM135, a gene recently linked to osteoblastogenesis and longevity) significantly associated with both BUA and VOS (P < 8.23 × 10(-14)). In meta-analyses involving 25 cohorts with up to 14 985 fracture cases, six of 10 SNPs associated with heel bone properties at P < 5 × 10(-6) also had the expected direction of association with any fracture (P < 0.05), including three SNPs with P < 0.005: 6q22.33 (rs7741021), 7q31.31 (rs2908007) and 10q21.1 (rs7902708). In conclusion, this GWA study reveals the effect of several genes common to central DXA-derived BMD and heel ultrasound/DXA measures and points to a new genetic locus with potential implications for better understanding of osteoporosis pathophysiology

Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET

The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR

Relationship of edge localized mode burst times with divertor flux loop signal phase in JET

A phase relationship is identified between sequential edge localized modes (ELMs) occurrence times in a set of H-mode tokamak plasmas to the voltage measured in full flux azimuthal loops in the divertor region. We focus on plasmas in the Joint European Torus where a steady H-mode is sustained over several seconds, during which ELMs are observed in the Be II emission at the divertor. The ELMs analysed arise from intrinsic ELMing, in that there is no deliberate intent to control the ELMing process by external means. We use ELM timings derived from the Be II signal to perform direct time domain analysis of the full flux loop VLD2 and VLD3 signals, which provide a high cadence global measurement proportional to the voltage induced by changes in poloidal magnetic flux. Specifically, we examine how the time interval between pairs of successive ELMs is linked to the time-evolving phase of the full flux loop signals. Each ELM produces a clear early pulse in the full flux loop signals, whose peak time is used to condition our analysis. The arrival time of the following ELM, relative to this pulse, is found to fall into one of two categories: (i) prompt ELMs, which are directly paced by the initial response seen in the flux loop signals; and (ii) all other ELMs, which occur after the initial response of the full flux loop signals has decayed in amplitude. The times at which ELMs in category (ii) occur, relative to the first ELM of the pair, are clustered at times when the instantaneous phase of the full flux loop signal is close to its value at the time of the first ELM