Landscape, Legal, and Biodiversity Threats that Windows Pose to Birds: A Review of an Important Conservation Issue
Windows in human residential and commercial structures in urban, suburban, and rural landscapes contribute to the deaths of billions of birds worldwide. International treaties, federal, provincial, state, and municipal laws exist to reduce human-associated avian mortality, but are most often not enforced for bird kills resulting from window strikes. As an additive, compared to a compensatory mortality factor, window collisions pose threats to the sustainability and overall population health of common as well as species of special concern. Several solutions to address the window hazard for birds exist, but the most innovative and promising need encouragement and support to market, manufacture, and implement.
Patterns of bird-window collisions inform mitigation on a university campus
Bird-window collisions cause an estimated one billion bird deaths annually in the United States. Building characteristics and surrounding habitat affect collision frequency. Given the importance of collisions as an anthropogenic threat to birds, mitigation is essential. Patterned glass and UV-reflective films have been proven to prevent collisions. At Duke University’s West campus in Durham, North Carolina, we set out to identify the buildings and building characteristics associated with the highest frequencies of collisions in order to propose a mitigation strategy. We surveyed six buildings, stratified by size, and measured architectural characteristics and surrounding area variables. During 21 consecutive days in spring and fall 2014, and spring 2015, we conducted carcass surveys to document collisions. In addition, we also collected ad hoc collision data year-round and recorded the data using the app iNaturalist. Consistent with previous studies, we found a positive relationship between glass area and collisions. Fitzpatrick, the building with the most window area, caused the most collisions. Schwartz and the Perk, the two small buildings with small window areas, had the lowest collision frequencies. Penn, the only building with bird deterrent pattern, caused just two collisions, despite being almost completely made out of glass. Unlike many research projects, our data collection led to mitigation action. A resolution supported by the student government, including news stories in the local media, resulted in the application of a bird deterrent film to the building with the most collisions: Fitzpatrick. We present our collision data and mitigation result to inspire other researchers and organizations to prevent bird-window collisions.
Decidability of some intuitionistic predicate theories
Suppose T is a first order intuitionistic theory (more precisely, a theory of Heyting's predicate calculus, e.g., abelian groups, one unary function, dense linear order, etc.) presented to us by a set of axioms (denoted also by) T. Question. Is T decidable? One knows that if the classical counterpart of T (i.e., take the same axioms but with the classical predicate calculus as the underlying logic) is not decidable, then T cannot be decidable. The problem remains for theories whose classical counterpart is decidable. In [8], sufficient conditions for undecidability were given, and several intuitionistic theories such as abelian groups and unary functions (both with decidable equality) were shown to be undecidable. In this note we show decidability results (see Theorems 1 and 2 below), and compare these results with the undecidability results previously obtained. The method we use is the reduction-method, described fully in [12] and widely applied in [3], which is applied here roughly as follows: Let T be a given theory of Heyting's predicate calculus. We know that Heyting's predicate calculus is complete for the Kripke-model type of semantics. We choose a class M of Kripke models for which T is complete, i.e., all axioms of T are valid in any model of the class and whenever φ is not a theorem of T, φ is false in some model of M.