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

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

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

ATHENA is an open source Python package for reduction in parameter space. It implements several advanced numerical analysis techniques such as Active Subspaces (AS), Kernel-based (KAS), and Nonlinear Level-set Learning (NLL) method. intended a tool regression, sensitivity analysis, general to enhance existing simulations’ pipelines tackling the curse of dimensionality.

Facilitated by public administrations and the European Union, higher education institutions should support their teachers so they develop skills for online other forms of teaching learning opened up digital era exploit opportunities presented technology to improve quality learning. The article focuses on new Union grant programs that empower increasing literacy in area, developing cooperation, ...

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

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