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

Preface

Not abstract available

Performance of prototype BTeV silicon pixel detectors in a high energy pion beam

The silicon pixel vertex detector is a key element of the BTeV spectrometer. Sensors bump-bonded to prototype front-end devices were tested in a high energy pion beam at Fermilab. The spatial resolution and occupancies as a function of the pion incident angle were measured for various sensor-readout combinations. The data are compared with predictions from our Monte Carlo simulation and very good agreement is found.Comment: 24 pages, 20 figure

Beam Test Results of the BTeV Silicon Pixel Detector

The results of the BTeV silicon pixel detector beam test carried out at Fermilab in 1999-2000 are reported. The pixel detector spatial resolution has been studied as a function of track inclination, sensor bias, and readout threshold.Comment: 8 pages of text, 8 figures, Proceedings paper of Pixel 2000: International Workshop on Semiconductor Pixel Detectors for Particles and X-Rays, Genova, June 5-8, 200

The INFN R&D: New pixel detector for the High Luminosity upgrade of the LHC

The High Luminosity upgrade of the CERN-LHC (HL-LHC) demands for a new high-radiation tolerant solid-state pixel sensor capable of surviving fluencies up to a few 1016 particles/cm2 at ∼3 cm from the interaction point. To this extent the INFN ATLAS-CMS joint research activity, in collaboration with Fondazione Bruno Kessler-FBK, is aiming at the development of thin n-in-p type pixel sensors for the HL-LHC. The R&D covers both planar and single-sided 3D columnar pixel devices made with the Si-Si Direct Wafer Bonding technique, which allows for the production of sensors with 100 μm and 130 μm active thickness for planar sensors, and 130 μm for 3D sensors, the thinnest ones ever produced so far. The first prototypes of hybrid modules bump-bonded to the present CMS and ATLAS readout chips have been tested in beam tests. The preliminary results on their performance before and after irradiation are presented

Radiation tolerance of the CMS forward pixel detector

In this paper we present some results on the radiation tolerance of the CMS forward pixel detector. They were obtained from a beam test at Fermilab of a pixel-detector module, which was previously irradiated up to a maximum dose of 45 Mrad of protons at 200 MeV. It is shown that CMS forward pixel detector can tolerate this radiation dose without any major deterioration of its performance. © 2008 Elsevier B.V

Incidence and cost of perioperative red blood cell transfusion for elective spine fusion in a high-volume center for spine surgery

Background: Spine fusion is a surgical procedure characterized by a significant perioperative bleeding, which often requires red blood cell (RBC) transfusion. Methods: The incidence and the cost of RBC transfusion were evaluated in all patients undergoing elective surgery for spine fusion in our Institution, a high-volume center for spine surgery, over a period of 3 years. The analysis specifically addressed the RBC transfusion need in all the different spine fusion procedures (atlanto-axial, cervical, dorsal, lumbar, revisions) with the different surgical approaches (anterior, posterior). Results: During the 3 years of observation, a total of 1.882 elective spine fusions were performed. More than half of the procedures (n = 964) were posterior lumbar fusions. Overall, 5% of the patients (n = 103) required RBC transfusion. The cervical fusions were the procedures with the lowest percentage of RBC need (0-5%), while the dorsal and the lumbar ones, with the anterior approach, represented the procedures with the highest rate of transfusion (29% and 25% respectively). More than 60 % of the RBC units were employed in the instance of posterior lumbar fusion, while a variable 1-10% of the units was used in each of the other procedures. The overall transfusion cost was of 46.000 euros, with a distribution of costs that paralleled the amount of units transfused for each procedure. Conclusions: Several surgical and patient factors may contribute to the perioperative blood loss. An accurate patient blood management, may efficiently decrease transfusion requirements and ultimately healthcare costs

A High Statistics Measurement of the Lambdac+ Lifetime

A high statistics measurement of the Lambdac+ lifetime from the Fermilab fixed-target FOCUS photoproduction experiment is presented. We describe the analysis technique with particular attention to the determination of the systematic uncertainty. The measured value of 204.6 +/- 3.4 (stat.) +/- 2.5 (syst.) fs from 8034 +/- 122 Lambdac -> pKpi decays represents a significant improvement over the present world average.Comment: Submitted to Physical Review Letter

Search for CP Violation in the decays D+ -> K_S pi+ and D+ -> K_S K+

A high statistics sample of photo-produced charm from the FOCUS(E831) experiment at Fermilab has been used to search for direct CP violation in the decays D+->K_S pi+ and D+ -> K_S K+. We have measured the following asymmetry parameters relative to D+->K-pi+pi+: A_CP(K_S pi+) = (-1.6 +/- 1.5 +/- 0.9)%, A_CP(K_S K+) = (+6.9 +/- 6.0 +/- 1.5)% and A_CP(K_S K+) = (+7.1 +/- 6.1 +/- 1.2)% relative to D+->K_S pi+. The first errors quoted are statistical and the second are systematic. We also measure the relative branching ratios: \Gamma(D+->\bar{K0}pi+)/\Gamma(D+->K-pi+pi+) = (30.60 +/- 0.46 +/- 0.32)%, \Gamma(D+->\bar{K0}K+)/\Gamma(D+->K-pi+pi+) = (6.04 +/- 0.35 +/- 0.30)% and \Gamma(D+->\bar{K0}K+)/\Gamma(D+->\bar{K0}pi+) = (19.96 +/- 1.19 +/- 0.96)%.Comment: 4 pages, 3 figure

Search for CP violation in D0 and D+ decays

A high statistics sample of photoproduced charm particles from the FOCUS (E831) experiment at Fermilab has been used to search for CP violation in the Cabibbo suppressed decay modes D+ to K-K+pi+, D0 to K-K+ and D0 to pi-pi+. We have measured the following CP asymmetry parameters: A_CP(K-K+pi+) = +0.006 +/- 0.011 +/- 0.005, A_CP(K-K+) = -0.001 +/- 0.022 +/- 0.015 and A_CP(pi-pi+) = +0.048 +/- 0.039 +/- 0.025 where the first error is statistical and the second error is systematic. These asymmetries are consistent with zero with smaller errors than previous measurements.Comment: 12 pages, 4 figure