Physical Sciences and Mathematics Commons^™

Designing Dependencies, Howard A. Blair

Electrical Engineering and Computer Science - Technical Reports

Given a binary recursively enumerable relation R, one or more logic programs over a language L can be constructed and interconnected to produce a dependency relation D on selected predicates within the Herbrand base BL of L isomorphic to R. D can be, optionally, a positive, negative or mixed dependency relation. The construction is applied to representing any effective game of the type introduced by Gurevich and Harrington, which they used to prove Rabin's decision method for S2S, as the dependency relation of a logic program. We allow games over an infinite alphabet of possible moves. We use this representation …

Complex Dynamics And Multistability In A Damped Harmonic Oscillator With Delayed Negative Feedback, Sue Ann Campbell, Jacques Bélair, Toru Ohira, John Milton

WM Keck Science Faculty Papers

A center manifold reduction and numerical calculations are used to demonstrate the presence of limit cycles, two-tori, and multistability in the damped harmonic oscillator with delayed negative feedback. This model is the prototype of a mechanical system operating with delayed feedback. Complex dynamics are thus seen to arise in very plausible and commonly occurring mechanical and neuromechanical feedback systems.

Effect Of Disorder On Synchronization In Prototype 2-Dimensional Josephson Arrays, Adam S. Landsberg, Yuri Braiman, Kurt Wiesenfeld

WM Keck Science Faculty Papers

We study the effects of quenched disorder on the dynamics of two-dimensional arrays of overdamped Josephson junctions. Disorder in both the junction critical currents and resistances is considered. Analytical results for small arrays are used to identify a physical mechanism which promotes frequency locking across each row of the array, and to show that no such locking mechanism exists between rows. The intrarow locking mechanism is surprisingly strong, so that a row can tolerate large amounts of disorder before frequency locking is destroyed.

Secure Trapdoor Hash Functions Based On Public-Key Cryptosystems, Gary R. Greenfield, Sarah Agnes Spence

Department of Math & Statistics Technical Report Series

In this paper we systematically consider examples representative of the various families of public-key cryptosystems to see if it would be possible to incorporate them into trapdoor hash functions, and we attempt to evaluate the resulting strengths and weaknesses of the functions we are able to construct. We are motivated by the following question:

Question 1.2 How likely is it that the discoverer of a heretofore unknown public-key cryptosystem could subvert it for use in a plausible secure trapdoor hash algorithm?

In subsequent sections, our investigations will lead to a variety of constructions and bring to light the non-adaptability of …

An Automated Search For Variability In Chromospherically Active Stars, Gregory W. Henry, Francis C. Fekel, Douglas S. Hall

Information Systems and Engineering Management Research Publications

We have completed an automated photometric survey of 66 potential or known chromospherically active late-type stars with the 0.4 m Vanderbilt/Tennessee State robotic telescope. The precision of the observations from this telescope matches that predicted from photon and scintillation noise alone and represents a significant improvement in the precision of previous robotic telescope surveys of chromospherically active stars. Light variability has been detected and its period has been determined for 47 stars, 41 of which are newly discovered variables. The primary mechanism of variability is rotational modulation of a spotted surface. In addition we have detected eclipses in HD 62668 …

Bit-Sequences: A New Cache Invalidation Method In Mobile Environments, Jin Jing, Ahmed K. Elmagarmid, Abdelsalam Helal, Rafael Alonso

Department of Computer Science Technical Reports

No abstract provided.

Inverse Pattern Matching, Amihood Amir, Alberto Apostolico, Moshe Lewenstein

Department of Computer Science Technical Reports

No abstract provided.

Migrant Threads On Process Farms: Parallel Programming With Ariadne*, Edward Mascarenhas, Vernon Rego

Department of Computer Science Technical Reports

No abstract provided.

Lightweight Write Detection And Checkpointing For Fine-Grained Persistence, Antony L. Hosking, J. Eliot B. Moss

Department of Computer Science Technical Reports

No abstract provided.

The New Jersey Machine-Code Toolkit, Norman Ramsey, Mary F. Fernáyesndez

Department of Computer Science Technical Reports

No abstract provided.

Local Magnetic Properties Of Antiferromagnetic Febr2, J. Pelloth, R.A. Brand, S. Takele, M.M. Pereira De Azevedo, Wolfman Kleemann, Christian Binek, J. Kushauer, D. Bertrand

Christian Binek Publications

The antiferromagnet FeBr₂ has been studied by Mössbauer spectroscopy in external fields both in the metamagnetic region below the multicritical temperature T_MCP and in the second-order transition region above. The local magnetization shows that the metamagnetic transition occurs by spin flips, as in simple models. However, in the second-order transition region, the local magnetization of the sublattice oriented antiparallel to the external field varies continuously but remains parallel to the c axis. This can only be understood if the external magnetic field induces strong transversal spin precession of the moments on the antiparallel sublattice. This shows that the …

Sliced Configuration Spaces For Curved Planar Bodies, Elisha Sacks, Chandrajit Bajaj

Department of Computer Science Technical Reports

No abstract provided.

Kenematic Tolerance Analysis, Leo Joskowicz, Elisha Sacks, Vijay Srinivasan

Department of Computer Science Technical Reports

No abstract provided.

Partitioned Data Management In Mobile Environments, Ahmed K. Elmagarmid, Jin Jing, Abdelsalam Helal, Rafael Alonso

Department of Computer Science Technical Reports

No abstract provided.

Pattern Matching Image Compression: Algorithmic And Empirical Results, Mikhail J. Atallah, Yann Génin, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Dispersal Dynamics In A Wind-Driven Benthic System, John A. Commito, S. F. Thrush, R. D. Pridmore, J. E. Hewitt, V. J. Cummings

Environmental Studies Faculty Publications

Bedload and water column traps were used with simultaneous wind and water velocity measurements to study postlarval macrofaunal dispersal dynamics in Manukau Harbour, New Zealand. A 12-fold range in mean wind condition resulted in large differences in water flow (12-fold), sediment flux (285-fold), and trap collection of total number of individuals (95-fold), number of the dominant infaunal organism (84-fold for the bivalve Macomona liliana), and number of species (4-fold). There were very strong, positive relationships among wind condition, water velocity, sediment flux, and postlarval dispersal, especially in the bedload. Local density in the ambient sediment was not a good predictor …

Geostatistical Analysis Of Hydraulic Conductivity In Heterogeneous Aquifers, Craig S. Biondo

Theses and Dissertations

Observations of the spatial variability of hydraulic conductivity of the heterogeneous alluvial aquifer at Columbus Air Force Base in Mississippi are analyzed using parametric geostatistical approaches. Field studies have revealed that the heterogeneity of the aquifer hydraulic conductivity field controls the movement and dispersion of groundwater solutes. Therefore, a means of quantifying spatial variability is essential for the application of flow and solute transport models to practical problems. Application of these models requires a large number of hydraulic conductivity measurements. Geostatistical analysis and kriging estimation procedures assist in providing these large numbers of values when sampling designs have provided sparse …

Upper-Tropospheric Aerosol Sampled During Project Fire Ifo Ii, Donald E. Hagen, Josef Podzimek, Max B. Trueblood

Physics Faculty Research & Creative Works

Aerosols can play a role in the cloud formation process through the heterogeneous nucleation mechanism, and in turn, once formed, cirrus clouds can impact the ambient aerosol through scavenging and other collection mechanisms. University of Missouri aerosol sampling facilities were employed on aircraft for in situ collection and characterization of the particulates near cirrus cloud level. Tandem differential mobility analyzer and impactor techniques were used to measure aerosol size distribution, hydration capability, and particle composition information. Evidence of aerosol layering was observed near the tropospause, and there was a tendency toward depletion of the ambient aerosol at both ends of …

Prompt And Sequential Decay Processes In The Fragmentation Of 40 Mev/A 20ne Projectiles, R. J. Charity, L. G. Sobotka, N. J. Robertson, D. G. Sarantites, J. Dinius, C. K. Gelbke, T. Glasmacher, D. O. Handzy, W. C. Hsi, M. J. Huang, W. G. Lynch, C. P. Montoya, Graham F. Peaslee, C. Schwarz, M. B. Tsang

Faculty Publications

The fragmentation of E/A=40 MeV Ne20 projectiles into exit channels containing only p, d, t, He3, α, He6, Li6, and Li7fragments has been investigated. Relative shifts between the average longitudinal velocity of each fragment type were measured with Sn120 and Au197 targets. A post-breakup Coulomb acceleration component of these shifts was isolated. Its magnitude indicates that the projectile broke up while in near contact with the target. On the other hand, correlations between projectile fragments indicate that a significant fraction of these fragments are produced by the sequential decay of long- and short-lived unstable intermediates. A fully sequential decay process, …

The Prairie Naturalist Volume 27, No.4 December 1995

The Prairie Naturalist

NEW DISTRIBUTIONAL RECORDS FOR MAMMALS IN KANSAS · D. W Sparks and J. R. Choate

CLAY-COLORED SPARROWS IN NORTH DAKOTA PARASITIZED BY BROWN-HEADED COWBIRDS ▪ G. P. Romig and R. D. Crawford

A NOTEWORTHY RECORD AND THE BREEDING DISTRIBUTION OF THE BLUE GROSBEAK IN NORTH DAKOTA ▪ L. D. Igl

NEAR LONGEVITY RECORD FOR THE SNOW GOOSE ▪ M T. Koenen and D. M. Leslie, Jr.

COMPARISON OF WATER CONSUMPTION BETWEEN TWO GRASSLAND EMBERIZIDS ▪ J. L. Zimmerman

FACTORS ASSOCIATED WITH DECLINING PROPORTION OF CITIZENS HUNTING IN SOUTH DAKOTA ▪ N. J. Dietz, K. F. Higgins, and R. D. Mendelsohn …

Simulation Modeling Within Workflow Technology, John A. Miller, Amit P. Sheth, Krzysztof J. Kochut, Xuzhong Wang, Arun Murugan

Kno.e.sis Publications

This paper presents an approach for integrating simulation modeling and analysis capabilities within the workflow management system (WFMS) being developed in the Large Scale Distributed Information Systems (LSDIS) Lab at the University of Georgia. Simulation modeling can be used for studying the efficiency of workflow designs as well as studying the general performance and reliability of WFMSs. We also discuss the importance of using sophisticated monitoring and animation capabilities, and the use of workflow management technology to advance simulation technology itself. Finally, we demonstrate a sample simulation where tasks and task managers are simulated.

Damariscotta River Estuary: A Management Plan, Fran Rudoff, Jenny Ruffing, Tom Ford

Documents from Environmental Organizations

One purpose ofthe Damariscotta River Estuary Project has been to ask and answer these and other questions. A second and equally important purpose ofthe Project has been to help the seven estuary communities improve communication and the ability to coordinate land and water use decisions to ensure the future good health of the estuary’s resources.

Recombination In Kr^34+ + H2 And 0^6+ + He Collisions, Konstantinos Zaharakis

Dissertations

No abstract provided.

Failure Of The Optical Theorem For Gaussian-Beam Scattering By A Spherical Particle, James A. Lock, Joseph T. Hodges, Gérard Gouesbet

Physics Faculty Publications

It is shown that when an electromagnetic wave with some degree of amplitude rolloff in the transverse direction is scattered by a spherical particle, the optical theorem is not valid. For such shaped beams the extinction cross section may be written as an infinite series in powers of the reciprocal of the beam width. The imaginary part of the forward-scattering amplitude is shown to be the first term in this series. Two approximations to based on the dominance of diffraction in the forward direction for w(0) greater than or similar to a, where w(0) is the beam half-width and a …

Investigation Of Isolated Sand Shoals On The Inner Shelf Of Virginia Relative To The Potential For Aggregate Mining : Report On Task 4, Possible Physical Impact Of Dredging At Sandbridge Shoal Of The 1993-1995 U. S. Minerals Management Service - Commonwealth Of Virginia Cooperative Project, Jerome P.-Y. Maa

Reports

The Virginia Institute of Marine Science, together with other state agencies, has a continuing interest in preserving the coastline of Virginia, particularly, the Atlantic coastline in the vicinity of the resort city of Virginia Beach. Because a well maintained beach can serve several purposes, e.g., (1) providing public recreational areas, (2) protecting valuable properties that are located near coastline, and (3) reducing the rate of land loss, a great deal of efforts has been devoted to understand the processes that affect the change of shoreline. Among several erosion forces, waves are especially important elements as they can alter the shoreline …

Distribution Of Submerged Aquatic Vegetation In The Chesapeake Bay And Tributaries And Chincoteague Bay - 1994, R J. Orth, Judith F. Nowak, Gary F. Anderson, David J. Wilcox, Jennifer R. Whiting, Leah S. Nagy

Reports

No abstract provided.

Single Molecule Emission Characteristics In Near-Field Microscopy, Randy X. Bian, Robert C. Dunn, X. Sunney Xie, P.T. Leung

Physics Faculty Publications and Presentations

In near-field scanning optical microscopy (NSOM), the measured fluorescence lifetime of a single dye molecule can be shortened or lengthened, sensitively dependent on the relative position between the molecule and aluminum coated fiber tip. The modified lifetimes and other emission characteristics are simulated by solving Maxwell equations with the finite-difference time-domain (FDTD) method. The 2D computation reveals insight into the lifetime behaviors and provides guidance for nonperturbative spectroscopic measurements with NSOM. This new methodology is capable of predicting molecular emission properties in front of a metal/dielectric interface of arbitrary geometry.

Neutron Damage In Distributed Bragg Reflectors And Microcavity Lasers, Mark A. Suriano

Theses and Dissertations

Distributed Bragg Reflectors (DBRs) grown on a gallium-arsenide substrate for a solid state mirror and a vertical cavity surface emitting laser (VCSEL) were subjected to a neutron fluence to determine the sensitivity of the DBRs. The samples were irradiated at Ohio State University's 500 kW research reactor. Relative and absolute reflectance measurements were taken before and after each irradiation over a spectral band of 530 880 µm. Relative reflectance measurements showed that the irradiation did not cause any spectral shift over seven decades of neutron fluences. The reflectivity of the DBRs decreased from their initial measurements after being irradiated. The …

Evaluating The Feasibility Of Sequential Indicator Simulation In Reproducing Spatial Connectivity In A Heterogeneous Transmissivity Field, D. Duane Kenyon

Theses and Dissertations

A Non-Parametric estimation technique was used to simulate realizations of a heterogeneous transmissivity field based upon sampled values from three different sampling scenarios. These realizations were compared to output from a parametric estimation technique with respect to truth as defined by an exhaustive data set of 6,000 transmissivity values. Estimated transmissivity fields were then used as input into a flow model from which fields of heads and specific discharges were obtained and compared. Given the financial limitations imposed upon the number and quality of samples reasonably available, Sequential Indicator Simulation, a non-parametric technique, was shown to be of considerable value …

An Object-Oriented, Formal Methods Approach To Organizational Process Modeling, Vincent S. Hibdon

Theses and Dissertations

This document presents a methodology for developing an organizational process model which is based on the principles of object oriented design and formal software engineering methods. The methodology begins with the development of an object oriented Rumbaugh model (27). The Rumbaugh model is then formally specified in Z (Zed) schemas. Finally, the Z specifications are translated into an executable model in the Software Refinery Environment(TM). This model is described based on the AF wing domain and developed in this domain. The proposed methodology is then shown to produce a very general model which is extendable across almost any domain. The …