Physical Sciences and Mathematics Commons^™

Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …

Kumaraswamy Lindley-Poisson Distribution: Theory And Applications, Mavis Pararai, Broderick O. Oluyede, Gayan Warahena-Liyanage

Department of Mathematical Sciences Faculty Publications

The Kumaraswamy Lindley-Poisson (KLP) distribution which is an extension of the Lindley-Poisson Distribution [21] is introduced and its properties are explored. This new distribution represents a more flexible model for the lifetime data. Some statistical properties of the proposed distribution including the shapes of the density and hazard rate functions are explored. Moments, entropy measures and the distribution of the order statistics are given. The maximum likelihood estimation technique is used to estimate the model parameters and a simulation study is conducted to investigate the performance of the maximum likelihood estimates. Finally some applications of the model with real data …

Log-Concavity And Symplectic Rows, Yi Lin, Álvaro Pelayo

Department of Mathematical Sciences Faculty Publications

The Duistermaat-Heckman measure of a Hamiltonian torus action on a symplectic manifold (M,ω) is the push forward of the Liouville measure on M by the momentum map of the action. In this paper we prove the logarithmic concavity of the Duistermaat-Heckman measure of a complexity two Hamiltonian torus action, for which there exists an effective commuting symplectic action of a 2-torus with symplectic orbits. Using this, we show that given a complexity two symplectic torus action satisfying the additional 2-torus action condition, if the fixed point set is non-empty, then it has to be Hamiltonian. This implies a classical result …

On X-Ray Pulsations In Beta Cephei-Type Variables, L. Oskinova, H. Todt, D. Huenemoerder, S. Hubrig, Richard Ignace, W.-R. Hamann, L. Balona

ETSU Faculty Works

Beta Cephei-type variables are early B-type stars that are characterized by oscillations observable in their optical light curves. At least one Beta Cep-variable also shows periodic variability in X-rays. Here we study the X-ray light curves in a sample of beta Cep-variables to investigate how common X-ray pulsations are for this type of stars. We searched the Chandra and XMM-Newton X-ray archives and selected stars that were observed by these telescopes for at least three optical pulsational periods. We retrieved and analyzed the X-ray data for kappa Sco, beta Cru, and alpha Vir. The X-ray light curves of these objects …

The Impacts Of Varability In Temperature And Humidity On Electricity Consumption In New York State, Eric Adamchick

Legacy Theses & Dissertations (2009 - 2024)

A seasonal harmonic linear regression approach is presented to model the seasonal and diurnal relationships between surface weather observations and electricity load data in New York State. The relationships between dry-bulb, dew point, and wet-bulb temperatures with electricity load were evaluated using the correlation coefficient to test the strength of the relationships, while the regression slope coefficient provided an interpretable scale for those relationships. We found that the strongest seasonal and diurnal relationships occur during boreal summer from the afternoon through the overnight hours, while similar but negative relationships are observed during the winter. Using the same seasonal harmonic linear …

What We Can Learn From Small Units Of Analysis, Andrew Palmer Wheeler

Legacy Theses & Dissertations (2009 - 2024)

The dissertation is aimed at advancing knowledge of the correlates of crime at small geographic units of analysis. I begin by detailing what motivates examining crime at small places, and show how aggregation creates confounds that limit causal inference. Local and spatial effects are confounded when using aggregate units, so when the researcher wishes to distinguish between these two types of effects it should guide what unit of analysis is chosen. To illustrate these differences, I generate simulations of what happens to effect estimates when you aggregate a micro level spatial effects model or presume a neighborhood effects model.

Habitat Assessment And Ecological Restoration Design For An Unnamed Tributary Of Stone Dam Creek, Conway, Arkansas, Paige E. Boyle, Mary C. Savin, James A. Mccarty, Marty D. Matlock

Discovery, The Student Journal of Dale Bumpers College of Agricultural, Food and Life Sciences

Urbanization can lead to increased sedimentation, erosion, pollution, and runoff into streams. The United States Environmental Protection Agency’s (USEPA) Rapid Bioassessment Protocols (RBPs) are sets of guidelines that can be used to assess a habitat’s sedimentology, hydrology, vegetation, and geomorphology to determine impairment. An unnamed tributary of Stone Dam Creek on the University of Central Arkansas (UCA) campus in Conway, Arkansas runs partially underground and through the urbanized UCA campus watershed. The stream was assessed using the USEPA’s RBPs to determine impairment of the stream, and received a RBP score of 71.2 out of 200 compared to 153.5 in a …

Geometric Limits Of Julia Sets Of Maps Z^N + Exp(2Πiθ) As N → ∞, Scott R. Kaschner, Reaper Romero, David Simmons

Scholarship and Professional Work - LAS

We show that the geometric limit as n → ∞ of the Julia sets J(P_n,c) for the maps P_n,c(z) = zⁿ + c does not exist for almost every c on the unit circle. Furthermore, we show that there is always a subsequence along which the limit does exist and equals the unit circle.

Experimental Simulations Of Recurring Slope Lineae On The Surface Of Mars, Elizabeth Eddings

Physics, Astronomy and Geophysics Honors Papers

Recurring Slope Lineae (RSL) are active surface features found on rocky Martian slopes commonly in the southern hemisphere equatorial to mid-latitude regions. These low albedo, dark streaks on Mars demonstrate seasonal characteristics;; they appear and grow darker and longer in warm months and fade to possible disappearance in colder months. One proposed mechanism for the formation and evolution of these features by McEwen et al. (2011) is the melting of subsurface water on Mars. The goal of this study was to test this hypothesis by reconstructing features similar to RSL in the lab that display the same seasonal …

Assessment Of The Applicability Of Terahertz Spectroscopic Breath Sensing Towards Monitoring Type 1 Diabetic Mellitus, Jessica Rose Thomas

Browse all Theses and Dissertations

Type 1 diabetes is a condition that cumulatively costs around $14.9 billion in medical expenses every year in the United States. Besides being costly, the monitoring of this disease is invasive, painful, and often embarrassing to the afflicted individual; blood and urine testing is currently the daily method of monitoring blood glucose and ketone levels in the body of type 1 diabetics. Though the use of these samples is standard, another avenue for possibly determining blood glucose has not been completely explored. With over 3000 chemicals reportedly found in exhaled human breath, biomarkers associated with this disorder and many of …

Verification And Validation Of A Transient Heat Exchanger Model, Jayme Lee Carper

Browse all Theses and Dissertations

A statistical based verification and validation process is applied to the transient modeling of a shell and tube heat exchanger. A generic model of a heat exchanger was developed based on first principles as a sub-system of a larger thermal system model. This model was originally created without any experimental data, as it was not readily available. To provide the data necessary to apply the validation process, a thermal emulator was designed and built that allowed control of all system inputs to the heat exchanger, while also providing the instrumentation to record all required data. A wide test matrix was …

Water Quality Of The Upper Little Miami River Watershed In Ohio: Impacts Of Natural And Anthropogenic Processes, David Allan Huff

Browse all Theses and Dissertations

Stream water quality is increasingly threatened by expanding anthropogenic activities, mainly through point source discharges and urban and agricultural runoffs of contaminants getting through a water body's watershed resulting in pollution. Concerns developed as to whether urban or agricultural type activities were causing most water quality impairment issues in the upper Little Miami River watershed in southwest Ohio.

Characterizing the upper Little Miami River (LMR) watershed with respect to water chemistry and Land Use/Land Cover (LULC) while evaluating the sources of any higher than expected natural parameter concentrations, with a strong emphasis on the nutrients phosphorus and nitrate, serves as …

Tuning The Physical Properties Of Poly(Arylene Ether)S Prepared From 3,5-Difluorobenzene Sulfonamides, Renata Mitton

Browse all Theses and Dissertations

A series of functionalized poly(arylene ether)s, PAEs, based on 3,5-difluorobenzene sulfonamides with varying groups on the sulfonamide moiety were investigated. The main goal of the project was to tune the physical properties of the PAEs by altering the organic groups present on the sulfonamide nitrogen atom, including combinations of aryl iodide, alkyl, allyl, 4-ethoxycarboxylphenyl and benzyl moieties.

Using 3,5-difluorobenzenesulfonyl chloride as a starting material, N-R1-N-R2-3,5-difluorobenzenesulfonamides were prepared, followed by conversion to the corresponding PAEs by reaction of 3,5-difluorobenzene sulfonamides with Bisphenol-A, via a typical NAS polycondensation. Copolymers with varying contents of the functional monomer ranging from 10 to 25 %, …

Cometabolic Biodegradation Of Halogenated Aliphatic Hydrocarbons By Ammonia-Oxidizing Microorganisms Naturally Associated With Wetland Plant Roots, Ke Qin

Browse all Theses and Dissertations

Bench-scale microcosms with wetland plant roots were investigated to characterize the microbial contributions to contaminant degradation of halogenated aliphatic hydrocarbons (HAHs) with ammonium. The batch system microcosms consisted of a known mass of wetland plant roots in aerobic growth media where the roots provided both an inoculum of root-associated ammonium-oxidizing microorganisms and a microbial habitat. Aqueous growth media, ammonium, and HAHs including trichloroethene (TCE), cis-1,2-dichloroethene (cis-DCE), chloroform (CF), 1,1,2-trichloroethane (1,1,2-TCA), ethylene dibromide (EDB, or 1,2-dibromoethane, 1,2-DBA) and 1,2-dichloroethane (1,2-DCA) were replaced weekly in batch microcosms while retaining roots and root-associated biomass.

Molecular biology results indicated that ammonium-oxidizing bacteria (AOB) were …

World-Wide Body Size Patterns In Freshwater Fish By Geography, Size Class, Trophic Level, And Taxonomy, Shishir Adhikari

Browse all Theses and Dissertations

The unifying themes of my thesis are patterns in world-wide freshwater fish body sizes and their underlying mechanisms. First, I explored Bergmann's rule in unprecedented detail, which states that body size is negatively correlated to temperature. Categorizing species by body size into quantiles and by trophic levels, I regressed the classes against latitude, temperature, seasonality, minimum temperature and habitable space. I found that Bergmann's rule applies to freshwater fish in general but the strength varies by size class and trophic levels. I concluded that Bergmann's rule in fish is driven by the exclusion of small fish from cold climate due …

Investigation Of Solvent-Dependent Properties Of Donor And Acceptor Materials For Photovoltaic Applications, Anna L. Foote

Browse all Theses and Dissertations

The choice of solvent and additive has been shown to affect efficiency of organic solar cell devices. To gain a basic understanding of the role of solvents in influencing overall device performance, we present a comparative study on the physical properties of donor: acceptor mixtures in different solvents. Investigations have been carried out for P3HT (poly(3-hexylthiophene-2,5-diyl)), PTB7 (poly[4,8-bis[(2-ethylhexyl)oxy]benzo[1,2-b:4,5-b']-dithiophene-2,6-diyl][3-fluro-2-[2-ethylhexyl)carbonyl[thieno[3,4-b]thiophenediyl]]), PC61BM ([6,6]-phenyl-C60-butyric acid methyl ester), and PC71BM ([6,6]-phenyl-C70-butyric acid methyl ester). The physical properties reported are based on UV-Vis absorption spectroscopy, resistance measurements, cyclic voltammetry measurements, and surface energy characterizations of the organic films. The solvents used to prepare the organic films …

Laser Guide Star Design Project For The Usaf John Bryan State Park Quad Axis Observatory, Nathan Michael Figlewski

Browse all Theses and Dissertations

Atmospheric Turbulence has long remained one of the great unsolved problems in physics. Laser guide stars were invented in order for telescopes to overcome atmospheric turbulence while used in combination with adaptive optics. This study focuses on the design and implementation phase of a Rayleigh laser guide star for the John Bryan State Park Observatory, owned and operated by the United States Air Force. Atmospheric simulations, as well as optical modelling of proposed equipment, were completed to optimize the design of this laser guide star. In addition, a novel method for the implementation of the guide star onto this very …

Temporally Biased Search Result Snippets, J. Abhiram Tatineni

Browse all Theses and Dissertations

The search engine result snippets are an important source of information for the user to obtain quick insights into the corresponding result documents. When the search terms are too general, like a person's name or a company's name, creating an appropriate snippet that effectively summarizes the document's content can be challenging owing to multiple occurrences of the search term in the top ranked documents, without a simple means to select a subset of sentences containing them to form result snippet. In web pages classified as narratives and news articles, multiple references to explicit, implicit and relative temporal expressions can be …

Direct Optimization For Classification With Boosting, Shaodan Zhai

Browse all Theses and Dissertations

Boosting, as one of the state-of-the-art classification approaches, is widely used in the industry for a broad range of problems. The existing boosting methods often formulate classification tasks as a convex optimization problem by using surrogates of performance measures. While the convex surrogates are computationally efficient to globally optimize, they are sensitive to outliers and inconsistent under some conditions. On the other hand, boosting's success can be ascribed to maximizing the margins, but few boosting approaches are designed to directly maximize the margin. In this research, we design novel boosting algorithms that directly optimize non-convex performance measures, including the empirical …

Contrast Pattern Aided Regression And Classification, Vahid Taslimitehrani

Browse all Theses and Dissertations

Regression and classification techniques play an essential role in many data mining tasks and have broad applications. However, most of the state-of-the-art regression and classification techniques are often unable to adequately model the interactions among predictor variables in highly heterogeneous datasets. New techniques that can effectively model such complex and heterogeneous structures are needed to significantly improve prediction accuracy. In this dissertation, we propose a novel type of accurate and interpretable regression and classification models, named as Pattern Aided Regression (PXR) and Pattern Aided Classification (PXC) respectively. Both PXR and PXC rely on identifying regions in the data space where …

(261, 105, 42) Abelian Difference Sets Do Not Exist, James Robert Hufford Jr.

Browse all Theses and Dissertations

Difference sets in the group Z3 x Z3 x Z37 and the group Z3 x Z9 x Z7 are known not to exist. The only open abelian case with a sylow-3 subgroup rank 2 listed in Vera-Lopez and Sanchez's table is Z3 x Z3 x Z29. We prove for Vera-Lopez and Sanchez's table that difference sets do not exist in the open group allowing the appropriate entry to be "no". We also prove that there exist no difference sets (261, 105, 42) for any group with order 261.

Accelerated Degradation Of Chlorinated Solvents By Copper-Modified Nanoscale Zero Valent Iron (Cu-Nzvi) Stabilized With Carboxymethyl Cellulose, Andrew Franze

Browse all Theses and Dissertations

Nanoscale zero valent iron (nZVI) is a remediation technology that can be used to treat chlorinated hydrocarbons (CHCs) in contaminated aquifers. Nanoparticles remain mobile in water and can be transported with groundwater flow to contaminated zones. However, due to magnetic and van der Waals forces, unstabilized nZVI agglomerates. Carboxymethylcellulose (CMC) was used as a polyelectrolyte stabilizer in this study. nZVI serves as an electron donor and can dechlorinate CHCs. nZVI reactivity with CHCs can be enhanced by addition of a secondary metal catalyst. This study evaluates the potential of copper amended nZVI (Cu-nZVI) to degrade select CHCs. The objective of …

Stability Of Monomethylmercury In Water, Sarah Elyse Harvey

Browse all Theses and Dissertations

Monomethylmercury (MMHg) bioaccumulates in aquatic food webs, leading to concentrations in fish that increase health risks for humans who consume fish. As a result of processes that produce and decompose it, MMHg concentrations are notoriously unstable in many natural waters. I examined the stability of MMHg in both filter-sterilized (< 0.1 µm) reagent-grade water and 0.22-µm filtered sediment pore water from Grand Lake St. Marys, Auglaize and Mercer Counties, Ohio, each at three MMHg treatment concentrations (1, 5, and 50 ng/L). Reagent-grade water samples were incubated under both light and dark conditions at either 5 or 26 °C for 112 days. Pore water samples were incubated in the dark at 26 °C, mimicking environmental conditions, for a period of 98 days. Decay constants (± 95% CI) for solutions containing either 1 or 5 ng/L MMHg in reagent-grade water ranged from 0.0009 ± 0.0013 to 0.1225 ± 0.0150 d-1, with greater decay constants at higher temperature and no significant effect of light exposure. In contrast, decay constants for 50 ng/L MMHg in reagent-grade water were much less than those in more dilute solutions, ranging from 0.0018 ± 0.0015 to 0.0055 ± 0.0023 d-1, with both light and temperature influencing MMHg decomposition. Decay constants of MMHg in pore water were found to be independent of initial concentration of MMHg; however, decay constants in pore water samples were 3-fold higher than those in reagent-grade water amended with the same initial concentration (p = 0.007). These results suggest that natural constituents in pore water accelerate MMHg decay reactions.

Three-Dimensional Geologic Model Of The Pecatonica Gas Storage Field, Winnebago County, Illinois, Nicole D. Kron, David H. Malone, Eric W. Peterson

Faculty Publications-- Geography, Geology, and the Environment

This study involves the construction of a three-dimensional (3D) geologic model of Paleozoic strata that are part of an underground gas storage field in northern, Illinois, USA. The Pecatonica Anticline trends 60W and plunges gently to the southeast. It is 10 km long and 3 km wide, and verges to the NE. Six water wells and 22 gas wells were used to create the 3-D geologic model in Petrel using well tops as determined from wire-line logs. The following horizons were created for the Cambrian and Ordovician strata: the Ancell, Trempealeau, Franconia, Ironton-Galesvilles, Eau Claire Proviso A and B, Eau …

A Survey Of Botnet Detection Techniques By Command And Control Infrastructure, Thomas S. Hyslip, Jason M. Pittman

Journal of Digital Forensics, Security and Law

Botnets have evolved to become one of the most serious threats to the Internet and there is substantial research on both botnets and botnet detection techniques. This survey reviewed the history of botnets and botnet detection techniques. The survey showed traditional botnet detection techniques rely on passive techniques, primarily honeypots, and that honeypots are not effective at detecting peer-to-peer and other decentralized botnets. Furthermore, the detection techniques aimed at decentralized and peer-to-peer botnets focus on detecting communications between the infected bots. Recent research has shown hierarchical clustering of flow data and machine learning are effective techniques for detecting botnet peer-to-peer …

To License Or Not To License Reexamined: An Updated Report On State Statutes Regarding Private Investigators And Digital Examiners, Thomas Lonardo, Alan Rea, Doug White

Journal of Digital Forensics, Security and Law

In this update to the 2012 year's study, the authors examine statutes that regulate, license, and enforce investigative functions in each US state. As before, the authors find that very few state statutes explicitly differentiate between Private Investigators and Digital Examiners. There is a small trend in which some states are changing definitions or moving to exempt DE from PI licensing requirements. However, we look at some additional information in terms of practicing attorney exemptions that may cloud the licensing waters.

As with the previous research studies (Lonardo et al., 2008, 2009, 2012) the authors contacted all state regulatory agencies …

Litigation Holds: Past, Present, And Future Directions, Milton Luoma, Vicki M. Luoma

Journal of Digital Forensics, Security and Law

Electronically Stored Information (ESI) first became a serious litigation issue in the late 1990s, and the first attempts to determine best practices did not occur until the early 2000s. As best practices developed, the litigation hold to prevent routine destruction of documents and to preserve documents relevant to litigation came into existence. The duty to preserve ESI is triggered when litigation is reasonably anticipated. All information that relates to potential litigation must be preserved from the time it becomes reasonably apparent that litigation is possible until the expiration of the statute of limitations. If steps are not taken to properly …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

From The Editor-In-Chief, Ibrahim Baggili

Journal of Digital Forensics, Security and Law

Welcome to JDFSL’s second issue for 2015! First, I would like to thank our editorial board, reviewers, and the JDFSL team for bringing this issue to life. In this issue, we continue our multidisciplinary tradition. The first paper, Two challenges of stealthy hypervisors detection: time cheating and data fluctuations, showcases an important contribution to the computing discipline. The use of virtualization has dramatically increased given our strong reliance on cloud services both private and public. Even though hypervisors enhance security, they can also be exploited by malware. Therefore, this paper is of importance given that it introduces a novel method …

Two Challenges Of Stealthy Hypervisors Detection: Time Cheating And Data Fluctuations, Igor Korkin

Journal of Digital Forensics, Security and Law

Hardware virtualization technologies play a significant role in cyber security. On the one hand these technologies enhance security levels, by designing a trusted operating system. On the other hand these technologies can be taken up into modern malware which is rather hard to detect. None of the existing methods is able to efficiently detect a hypervisor in the face of countermeasures such as time cheating, temporary self uninstalling, memory hiding etc. New hypervisor detection methods which will be described in this paper can detect a hypervisor under these countermeasures and even count several nested ones. These novel approaches rely on …