scispace - formally typeset
Search or ask a question

Showing papers in "Theoretical Informatics and Applications in 2007"


Journal ArticleDOI
TL;DR: This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision using the crlibm library to get performance equivalent to the best current mathematical libraries.
Abstract: This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision. We describe the methodology used to achieve these goals in the crlibm library. There are two novel aspects to this approach. The first is the proof framework, and in general the techniques used to balance performance and provability. The second is the introduction of processor-specific optimization to get performance equivalent to the best current mathematical libraries, while trying to minimize the proof work. The implementation of the natural logarithm is detailed to illustrate these questions.

40 citations


Journal ArticleDOI
TL;DR: By investigating the Rauzy frac- tals associated with invertible substitutions, an alternative geometric proof of Yasutomi's characterization of Sturmian words is given.
Abstract: Sturmian words are infinite words that have exactly n + 1 factors of length n for every positive integer n. A Sturmian word s�,� is also defined as a coding over a two-letter alphabet of the orbit of the pointunder the action of the irrational rotation R� : x 7! x + � (mod 1). Yasutomi characterized in (34) all the pairs (�,�) such that the Sturmian word s�,� is a fixed point of some non-trivial substitution. By investigating the Rauzy frac- tals associated with invertible substitutions, we give an alternative geometric proof of Yasutomi's characterization.

36 citations


Journal ArticleDOI
TL;DR: For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.
Abstract: For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.

34 citations


Journal ArticleDOI
TL;DR: This paper studies a floating-point implementation of a filter for the orientation-2 predicate, and how a formal and partially automatized verification of this algorithm avoided many pitfalls.
Abstract: Floating-point arithmetic provides a fast but inexact way of computing geometric predicates. In order for these predicates to be exact, it is important to rule out all the numerical situations where floating-point computations could lead to wrong results. Taking into account all the potential problems is a tedious work to do by hand. We study in this paper a floating-point implementation of a filter for the orientation-2 predicate, and how a formal and partially automatized verification of this algorithm avoided many pitfalls. The presented method is not limited to this particular predicate, it can easily be used to produce correct semi-static floating-point filters for other geometric predicates.

22 citations


Journal ArticleDOI
TL;DR: The main contribution is a formalization allowing us to encode a family of data structures by means of a single algebra (which can be described as a coproduct on the image of the institution morphisms).
Abstract: The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution encodings. These morphisms define a commutative diagram which shows three possible views of the same construction, placing it in an equational algebraic institution, in a hidden institution or in a coalgebraic institution. Moreover, these morphisms can be used to obtain a new description of the final objects of the categories of algebras in these frameworks, which are suitable abstract models for the EAT data structures. Thus, our main contribution is a formalization allowing us to encode a family of data structures by means of a single algebra (which can be described as a coproduct on the image of the institution morphisms). With this aim, new particular definitions of hidden and coalgebraic institutions are presented.

20 citations


Journal ArticleDOI
TL;DR: Returning parallel communicating finite automata systems are equivalent to the non-returning variants by proving the equivalence of both with multihead finite Automata.
Abstract: A parallel communicating automata system consists of several automata working independently in parallel and communicating with each other by request with the aim of recognizing a word. Rather surprisingly, returning parallel communicating finite automata systems are equivalent to the non-returning variants. We show this result by proving the equivalence of both with multihead finite automata. Some open problems are finally formulated.

20 citations


Journal ArticleDOI
TL;DR: It is shown that the framework of function distinguishability, as introduced by the author in [ Theoret. Comput. Sci. 290 (2003) 1679–1711], can be generalized from the case of string languages towards tree languages, and all regular tree languages can be approximately identified.
Abstract: We study the problem of learning regular tree languages from text. We show that the framework of function distinguishability, as introduced by the author in [ Theoret. Comput. Sci. 290 (2003) 1679–1711], can be generalized from the case of string languages towards tree languages. This provides a large source of identifiable classes of regular tree languages. Each of these classes can be characterized in various ways. Moreover, we present a generic inference algorithm with polynomial update time and prove its correctness. In this way, we generalize previous works of Angluin, Sakakibara and ourselves. Moreover, we show that this way all regular tree languages can be approximately identified.

16 citations


Journal ArticleDOI
TL;DR: A survey of the archaeological resources relating to the historic Caddo period of Nacogdoches County is presented in this paper. But no attempt is made here to provide analysis of the data or to draw synthetic conclusions.
Abstract: This review was originally prepared for presentation to the East Texas Caddo Research Group held in Nacogdoches, Texas on December 2 and 3, 2006. The primary purpose of this article is to summarize the archaeological resources currently known relating to the Historic Caddo period of Nacogdoches County. No attempt is made here to provide analysis of the data or to draw synthetic conclusions. The author's hope is that this survey will be helpful to workers in this area of inquiry by speeding access to available resources and exposing possible research problems.

16 citations


Journal ArticleDOI
TL;DR: The Kinsloe focus was defined by Jones as discussed by the authors on the basis of seven sites in Gregg, Harrison, and Rusk counties in East Texas, in the middle reaches of the Sabine Ri~er basin (see Figure 1 in Pcrttula and Middlebrook, this volume).
Abstract: The Kinsloe focus (now phase) was defined by Jones ( 1968) on the basis of seven sites in Gregg, Harrison, and Rusk counties in East Texas, in the middle reaches of the Sabine Ri~er basin (see Figure 1 in Pcrttula and Middlebrook, this volume). These sites are Ware Acres (41GG31), Kinsloe (41GG3), Susie Slade (41HSI3), Brown I (41HS261), C. D. Marsh (41HS269), Millsey Williamson (41RK3), and Cherokee Lake ( 41 RK 132). As currently understood, these historic Caddo sites were most likely occupied by Nadaco Caddo people between ca. A.D. 1680-1800.

15 citations


Journal ArticleDOI
TL;DR: For polyominoes coded by their boundary word, a quadratic algorithm in the boundary length n is described which improves the naive O(n 4 ) algorithm.
Abstract: For polyominoes coded by their boundary word, we describe a quadratic O(n 2 ) algorithm in the boundary length n which improves the naive O(n 4 ) algorithm. Techniques used emanate from algorithmics, discrete geometry and combinatorics on words.

15 citations


Journal ArticleDOI
TL;DR: The combined model checking complexity as well as the data complexity of FLC are EXPTIME-complete, which is already the case for its alternation-free fragment.
Abstract: This paper analyses the complexity of model checking fixpoint logic with Chop – an extension of the modal μ -calculus with a sequential composition operator. It uses two known game-based characterisations to derive the following results: the combined model checking complexity as well as the data complexity of FLC are EXPTIME-complete. This is already the case for its alternation-free fragment. The expression complexity of FLC is trivially P-hard and limited from above by the complexity of solving a parity game, i.e. in UP ∩ co-UP. For any fragment of fixed alternation depth, in particular alternation- free formulas it is P-complete.

Journal ArticleDOI
TL;DR: In this paper, negative meandering scrolls have a line running through the middle of the scroll, sometimes with tick marks, but not always (Figure lc) with cross-hatched triangular-shaped areas or scroll dividers on either side of the engraved line running longitudinally along the scroll.
Abstract: The best known of these inverted rim engraved vessels is Womack Engraved (Duffield and Jelks 1961 :34-38; Harris et al. 1965:299-304; Story et al. 1967: 114-124). Womack Engraved vessels are decomted on the rim with a variety of engraved motifs, including cross-hatched pendant triangles (Duffield and Jelks 1961: Figure J Oa) and-for our purposes here-negative meandering scrolls (Figure la-c). These negative meandering scrolls have a line running through the middle of the scroll, sometimes with tick marks (Figure la-b), but not always (Figure lc). The scrolls are bordered by crosshatched triangular-shaped areas or scroll dividers on either side of the engraved line running longitudinally along the scroll. This central engraved scroll line is either a continuous line as in Figure 1 b from the Womack site, or is comprised of repeated tight scrolls that have two arms hooked together towards one another, but not actually touching (Figure I a, c).

Journal ArticleDOI
TL;DR: Corbin et al. as mentioned in this paper argued that Caddo culture in the southern portion of the Southern Caddoan region was a part of a larger cultural phenomenon of regionalization of societies within the broader Caddoa area.
Abstract: The earliest expression of Caddo culture in the southern portion of the Southern Caddo region is well known. That Alto phase Caddo culture had any effect on coeval societies and the subsequent cultural development in the area cannot be demonstrated. What happened after ca. A.D. 1100 has been much discussed, but the realities of that subsequent cultural development are unknown. It can be argued that what followed was a part of a larger cultural phenomenon of regionalization of societies within the broader Caddoan area. Some researchers (e.g., Story 1981:5-6) have argued that. at least in the extreme southern portion of the Caddo area, this localized regionalization reflects adaptations to changing environmental conditions. It can also be argued that the ensuing regionaliz.ation, a fact well demonstrated in the archaeological and ethnohistorical literature, may, at least in part, also be a continuation of a long standing ethnoenvironmental and macroeconomic adaptation that is as much Mossy Grove (Woodland) or even Archaic in its outlook as it is Caddo. I have suggested elsewhere (Corbin 1989: 119-124) a post-Alto phase phenomena of diffusion of some aspects of Caddo culture to Mossy Grove style cultures, an acculturative process that may have been still viable and ongoing in the early Historic period. The ethnographic literature suggests that southern Caddo cultural denota had expanded or was expanding beyond the traditional Hasinai linguistic area. This article addresses the first part of the discussion, the cultural variability evident in the archaeological and ethnohistoric literature and the possible sources of that diversity.

Journal ArticleDOI
TL;DR: The borderline between decidability and undecidability of the following question: “Let C be a class of codes” is explored for codes in general, ω -codes, codes of finite and bounded deciphering delay, prefix, suffix and bi(pre)fix codes.
Abstract: We explore the borderline between decidability and undecidability of the following question: "Let C be a class of codes. Given a machine R of type X, is it decidable whether the language L(m) lies in C or not?" for codes in general, ω-codes, codes of finite and bounded deciphering delay, prefix, suffix and bi(pre)fix codes, and for finite automata equipped with different versions of push-down stores and counters.


Journal ArticleDOI
TL;DR: This work determines with the accuracy of ± 1 the maximal number of β -fractional positions, which may arise as a result of addition of two β -integers, and determines precisely the balance.
Abstract: We study some arithmetical and combinatorial properties of β -integers for β being the larger root of the equation x 2 = mx - n,m,n ∈ ℵ, m ≥ n +2 ≥ 3 . We determine with the accuracy of ± 1 the maximal number of β -fractional positions, which may arise as a result of addition of two β -integers. For the infinite word u β > coding distances between the consecutive β -integers, we determine precisely also the balance. The word u β > is the only fixed point of the morphism A → A m-1 B and B → A m-n-1 B . In the case n = 1 , the corresponding infinite word u β > is sturmian, and, therefore, 1 -balanced. On the simplest non-sturmian example with n ≥ 2, we illustrate how closely the balance and the arithmetical properties of β -integers are related.

Journal ArticleDOI
TL;DR: The balance properties of the infinite binary words associated to β-integers when β is a quadratic simple Pisot number are dealt with and an infinite sequence of pairs of words with the unbalance property is exhibited.
Abstract: In this paper we will deal with the balance properties of the infinite binary words associated to β-integers when β is a quadratic simple Pisot number. Those words are the fixed points of the morphisms of the type φ(A) = A p B, φ(B) = A q for p ∈ N, q ∈ N, p > q, where β = p+√p 2 +4q/2. We will prove that such word is t-balanced with t = 1 + [(p - 1)/(p + 1 - q)]. Finally, in the case that p < q it is known [B. Adamczewski, Theoret. Comput. Sci. 273 (2002) 197-224] that the fixed point of the substitution φ(A) = A p B, φ(B) = A q is not m-balanced for any m. We exhibit an infinite sequence of pairs of words with the unbalance property.

Journal ArticleDOI
TL;DR: Gregory and A very as mentioned in this paper gave a presentation at the annual meeting of the Louisiana Archaeological Society (LAS) held in Monroe, Louisiana, on March 4, 2006.
Abstract: The following is a revised version of a presentation given at the annual meeting of the Louisiana Archaeological Society (LAS) held in Monroe, Louisiana, on March 4, 2006 (Gregory and A very 2006). The goal of the LAS presentation was to simply show photographs and iJiustrations of American Indian pottery that dates to the historic period in North Louisiana. Most of the photographs and illustrations are from a manuscript written by H.F. \"Pete\" Gregory entitled Los Adaes ( 16N A 16) American Indian Ceramics (2005). This manuscript was compiled by George A very as part of the Los Adaes Station Archaeology Program, funded entirely by the Louisiana Division of Archaeology. The LAS presentation was given again at the December 2, 2006 meeting of the East Texas Caddo Research Group (ETCRG) at Stephen F. Austin State University, Nacogdoches, Texas. Revisions to the LAS presentation for the current publication were made as a result of comments from the ETCRG meeting.

Journal ArticleDOI
TL;DR: An algorithm is presented which for any aperiodic and primitive substitution outputs a finite representation of each special word in the shift space associated to that substitution, and determines when such representations are equivalent under orbit and shift tail equivalence.
Abstract: We present an algorithm which for any aperiodic and primitive substitution outputs a finite representation of each special word in the shift space associated to that substitution, and determines when such representations are equivalent under orbit and shift tail equivalence The algorithm has been implemented and applied in the study of certain new invariants for flow equivalence of substitutional dynamical systems

Journal ArticleDOI
TL;DR: Schambach and Miller as discussed by the authors found evidence of a transition from Ripley Engraved scrolls to motifs such as ticked horizontal lines also seen on historic Caddo pottery types Natchitoches Engraved and Patton Engraved.
Abstract: There are a number of seemingly late Titus phase (ca. after A.D. 1670) Caddo sites clustered on the middle to upper reaches of Caney Creek in northern Wood County (Figure 1) This is based on a large collection of grave goods amassed by a collector in the 1960s from Caddo sites in this area. No European goods were reported from any of the sites but several of the vessel types have been shown to often occur in association with a few European trade goods at other published Caddo sites (i.e., Taylor Engraved, Keno Trailed, Hodges Engraved, Simms Engraved, and Womack Engraved) (Schambach and .Miller 1984). There are examples in the collection of Ripley Engraved carinated bowls with inverted rims (and often with red-filming) that seem to indicate a transition from Ripley Engraved scrolls to motifs such as ticked horizontal lines also seen on historic Caddo pottery types Natchitoches Engraved and Patton Engraved.

Journal ArticleDOI
TL;DR: Using a set counting argument, the upper bound for this transformation of self-verifying nondeterministic finite automata to deterministic ones can be lowered from 2 n to O(2 √n).
Abstract: This paper describes a modification of the power set construction for the transformation of self-verifying nondeterministic finite automata to deterministic ones. Using a set counting argument, the upper bound for this transformation can be lowered from 2 n to O(2 √n).

Journal ArticleDOI
TL;DR: In this article, the notion of insertion k a k sur les mots infinis is introduced, i.e., the insertion of mots sturmiens into infinities.
Abstract: Nous etablissons quelques proprietes des mots sturmiens et classifions, ensuite, les mots infinis qui possedent, pour tout entier naturel non nul n , exactement n+2 facteurs de longueur n . Nous definissons egalement la notion d'insertion k a k sur les mots infinis puis nous calculons la complexite des mots obtenus en appliquant cette notion aux mots sturmiens. Enfin nous etudions l'equilibre et la palindromie d'une classe particuliere de mots de complexite n+2 que nous appelons mots quasi-sturmiens par insertion et que nous caracterisons a l'aide des vecteurs de Parikh.

Journal ArticleDOI
TL;DR: This work establishes the defect property in the case of three dominoes ( n × 1 or 1 × n rectangles) in the context of labelled polyominoes, i.e. two-dimensional figures.
Abstract: We consider the defect theorem in the context of labelled polyominoes, i.e. , two-dimensional figures. The classical version of this property states that if a set of n words is not a code then the words can be expressed as a product of at most n - 1 words, the smaller set being a code. We survey several two-dimensional extensions exhibiting the boundaries where the theorem fails. In particular, we establish the defect property in the case of three dominoes ( n × 1 or 1 × n rectangles).

Journal ArticleDOI
TL;DR: Perttula, Timothy K. and Nelson, Bo (2007) ''Documentation of a Collection of Archaeological Materials from the Millsey Williamson Site (41RK3), A Historic Nadaco Caddo Settlement,'' Index of Texas Archaeology: Open Access Gray Literature from the Lone Star State: Vol. 7, No. 2.
Abstract: Repository Citation Perttula, Timothy K. and Nelson, Bo (2007) \"Documentation of a Collection of Archaeological Materials from the Millsey Williamson Site (41RK3), A Historic Nadaco Caddo Settlement,\" Index of Texas Archaeology: Open Access Gray Literature from the Lone Star State: Vol. 2007 , Article 28. https://doi.org/ 10.21112/.ita.2007.1.28 ISSN: 2475-9333 Available at: https://scholarworks.sfasu.edu/ita/vol2007/iss1/28

Journal ArticleDOI
TL;DR: A magnetometer survey was conducted at the Horace Cabe Mound site (41BW14) in 2005 by Walker and Schultz (2006) as part of the Bowie County Levee Realignment project in Bowie County, Texas as mentioned in this paper.
Abstract: A magnetometer survey was conducted at the Horace Cabe Mound site (41BW14) in 2005 by Walker and Schultz (2006) as part of the Bowie County Levee Realignment project in Bowie County, Texas (Sundermeyer et al. 2006). The purpose of the survey was to attempt to locate anomalies that may represent potential archaeological features at this important Late Caddo mound center near the Red River. The area was surveyed using a Geometrics portable G858 cesium sensor magnetometer and a G-856 proton magnetometer base station. This article puts on record another substantive example of Caddo archaeology as seen through the use of remote sensing technology.


Journal ArticleDOI
TL;DR: In this paper, the authors examined the archival and archaeological records in hopes of identifying the archaeological correlates of Hasinai Caddo groups in East Texas, and proposed a method to link archaeological sites to specific hasinai regional entities using a broad survey of sites, collections, and a detailed examination of regional ceramic attributes.
Abstract: This article was assembled using information collected for my dissertation proposal. The Allen Phase Caddo sites and other aboriginal Historic sites of interest are located in the upper Neches and Angelina River basins in East Texas, and were identified from various sources in the archaeological literature . In addition, regional archaeologists and a vocational archaeologists, including several participants of the East Texas Caddo Research Group 2006 meeting, provided information and helped in the process of vetting sites. My dissertation will examine the archival and archaeological records in hopes of identifying the archaeological correlates of Hasinai Caddo groups in East Texas. To accomplish this l will revisit primary documents and their translations, analyze known archaeological site collections, and locate, document, analyze and, if possible, contextualize unreported private collections. Utilizing multiple lines of evidence, including a broad survey of sites, collections, and a detailed examination of regional ceramic attributes, I propose to link archaeological sites to specific Hasinai regional entities. Native Caddo groups inhabited the area between the Neches and Angelina river valleys of East Texas for hundreds of years before the first European contact at ca. A.D. 1542. Written accounts from the time of sustained contact, more than 100 years later have informed and influenced our understanding of the social, political, and economic organization of the Caddo. Over the last half-century many public and privately owned archaeological sites have been excavated and reported, but to my knowledge there has not been a detailed region-wide ceramic study of archaeological sites and collections from the upper Neches and Angelina river drainages.

Journal ArticleDOI
TL;DR: In this article, Anderson et al. provide comparative sherd assemblage data from Lake Palestine sites on the Neches River, including Debro (41CE86), William Sherman (41 CE30), Forest Drive (4JHE184), Halbert, Woldert (41HE80), Ferguson, Tomato Patch, Mitchell, Mitchell and White Mule.
Abstract: Table 1 provides comparative sherd assemblage data from Lake Palestine sites on the Neches River (see Anderson et at. 1974), 41HE139 west of Lake Palestine (Cliff et al. 2004), 41AN38 (Kelley et aL 2006) south of Lake Palestine, as wc11 as the Kah-hah-kowha site (41CE354) (Perttula and Nelson 2006) to the northeast of the lake. This site has an Allen phase component. The Lake Palestine sites include Debro (41CE86), William Sherman (41CE30), Forest Drive (4JHE184), Halbert, Woldert (41HE80), Ferguson, Tomato Patch (41HEI85), Mitchell (41HE22), and White Mule (41HE166) (Figure 1).

Journal ArticleDOI
TL;DR: Words having the same root can be generated by iterated catenation starting from the same word; in this sensethey share a common p rimitive source.
Abstract: . Duplication is the replacement of a factor w within a wordby ww . This operation can be used iteratively to generate languagesstarting from words or sets of words. By undoing duplications, onecan eventually reach a square-free word, the original word’s duplica-tion root. The duplication root is unique, if the length of duplicationsis xed. Based on these unique roots we dene the concept of duplica-tion code. Elementary properties are stated, then the conditions underwhich innite duplication codes exist are fully characterized; the rele-vant parameters are the duplication length and alphabet size. Finally,some properties of the languages generated by duplication codes areinvestigated. Mathematics Subject ClassiÞcation. 68R15, 68Q45, 94B60. 1. Introduction A fundamental concept concerning words is primitivity. A word is primitive,if it is not a non-trivial power of another word. For every non-primitive word,there is a unique primitive one the original word is a power of. This is oftencalled the original words primitive root. Thus, words having the same root canbe generated by iterated catenation starting from the same word; in this sensethey share a common p rimitive source.

Journal ArticleDOI
TL;DR: In this paper, SWCA Environmental Consultants conducted significance testing excavations at site 41KM225, Kimble County, Texas, on behalf of the Texas Department of Transportation (TxDOT).
Abstract: SWCAEnvironmental Consultants (SWCA) conducted significance testing excavations at site 41KM225, Kimble County, Texas, on behalf of the Texas Department of Transportation (TxDOT). The tested portion of the site is in TxDOT’s right-of-way (ROW) of Farm-to-Market (FM) 2169 on the northern bank of Johnson Fork, a tributary of the Llano River. SWCA performed the investigations under General Services Contract No. 575XXSA007, Work Authorization No. 575 20 SA007, and Texas Antiquities Permit 4183. The final report was written under Work Authorization No. 575 25 SA007. In the course of the investigations, SWCAconducted shovel testing, hand excavations, special sampling, and other documentation at the project area. The site is located in the walls of eroding road cuts along FM 2169. Although cultural material was more visible in the east wall, this portion of the site had been impacted by erosion and the construction of a cedar oil processing mill, located just outside the ROW boundary. As the possibility of more intact prehistoric subsurface cultural material was located on the western side of the roadway, hand excavations were initialized on this side. In all, approximately 3.38 m3 were excavated at the site. In addition to the hand excavations, the testing project excavated five shovel tests to define the site limits within the ROW and investigate a feature. The testing determined that the site contains one cultural component, designated Analytical Unit 1 (AU 1), in an alluvial and colluvial setting.AU 1 spans the deposits from the ground surface to a gravel lens at around 70 cm below surface. AU 1 contains one burned limestone rock feature; debitage, two projectile points, lithic tools, and one charcoal sample were also recovered in the excavation units. One projectile point was also found on the ground surface. One radiocarbon sample was submitted for assay, but the results were inconclusive. Thus, the best data to establish a period(s) of occupation were typological. Although none of the points could be decisively typed, they share characteristics with a Pedernales point, an Early Triangular point, and a Paisano point. The Pedernales point dates to the middle Late Archaic (3,300–2,300 B.P.), and the Early Triangular point dates to the end of the Middle Archaic (5,700–5,500 B.P.). The point recovered from the surface is undiagnostic, but bears some similarity to a Trans-Pecos Paisano point (Transitional Archaic, 2,150–1,350 B.P.), but only a few of the defining characteristics are present. Artifact recovery was sparse, with only two pieces of organic material preserved. Although the site contains one analytical unit with prehistoric cultural material in an observable natural stratum, the soil compression and bioturbation have mixed the assemblages and associated cultural components. This mixing has compromised the integrity of the cultural deposits; and they cannot be subdivided into separate occupation periods subject to specific research questions. Additionally, the ratio among artifact classes recovered from the site is low (burned limestone, some lithic tools, but almost no organics), and the potential data yield to answer specific research questions is marginal. SWCA recommends that the portion of 41KM225 within the road ROW is not eligible for National Register of Historic Places (NRHP) listing under Criterion D, 36 CFR 60.4, and is not eligible for State Archeological Landmark (SAL) designation under Criteria 1 and 2 of the Rules of Practice and Procedure for the Antiquities Code of Texas, 13 TAC 26.8. Data recovery investigations are not recommended for the portion of the site within the APE. Portions of the site outside of the ROW have not been fully evaluated.