Physical Sciences and Mathematics Commons^™

The Biomechanics Of The Softball Swing In Seven Stages: Optimizing Exit Velocity, Ceara A. Larson

Lawrence University Honors Projects

The study of sports biomechanics is a rapidly developing field that can be used to analyze an athlete’s most critical motions and improve their performance. In the world of baseball, sports biomechanists, scientists dedicated to the field of sports biomechanics, help keep pitchers healthy, optimize pitch performance, and improve a batter’s swing efficiency. Because of their surface-level similarities, the findings of baseball biomechanical studies have been projected onto the sport of women’s fastpitch softball, despite their substantial differences in physiology, field dimensions, pitch delivery, and classifications of hitters. The purpose of this study is to produce a biomechanical analysis unique …

Combinatorial Resultants In The Algebraic Rigidity Matroid, Goran Malić, Ileana Streinu

Computer Science: Faculty Publications

Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid CMn associated to the Cayley-Menger ideal for n points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we …

Many Known Quantum Algorithms Are Optimal: Symmetry-Based Proofs, Vladik Kreinovich, Oscar Galindo, Olga Kosheleva

Departmental Technical Reports (CS)

Many quantum algorithms have been proposed which are drastically more efficient that the best of the non-quantum algorithms for solving the same problems. A natural question is: are these quantum algorithms already optimal -- in some reasonable sense -- or they can be further improved? In this paper, we review recent results showing that many known quantum algorithms are actually optimal. Several of these results are based on appropriate invariances (symmetries).

Impact Of Personality Types And Matching Messaging On Password Strength, Anna Bakas, Anne Wagner, Spencer Johnston, Shelia Kennison, Eric Chan-Tin

Computer Science: Faculty Publications and Other Works

People often create passwords for their accounts that are insecure. An insecure password is often easy to guess– thus, hackers can easily access their victims’ accounts. It is important for users to know how to create and manage secure passwords so they can better protect themselves from hackers. It is well-known that different users have different personality types, such as Big Five and True Colors. This research examines if there is any link between personality types and password security behavior. Each participant was shown either a matching or mismatching message based on their personality type, and it was measured whether …

Statistically Defensible Wind Tunnel Models, Timothy A. Roche

Theses and Dissertations

Wind tunnels are used to test scale-model air frames in order to collect aerodynamic data. The Subsonic Aerodynamic Research Laboratory (SARL) Wind Tunnel is a low speed wind tunnel located at Wright-Patterson Air Force Base. The SARL Wind Tunnel team approached AFIT for assistance in creating statistically defensible models for the conditions inside the wind tunnel. During a wind tunnel test, pressure sensors cannot be placed at the test model. Instead, pressure is measured by a pitot probe permanently mounted in the corner of the test chamber. The pressure at the model location is predicted from the measurements taken by …

Alfaxalone Successfully Immobilizes Small Indian Mongooses (Urva Auropunctata): A Field Report, Caroline C. Sauvé, Yves Rondenay, Are R. Berentsen, Mel J. Rivera-Rodriguez, Patrick A. Leighton

United States Department of Agriculture Wildlife Services: Staff Publications

We investigated intramuscular administration of alfaxalone (5.3–10.0 mg/kg) as an immobilizing agent in free-ranging small Indian mongooses (Urva auropunctata) on the island of St. Kitts, West Indies. From 5–11 January 2020, we successfully immobilized 10 of 11 mongooses. Alfaxalone provided rapid onset (median = 3 min) of immobilization. Mean duration of immobilization was 16.8 ± 3 min. Mean recovery time was 5.6 ± 1 min. There was no effect of dose administered on induction, anesthesia, or recovery times at the dose range used. We concluded that alfaxalone represents an effective alternative to dissociative agents for the immobilization of free-ranging mongooses. …

Comparing Management Programs To Reduce Red–Tailed Hawk Collisions With Aircraft, Brian Washburn, Craig K. Pullins, Travis L. Guerrant, Gregory J. Martinelli, Scott F. Beckerman

United States Department of Agriculture Wildlife Services: Staff Publications

Wildlife-aircraft collisions (wildlife strikes) pose a serious safety risk to aircraft. Raptors (i.e., hawks and owls) are one of the most frequently struck guilds of birds within North America. Although raptors (most notably red-tailed hawks [Buteo jamaicensis]) are commonly managed at most airports and military bases, there is no scientific information available regarding comparisons of the efficacy of raptor management programs for reducing raptor-aircraft collisions. Therefore, we conducted a study to examine the efficacy of 2 raptor hazard management programs implemented at Chicago's O'Hare International Airport (ORD). The first raptor management program (Phase I) occurred during January 2010–June 2013 and …

Strategic Testing Approaches For Targeted Disease Monitoring Can Be Used To Inform Pandemic Decision-Making, James D. Nichols, Tiffany L. Bogich, Emily Howerton, Ottar N. Bjørnstad, Rebecca K. Borchering, Matthew Ferrari, Murali Haran, Christopher Jewell, Kim M. Pepin, William J.M. Probert, Juliet R.C. Pulliam, Michael C. Runge, Michael Tildesley, Cecile Viboud, Katriona Shea

United States Department of Agriculture Wildlife Services: Staff Publications

More than 1.6 million Servere Acute Respiratory Syndrome Cronovirus 2(SARS-COV-2)tests were administered daily in the United States at the peak of the epidemic, with a significant focus on individual treatment. Here, we show that objective-driven, strategic sampling designs and analyses can maximize information gain at the population level, which is necessary to increase situational awareness and predict, prepare for, and respond to a pandemic, while also continuing to inform individual treatment. By focusing on specific objectives such as individual treatment or disease prediction and control (e.g., via the collection of population- level statistics to inform lockdown measures or vaccine rollout) …

An Evaluation Of Body-Grip Trap Trigger Configurations For Reducing River Otter Take Incidental To Beaver Trapping, Alec J. Sundelius, Nicholas Forman, Nathan M. Roberts, Shawn T. Rossler, David B. Ruid, Robert C. Willging

United States Department of Agriculture Wildlife Services: Staff Publications

River otter (Lontra canadensis) populations in North America have been the focus of significant restoration efforts. Wildlife management agencies, concerned about the unintentional take of river otters incidental to beaver (Castor canadensis) trapping, may recommend techniques to avoid capturing river otters. River otter avoidance techniques that are ineffective or diminish trap performance for beavers are undesirable. We conducted a field evaluation in 2015 and 2016 in Wisconsin to assess how two trigger configurations (offset and center) on body-grip traps would affect the incidental capture rate of river otters during beaver trapping. We also evaluated effects of …

Current Stormwater Practices And Future Implementation At Portland State University With The Uncertainty Of Climate Change, Evan Suemori, Alexandra Vargas Quiñones

Environmental Science and Management Professional Master's Project Reports

Stormwater runoff is one of the most critical environmental issues in urban areas and is only expected to worsen as climate change persists (EPA, 2016). When precipitation events occur, stormwater travels across impervious surfaces collecting soils and pollutants which can negatively impact water quality in receiving waters. Additionally, stormwater has human health impacts, specifically through flooding and the contamination of drinking water. According to the Intergovernmental Panel on Climate Change (IPCC), it has been determined that climate change will increase the frequency, intensity, and/or number of precipitation events in some regions, including the Pacific Northwest, and decrease in others (IPCC, …

Synthetic And Biological Studies On Benzazepine Derivatives As Dopamine Receptor Ligands, Rajan Giri

Dissertations, Theses, and Capstone Projects

Dopamine (DA) receptors, members of the G-protein coupled receptors (GPCRs) family, are divided in two groups based on their transmembrane structural homology domains: D1R-like (D1R, D5R sub-types) and D2R-like DA receptors (D2R, D3R and D4R sub-types). Disturbances in dopaminergic neurotransmission are associated with several CNS disorders. Hence, DA receptor selective ligands have been sought as pharmacological agents to normalize perturbations in the dopaminergic system. Despite several notable efforts, the discovery of highly selective ligands for dopamine receptor sub-types has proved challenging due to close transmembrane structural similarity, especially between DA receptor sub-types within the same group.

The 1-phenylbenzazepine scaffold is …

Evolutionary Generation Of Diversity In Embedded Binary Executables For Cyber Resiliency, Mitchell D. I. Hirschfeld

Theses and Dissertations

Hardening avionics systems against cyber attack is difficult and expensive. Attackers benefit from a "break one, break all" advantage due to the dominant mono-culture of automated systems. Also, undecidability of behavioral equivalence for arbitrary algorithms prevents the provable absence of undesired behaviors within the original specification. This research presents results of computational experiments using bio-inspired genetic programming to generate diverse implementations of executable software and thereby disrupt the mono-culture. Diversity is measured using the SSDeep context triggered piecewise hashing algorithm. Experiments are divided into two phases. Phase I explores the use of semantically-equivalent alterations that retain the specified behavior of …

Urban Permaculture For Climate-Resilient Farming In Worcester, Massachusetts, Priyanka Shrestha

Sustainability and Social Justice

Climate changes observed over the past several decades are associated with changes in the multiple components of hydrological systems, including changes in precipitation patterns, higher rates of evaporation and increasing soil erosion. In 2019, the city of Worcester declared a climate emergency, stating that climate change threatens the community’s environment. Permaculture can strengthen crucial relationships between nature and human beings, offering long-lasting solutions to protect our planet from risks associated with climate change. This paper focuses on the application of permaculture practices in urban agriculture, including techniques to address changes in hydrological systems. Use of perennial plants, creating swales, drip …

Pedestrian Attribute Recognition Using Two-Branch Trainable Gabor Wavelets Network, Imran N. Junejo

All Works

Keeping an eye on pedestrians as they navigate through a scene, surveillance cameras are everywhere. With this context, our paper addresses the problem of pedestrian attribute recognition (PAR). This problem entails recognizing attributes such as age-group, clothing style, accessories, footwear style etc. This multi-label problem is extremely challenging even for human observers and has rightly garnered attention from the computer vision community. Towards a solution to this problem, in this paper, we adopt trainable Gabor wavelets (TGW) layers and cascade them with a convolution neural network (CNN). Whereas other researchers are using fixed Gabor filters with the CNN, the proposed …

Incorrectness Logic For Graph Programs, Christopher M. Poskitt

Research Collection School Of Computing and Information Systems

Program logics typically reason about an over-approximation of program behaviour to prove the absence of bugs. Recently, program logics have been proposed that instead prove the presence of bugs by means of under-approximate reasoning, which has the promise of better scalability. In this paper, we present an under-approximate program logic for a nondeterministic graph programming language, and show how it can be used to reason deductively about program incorrectness, whether defined by the presence of forbidden graph structure or by finitely failing executions. We prove this 'incorrectness logic' to be sound and complete, and speculate on some possible future applications …

Simplified Volcano Hazard Maps User-Experience (Ux) Study Results, Rachel Volentine

User eXperience Lab

The purpose of this research is to identify any usability issues and opportunities to improve the design for superb communication of volcanic hazards and risks. From this research, insights into the intuitiveness and risk-communication deficiencies of these hazard maps will help create a new methodology for evaluation map-based communication products implemented by USGS and its partners/stakeholders, Risk COP members, and practitioners around the world to alleviate volcanic risk and hazards.

Hierarchical Hyperbolicity Of Graph Products And Graph Braid Groups, Daniel James Solomon Berlyne

Dissertations, Theses, and Capstone Projects

This thesis comprises three original contributions by the author concerning hierarchical hyperbolicity, a coarse geometric tool developed by Behrstock, Hagen, and Sisto to provide a common framework for studying aspects of non-positive curvature in a wide variety of groups and spaces.

We show that any graph product of finitely generated groups is hierarchically hyperbolic relative to its vertex groups. We apply this to answer two questions of Genevois about the electrification of a graph product of finite groups. We also answer two questions of Behrstock, Hagen, and Sisto: we show that the syllable metric on a graph product forms a …

Niching Grey Wolf Optimizer For Multimodal Optimization Problems, Rasel Ahmed, Amril Nazir, Shuhaimi Mahadzir, Mohammad Shorfuzzaman, Jahedul Islam

All Works

Metaheuristic algorithms are widely used for optimization in both research and the industrial community for simplicity, flexibility, and robustness. However, multi-modal optimization is a difficult task, even for metaheuristic algorithms. Two important issues that need to be handled for solving multi-modal problems are (a) to categorize multiple local/global optima and (b) to uphold these optima till the ending. Besides, a robust local search ability is also a prerequisite to reach the exact global optima. Grey Wolf Optimizer (GWO) is a recently developed nature-inspired metaheuristic algorithm that requires less parameter tuning. However, the GWO suffers from premature convergence and fails to …

Pilltank, Lucas Chang, Hayden Tam, Aaron Teh, Krista Round

Electrical Engineering

Imagine an elderly family member, going through their daily routine of taking their pills. They find their pill box; however, they are having trouble identifying all the pills in there. Is there a name on the tablet? Can they read what it says? Do they just trust that the medication in their box is correct? How can they properly take care of themselves if they can not even confirm that what they are taking is the right medication? To combat this issue that many face, we present PillTank.

To decrease the risk of consuming the wrong medication, PillTank identifies the …

Diving Below The Spin-Down Limit: Constraints On Gravitational Waves From The Energetic Young Pulsar Psr J0537-6910, R. Abbott, T. D. Abbott, S. Abraham, F. Acernese, K. Ackley, A. Adams, C. Adams, R. X. Adhikari, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, Tiffany Z. Summerscales

Faculty Publications

We present a search for quasi-monochromatic gravitational-wave signals from the young, energetic X-ray pulsar PSR J0537-6910 using data from the second and third observing runs of LIGO and Virgo. The search is enabled by a contemporaneous timing ephemeris obtained using Neutron star Interior Composition Explorer (NICER) data. The NICER ephemeris has also been extended through 2020 October and includes three new glitches. PSR J0537-6910 has the largest spin-down luminosity of any pulsar and exhibits fRequent and strong glitches. Analyses of its long-term and interglitch braking indices provide intriguing evidence that its spin-down energy budget may include gravitational-wave emission from a …

Neutron Pulse-Time Extension Through Conversion To Positronium, Shawn T. Mctaggart

Theses and Dissertations

Laser-Plasma interactions have strong potential as future neutron sources. Measuring the neutron rate is difficult due to several issues: the very short duration of the laser pulse and subsequent fusion events (on the order of a few picoseconds), the corresponding short duration of the neutron pulse, and the simultaneous emission of other ionizing particles such as protons and electrons. A system was designed to measure neutron emission by imposing a delay from the emission of other radiation by conversion of the neutrons into ortho-positronium (o-Ps), the triplet state of positronium. This lifetime extension enables more sensitive and selective detection of …

A Quantitative Argument For Autonomous Aerial Defense Overembedded Missile Systems To Thwart Cruise Threats, Andrew R. Davis

Theses and Dissertations

Given the high cost of missile defense systems, their ability to be overwhelmed, and rising tensions between the U.S. and adversaries in the Indo-Pacific region, a new modeled is proposed to investigate a new approach to missile defense. The Autonomous Aerial Defense Against Missiles (AADAM) system leverages reusable, small-scale UAVs to propose a cheaper, more effective system in defending against cruise missile threats. The aim of this system is to provide and additional layer in current missile defense strategies at lower-cost. This modeled system is found to outperform a modeled Patriot system in close-range interception of designated assets, with no …

Exploring The Long Tail, Joseph H. Hajjar

Dartmouth College Undergraduate Theses

The migration of datasets online has created a near-infinite inventory for big name retailers such as Amazon and Netflix, giving rise to recommendation systems to assist users in navigating the massive catalog. This has also allowed for the possibility of retailers storing much less popular, uncommon items which would not appear in a more traditional brick-and-mortar setting due to the cost of storage. Nevertheless, previous work has highlighted the profit potential which lies in the so-called "long tail'' of niche, unpopular items. Unfortunately, due to the limited amount of data in this subset of the inventory, recommendation systems often struggle …

Mechanistic And Synthetic Studies Of Oxidopyrylium Cycloaddition Reactions, Lauren P. Bejcek

Dissertations, Theses, and Capstone Projects

Cycloaddition chemistry has historically served as a robust route to stereo-rich and highly functionalized cyclic and heterocyclic compounds. Herein we describe our examination of 3-hydroxy-4-pyrone-derived oxidopyrylium cycloadditions in both mechanistic considerations as well as the unique synthetic advancements of their corresponding cycloadducts. Chapter 1 is a literature review where we specifically outline the use of oxidopyrylium cycloadditions in the synthesis of natural products. This includes the mention of previous syntheses prior to 2008, and a more thorough examination of the natural products synthesized from 2008 to present. The work exploits this chemistry as a facile route to highly complex 7-membered …

Mechanism Design And Modeling To Analyze Complex Social Systems For Public Policy, Haripriya Chakraborty

Dissertations, Theses, and Capstone Projects

The study of complex systems is an important area of research. Many scenarios require the ability to simulate large multi-agent systems with minimal artificial assumptions. We are currently living in a world where the adoption of artificial intelligence (AI) in various areas is increasing rapidly. This, in turn, has serious consequences from a computational and policy perspective. The focus needs to be on designing systems that are not only computationally elegant and efficient but also ethical. The goal of this thesis is to examine some of the ways AI can be used to simulate complex social systems. In addition, we …

Blockchain For Automotive: An Insight Towards The Ipfs Blockchain-Based Auto Insurance Sector, Nishara Nizamuddin, Ahed Abugabah

All Works

The advancing technology and industrial revolution have taken the automotive industry by storm in recent times. The auto sector’s constantly growing demand has paved the way for the automobile sector to embrace new technologies and disruptive innovations. The multi-trillion dollar, complex auto insurance sector is still stuck in the regulations of the past. Most of the customers still contact the insurance company by phone to buy new policies and process existing insurance claims. The customers still face the risk of fraudulent online brokers, as policies are mostly signed and processed on papers which often require human supervision, with a risk …

Exploring The Relationship Between Intrinsic Motivation And Receptivity To Mhealth Interventions, Sarah Hong

Dartmouth College Undergraduate Theses

Recent research in mHealth has shown the promise of Just-in-Time Adaptive Interventions (JITAIs). JITAIs aim to deliver the right type and amount of support at the right time. Choosing the right delivery time involves determining a user's state of receptivity, that is, the degree to which a user is willing to accept, process, and use the intervention provided.

Although past work on generic phone notifications has found evidence that users are more likely to respond to notifications with content they view as useful, there is no existing research on whether users' intrinsic motivation for the underlying topic of mHealth …

Fine-Grained Detection Of Hate Speech Using Bertoxic, Yakoob Khan

Dartmouth College Undergraduate Theses

This thesis describes our approach towards the fine-grained detection of hate speech using deep learning. We leverage the transformer encoder architecture to propose BERToxic, a system that fine-tunes a pre-trained BERT model to locate toxic text spans in a given text and utilizes additional post-processing steps to refine the prediction boundaries. The post-processing steps involve (1) labeling character offsets between consecutive toxic tokens as toxic and (2) assigning a toxic label to words that have at least one token labeled as toxic. Through experiments, we show that these two post-processing steps improve the performance of our model by 4.16% on …

Physically Based Rendering Techniques To Visualize Thin-Film Smoothed Particle Hydrodynamics Fluid Simulations, Aditya H. Prasad

Dartmouth College Undergraduate Theses

This thesis introduces a methodology and workflow I developed to visualize smoothed hydrodynamic particle based simulations for the research paper ’Thin-Film Smoothed Particle Hydrodynamics Fluid’ (2021), that I co-authored. I introduce a physically based rendering model which allows point cloud simulation data representing thin film fluids and bubbles to be rendered in a photorealistic manner. This includes simulating the optic phenomenon of thin-film interference and rendering the resulting iridescent patterns. The key to the model lies in the implementation of a physically based surface shader that accounts for the interference of infinitely many internally reflected rays in its bidirectional surface …

Impulse Method For Shallow Water Simulation, Evan Muscatel

Dartmouth College Undergraduate Theses

The Shallow Water Equations is a simple method to simulate fluid in real-time. As a real-time model, the SWE is an excellent candidate for use in video games. However, the model is not often used in most fluid simulations because it does not preserve vorticity well, and therefore does not look very realistic. We present an improvement on the Shallow Water Equations by using a gauge method to preserve the vorticity of the fluid. We add a variable called impulse !, which is only weakly coupled with the velocity " of the simulation. We show that using this impulse method, …