The Design Fabrication and Flight Testing of an Academic Research Platform for High Resolution Terrain Imaging

This thesis addresses the design, construction, and flight testing of an Unmanned Aircraft System (UAS) created to serve as a testbed for Intelligence, Surveillance, and Reconnaissance (ISR) research topics that require the rapid acquisition and processing of high resolution aerial imagery and are to be performed by academic research institutions. An analysis of the requirements of various ISR research applications and the practical limitations of academic research yields a consolidated set of requirements by which the UAS is designed. An iterative design process is used to transition from these requirements to cycles of component selection, systems integration, flight tests, diagnostics, and subsystem redesign. The resulting UAS is designed as an academic research platform to support a variety of ISR research applications ranging from human machine interaction with UAS technology to orthorectified mosaic imaging. The lessons learned are provided to enable future researchers to create similar systems

Limit Theorems for Individual-Based Models in Economics and Finance

There is a widespread recent interest in using ideas from statistical physics to model certain types of problems in economics and finance. The main idea is to derive the macroscopic behavior of the market from the random local interactions between agents. Our purpose is to present a general framework that encompasses a broad range of models, by proving a law of large numbers and a central limit theorem for certain interacting particle systems with very general state spaces. To do this we draw inspiration from some work done in mathematical ecology and mathematical physics. The first result is proved for the system seen as a measure-valued process, while to prove the second one we will need to introduce a chain of embeddings of some abstract Banach and Hilbert spaces of test functions and prove that the fluctuations converge to the solution of a certain generalized Gaussian stochastic differential equation taking values in the dual of one of these spaces.Comment: To appear in Stochastic Processes and their Application

Forgiveness takes place on an attitudinal continuum from hostility to friendliness: Toward a closer union of forgiveness theory and measurement.

Researchers commonly conceptualize forgiveness as a rich complex of psychological changes involving attitudes, emotions, and behaviors. Psychometric work with the measures developed to capture this conceptual richness, however, often points to a simpler picture of the psychological dimensions in which forgiveness takes place. In an effort to better unite forgiveness theory and measurement, we evaluate several psychometric models for common measures of forgiveness. In doing so, we study people from the United States and Japan to understand forgiveness in both nonclose and close relationships. In addition, we assess the predictive utility of these models for several behavioral outcomes that traditionally have been linked to forgiveness motives. Finally, we use the methods of item response theory, which place person abilities and item responses on the same metric and, thus, help us draw psychological inferences from the ordering of item difficulties. Our results highlight models based on correlated factors models and bifactor (S-1) models. The bifactor (S-1) model evinced particular utility: Its general factor consistently predicts variation in relevant criterion measures, including 4 different experimental economic games (when played with a transgressor), and also suffuses a second self-report measure of forgiveness. Moreover, the general factor of the bifactor (S-1) model identifies a single psychological dimension that runs from hostility to friendliness while also pointing to other sources of variance that may be conceived of as method factors. Taken together, these results suggest that forgiveness can be usefully conceptualized as prosocial change along a single attitudinal continuum that ranges from hostility to friendliness. (PsycInfo Database Record (c) 2020 APA, all rights reserved)

An Alternating Treatment Design Comparing Small Group Reading Interventions Across Early Elementary Readers

Learning how to read accurately and fluently is a critical component for a student’s future academic success. Reading fluency is a skill that many students struggle to master. In addition, many students missed out on key skill development due to the loss of instruction from COVID-19. As schools begin to recover from these educational losses, small group reading interventions offer an efficient solution to service multiple students at once. Small group reading interventions such as Repeated Readings (RR), Listening Passage Preview (LPP) and LPP with RR (LPP+RR) have all been demonstrated to be effective methods for increasing reading fluency. Yet few studies have specifically examined the effectiveness of these interventions in comparison to each other in a group setting. The current study compared reading RR, LPP, and LPP+RR in a small group setting to determine which intervention yielded the largest gains in reading fluency

A Framework for Understanding the Role of Psychological Processes in Disease Development, Maintenance, and Treatment: The 3P-Disease Model

Health psychology is multidisciplinary, with researchers, practitioners, and policy makers finding themselves needing at least some level of competency in a variety of areas from psychology to physiology, public health, and others. Given this multidisciplinary ontology, prior attempts have been made to establish a framework for understanding the role of biological, psychological, and socio-environmental constructs in disease development, maintenance, and treatment. Other models, however, do not explain how factors may interact and develop over time. The aim here was to apply and adapt the 3P model, originally developed and used in the treatment of insomnia, to couch the biopsychosocial model in a way that explains how diseases develop, are maintained, and can be treated. This paper outlines the role of predisposing, precipitating, and perpetuating factors in disease states and conditions (the 3Ps) and provides examples of how this model may be adapted and applied to a number of health-related diseases or disorders including chronic pain, gastrointestinal disorders, oral disease, and heart disease. The 3P framework can aid in facilitating a multidisciplinary, theoretical approach and way of conceptualizing the study and treatment of diseases in the future

Computable de Finetti measures

We prove a computable version of de Finetti's theorem on exchangeable sequences of real random variables. As a consequence, exchangeable stochastic processes expressed in probabilistic functional programming languages can be automatically rewritten as procedures that do not modify non-local state. Along the way, we prove that a distribution on the unit interval is computable if and only if its moments are uniformly computable.Comment: 32 pages. Final journal version; expanded somewhat, with minor corrections. To appear in Annals of Pure and Applied Logic. Extended abstract appeared in Proceedings of CiE '09, LNCS 5635, pp. 218-23

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Life\u27s Essential 8: Optimizing Health in Older Adults

The population worldwide is getting older as a result of advances in public health, medicine, and technology. Older individuals are living longer with a higher prevalence of subclinical and clinical cardiovascular disease (CVD). In 2010, the American Heart Association introduced a list of key prevention targets, known as Life\u27s Simple 7 to increase CVD-free survival, longevity, and quality of life. In 2022, sleep health was added to expand the recommendations to Life\u27s Essential 8 (eat better, be more active, stop smoking, get adequate sleep, manage weight, manage cholesterol, manage blood pressure, and manage diabetes). These prevention targets are intended to apply regardless of chronologic age. During this same time, the understanding of aging biology and goals of care for older adults further enhanced the relevance of prevention across the range of functions. From a biological perspective, aging is a complex cellular process characterized by genomic instability, telomere attrition, loss of proteostasis, inflammation, deregulated nutrient-sensing, mitochondrial dysfunction, cellular senescence, stem cell exhaustion, and altered intercellular communication. These aging hallmarks are triggered by and enhanced by traditional CVD risk factors leading to geriatric syndromes (eg, frailty, sarcopenia, functional limitation, and cognitive impairment) which complicate efforts toward prevention. Therefore, we review Life\u27s Essential 8 through the lens of aging biology, geroscience, and geriatric precepts to guide clinicians taking care of older adults