We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentı́n et al., 2013) to include exponentials. This provides an e↵ective tool for pruning proof search in categorial parsing/theorem-proving.

Wildlife rehabilitation provides responsible care for sick, injured or orphaned wild animals with the goal of releasing fully recovered individuals back into environment. Post-release survival data these remain sparse but necessary to measure and assess impact wildlife as a conservation strategy. This study used national banding quantitatively compare annual wild-caught (non-rehabilitated) reha...

The objective of this paper is to describe governing numerical equation and solution algorithm of pollution transport mechanisms and factors essential to include in developing relatively simple and practical tools to quantify pollution loss, advection, diffusion and sorption in pollution transport into the groundwater at landfill sites. This paper presents the development of a numerical model t...

A frequency domain dynamic analysis is needed to obtain the response of structures constructed on a system of base isolators on flexible soil when subjected to earthquake ground motion. In such systems, the lateral stiffness of the base isolators is so small, compared to the structural stiffness, that in an earthquake attack the fundamental vibration mode dominates the response. With this in mi...

We present the first robust estimates of apparent survival of western cottonmouths (Agkistrodon piscivorus leucostoma) in central Texas. Estimates presented were obtained using the Cormack–Jolly-Seber Model that accounts for detectability. Apparent annual probability of survival of western cottonmouths located at Honey Creek, Comal County, Texas, a spring-fed stream flowing 3.2 km to its conflu...

—Alteration and loss of habitat is a major factor in the recent declines of many turtle populations. However, there are few studies of turtle populations in areas that are used intensively by humans. We used temporal symmetry modeling and an information-theoretic approach to model selection to estimate survival and recruitment in a population of Ornate Box Turtles, Terrapene ornata, in fragment...

A frequency domain dynamic analysis is needed to obtain the response of structures constructed on a system of base isolators on flexible soil when subjected to earthquake ground motion. In such systems, the lateral stiffness of the base isolators is so small, compared to the structural stiffness, that in an earthquake attack the fundamental vibration mode dominates the response. With this in mi...