SUMMARY To better understand the regulatory networks that control plant gene expression, tools are needed to systematically analyze and visualize promoter regulatory sequences in Arabidopsis thaliana. We have developed the Athena database, which contains 30,067 predicted Arabidopsis promoter sequences and consensus sequences for 105 previously characterized transcription factor (TF) binding sit...

We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then use Athena as a metalanguage in order to reason about the multi-agent logic an as object language. This facilitates theorem proving in the multi-agent logic in several ways. First, it lets us marshal the highly efficient theore...

OBJECTIVE To explain, through mediation analyses, the mechanisms by which ATHENA (Athletes Targeting Healthy Exercise and Nutrition Alternatives), a primary prevention and health promotion intervention designed to deter unhealthy body shaping behaviors among female high school athletes, produced immediate changes in intentions for unhealthy weight loss and steroid/creatine use, and to examine t...

In this thesis we develop a wrapper for scientific data stored in ROOT files using Amos II, a functional DBMS. ROOT is an object-oriented framework for representing high-energy physics data. We investigate possible ways to represent ROOT C++ objects in a functional data model and propose a simple and fast mapping method. We define a schema to represent ROOT object storage containers, objects an...

The right to be forgotten, also known as the erasure, is of individuals have their data erased from an entity storing it. status this long held notion was legally solidified recently by General Data Protection Regulation (GDPR) in European Union. As a consequence, there need for mechanisms whereby users can verify if service providers comply with deletion requests. In work, we take first step p...

corophium volutator (pallas) has been recommended by the paris commission as one of the standard species for testing chemical used in offshore oil and gas exploration/production. in the present study, gut contents of corophium volutator have been analysed by electron probe microanalysis (epma) for baso4 and other heavy metal impurities after exposure tto spiked sediments following a standard as...