Knowledge representation on the web

Exploiting the full potential of the World Wide Web will require semantic as well as syntactic interoperability. This can best be achieved by providing a further representation and inference layer that builds on existing and proposed web standards. The OIL language extends the RDF schema standard to provide just such a layer. It combines the most attractive features of frame based languages with the expressive power, formal rigour and reasoning services of a very expressive description logic.

Dominant Three-Body Decays of a Heavy Higgs and Top Quark

We calculate the dominant three body Higgs decays, $H \to W^+W^-(Z^0, \gamma)$ and $H \to t\overline{t}(Z^0,\gamma ,g)$, in the Standard Model. We find that the branching ratios of these decays are of the order of few percent for large Higgs masses. We comment on the behaviour of the partial decay width $\Gamma (H \to t\overline{b}W^-)$ below the $t\overline{t}$ threshold. Numerical results of the following three body top decays, $t \to W^+b(\gamma ,g,Z^0)$ and $t \to W^+bH$, are also given. We discuss the feasibility of observing these Higgs and top decays at future high energy colliders.Comment: 19 pages (13 Figs can be sent by request), TeX, MZ-TH/92-2

Comprehension of spacecraft telemetry using hierarchical specifications of behavior ⋆

Abstract. A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.

Mean flow and spiral defect chaos in Rayleigh-Benard convection

We describe a numerical procedure to construct a modified velocity field that does not have any mean flow. Using this procedure, we present two results. Firstly, we show that, in the absence of mean flow, spiral defect chaos collapses to a stationary pattern comprising textures of stripes with angular bends. The quenched patterns are characterized by mean wavenumbers that approach those uniquely selected by focus-type singularities, which, in the absence of mean flow, lie at the zig-zag instability boundary. The quenched patterns also have larger correlation lengths and are comprised of rolls with less curvature. Secondly, we describe how mean flow can contribute to the commonly observed phenomenon of rolls terminating perpendicularly into lateral walls. We show that, in the absence of mean flow, rolls begin to terminate into lateral walls at an oblique angle. This obliqueness increases with Rayleigh number.Comment: 14 pages, 19 figure

Efficient Algorithm on a Non-staggered Mesh for Simulating Rayleigh-Benard Convection in a Box

An efficient semi-implicit second-order-accurate finite-difference method is described for studying incompressible Rayleigh-Benard convection in a box, with sidewalls that are periodic, thermally insulated, or thermally conducting. Operator-splitting and a projection method reduce the algorithm at each time step to the solution of four Helmholtz equations and one Poisson equation, and these are are solved by fast direct methods. The method is numerically stable even though all field values are placed on a single non-staggered mesh commensurate with the boundaries. The efficiency and accuracy of the method are characterized for several representative convection problems.Comment: REVTeX, 30 pages, 5 figure

Implementation of a pharmacogenomics consult service to support the INGENIOUS trial

Hospital systems increasingly utilize pharmacogenomic testing to inform clinical prescribing. Successful implementation efforts have been modeled at many academic centers. In contrast, this report provides insights into the formation of a pharmacogenomics consultation service at a safety-net hospital, which predominantly serves low-income, uninsured, and vulnerable populations. The report describes the INdiana GENomics Implementation: an Opportunity for the UnderServed (INGENIOUS) trial and addresses concerns of adjudication, credentialing, and funding

Observation of Precipitation Evolution in Fe-Ni-Mn-Ti-Al Maraging Steel by Atom Probe Tomography

We describe the full decomposition sequence in an Fe-Ni-Mn-Ti-Al maraging steel during isothermal annealing at 550 °C. Following significant pre-precipitation clustering reactions within the supersaturated martensitic solid solution, (Ni,Fe)3Ti and (Ni,Fe)3(Al,Mn) precipitates eventually form after isothermal aging for ~60 seconds. The morphology of the (Ni,Fe)3Ti particles changes gradually during aging from predominantly plate-like to rod-like, and, importantly, Mn and Al were observed to segregate to these precipitate/matrix interfaces. The (Ni,Fe)3(Al,Mn) precipitates occurred at two main locations: uniformly within the matrix and at the periphery of the (Ni,Fe)3Ti particles. We relate this latter mode of precipitation to the Mn-Al segregation

On the mechanisms governing gas penetration into a tokamak plasma during a massive gas injection

A new 1D radial fluid code, IMAGINE, is used to simulate the penetration of gas into a tokamak plasma during a massive gas injection (MGI). The main result is that the gas is in general strongly braked as it reaches the plasma, due to mechanisms related to charge exchange and (to a smaller extent) recombination. As a result, only a fraction of the gas penetrates into the plasma. Also, a shock wave is created in the gas which propagates away from the plasma, braking and compressing the incoming gas. Simulation results are quantitatively consistent, at least in terms of orders of magnitude, with experimental data for a D 2 MGI into a JET Ohmic plasma. Simulations of MGI into the background plasma surrounding a runaway electron beam show that if the background electron density is too high, the gas may not penetrate, suggesting a possible explanation for the recent results of Reux et al in JET (2015 Nucl. Fusion 55 093013)