We present a coscaling-grid formalism and its implementation in the magnetohydrodynamics code Athena++. The relies on flow symmetries astrophysical problems involving expansion, contraction, center-of-mass motion. grid is evolved at same time order as fluid variables. user specifies evolution laws, which can be independent of Applying our to standard hydrodynamic test cases leads improved resul...

We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authentication, secrecy and properties related to electronic commerce. We have developed an automatic procedure for evaluating well-formed formulae in this logic. For a well-formed formula, if the evaluation procedure terminat...

This is a writeup of some extensions to the strand space algorithm Athena [2]. In particular, I formulate an open problem within the Athena algorithm of whether the splitting step is decidable in full generality. 1 The Terms and the Type System We assume the reader’s familiarity with the concepts in our original Athena paper [2], and we skip most of the introductions and motivations, except for...

In this paper, we present ATHENA, an ontology-driven system for natural language querying of complex relational databases. Natural language interfaces to databases enable users easy access to data, without the need to learn a complex query language, such as SQL. ATHENA uses domain specific ontologies, which describe the semantic entities, and their relationships in a domain. We propose a unique...

Ii The technique or speckle interferometric measurement of asteroids is applied to Vesta and Pallas, yielding diameters of 550"-23 and 673 +-55 kin, respectively. The improved ._ Vesta speckle diameter is in excellent agreement with other measurements for Vesta. However, 6 ~ the derived Pallas diameter is slightly larger than other measurements. This is perhaps attributable to systematic errors...

Arne-Jørgen Berre, Brian Elvesæter, Nicolas Figay, Claudia Guglielmina, Svein G. Johnsen, Dag Karlsen, Thomas Knothe and Sonia Lippe 1 SINTEF ICT, P. O. Box 124 Blindern, N-0314 Oslo, Norway [arne.j.berre, brian.elvesater, svein.g.johnsen]@sintef.no 2 EADS CCR, 12 rue Pasteur BP 76, Suresnes Cedex, France [email protected] 3 TXT e-solutions, Sal. San Barborino 23r, Genova, Italy claudia.gu...

GRIFFIN is a joint research project of the VU University Amsterdam and the University of Groningen. The GRIFFIN project develops notations, tools and associated methods to extract, represent and use architectural knowledge that currently is not documented or represented in the system. The research is carried out in a consortium with various industries, both large and small, that provide case st...

Primitives for application-level user interface construction facilities currently under development at M.I.T. Project Athena are described. The design philosophy of the X Toolkit and associated widgets and some of the practical implications are discussed.

A species of sucking louse, Neohaematopinus callosciuri, was found for the first time in Japan. The species was found on an invasive species of squirrel, Pallas squirrel, Callosciurus erythraeus, in the Kamakura district, Kanagawa Prefecture, Japan. A total of 52 lice were obtained from 22 of 104 squirrels captured. The lice were about three times more prevalent in male squirrels than in female...

This paper gives an overview of a reconstruction algorithm for muon events in ATLAS experiment at CERN. After a short introduction on ATLAS Muon Spectrometer, we will describe the procedure performed by the algorithms Muonbox and Muonboy (last version) in order to achieve correctly the reconstruction task. These algorithms have been developed in Fortran language and are working in the official ...