An Ontology-Based approach to the description and execution of composite network management processes for network monitoring

Proceedings of 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006.The final publication is available at Springer via http://dx.doi.org/10.1007/11907466_8Web service technology has been proposed to implement management interfaces of managed resources. These web services can usually be combined to perform composite processes. These composite processes can be defined with service ontologies such as OWL-S, which allows their formal description. However, other technologies, including the Web Services Business Process Execution Language (WSBPEL), provide more mature execution engines. This paper presents an approach to define and execute composite network management processes with existing technology. For this, a use case is developed in which a set of web service interfaces are defined for a network probe, and a composite process is specified using OWL-S to monitor the network load. Then, this specification is later translated to WSBPEL and interpreted by a real execution engine

A Search for Selectrons and Squarks at HERA

Data from electron-proton collisions at a center-of-mass energy of 300 GeV are used for a search for selectrons and squarks within the framework of the minimal supersymmetric model. The decays of selectrons and squarks into the lightest supersymmetric particle lead to final states with an electron and hadrons accompanied by large missing energy and transverse momentum. No signal is found and new bounds on the existence of these particles are derived. At 95% confidence level the excluded region extends to 65 GeV for selectron and squark masses, and to 40 GeV for the mass of the lightest supersymmetric particle.Comment: 13 pages, latex, 6 Figure

Energy Flow in the Hadronic Final State of Diffractive and Non-Diffractive Deep-Inelastic Scattering at HERA

An investigation of the hadronic final state in diffractive and non--diffractive deep--inelastic electron--proton scattering at HERA is presented, where diffractive data are selected experimentally by demanding a large gap in pseudo --rapidity around the proton remnant direction. The transverse energy flow in the hadronic final state is evaluated using a set of estimators which quantify topological properties. Using available Monte Carlo QCD calculations, it is demonstrated that the final state in diffractive DIS exhibits the features expected if the interaction is interpreted as the scattering of an electron off a current quark with associated effects of perturbative QCD. A model in which deep--inelastic diffraction is taken to be the exchange of a pomeron with partonic structure is found to reproduce the measurements well. Models for deep--inelastic $ep$ scattering, in which a sizeable diffractive contribution is present because of non--perturbative effects in the production of the hadronic final state, reproduce the general tendencies of the data but in all give a worse description.Comment: 22 pages, latex, 6 Figures appended as uuencoded fil

Theory of spin-polarized bipolar transport in magnetic p-n junctions

The interplay between spin and charge transport in electrically and magnetically inhomogeneous semiconductor systems is investigated theoretically. In particular, the theory of spin-polarized bipolar transport in magnetic p-n junctions is formulated, generalizing the classic Shockley model. The theory assumes that in the depletion layer the nonequilibrium chemical potentials of spin up and spin down carriers are constant and carrier recombination and spin relaxation are inhibited. Under the general conditions of an applied bias and externally injected (source) spin, the model formulates analytically carrier and spin transport in magnetic p-n junctions at low bias. The evaluation of the carrier and spin densities at the depletion layer establishes the necessary boundary conditions for solving the diffusive transport equations in the bulk regions separately, thus greatly simplifying the problem. The carrier and spin density and current profiles in the bulk regions are calculated and the I-V characteristics of the junction are obtained. It is demonstrated that spin injection through the depletion layer of a magnetic p-n junction is not possible unless nonequilibrium spin accumulates in the bulk regions--either by external spin injection or by the application of a large bias. Implications of the theory for majority spin injection across the depletion layer, minority spin pumping and spin amplification, giant magnetoresistance, spin-voltaic effect, biasing electrode spin injection, and magnetic drift in the bulk regions are discussed in details, and illustrated using the example of a GaAs based magnetic p-n junction.Comment: 36 pages, 11 figures, 2 table

Crystallographic Analysis of Nucleation at Hardness Indentations in High-Purity Aluminum

Nucleation at Vickers hardness indentations has been studied in high-purity aluminum cold-rolled 12 pct. Electron channeling contrast was used to measure the size of the indentations and to detect nuclei, while electron backscattering diffraction was used to determine crystallographic orientations. It is found that indentations are preferential nucleation sites. The crystallographic orientations of the deformed grains affect the hardness and the nucleation potentials at the indentations. Higher hardness gives increased nucleation probabilities. Orientation relationships between nuclei developed at different indentations within one original grain are analyzed and it is found that the orientation distribution of the nuclei is far from random. It is suggested that it relates to the orientations present near the indentation tips which in turn depend on the orientation of the selected grain in which they form. Finally, possible nucleation mechanisms are briefly discussed. © 2016, The Minerals, Metals &amp; Materials Society and ASM International.</p

Valuations on lattice polytopes

This survey is on classification results for valuations defined on lattice polytopes that intertwine the special linear group over the integers. The basic real valued valuations, the coefficients of the Ehrhart polynomial, are introduced and their characterization by Betke and Kneser is discussed. More recent results include classification theorems for vector and convex body valued valuations. © Springer International Publishing AG 2017

Novel genetic loci associated with hippocampal volume

The hippocampal formation is a brain structure integrally involved in episodic memory, spatial navigation, cognition and stress responsiveness. Structural abnormalities in hippocampal volume and shape are found in several common neuropsychiatric disorders. To identify the genetic underpinnings of hippocampal structure here we perform a genome-wide association study (GWAS) of 33,536 individuals and discover six independent loci significantly associated with hippocampal volume, four of them novel. Of the novel loci, three lie within genes (ASTN2, DPP4 and MAST4) and one is found 200 kb upstream of SHH. A hippocampal subfield analysis shows that a locus within the MSRB3 gene shows evidence of a localized effect along the dentate gyrus, subiculum, CA1 and fissure. Further, we show that genetic variants associated with decreased hippocampal volume are also associated with increased risk for Alzheimer's disease (rg =-0.155). Our findings suggest novel biological pathways through which human genetic variation influences hippocampal volume and risk for neuropsychiatric illness

Measurement of CP observables in B± → D(⁎)K± and B± → D(⁎)π± decays

Measurements of CP observables in B ± →D (⁎) K ± and B ± →D (⁎) π ± decays are presented, where D (⁎) indicates a neutral D or D ⁎ meson that is an admixture of D (⁎)0 and D¯ (⁎)0 states. Decays of the D ⁎ meson to the Dπ 0 and Dγ final states are partially reconstructed without inclusion of the neutral pion or photon, resulting in distinctive shapes in the B candidate invariant mass distribution. Decays of the D meson are fully reconstructed in the K ± π ∓ , K + K − and π + π − final states. The analysis uses a sample of charged B mesons produced in pp collisions collected by the LHCb experiment, corresponding to an integrated luminosity of 2.0, 1.0 and 2.0 fb −1 taken at centre-of-mass energies of s=7, 8 and 13 TeV, respectively. The study of B ± →D ⁎ K ± and B ± →D ⁎ π ± decays using a partial reconstruction method is the first of its kind, while the measurement of B ± →DK ± and B ± →Dπ ± decays is an update of previous LHCb measurements. The B ± →DK ± results are the most precise to date

Probabilistic Reachability for Parametric Markov Models

Abstract. Given a parametric Markov model, we consider the problem of computing the rational function expressing the probability of reaching a given set of states. To attack this principal problem, Daws has suggested to first convert the Markov chain into a finite automaton, from which a regular expression is computed. Afterwards, this expression is evaluated to a closed form function representing the reachability probability. This paper investigates how this idea can be turned into an effective procedure. It turns out that the bottleneck lies in the growth of the regular expression relative to the number of states (nΘ(logn)). We therefore proceed differently, by tightly intertwining the regular expression computation with its evaluation. This allows us to arrive at an effective method that avoids this blow up in most practical cases. We give a detailed account of the approach, also extending to parametric models with rewards and with non-determinism. Experimental evidence is provided, illustrating that our implementation provides meaningful insights on non-trivial models.