Physical Sciences and Mathematics Commons^™

Constraint Datalog In Trust Management, Scot Anderson

School of Computing: Dissertations, Theses, and Student Research

Constraint Datalog holds an increasing role in Trust Management. We discuss several Trust Management systems and give a description of the environment and requirements for Trust Management. Constraint Datalog using addition constraints and approximation theory provides an expressive semantic with which to describe security policies for credentials, delegations and authorizations. Approximation theory allows halting in Constraint Datalog over addition constraints. We use the decision problem of Diophantine equations to show that Constraint Datalog over addition constraints is complete. Combining these two concepts provides an approximately complete, safe language. The problem of constant additions to closed languages provides reasons for using …

Paper For An Educational Digital Library, Dion Hoe-Lian Goh, Yin-Leng Theng, Ming Yin, Ee Peng Lim

Research Collection School Of Computing and Information Systems

GeogDL is a digital library of geography examination resources designed to assist students in revising for a national geography examination in Singapore. As part of an iterative design process, we carried out participatory design and brainstorming with student and teacher design partners. The first study involved prospective student design partners. In response to the first study, we describe in this paper an implementation of PAPER – Personalised Adaptive Pathways for Exam Resources – a new bundle of personalized, interactive services containing a mock exam and a personal coach. The mock exam provides a simulation of the actual geography examination while …

Effect Of Heavy Metals On Bacteria, Elena Vratonjic

Theses and Dissertations

Heavy metals have become devastating environmental contaminants due to their widespread use in the manufacture of electronics, plastics, batteries and dyes. The discharge of heavy metals into the environment has caused concern about their effects on the ecosystem. Many metals are essential for growth in small amounts. However, at higher concentrations heavy metals are toxic because they bind to organic compounds. This accounts for their effects on some important parts of the cell structure, like their ability to denature protein molecules. The initial objective of this study was to find out the growth rate of E.coli and M.roseus in the …

Using Spreadsheets In Geoscience Education: Survey And Annotated Bibliography Of Articles In The Journal Of Geoscience Education Through 2003, Beth Fratesi, H. L. Vacher

School of Geosciences Faculty and Staff Publications

Thirty-eight papers published in the Journal of Geoscience Education ( JGE) from 1989 through 2003 explicitly use or recommend the use of spreadsheets as part of classroom or field exercises, projects, or entire courses. Many of the papers include the spreadsheets, and some include the equations. The papers demonstrate how spreadsheets allow students to explore a subject through problem-oriented, interactive, and quantitative exercises. We provide an annotated bibliography and classify the 38 JGE papers by spreadsheet use, mathematics skill area, and geologic subdiscipline. Our discussion of five selected articles — abundance of elements in the Earth’s crust; directional properties of …

Development And Optimization Of Hplc-Icpms For The Determination Of Iodine Speciation In Groundwater, Yun Qiu

All-Inclusive List of Electronic Theses and Dissertations

High performance liquid chromatography has been coupled with online inductively coupled plasma mass spectrometry detection for the determination of iodine speciation in drinking and groundwaters. Using ion exchange chromatography, the method is applied to quantify the concentrations of iodine species in groundwaters. The HPLC-UV detection was used first to examine the separation efficiency of the HPLC method. The limit of quantification was obtained for the HPLC-UV analysis. Direct ICPMS analysis of iodine species has been validated and optimized using an HC03"/C03 2 - aqueous solvent. HPLC was then interfaced to the ICPMS T-shape connection to allow online addition of internal …

Full Issue, The Mcnair Team

McNair Scholars Research Journal

No abstract provided.

Determination Of Spatial Strata For Environmental Regulatory Purposes, John Edward Daniels

Dissertations

This dissertation introduces spatial strata modelling, a methodology that combines spatial statistics, cluster analysis, and geographic information system theories to analyze the background level of naturally occurring contaminants of concern (COCs). The objective of spatial strata modelling is to divide a geographic area of interest into mutually exclusive geographic zones (spatial strata): with each stratum representing a different level of COC concentration. An estimate of each stratum's COC concentration level, representing an upper regulatory limit, will also be provided. Data provided by the Michigan Department of Environmental Quality describing the spatial location and arsenic concentrations of 211 Michigan sites (arsenic …

Return To The Wild, John C. Jahoda

Bridgewater Review

No abstract provided.

Geochemical And Isotopic Characterization Of Shallow Basinal Brines From The Makgadikgadi Pans Complex, Northeastern Botswana: Determination Of The Sources Of Salinity, Loago N. Molwalefhe

Dissertations

Isotopes and chemical tracers have been used to constrain the sources and causes of salinity in shallow groundwater brine from the Makgadikgadi Basin, northeastern Botswana. The brine is massively rich in chloride and sodium, and moderately rich in carbonates, sulphate and potassium, and is distinctively poor in divalent cationic species. Various models that have been advanced to explain the origin of the brines include evaporative enrichment at the surface and density-induced infiltration, dissolution of evaporites, and trapped connate water.

This study presents the compositional variability and behaviors of ·the stable isotopes of carbon (S¹³C) and oxygen (S^{18 …}

Synthesis Of Adenosine Derivatives As Transcription Initiators And Preparation Of 5 ' Fluorescein- And Biotin-Labeled Rna Through One-Step In Vitro Transcription, Faqing Huang, Guocan Wang, Tricia Coleman, Na Li

Faculty Publications

Expanding our previous finding of an adenosine-initiated transcription system, we now demonstrate that either the 5' site or the N6 site of adenosine nucleotides can be modified extensively without abolishing their ability to initiate transcription under the T7 phi2.5 promoter. Two series of amino derivatives of adenosine nucleotides were synthesized. Fluorescein and biotin groups were coupled to AMP derivatives through linkers of different sizes and hydrophobicities. Both fluorescein- and biotin-conjugated (at either the 5' or N6 site) adenosine nucleotides can act as efficient transcription initiators, producing fluorescein- and biotin-labeled RNA at the specific 5' end by a one-step transcription procedure, …

How Secondary School Mathematics Teachers Construct An Understanding Of "Appropriate Use" Of Graphing Calculators In The Context Of Collegial Inquiry, Marcia L. Weller Weinhold

Dissertations

No abstract provided.

Status And Trends In Water Quality And Living Resources In The Virginia Chesapeake Bay: York River (1985-2002), Daniel M. Dauer, Harold G. Marshall, John R. Donat, Michael F. Lane, Suzanne Doughten, Frederick A. Hoffman

Status and Trends for Virginia Chesapeake Bay

The Virginia Chesapeake Bay and its tidal tributaries continue to show some environmental trends indicating progress toward restoration of a more balanced and healthy ecosystem. However, the Bay system remains degraded and some areas and indicators show continuing degradation. Progress in reducing nutrient inputs has made demonstrable improvements and we expect that continued progress toward nutrient reduction goals, along with appropriate fisheries management and chemical contaminant controls, will result in additional improvements to the Bay. An overall summary of findings for the major VA Bay tributaries (i.e. James, York, and Rappahannock Rivers) is bulleted below while the remainder of this …

Status And Trends In Water Quality And Living Resources In The Virginia Chesapeake Bay: Rappahannock River (1985-2002), Daniel M. Dauer, Harold G. Marshall, John R. Donat, Michael F. Lane, Suzanne Doughten, Frederick A. Hoffman

Status and Trends for Virginia Chesapeake Bay

The Virginia Chesapeake Bay and its tidal tributaries continue to show some environmental trends indicating progress toward restoration of a more balanced and healthy ecosystem. However, the Bay system remains degraded and some areas and indicators show continuing degradation. Progress in reducing nutrient inputs has made demonstrable improvements and we expect that continued progress toward nutrient reduction goals, along with appropriate fisheries management and chemical contaminant controls, will result in additional improvements to the Bay. An overall summary of findings for the major VA Bay tributaries (i.e. James, York and Rappahannock Rivers) is bulleted below while the remainder of this …

Status And Trends In Water Quality And Living Resources In The Virginia Chesapeake Bay: James River (1985-2002), Daniel M. Dauer, Harold G. Marshall, John R. Donat, Michael F. Lane, Suzanne C. Doughten, Frederick A. Hoffman

Status and Trends for Virginia Chesapeake Bay

The Virginia Chesapeake Bay and its tidal tributaries continue to show some environmental trends indicating progress toward restoration of a more balanced and healthy ecosystem. However, the Bay system remains degraded and some areas and indicators show continuing degradation. Progress in reducing nutrient inputs has made demonstrable improvements and we expect that continued progress toward nutrient reduction goals, along with appropriate fisheries management and chemical contaminant controls, will result in additional improvements to the Bay. An overall summary of findings for the major VA Bay tributaries (i.e. James, York, and Rappahannock Rivers) is bulleted below while the remainder of this …

Physics First, Marcelo Alonso

Aerospace, Physics, and Space Science Faculty Publications

It is true that now most biology courses begin with the DNA molecule, and many chemistry courses introduce the notion of electronic orbitals in atoms and molecules, topics for which students are not well prepared, since most of them have not taken physics courses. Physics courses in turn relegate to the end some discussion of the structure of matter and electromagnetic interaction, or do not discuss that at all. Thus, students miss the overall picture.

Irradiation Induced Order-Dis Order Transformations In Ni-Mo Alloys, Ovidiu F. Toader

Dissertations

No abstract provided.

Parallaxes And Distance Estimates For 14 Cataclysmic Variable Stars, John R. Thorstensen

Dartmouth Scholarship

I used the 2.4 m Hiltner Telescope at MDM Observatory in an attempt to measure trigonometric parallaxes for 14 cataclysmic variable stars. Techniques are described in detail. In the best cases the parallax uncertainties are below 1 mas, and significant parallaxes are found for most of the program stars. A Bayesian method that combines the parallaxes together with proper motions and absolute magnitude constraints is developed and used to derive distance estimates and confidence intervals. The most precise distance derive here is for WZ Sge, for which I find 43: 3.1:6 1:5 pc. Six Luyten Half-Second stars with previous precise …

Nectar Rewards Of Insect-Adapted Flowers In A Forest/Farm Landscape: Measurement Challenges And Ecological Questions, Theresa Bordenkecher Dailey

All-Inclusive List of Electronic Theses and Dissertations

Native forest wildflowers of the Midwestern United States forests now compete with agricultural weeds for the attention of insect pollinators. The tiny quantities of nectar secreted by these insect-pollinated flowers are measured using laboratory techniques such as colorimetry. However, these techniques are used with the tacit assumption that nectar sugar identity does not affect estimates of carbohydrate content. I tested this hypothesis using fructose, glucose, and sucrose and found that after reaction with anthrone, fructose products differed from those of other sugars in light absorbance measured by a spectrophotometer. Potential error from using an inappropriate sugar standard is greater than …

Rank-Aware Query Optimization, Ihab F. Ilyas, Rahul Shah, Walid G. Aref, Jeffrey S. Vitter, Ahmed K. Almagarmid

Department of Computer Science Technical Reports

No abstract provided.

Efficient Execution Of Sliding-Window Queries Over Data Streams, Moustafa A. Hammad, Walid G. Aref, Michael J. Franklin, Mohammed P. Mokbel, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.

Understanding The Impact Of Shill Bidding In Online English Auctions, Bharat Bhargava, Mamata Jenamani, Yuhui Zhong

Department of Computer Science Technical Reports

No abstract provided.

An Approach To Identifying Beneficial Collaboration Securely In Decentralized Logistics Systems, Richard Cho, Chris Clifton, Ananth V. Ilyer, Wei Jiang, Murat Kantarioglu

Department of Computer Science Technical Reports

No abstract provided.

Wolf Depredation Trends And The Use Of Fladry Barriers To Protect Livestock In Western North America, Marco Musiani, Charles Mamo, Luigi Boitani, Carolyn Callaghan, C. Cormack Gates, Livia Mattei, Elisabetta Visalberghi, Stewart W. Breck, Giulia Volpi

United States Department of Agriculture Wildlife Services: Staff Publications

In Alberta, Canada (1982-2001), and in Idaho, Montana, and Wyoming, United States (1987-2001), wolves (Canis lupus) killed various domestic animals, among which the major prey were sheep in the United States (68%, n = 494) and cattle in Canada (95%; n = 1633). Under recovery programs, the wolf population increased in the United States, and depredation events increased proportionately. In both countries, the number of domestic animals killed each year was correlated with the number of wolves killed by government authorities for depredation management. We tested the ability of anti-wolf barriers made of flags hanging from ropes to impede wolf …

Current Perspectives On Energy And Mass Fluxes In Volcanic Arcs, William Leeman, Jon Davidson, Tobias Fischer, Anita Grunder, Mark Reagan, Martin J. Streck

Geology Faculty Publications and Presentations

Volcanoes of the Pacific Ring of Fire and other convergent margins worldwide are familiar manifestations of nature's energy, account for about 25% of global volcanic outputs, dominate volcanic gas emissions to the atmosphere, and pose significant physical threats to a large human population. Yet the processes behind this prolific activity remain poorly understood.

An international "State of the Arc" (SOTA) conference was held in August on the slopes of Mt. Hood, Oregon, to address current views on the energy and mass fluxes in volcanic arcs. This meeting brought together some 90 leading experts and students of subduction zones and their …

An Algorithm For Clearing Combinatorial Markets, Josiane Domgang Nzouonta

Theses and Dissertations

It was recently shown possible to solve single item auctions without revealing any secret except for the solution. Namely, with vMB-share [4], the seller and the buyer only learn each other's identity and the selling price for a chosen M+1 pricing scheme. No trusted party was necessary. In this thesis, we show how vMB-share can be extended for the clearing of combinatorial negotiations with several items, buyers and sellers. We first show how the more general problem can be reduced to a virtual form, relatively similar to the single-item auctions. Then, some modifications in the cryptographic techniques of vMB-share are …

Uniform Approximation Of Continuous Functions On A Compact Riemann Surface By Elliptic Modular Forms, Michael Berg

Mathematics, Statistics and Data Science Faculty Works

We show that the graded algebra of elliptic modular forms and their conjugates comprises a uniformly dense subspace of the space of all continuous functions on the compactification of the fundamental domain for the action of SL₂(Z) on the complex upper half-plane by fractional linear transformations.

Evaluation Of 2,2'-Bipyridylpyridinetricarbonylrhenium (I) Triflate Complex As A Luminescent Probe For The Study Of Macromolecular Solution Dynamics, Richard Allen Allston

Seton Hall University Dissertations and Theses (ETDs)

.

Data Analysis In The Antes System, Yavuz Tor

Theses and Dissertations - UTB/UTPA

Acanthosis nigricans is a skin condition that can be used as an indicator for the risk of developing type 2 diabetes in the future. Border Health Office, in University of Texas - Pan American, organizes screenings in schools for acanthosis nigricans. Screening results are, then, collected and evaluated in the Border Health Office. The ANTES System is a computer system that stores and manages the data collected in those screenings.

This study is on the analysis of those collected data to track the progress of data entry, to evaluate the progress on obesity and related problems, and to discover the …

Visualization Of Internet Web Pages Based On Authority And Word Frequency, David Navarro

Theses and Dissertations - UTB/UTPA

The growth, accessibility, and integration of the World Wide Web with contemporary information utilization provides a rich domain in which to explore information retrieval systems. One approach in the evolution of retrieval systems couples successful and long-standing techniques of information retrieval with new techniques, such as visualization. The system developed and reported in this thesis takes this approach. It builds upon well-known techniques of information retrieval including stemming, keyword matching, and cosine similarity. It also incorporates the new and relatively successful hubs and authority approach, which describes Web documents by their reference by other documents. Finally, it develops a new …

Towards A Connection Between Linear Embedding And The Poincaré Functional Equation., Tara Marie Michels

Electronic Theses and Dissertations

Several linear embeddings of the logistic equation, x_n+1=ax_n(1-x_n) are considered, the goal being to establish a connection between linear embedding and the Poincaré Functional Equation. In particular, we consider linear embedding schemes in a classical Hardy space.