Physical Sciences and Mathematics Commons^™

Ambiguous Optimistic Fair Exchange, Qiong Huang, Guomin Yang, Duncan S. Wong, Willy Susilo

Research Collection School Of Computing and Information Systems

Optimistic fair exchange (OFE) is a protocol for solving the problem of exchanging items or services in a fair manner between two parties, a signer and a verifier, with the help of an arbitrator which is called in only when a dispute happens between the two parties. In almost all the previous work on OFE, after obtaining a partial signature from the signer, the verifier can present it to others and show that the signer has indeed committed itself to something corresponding to the partial signature even prior to the completion of the transaction. In some scenarios, this capability given …

Scaling Up Multi-Agent Reinforcement Learning In Complex Domains, Dan Xiao, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

TD-FALCON (Temporal Difference - Fusion Architecture for Learning, COgnition, and Navigation) is a class of self-organizing neural networks that incorporates Temporal Difference (TD) methods for real-time reinforcement learning. In this paper, we present two strategies, i.e. policy sharing and neighboring-agent mechanism, to further improve the learning efficiency of TD-FALCON in complex multi-agent domains. Through experiments on a traffic control problem domain and the herding task, we demonstrate that those strategies enable TD-FALCON to remain functional and adaptable in complex multi-agent domains

A Three-Dimensional Pattern-Space Representation For Volumetric Arrays, William C. Barott, Paul G. Steffes

Publications

A three-dimensional pattern-space representation is presented for volumetric arrays. In this representation, the radiation pattern of an array is formed by the evaluation of the three-dimensional pattern-space on a spherical surface. The scan angle of the array determines the position of this surface within the pattern-space. This pattern-space representation is used in conjunction with a genetic algorithm to minimize the sidelobe levels exhibited by a thinned volumetric array during scanning.

Using Clinical Decision Support To Maintain Medication And Problem Lists: A Pilot Study To Yield Higher Patient Safety, Chiang S. Jao, Daniel B. Hier, William L. Galanter

Chemistry Faculty Research & Creative Works

To Investigate Whether Clinical Decision Support that Automates the Matching of Ordered Drugs to Problems (Clinical Diagnoses) on the Problem List Can Enhance the Maintenance of Both Medication and Problem Lists in the Electronic Medical Record, We Designed a Clinical Decision Support System to Match Ordered Drugs on the Medication List and Ongoing Problems on the Problem List. We Evaluated the Capability and Performance of This Clinical Decision Support System in Medication-Problem Matching using Physician Expert Chart Audits to Match Ordered Drugs to Ongoing Clinical Problems. a Clinical Decision Support System Was Shown to Be Useful in Improving Medication-Problem Matches …

A Systematic Framework For Structured Object-Oriented Security Requirements Analysis In Embedded Systems, Sojan Markose, Xiaoqing Frank Liu, Bruce M. Mcmillin

Computer Science Faculty Research & Creative Works

The primary goal of this paper is to develop a structured objectoriented security requirements analysis methodology for the elicitation and analysis of security requirements in embedded systems. There are several approaches to elicit, analyze and specify security requirements in embedded systems ranging from formal mathematical models for proof of certain security properties to informal methods that are easily understood. Applicability of formal security models is limited because they are complex and it is time consuming to develop. On the other hand, informal security requirements analysis methods are not integrated with conceptual models in requirements analysis, and although both external and …

Implementation And Analysis Of Practical Algorithm For Data Security, Willi Ballenthin, F. Kacani, Julia Albath, Sanjay Kumar Madria

Computer Science Faculty Research & Creative Works

In this paper, we present a complete implementation of the Practical Algorithm for Data Security (PADS) proposed by Albath et al., an end-to-end security scheme employing symmetric key encryption. The implementation takes full advantage of the modular design of the TinyOS environment. The simplicity of the algorithm allows for efficient implementation in hardware, a requirement for resource constrained devices. The protocol adds only four bytes of data per packet, on par with industry standards. Simulation and empirical results of the scheme are also provided. The analysis shows that the Practical Algorithm for Data Security is superior to standard security schemes.

Neural Networks As A Tool For Constructing Continuous Ndvi Time Series From Avhrr And Modis, M. E. Brown, D. J. Lary, A. Vrieling, D. Stathakis, H. Mussa

United States National Aeronautics and Space Administration: Publications

The long term Advanced Very High Resolution Radiometer (AVHRR)- Normalized Difference Vegetation Index (NDVI) record provides a critical historical perspective on vegetation dynamics necessary for global change research. Despite the proliferation of new sources of global, moderate resolution vegetation datasets, the remote sensing community is still struggling to create datasets derived from multiple sensors that allow the simultaneous use of spectral vegetation for time series analysis. To overcome the non-stationary aspect of NDVI, we use an artificial neural network (ANN) to map the NDVI indices from AVHRR to those from MODIS using atmospheric, surface type and sensorspecific inputs to account …

Maximizing Warfighter Capability Using Surveyed Necessity Measurement: Application To The Usaf F-15c Fleet, John M. Colombi, David R. Jacques, Dennis D. Strouble

Faculty Publications

Within the Department of Defense, with changing missions to counter dynamic and asymmetrical threats, the acquisition workforce strives to maximize capability for joint warfighting. How acquisition professionals measure and select capability improvements for the nation’s weapon systems is a perpetual challenge, made even more complex with constrained defense budgets. This study identifies a method for determining which upgrades should be purchased (production) for which aircraft in the F- 15C fleet by optimizing a capability proxy measure. Each upgrade’s “necessity” for a given mission area was obtained by conducting a survey of over 250 experienced F-15C pilots. The solution presented in …

Protecting Critical Infrastructure With Games Technology, Adrian Boeing, Martin Masek, Bill Bailey

Australian Information Warfare and Security Conference

It is widely recognised that there is a considerable gap in the protection of the national infrastructure. Trying to identify what is in fact ‘critical’ is proving to be very difficult as threats constantly evolve. An interactive prototyping tool is useful in playing out scenarios and simulating the effect of change, however existing simulators in the critical infrastructure area are typically limited in the visual representation and interactivity. To remedy this we propose the use of games technology. Through its use, critical infrastructure scenarios can be rapidly constructed, tested, and refined. In this paper, we highlight the features of games …

Information Sharing: Hackers Vs Law Enforcement, David P. Biros, Mark Weiser, Jim Burkman, Jason Nichols

Australian Information Warfare and Security Conference

The fields of information assurance and digital forensics continue to grow in both importance and complexity, spurred on by rapid advancement in digital crime. Contemporary law enforcement professionals facing such issues quickly discover that they cannot be successful while operating in a vacuum and turn to colleagues for assistance. However, there is a clear need for greater IT-based knowledge sharing capabilities amongst law enforcement organizations; an environment historically typified by a silo mentality. A number of efforts have attempted to provide such capabilities, only to be met with limited enthusiasm and difficulties in sustaining continued use. Conversely, the hacker community …

Security Metrics - A Critical Analysis Of Current Methods, Manwinder Kaur, Andy Jones

Australian Information Warfare and Security Conference

This paper documents and analyses a number of security metrics currently in popular use. These will include government standards and commercial methods of measuring security on networks. It will conclude with a critical look at some of the problems and challenges faced when using the metrics available today, and also with the development of new metrics.

Novel Lactide Derived Polymers; Synthesis, Properties And Applications, Dahlia Haynes

All Dissertations

This dissertation primarily encompasses the synthesis, characterization, properties and discussion of applications for lactide derived polymers. The methodology focuses on altering polylactide's (PLA's) dynamic and physical properties increasing its broad market utility in both traditional and non-traditional applications. The fundamentals of this work include understanding and enhancing the polymer chemistry and materials related processes through the use of copolymerization, fluorination, composite chemistry and materials science.
The first chapter discusses the important of this research with emphasis on current world issues that focuses on the feasibility of renewable resources and sustainability implementation. Modification of renewable resource materials like lactic acid is …

Pulse-Laser Infrared Photothermal Spectrometry Of Condensed-Phase Aerosols Based On Photothermal Deflection Spectroscopy, Oluwatosin Olubunmi Dada

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The research reported in this dissertation is aimed at development of photothermal deflection detector that is consistent with constraints imposed by aerosols sampling and analysis. The main objectives of this project are: 1) the design and evaluation of initial apparatus prototypes and 2) a test of the prototype apparatus with surrogate substances using conventional mid-infrared gas lasers.

Experimental evaluation of reduced size photothermal apparatus is first performed with gaseous samples. Analysis of trichlorofluoromethane (CFC-11) and ethanol vapors is performed with both conventional large apparatus and the prototype small apparatus. Comparison studies in terms of photothermal signal from both apparatuses are …

Sources And Source Processes Of Organic Nitrogen Aerosols In The Atmosphere, Mark E. Erupe

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The research in this dissertation explored the sources and chemistry of organic nitrogen aerosols in the atmosphere. Two approaches were employed: field measurements and laboratory experiments. In order to characterize atmospheric aerosol, two ambient studies were conducted in Cache Valley in Northern Utah during strong winter inversions of 2004 and 2005. The economy of this region is heavily dependent on agriculture. There is also a fast growing urban population. Urban and agricultural emissions, aided by the valley geography and meteorology, led to high concentrations of fine particles that often exceeded the national ambient air quality standards. Aerosol composition was dominated …

Sedimentology, Stratigraphy, And Organic Geochemistry Of The Red Pine Shale, Uinta Mountains, Utah: A Prograding Deltaic System In A Mid-Neoproterozoic Interior Seaway, Caroline Amelia Myer

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The Red Pine Shale (RPS; ~1120m thick), uppermost formation of the Neoproterozoic Uinta Mountain Group, Utah, is an organic-rich sedimentary succession interpreted as a marine deltaic system that delivered immature sediment from the north that mixed with mature sediment from the east. Multiple data sets suggest regional climate and sea-level changes associated with changing organic-carbon burial rates.

Six facies were identified and represent wave-, tidal-, and river-influenced parts of the distal prodelta to delta front in a marine system. These include the shale facies and associated concretion facies (distal prodelta), the shale-sandstone facies (proximal prodelta to delta front), the slump …

Seasonal Changes In A Eutrophic Lake (Wilgreen Lake, Madison County, Kentucky) From Summer Stratification Through Fall Turnover, Richard D. Stockwell, Walter S. Borowski

EKU Faculty and Staff Scholarship

No abstract provided.

Forensic And Anti-Forensic Techniques For Object Linking And Embedding 2 (Ole2)-Formatted Documents, Jason M. Daniels

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Common office documents provide significant opportunity for forensic and anti-forensic work. The Object Linking and Embedding 2 (OLE2) specification used primarily by Microsoft’s Office Suite contains unused or dead space regions that can be over written to hide covert channels of communication. This thesis describes a technique to detect those covert channels and also describes a different method of encoding that lowers the probability of detection.

The algorithm developed, called OleDetection, is based on the use of kurtosis and byte frequency distribution statistics to accurately identify OLE2 documents with covert channels. OleDetection is able to correctly identify 99.97 percent of …

Development Of A Post-Fire Monitoring Protocol For Evaluating Treatment Effectiveness And Cheatgrass Abundance Using Quickbird Imagery And Ground Observations, Gabriel Bissonette

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The Bureau of Land Management (BLM) manages 9.3 million hectares of land in Utah and has implemented an Emergency Stabilization and Rehabilitation (ESR) Program to protect life and property, combat soil erosion, and reduce the invasion of exotic/noxious weeds following wildland fire. In highly vulnerable sites, seeding treatments may be applied to establish an interim landcover to stabilize the soil and competitively exclude weed invasions. Monitoring treatment effectiveness is mandated through ESR guidelines and necessary for the submission of annual Accomplishment Reports for the first three years following fire containment. Ground monitoring has been the traditional approach to fulfilling this …

The Phylogeography Of North American Chestnuts And Chinquapins (Castanea Mill., Fagaceae), Meagan A. Binkley

Masters Theses and Doctoral Dissertations

North American Castanea Mill. (Fagaceae) consists of three morphologically variable species: Castanea dentata, Castanea pumila and Castanea ozarkensis. Taxonomy of these species has been complicated by intermediate morphology, similarity in growth habit, and putative naturally occurring hybridization where species' ranges overlap in the southeast. The main goals of the present study were to: 1) determine if genetics reflect the morphological variation observed in southeastern populations of North American Castanea, 2) explore the extent of cpDNA haplotype sharing among these taxa, and 3) map haplotype distribution in relation to morphotaxa. Finally, I wanted to use the information obtained from these analyses …

Preliminary Perspectives On The Health Needs Of Pastoral Women On The Borana Plateau Using Participatory Approaches, D. Layne Coppock, Seyoum Tezera, Solomon Desta

Environment and Society Faculty Publications

Since 2000, the PARIMA project has conducted participatory research and outreach among pastoralists in southern Ethiopia. This has led to notable achievements in terms of forming collective-action groups dominated by women, stimulation of sustainable micro-finance and micro-enterprise activities, and improving linkages of pastoral producers to livestock markets. Despite such gains, there are many other challenges to be addressed. One is poor human health. PARIMA researchers used participatory and qualitative methods to conduct a preliminary assessment of women’s health problems among members of six, well-established collective-action groups from the Borana and Gugi zones in the Oromia Regional State during 2008. Conventional …

Successful Implementation Of Collective Action And Human-Capacity Building Among Pastoralists In Southern Ethiopia: Lessons Learned, 2001-2008, D. Layne Coppock, Seyoum Tezera, Solomon Desta, Getachew Gebru

Environment and Society Faculty Publications

Since 2000 the PARIMA project has implemented pilot risk-management activities among poverty-stricken, semi-settled pastoralists in southern Ethiopia. The goal has been to improve human welfare via collective action and capacity building. Outcomes include progress in income generation, asset conservation, and livelihood diversification. The approach has been unique to southern Ethiopia in that a bottom-up, participatory perspective has dominated. It has focused on the priorities and felt needs of local people rather than top-down development of livestock or agricultural technology. Fifty-nine collective-action groups were created. Dominated by women, they have included over 2,300 members and most groups have been recently merged …

Are Cattle Die-Offs Predictable On The Borana Plateau, D. Layne Coppock, Getachew Gebru, Solomon Desta, Sintayehu Mesele, Seyoum Tezerra

Environment and Society Faculty Publications

Drought regularly affects rangelands and contributes to high death rates for livestock and poverty for pastoralists. But do livestock losses occur randomly simply when rainfall is low, or are they cyclical and predictable? Previously, PARIMA researchers proposed that high stocking rates—combined with low rainfall—trigger livestock die-offs on the Borana Plateau. It takes about six years for animal numbers to recover, setting the stage for another die-off when a dry year occurs. This “boom-and-bust” cycle is based on observed herd crashes in 1983-5, 1991-3, and 1998-9. Researchers predicted in 2002 that the next major die-off would occur during 2004-06, and one …

What Are Consumers In Moyale, Kenya Willing To Pay For Improved Milk Quality?, D. Layne Coppock, Francis O. Wayua, Mohamed G. Shibia, Moses S. Mamo

Environment and Society Faculty Publications

Pastoralists in northern Kenya and southern Ethiopia may be able to diversify income by selling milk to urban residents. However, milk sold in open-air markets is often low in quality because it has been transported long distances without refrigeration and is subject to spoilage, or because milk is adulterated prior to sale to boost volume or enhance appearance. Open-air markets are characterized by low-income consumers who must make choices about milk quality with virtually no information other than their own sensory perceptions. PARIMA researchers used an experimental-auction approach to determine what residents in Moyale, Kenya, are willing to pay (WTP) …

Fabrication And Optical Properties Of Noble Metal Nanostructures, Mark Kinnan

All Dissertations

Experimental and theoretical results are presented in Chapters 2, 3, and 4 on the effects of dielectric medium, particle size, and interparticle distance, respectively, on plasmon coupling in two-dimensional arrays of silver nanoparticles. The arrays were fabricated via the self-assembly of single crystal particles from c.a. 46 nm to 287 nm on PVP-modified glass substrates. Spin-coated poly(methylmethacrylate) layers were used to immobilize the particles and prevent their surface aggregation. Varying the thickness of the PMMA layer made it possible to change the average dielectric medium between the particles. UV-Visible spectra of different arrays were compared to the corresponding electron microscope …

Calculations Of Diffusion In Fcc Binary Alloys Using On-The-Fly Kinetic Monte Carlo, Erdi Bleda

All Dissertations

With the recent advancements in computer technologies and the improvements in simulation algorithms, along with the theories, has allowed scientists to carry out diffusion calculations more efficiently, especially for the cases where either the diffusion itself takes longer, or there is no available isotope to carry out the diffusion experiments such as tracer diffusion.
In this work, we present a systematic approach to diffusion in intermetallic alloys such as weakly clustered Cu — Ni and weakly ordered Au — Ag. We use Accelerated Molecular Dynamics (AMD) combined with the Embedded Atom Method (EAM) to find the necessary saddlepoint energies. With …

Fluorescent Conjugated Polymer Dots For Single Molecule Imaging And Sensing Applications, Changfeng Wu

All Dissertations

While single molecule imaging and sensing hold the promise of providing unprecedented detail about cellular processes, many advanced applications are limited by the lack of appropriate fluorescence probes. In many cases, currently available fluorescent labels are not sufficiently bright and photostable to overcome the background associated with various autofluorescence and scattering processes. This dissertation describes research efforts focused on the development of a novel class of fluorescent nanoparticles called conjugated polymers dots (CPdots) for single molecule fluorescence detection. The CPdots contain highly fluorescent π-conjugated polymers that have been refined over the last decades as the active material in polymer light-emitting …

Synthesis, Characterization, And Application Of Ag Nanostructures, Stephen Hudson

All Dissertations

Noble metal nanoparticles (NPs) have been used for many centuries; however their properties were not truly scrutinized until Michael Farady's investigations in the 1850's. Advances in the field of nanotechnology over the last three decades have enabled insights into the properties of materials as their dimensions are reduced to the nanoscale. The repercussions of these insights are seen in many modern applications.
In this dissertation, properties of novel nanostructures based on Ag NPs are presented and discussed. The exceptional optical properties of Ag NPs stem from the collective oscillations of the conduction electrons known as plasmon resonances. The excitation of …

Two Categories Of Refutation Decision Procedures For Classical And Intuitionistic Propositional Logic, Edward Doyle

All Dissertations

An automatic theorem prover is a computer program that proves theorems without the assistance of a human being. Theorem proving is an important basic tool in proving theorems in mathematics, establishing the correctness of computer programs, proving the correctness of communication protocols, and verifying integrated circuit designs.
This dissertation introduces two new categories of theorem provers, one for classical propositional logic and another for intuitionistic propositional logic. For each logic a container property and generalized algorithm are introduced.
Many methods have been developed over the years to prove theorems in propositional logic. This dissertation describes and presents example proofs for …

Synthesis And Characterization Of Biodegradable Polyurethanes For Biomedical Application, Changhong Zhang

All Dissertations

This dissertation constitutes the studies about the biomedical materials research of novel polyurethanes. These elastic and degradable polyurethanes exhibited the potential for drug delivery, scaffold fabrication by novel ink-jet printing technology or other biomedical applications. This dissertation includes two parts about two different types of polyurethanes.
In the first part of this dissertation, we studied a polyurethane that was synthesized from methylene di-p-phenyl-diisocyanate (MDI), polycaprolactone diol (PCL-diol) and N, N-bis (2-hydorxyethyl)-2-aminoethane-sulfonic acid (BES). MDI, PCL-diol and BES were polymerized into polyurethane and served as the hard segment, soft segment and chain extender respectively. The effects of the chain extender BES …

Hybrid Bond-Order Potential For Silicon, Suleiman Oloriegbe

All Dissertations

ABSTRACT
A new hybrid bond-order potential for silicon is developed. The functional form of the potential is derived from hybrid of expressions from empirical bond-order formalism and first principles approximations. The total energy is expressed as the sum of attractive, repulsive and promotion energies. By introducing a screening function derived from approximations to first principles expressions, the potential is made long-ranged by allowing covalent interactions beyond the first nearest neighbor shell of atoms in agreement with quantum mechanical descriptions of the bonding in silicon. Environment-dependent promotion energy is introduced that accurately accounts for energetic interactions due to changes in hybridization …