This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions), a program for hierarchical reasoning in extensions of logical theories with functions axiomatized by a set of clauses. H-PILoT reduces deduction problems in the theory extension to deduction problems in the base theory. Specialized provers and standard SMT solvers can be u...

Automation in the aviation domain has been increasing for the past two decades. Pilot reaction to automation varies from highly favorable to highly critical depending on both the pilot’s background and how effectively the automation is implemented. We describe a user-centered approach for automation that considers the pilot’s tasks and his needs related to accomplishing those tasks. Further, we...

In this research, gasoline vapours including Benzene, Toluene, Xylene (BTX) and Total Volatile Organic Compounds (TVOCs) emitted from vent pipes of underground storage tanks (USTs) were measured at six gas stations in Tehran. Thereafter, gas station No. 29 was selected as a pilot station and equipped with a vapour control system. The vapours were measured during the summer of 2013 and winter of...

A multi-antenna base station (BS) can spatially multiplex a few terminals over the same bandwidth, a technique known as multi-user, multiple-input multipleoutput (MU-MIMO). A new idea in cellular MU-MIMO is the use of a large excess of BS antennas to serve several single-antenna terminals simultaneously. This so-called "massive MIMO" promises attractive gains in spectral efficiency with time-di...

(1) Speech pathologist and audiologist; Post graduate student in Human Communication Disorders from the Universidade Federal de São Paulo – UNIFESP; Specialization in Human Communication Disorders from the Universidade Federal de São Paulo – UNIFESP, São Paulo, Brazil. (2) Speech pathologist and audiologist; Masters Degree in Human Communication Disorders from the Universidade Federal de São Pa...

The prevailing approach to cyber security continues to be the implementation of controls—technical, formal, and informal. We have seen little departure from a fundamentally preventive strategy. The criminal justice field has called for an increased emphasis on deterrence strategies, specifically Situational Crime Prevention (SCP). This paper presents the results of an exploratory (pilot) study ...

The purpose of the National Cancer Institute pilot project to prioritize cancer antigens was to develop a well-vetted, priority-ranked list of cancer vaccine target antigens based on predefined and preweighted objective criteria. An additional aim was for the National Cancer Institute to test a new approach for prioritizing translational research opportunities based on an analytic hierarchy pro...

This paper provides three frameworks for understanding the process of implementing a financial reform in an African country that has adopted a policy of devolution. The paper is based on four years of experience in implementing a financial reform under Ethiopia’s Civil Service Reform. The first framework, which we have termed the Framework for Financial Reform, provides an overall conception of...

The experiments described here explored how pilots want available maneuver authority information transmitted and how this information affects pilots before and after an aircraft failure. The aircraft dynamic variables relative to flight performance were narrowed to energy management variables. A survey was conducted to determine what these variables should be. Survey results indicated that bank...

Repeat Use of Post-Exposure Prophylaxis for HIV among Nairobi-Based Female Sex Workers Following Sexual Exposure Single-Tablet Emtricitabine-Rilpivirine-Tenofovir as HIV Post-Exposure Prophylaxis in Men Who Have Sex with Men Missed Opportunities along the Prevention of Mother-to-Child Transmission Services Cascade in South Africa: Uptake, Determinants, and Attributable Risk (the SAPMTCTE) Impro...