Physical Sciences and Mathematics Commons^™

Correct-By-Construction Typechecking With Scope Graphs, Katherine Imhoff Casamento

Dissertations and Theses

Dependently-typed languages are well-known for the ability to enforce program invariants through type signatures, and previous work establishes the effectiveness of this style of program verification in the implementation of type-safe interpreters for a wide class of languages with a variety of interesting scoping semantics, offering an account of dynamic semantics. This thesis covers the complementary topic of static semantics, in the form of a pattern for constructing verified typechecking procedures in a dependently-typed setting. Implementations are given for simply-typed lambda calculus and a small procedural language as well as a module system with unrestricted cyclic module dependency semantics that …

Full Issue 48(2)

International Journal of Speleology

No abstract provided.

Table Of Contents

International Journal of Speleology

No abstract provided.

High Multiplicity Strip Packing, Andrew Bloch-Hansen

Electronic Thesis and Dissertation Repository

In the two-dimensional high multiplicity strip packing problem (HMSPP), we are given k distinct rectangle types, where each rectangle type T_i has n_i rectangles each with width 0 < w_i and height 0 < h_i The goal is to pack these rectangles into a strip of width 1, without rotating or overlapping the rectangles, such that the total height of the packing is minimized.

Let OPT(I) be the optimal height of HMSPP on input I. In this thesis, we consider HMSPP for the case when k = 3 and present an OPT(I) + 5/3 polynomial time approximation algorithm for …

Monitoring Drought Impact On Annual Forage Production In Semi-Arid Grasslands: A Case Study Of Nebraska Sandhills, Marketa Podebradska, Bruce K. Wylie, Michael J. Hayes, Brian D. Wardlow, Deborah J. Bathke, Norman B. Bliss, Devendra Dahal

School of Natural Resources: Faculty Publications

Land management practices and disturbances (e.g. overgrazing, fire) have substantial effects on grassland forage production. When using satellite remote sensing to monitor climate impacts, such as drought stress on annual forage production, minimizing land management practices and disturbance effects sends a clear climate signal to the productivity data. This study investigates the effect of this climate signal by: (1) providing spatial estimates of expected biomass under specific climate conditions, (2) determining which drought indices explain the majority of interannual variability in this biomass, and (3) developing a predictive model that estimates the annual biomass early in the growing season. To …

A Graphene Oxide-Based Fluorescence Assay For Sensitive Detection Of Dna Exonuclease Enzymatic Activity, Xiao Liu, Yingfen Wu, Xu Wu, Julia Zhao

Chemistry Faculty Publications

The 3′–5′ exonuclease enzyme plays a dominant role in multiple pivotal physiological activities, such as DNA replication and repair processes. In this study, we designed a sensitive graphene oxide (GO)-based probe for the detection of exonuclease enzymatic activity. In the absence of Exo III, the strong π–π interaction between the fluorophore-tagged DNA and GO causes the efficient fluorescence quenching via a fluorescence resonance energy transfer (FRET). In contrast, in the presence of Exo III, the fluorophore-tagged 3′-hydroxyl termini of the DNA probe was digested by Exo III to set the fluorophore free from adsorption when GO was introduced, causing an …

Generation And Stability Of Structurally Imprinted Target Skyrmions In Magnetic Multilayers, Noah Kent, Robert Streubel, Charles Henri Lambert, Alejandro Ceballos, Soong Gun Je, Scott Dhuey, Mi Young Im, Felix Büttner, Frances Hellman, Sayeef Salahuddin, Peter Fischer

Robert Streubel Papers

Target Skyrmions (TSks) are extended topological spin textures with a constant chirality where the rotation of the z component of the magnetization is larger than π. TSks have topological charge 1 or 0, if the z component of the magnetization Mz goes through a rotation of nπwhere n is an odd or even integer, respectively. TSks with a rotation of the z component of up to 4πhave been imaged via high spatial resolution element-specific X-ray imaging. The TSks were generated by weakly coupling 30 nm thin Permalloy (Ni80Fe20, PY) disks with a 1 μm diameter to asymmetric (Ir 1 nm/Co …

Dynamic Coalescence As A Mathematical Model Of Leadership And Empirical Evidence Of The Value Of Strategic Sacrifice, Jacob D. Valentine

Undergraduate Honors Theses

The topic of leadership belongs to a rich literature that is deep in historical documentation and broad by the many disciplines that have attempted to understand it. However, the contributions of quantitative theorists are scarce, which has resulted in theories of leadership that are primarily qualitative and often subjective. This paper begins building a bridge between the existing scholarship and a more quantitative approach to the study of leadership by rigorously defining leadership as a strategy of interpersonal investment and presenting a mathematical model of this leadership theory. This model provides a theoretical foundation to explain team dynamics, to study …

Time-Resolved Observation Of Transient Precursor State Of Co On Ru(0001) Using Carbon K-Edge Spectroscopy, Hsin-Yi Wang, Simon Schreck, Matthew Weston, Hirohito Ogasawara, Jerry Larue, Fivos Perakis, Martina Dell'angela, Flavio Capotondi, Luca Giannessi, Emanuele Pedersoli, Denys Naumenko, Ivaylo Nikolov, Lorenzo Raimondi, Carlo Spezzani, Martin Beye, Filippo Cavalca, Boyang Liu, Jörgen Gladh, Sergey Koroidov, Piter S. Miedema, Roberto Costantini, Lars G. M. Pettersson, Anders Nilsson

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

The transient dynamics of carbon monoxide (CO) molecules on a Ru(0001) surface following femtosecond optical laser pump excitation has been studied by monitoring changes in the unoccupied electronic structure using an ultrafast X-ray free-electron laser (FEL) probe. The particular symmetry of perpendicularly chemisorbed CO on the surface is exploited to investigate how the molecular orientation changes with time by varying the polarization of the FEL pulses. The time evolution of spectral features corresponding to the desorption precursor state was well distinguished due to the narrow line-width of the C K-edge in the X-ray absorption (XA) spectrum, illustrating that CO molecules …

Urban Health Related Air Quality Indicators Over The Middle East And North Africa Countries Using Multiple Satellites And Aeronet Data, Maram El-Nadry, Wenzhao Li, Hesham El-Askary, Mohamed A. Awad, Alaa Ramadan Awad

Mathematics, Physics, and Computer Science Faculty Articles and Research

Air pollution is reported as one of the most severe environmental problems in the Middle East and North Africa (MENA) region. Remotely sensed data from newly available TROPOMI - TROPOspheric Monitoring Instrument on board Sentinel-5 Precursor, shows an annual mean of high-resolution maps of selected air quality indicators (NO2, CO, O3, and UVAI) of the MENA countries for the first time. The correlation analysis among the aforementioned indicators show the coherency of the air pollutants in urban areas. Multi-year data from the Aerosol Robotic Network (AERONET) stations from nine MENA countries are utilized here to study the aerosol optical depth …

Winslamm Simulation Of Hydrologic Performance Of Permeable Pavements—A Case Study In The Semi-Arid Lower Rio Grande Valley Of South Texas, United States, Taufiqul Alam, Ahmed Mahmoud, Kim D. Jones, Juan Cesar Bezares-Cruz, Javier Guerrero

Civil Engineering Faculty Publications and Presentations

his study used the Source Loading and Management Model for Windows (WinSLAMM) to develop a set of calibrated hydrologic models for three types of regional permeable pavements—porous concrete pavement (PCP), permeable interlocking concrete pavement (PICP), and interlocking block pavement with gravel (IBPG). The objective was to assess the hydrologic performance of permeable pavements, including the runoff depth, peak discharge, percentage increment in runoff reduction of pavements as a function of rainfall depth, development area, and base aggregate porosity, respectively. The permeable pavements were monitored over a wide range of rainfall events in the semi-arid Lower Rio Grande Valley of South …

Wallaby Early Science − V. Askap Hi Imaging Of The Lyon Group Of Galaxies 351, B. Q. For, L. Staveley-Smith, T. Westmeier, M. Whiting, S. -H. Oh, B. Koribalski, J. Wang, O. I. Wong, G. Bekiaris, L. Cortese, A. Elagali, D. Kleiner, K. Lee-Waddell, Juan P. Madrid, A. Popping, J. Rhee, T. N. Reynolds, J. D. Collier, C. J. Phillips, M. A. Voronkov, O. Mueller, H. Jerjen

Physics and Astronomy Faculty Publications and Presentations

We present an HI study of the galaxy group LGG 351 usingWidefield ASKAP L-band Legacy All-sky Blind Survey (WALLABY) early science data observed with the Australian Square Kilometre Array Pathfinder (ASKAP). LGG 351 resides behind the M 83 group at a velocity range (cz) of ∼3500–4800 km s−1 within the rich Hydra-Centaurus overdensity region. We detect 40 sources with the discovery of a tidally interacting galaxy pair and two new HI sources that are not presented in previous optical catalogues. 23 out of 40 sources have new redshifts derived from the new HI data. This study is the largest WALLABY …

On Video Analysis Of Omnidirectional Bee Traffic: Counting Bee Motions With Motion Detection And Image Classification, Vladmir Kulyukin, Sarbajit Mukherjee

Computer Science Faculty and Staff Publications

Omnidirectional bee traffic is the number of bees moving in arbitrary directions in close proximity to the landing pad of a given hive over a given period of time. Video bee traffic analysis has the potential to automate the assessment of omnidirectional bee traffic levels, which, in turn, may lead to a complete or partial automation of honeybee colony health assessment. In this investigation, we proposed, implemented, and partially evaluated a two-tier method for counting bee motions to estimate levels of omnidirectional bee traffic in bee traffic videos. Our method couples motion detection with image classification so that motion detection …

Wildlife Conservation, Zoos And Animal Protection: A Strategic Analysis, Andrew N. Rowan

Andrew N. Rowan, DPhil

The publication consists of the proceedings of a workshop, sponsored by the Gilman Foundation, and held in April of 1994 at the White Oak Conservation Center in Florida. About thirty participants were invited from zoos, animal protection groups and academic institutions to discuss concepts such as wild, captive and tame; animal well-being in the wild and in zoos; and protecting individuals versus conserving populations. In order to maximize the time engaged in discussion, several individuals were identified to prepare target articles which were distributed to all participants before the meeting. These articles form the main chapters in this book. Other …

The Relationship Of Animal Protection Interests To Animal Damage Management: Historic Paths, Contemporary Concerns And The Uncertain Future, John Hadidian

John Hadidian, PhD

More than a decade ago Schmidt (1989) called for consideration of animal welfare to become a "firstorder" decision rule in wildlife management concerns, including animal damage control. Although there has been movement in that direction, this clearly has not yet come to pass. This paper takes a brief look at the interests we call animal damage management, animal welfare and protection, animal rights, and environmentalism in order to speculate about their shared concerns and the uncertain future before them. Since animal damage and the management of that damage cannot be abstracted from the environmental context in which they occur, this …

Little Known Ways To Make The Most Out Of Ketovatru, Keto Vatru

Ketovatru

Shape-Controlled Nanoparticles As Effective Catalysts For Proton Exchange Membrane (Pem) Fuel Cells, Ali Feizabadi

Electronic Thesis and Dissertation Repository

Polymer electrolyte membrane fuel cell (PEMFC), is considered a promising candidate for the next generation power sources in transportation, stationary and portable applications. However, oxygen reduction reaction (ORR), one of the key reactions occurring on PEMFC is kinetically slow; this has limited performance and further advancement in this kind of fuel cells. Thus, improving the PEMFC efficiency requires a thorough understanding of the ORR mechanism on the desired catalyst. To address the above-mentioned demands, the scope of this thesis is focused on the fundamental understanding of facet-controlled nanoparticles, metal-support interactions, and bimetallic platinum catalysts, utilizing synchrotron-based X-ray absorption, X-ray photoelectron …

The Firece Green Fire: Vol. 10 Issue 1, Wofford College Environmental Studies Program

The Fierce Green Fire

No abstract provided.

Ecological Correlates Of Group Integrity Among Dispersing Cliff Swallows, Stacey L. Hannebaum, Mary B. Brown, Charles R. Brown

School of Natural Resources: Faculty Publications

Breeding colonies of birds represent groups of individuals that associate during one breeding season, at least partially dissociate for the non-breeding season, and may re-associate the next year through collective settlement at another breeding site. Little is known about the extent to which colonial birds maintain group integrity when occupying different sites in different years or the benefits of long-term associations among colonial individuals. For cliff swallows (Petrochelidon pyrrhonota) in western Nebraska, USA, we examined ecological correlates and potential benefits associated with group integrity. Using a dataset of over 25,000 individuals, we found that associations between dispersing cliff swallows were …

Partitioning Spatial, Environmental, And Community Drivers Of Ecosystem Functioning, Amelie Truchy, Emma Gothe, David G. Angeler, Frauke Ecke, Ryan A. Sponseller, Mirco Bundschuh, Richard K. Johnson, Brendan G. Mckie

School of Natural Resources: Faculty Publications

Context: Community composition, environmental variation, and spatial structuring can influence ecosystem functioning, and ecosystem service delivery. While the role of space in regulating ecosystem functioning is well recognised in theory, it is rarely considered explicitly in empirical studies.

Objectives: We evaluated the role of spatial structuring within and between regions in explaining the functioning of 36 reference and human-impacted streams.

Methods: We gathered information on regional and local environmental variables, communities (taxonomy and traits), and used variance partitioning analysis to explain seven indicators of ecosystem functioning.

Results: Variation in functional indicators was explained not only by environmental variables and community …

An Exploratory Perception Analysis Of Consensual And Nonconsensual Image Sharing, Jin Ree Lee, Steven Downing

International Journal of Cybersecurity Intelligence & Cybercrime

Limited research has considered individual perceptions of moral distinctions between consensual and nonconsensual intimate image sharing, as well as decision making parameters around why others might engage in such behavior. The current study conducted a perception analysis using mixed-methods online surveys administered to 63 participants, inquiring into their perceptions of why individuals engage in certain behaviors surrounding the sending of intimate images from friends and partners. The study found that respondents favored the concepts of (1) sharing images with romantic partners over peers; (2) sharing non-intimate images over intimate images; and (3) sharing images with consent rather than without it. …

The Future Of Cybercrime Prevention Strategies: Human Factors And A Holistic Approach To Cyber Intelligence, Sinchul Back, Jennifer Laprade

International Journal of Cybersecurity Intelligence & Cybercrime

New technology is rapidly emerging to fight increasing cybercrime threats, however, there is one important component of a cybercrime that technology cannot always impact and that is human behavior. Unfortunately, humans can be vulnerable and easily deceived making technological advances alone inadequate in the cybercrime fight. Instead, we must take a more holistic approach by using technology and better understanding the human factors that make cybercrime possible. In this issue of the International Journal of Cybersecurity Intelligence and Cybercrime, three studies contribute to our knowledge of human factors and emerging cybercrime technology so that more effective comprehensive cybercrime prevention strategies …

Large‐Amplitude Mountain Waves In The Mesosphere Observed On 21 June 2014 During Deepwave: 1.Wave Development, Scales, Momentum Fluxes, And Environmental Sensitivity, Michael J. Taylor, Pierre-Dominique Pautet, David C. Fritts, Bernd Kaifler, Steven M. Smith, Yucheng Zhao, Neal R. Criddle, Pattilyn Mclaughlin, William R. Pendleton Jr., Michael P. Mccarthy, Gonzalo Hernandez, Stephen D. Eckermann, James Doyle, Markus Rapp, Ben Liley, James M. Russell Iii

Publications

A remarkable, large‐amplitude, mountain wave (MW) breaking event was observed on the night of 21 June 2014 by ground‐based optical instruments operated on the New Zealand South Island during the Deep Propagating Gravity Wave Experiment (DEEPWAVE). Concurrent measurements of the MW structures, amplitudes, and background environment were made using an Advanced Mesospheric Temperature Mapper, a Rayleigh Lidar, an All‐Sky Imager, and a Fabry‐Perot Interferometer. The MW event was observed primarily in the OH airglow emission layer at an altitude of ~82 km, over an ~2‐hr interval (~10:30–12:30 UT), during strong eastward winds at the OH altitude and above, which weakened …

A Test Of Structural Model For Fear Of Crime In Social Networking Sites, Seong-Sik Lee, Kyung-Shick Choi, Sinyong Choi, Elizabeth Englander

International Journal of Cybersecurity Intelligence & Cybercrime

This study constructed a structural model which consists of social demographic factors, experience of victimization, opportunity factors, and social context factors to explain the public’s fear of crime on social networking sites (SNS). The model is based on the risk interpretation model, which predicts that these factors influence users’ fear of crime victimization. Using data from 486 university students in South Korea, an empirically-tested model suggests that sex and age have direct and significant effects on fear of victimization, supporting the vulnerability hypothesis. Among opportunity factors, the level of personal information and the number of offending peers have significant effects …

Blockchain Security: Situational Crime Prevention Theory And Distributed Cyber Systems, Nicholas J. Blasco, Nicholas A. Fett

International Journal of Cybersecurity Intelligence & Cybercrime

The authors laid the groundwork for analyzing the crypto-economic incentives of interconnected blockchain networks and utilize situational crime prevention theory to explain how more secure systems can be developed. Blockchain networks utilize smaller blockchains (often called sidechains) to increase throughput in larger networks. Identified are several disadvantages to using sidechains that create critical exposures to the assets locked on them. Without security being provided by the mainchain in the form of validated exits, sidechains or statechannels which have a bridge or mainchain asset representations are at significant risk of attack. The inability to have a sufficiently high cost to attack …

Closing The Nuclear Fuel Cycle With A Simplified Minor Actinide Lanthanide Separation Process (Alsep) And Additive Manufacturing, Artem V. Gelis, Peter Kozak, Andrew T. Breshears, M. Alex Brown, Cari Launiere, Emily L. Campbell, Gabreil B. Hall, Tatiana G. Levitskaia, Vanessa E. Holfeltz, Gregg J. Lumetta

Chemistry and Biochemistry Faculty Research

Expanded low-carbon baseload power production through the use of nuclear fission can be enabled by recycling long-lived actinide isotopes within the nuclear fuel cycle. This approach provides the benefits of (a) more completely utilizing the energy potential of mined uranium, (b) reducing the footprint of nuclear geological repositories, and (c) reducing the time required for the radiotoxicity of the disposed waste to decrease to the level of uranium ore from one hundred thousand years to a few hundred years. A key step in achieving this goal is the separation of long-lived isotopes of americium (Am) and curium (Cm) for recycle …

Photoionization Calculations Of The Radiation Force Due To Spectral Lines In Agns, Randall C. Dannen, Daniel Proga, Timothy R. Kallman, Tim Waters

Physics & Astronomy Faculty Research

One of the main mechanisms that could drive mass outflows in active galactic nuclei (AGNs) is radiation pressure due to spectral lines. Although straightforward to understand, the actual magnitude of the radiation force is challenging to compute because the force depends on the physical conditions in the gas, as well as the strength, spectral energy distribution (SED), and geometry of the radiation field. We present results from our photoionization and radiation transfer calculations of the force multiplier, M(ξ, t), using the same radiation field to compute the gas photoionization and thermal balance. We assume low gas density (n = 104 …

Persistent Dopants And Phase Segregation In Organolead Mixed-Halide Perovskites, Bryan A. Rosales, Long Men, Sarah D. Cady, Michael P. Hanrahan, Aaron J. Rossini, Javier Vela

Sarah Cady

Organolead mixed-halide perovskites such as CH3NH3PbX3–aX′a (X, X′ = I, Br, Cl) are interesting semiconductors because of their low cost, high photovoltaic power conversion efficiencies, enhanced moisture stability, and band gap tunability. Using a combination of optical absorption spectroscopy, powder X-ray diffraction (XRD), and, for the first time, 207Pb solid state nuclear magnetic resonance (ssNMR), we probe the extent of alloying and phase segregation in these materials. Because 207Pb ssNMR chemical shifts are highly sensitive to local coordination and electronic structure, and vary linearly with halogen electronegativity and band gap, this technique can provide the true chemical speciation and composition …

Cu2znsns4 Nanorods Doped With Tetrahedral, High Spin Transition Metal Ions: Mn2+, Co2+, And Ni2+, Michelle J. Thompson, Kyle J. Blakeney, Sarah D. Cady, Malinda D. Reichert, Joselyn Del Pilar-Albaladejo, Seth T. White, Javier Vela

Sarah Cady

Because of its useful optoelectronic properties and the relative abundance of its elements, the quaternary semiconductor Cu2ZnSnS4 (CZTS) has garnered considerable interest in recent years. In this work, we dope divalent, high spin transition metal ions (M2+ = Mn2+, Co2+, Ni2+) into the tetrahedral Zn2+ sites of wurtzite CZTS nanorods. The resulting Cu2MxZn1–xSnS4 (CMTS) nanocrystals retain the hexagonal crystalline structure, elongated morphology, and broad visible light absorption profile of the undoped CZTS nanorods. Electron paramagnetic resonance (EPR), X-ray photoelectron spectroscopy (XPS), and infrared (IR) spectroscopy help corroborate the composition and local ion environment of the doped …

Pre-Methylation Of Lignin To Improve Storage Stability Of Oil Produced By Solvent Liquefaction, Jae-Young Kim, Parinaz Hafezi-Sefat, Sarah D. Cady, Ryan G. Smith, Robert C. Brown

Sarah Cady

In this study, we methylated hydroxyl groups (phenolic hydroxyl: Phe-OH and aliphatic hydroxyl: Aliph-OH) in soda lignin (SL) prior to solvent liquefaction to improve storage stability of the resulting oil. We investigated two methylating reagents, dimethyl sulfate (DMS) and dimethyl carbonate (DMC), for selective Phe-OH and total hydroxyl group (Phe-OH and Aliph-OH) blocking. Samples of SL, DMS-SL, and DMC-SL were depolymerized into oils under supercritical ethanol (350 °C). Both methylated lignins produced higher amounts of oils and smaller amounts of char compared to untreated SL due to suppressed charring reactions. Oil produced from SL had relatively higher functional group contents …