Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Vulnerability Assessment for Hood County, TX

One year after the Tornado of 2013, Hood County is now among the recovery and mitigation stages of the four-stage disaster cycle. In the Fall of 2014, fourteen Master’s of Urban Planning students at Texas A&M University created this assessment report as part of the graduate course “Disaster Recovery and Hazard Mitigation” instructed by Yu Xiao, Ph.D., AICP. The purpose of this assessment is to understand the potential threats for Hood County that will support the County to improve post-disaster mitigation and planning.Looking forward, we mapped the 100-year and 500-year floodplains in the County. A 100-year floodplain indicates areas that have a 1% chance each year of flooding. The majority of the floodplain follows the Brazos River, as would be expected, and its small tributaries and creeks. This floodplain does flow through the historic area of downtown Granbury and along the Lake. We also mapped potential sources of technological disaster or spills including known Superfund sites (areas the EPA has identified in need of hazardous waste clean-up) and areas that host tanks or can have spills of toxic substances. There are two Superfund sites, one in downtown Granbury along the River and one to the north-east of town.Texas Target Communitie

South College District Redevelopment Plan, Bryan, TX

The site, South College Corridor District, is located between the boarder of the city of Bryan and College Station where Texas A&M University is placed. South College Corridor has been served as a major throughfare to connect Texas A&M University and Downtown Bryan. In 1910, the City built a trolley system along South College Avenue.Along with the growth of Texas A&M University and its expansion toward Texas Avenue, TX6, and University Avenue, South College Avenue has lost much of its glory as a destination point. The district has been mainly developed for single family housing units, mobile homes, and few restaurants and bars. However, recent private development projects with mixed-use buildings and apartment complexes nearby will change the topography of this area. To provide a big picture and guide future development in this area, students were created redevelopment plans for several parts of the whole community.Texas A&M University, Texas Target Communities, Yunmi Par