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...

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...

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...

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...

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 ...

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...

Providing a programming lab to a large group of students requires a lot of effort. Often in these cases additional staffing is required to provide students with enough feedback on their work. However, due to resource constraints this is not always possible. This paper presents Athena, a lab support tool that reduces the effort required for programming labs and provides students with adequate an...