Lethe Atlas

Backwaters of Lethe

LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks

We present the saturation-based reasoning system Lethe. Lethe is a tool that can be used for uniform interpolation, forgetting, TBox abduction and logical di erence. To solve these problems, Lethe uses saturation-based reasoning to eliminate certain symbols from an ontology, such that entailments in the remaining vocabulary are preserved. This is known as forgetting or uniform interpolation. Le...

[Atlas].

The observation and measurement of missing transverse energy in an event is a key signature in SUSY searches. This paper describes the reconstruction and calibration of missing transverse energy in ATLAS, and addresses the quality of the measurement in a variety of simulated processes which contain physical missing transverse energy such as Z → τ + τ − , A 0 /H 0 → τ + τ − , t ¯ t, and SUSY as ...

WHO global atlas on traditional, complementary and alternative medicine (TCAM)

Due to rising demand for traditional complementary and alternative medicine (TCAM) globally, international ministerial groups and professional bodies have been calling for a global perspective on policy and a means for countries to share information and policy initiatives with one another. The WHO Global Atlas is designed to: assess the status of development of the sector; plan for further deve...

ATLAS Commander: an ATLAS production tool

This paper describes the ATLAS production tool AtCom (for ATLAS Commander). The purpose of the tool is to automate as much as possible the task of a production manager: defining and submitting jobs in large quantities, following up upon their execution, scanning log files for known and unknown errors, updating the various ATLAS bookkeeping databases on successful completion of a job whilst clea...