In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...
Logging residue (slash) consists primarily of the branches and treetops of harvested merchantable timber; excluding snags, downed logs, and stumps. Residues may be scattered about the harvest unit, concentrated in slash-piles (SP), or both depending on the harvest method and equipment used. Accurate estimates of residue biomass are useful to...
State-owned forestland in P.R. China has long been an important source of natural resources for communities. The Chinese government has undertaken several conservation initiatives with the intent to restore degraded landscapes and conserve biodiversity, while simultaneously improving the quality of life for rural people. Using Yaze Village, Pingwu County, Sichuan...
The Steller Sea Lion Research Initiative was passed in 2001 to provide funding to help scientists determine causes and solutions for the population crash of Steller sea lions (Eumetopias jubatus). In response to need to understand population dynamics of Steller sea lions, NOAA Fisheries has spearheaded a large-scale, range-wide research...
Terrestrial Laser Scanning (TLS) is an efficient, effective, and precise measurement tool rapidly growing in popularity in a wide variety of fields. Use of TLS data often requires aligning multiple scans for a more complete model of a scene or object, a procedure known as scan registration. Each scan setup...
This study evaluates the productivity and accuracy of surveys completed with single-base real-time kinematic (RTK) Global Navigation Satellite Systems (GNSS) using four different GNSS constellation combinations: (1) GPS-only, (2) GPS+GLONASS, (3) GPS+Galileo+BeiDou, and (4) GPS+GLONASS+Galileo+BeiDou. For this comparison, we set up a test site consisting of 20 stations ranging with...
Historians and sociologists of science often identify the efflorescence of social stud ies of science with the work of postwar American intellectuals such as Robert K. Merton and Thomas S. Kuhn. They often also refer to the views of Michael Polanyi (1891-1976) on the roles of tacit knowledge, apprenticeship, social...
Geospatial data analysis is a multifaceted discipline encompassing the collection, processing, and visualization of diverse datasets. It models and delineates the interactions of people, objects, and phenomena within geographical spaces and predicts patterns based on the relationships between different locations. Despite significant advancements in geospatial data engineering and analytics over...
Engineers have long been inspired by nature's flyers. Such animals navigate complex environments gracefully and efficiently by using a variety of evolutionary adaptations for high-performance flight. Biologists have discovered a variety of sensory adaptations that provide flow state feedback and allow flying animals to feel their way through flight. A...
We examined the spatial distribution of crime incidents on USDA Forest Service lands using a geographic
information system and several spatial analysis techniques. Our primary objective was to examine
whether patterns existed in the spatial distribution of crime and to explore the relationship of patterns
to other geographic features using...