Physical Sciences and Mathematics Commons^™

Weakest Pre-Condition And Data Flow Testing, Griffin David Mcclellan

Dissertations and Theses

Current data flow testing criteria cannot be applied to test array elements for two reasons: 1. The criteria are defined in terms of graph theory which is insufficiently expressive to investigate array elements. 2. Identifying input data which test a specified array element is an unsolvable problem. We solve the first problem by redefining the criteria without graph theory. We address the second problem with the invention of the wp_du method, which is based on Dijkstra's weakest pre-condition formalism. This method accomplishes the following: Given a program, a def-use pair and a variable (which can be an array element), the …

Electrolysis Of Palladium In Heavy Water, Christoph Zaczek

Dissertations and Theses

Following several reports in the past few years about compositional changes on palladium used as a cathode in heavy water electrolysis, the purpose of this research project was to reproduce this results.

Two experiments were performed using two cells connected in series, an experimental cell and a control cell.

Both experiments used platinum anodes, the experimental cell had a palladium cathode and the control cell had a platinum cathode. The electrolyte was D₂O with H₂SO₄. Radiation was monitored during both experiments. Also temperature and voltage were recorded for both experiments, to allow statements about …

Circulation, Summer 1995, Center For Coastal Physical Oceanography, Old Dominion University

CCPO Circulation

Summer 1995 issue of CCPO Circulation featuring article "The U. S. Coastal Ocean Is in Alaska!"

A Photometric Study Of V508 Cygni, S.N. Goderya, Kam-Ching Leung, Edward G. Schmidt

Edward Schmidt Publications

The Behlen observatory 0.76 m telescope CCD photometer has been used to obtain nearly 700 observations of the short period eclipsing binary V508 Cyg. These observations were done using V and R bandpass filters on 9 nights in 1992. Previously published light elements and the present eight determinations of eclipse timings are used to determine a new epoch and a more accurate orbital period of 0.7796587 days. The photometric observations and solutions which have been obtained with the 1993 version of the Wilson- Devinney model show that V508 Cyg is a W UMa type contact binary system. Analyses give two …

Breaking The Matches In A Paired T-Test For Community Interventions When The Number Of Pairs Is Small, Paula Diehr

Paula Diehr

There is considerable interest in community interventions for health promotion, where the community is the experimental unit. Because such interventions are expensive, the number of experimental units (communities) is usually small. Because of the small number of communities involved, investigators often match treatment and control communities on demographic variables before randomization to minimize the possibility of a bad split. Unfortunately, matching has been shown to decrease the power of the design when the number of pairs is small, unless the matching variable is very highly correlated with the outcome variable (in this case, with change in the health behaviour). We …

57. Peter Plesch, Otto Vogl, Traudl Plesch

Otto Vogl

No abstract provided.

Angle-Resolved Photoelectron Spectroscopy Of C60, T. Liebsch, O. Plotzke, Franz Heiser, U. Hergenhahn, Oliver Hemmers, R. Wehlitz, J. Viefhaus, B. Langer, S. B. Whitfield, U. Becker

Environmental Studies Faculty Publications

Angle-resolved photoelectron spectra of gaseous C₆₀ were recorded in the photon energy regions from 21 to 108 eV and from 295 to 320 eV. Partial cross sections σ and the angular distribution anisotropy parameter β vary significantly with photon energy, particularly in the near-threshold region of the valence and the core ionization regimes. Some of these effects may be attributed to scattering of the outgoing photoelectron by the atoms of the ionized C₆₀ molecule. Our results indicate that the observed satellites of the C(1s) main line are most likely of shake-up character. Low-energy electrons emitted below the shake-off …

A Statistical Approach To Mpeg Video Stream Characterization, Kubilay Cardakli

Electrical Engineering and Computer Science - Technical Reports

As video consumes a significant percentage of the available network bandwidth, understanding video bandwidth requirements will translate into better network control schemes. In this study, several commercially available video streams are statistically analyzed and several modeling approaches are developed. The segmentation techniques are found to be rewarding. However, the improvements due to complexity of the polynomial models are insignificant.

Santa Clara Magazine, Volume 37 Number 3, Summer 1995, Santa Clara University

Santa Clara Magazine

6 - GARBAGE IN: GOODS OUT Lee Hornberger ' 69, associate professor of mechanical engineering, has only one word to say to you: plastics. By Maureen Mclnaney '85

10 - SCU 101 More than a hundred (count 'em) things every student shou ld do before graduating from Santa Clara.

16 - CHIAPAS: ROOTS OF A REBELLION Members of the SCU community bear witness to an indigenous struggle. By Trina Kleist '80 Photographs by Charles Barry

22 - PRESENTING PARADISE A modern translation with commentary helps readers scale the heights of Dante's heaven. By James Torrens, S.J.

24 - HAVE BALL, …

Binary Star Orbits From Speckle Interferometry. Vi. The Nearby Solar-Type Speckle-Spectroscopic Binary Hr 6697, Harold Mcalister, William I. Hartkopf, Brian D. Mason, Francis C. Fekel, Philip A. Ianna, Andrei A. Tokovinin, Roger F. Griffin, Roger B. Culver

Information Systems and Engineering Management Research Publications

Interferometric, spectroscopic, astrometric, and photometric observations are presented for the nearby solar-type binary HR 6697. The system consists of a G0-2 V primary and a K2-S V secondary. From a combined solution of the speckle and spectroscopic data the orbital period is 881 days or 2.41 yr, the semimajor axis is 2.1 A.U., the eccentricity is 0.42, and the inclination is 68°. The masses and luminosities are 1.16±0.12 Msun, 0.77±0.05 Msun, 1.61±0.15 Lsun, and 0.17±0.05 Lsun. Two independent determinations of the parallax, a trigonometric parallax of 0".0379±0".0030, and an orbital parallax of 0".0375±0".0014, are in excellent agreement and give a …

Environments Of The Four Tryptophans In The Extracellular Domain Of Human Tissue Factor: Comparison Of Results From Absorption And Fluorescence Difference Spectra Of Tryptophan Replacement Mutants With The Crystal Structure Of The Wild-Type Protein, C. A. Hasselbacher, E. Rusinova, R. Rusinova, R. A. Kohanski, W. Lam, A. Guha, J. Du, T. C. Lin, I. Polikarpov, C. W. G. Boys, Y. Nemerson, W. H. Konigsberg, J. B. A. Ross

Chemistry and Biochemistry Faculty Publications

The local environments of the four tryptophan residues of the extracellular domain of human tissue factor (sTF) were assessed from difference absorption and fluorescence spectra. The difference spectra were derived by subtracting spectra from single Trp-to-Phe or Trp-to-Tyr replacement mutants from the corresponding spectrum of the wild-type protein. Each of the mutants was capable of enhancing the proteolytic activity of factor Vila showing that the mutations did not introduce major structural changes, although the mutants were more susceptible to denaturation by guanidinium chloride. The difference spectra indicate that the Trp residues are buried to different extents within the protein matrix. …

Computational Science And The Future Of Computing Research, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Experimental Study Of Tcp And Udp Protocols For Future Distributed Databases, Xiangning Liu, Lebin Cheng, Bharat Bhargava, Zhiyuan Zhao

Department of Computer Science Technical Reports

No abstract provided.

Mpse: Multidisciplinary Problem Solving Environments, Elias N. Houstis, John R. Rice, Anupam Joshi, Sanjiva Weerawarana, Elisha Sacks, Nien-Hwa Linda Wang, Christos Takoudis, Ahmed Sameh, Efstratios Gallopoulos

Department of Computer Science Technical Reports

No abstract provided.

On The Average Redundancy Rate Of The Lempel-Ziv Code, Guy Louchard, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

A Survey Of Mobile Computing Technologies And Applications, Anupam Joshi, Sanjiva Weerawarana, Ranjeewa A. Weerashighe, Tzvetan T. Drashansky, Narendran Ramakrishnan

Department of Computer Science Technical Reports

No abstract provided.

An Introduction To Using Modflow The Usgs Modular Finite-Difference Ground-Water Computer Modeling System, Jessica N. Pfundt

Geology Graduate and Undergraduate Student Scholarship

MODFLOW is the U.S. Geological Survey (U.S.G.S.) Modular Finite-Difference Ground-Water computer modeling system. This program incorporates basic concepts derived from previous computer groundwater modeling programs. MODFLOW improves upon these programs because it is easy to modify, simple to use and maintain, can be executed on a variety of computers with minimal changes, and is relatively efficient with respect to computer memory and execution time (McDonald and Harbaugh, 1988).

Results Of The City Of Tampa Surface Water Compliance Monitoring Program For The Year 1994 And Examination Of Long-Term Water Quality And Biological Indicator Trends In Hillsborough Bay, City Of Tampa Department Of Sanitary Sewers

Reports

This report is submitted to the Florida Department of Environmental Protection (FDEP) to satisfy the requirements set forth in specific condition No. 14 of the Howard F. Curren WWTP permit No. D029-184532B. The report is based on data obtained by the City of Tampa (COT) compliance water quality monitoring program approved under construction permit DC29-152799. The report also includes examination of long-term trends for water quality parameters and biological indicators collected by the City of Tampa Bay Study Group and the Environmental Protection Commission of Hillsborough County (EPC).

Binary Nucleation Kinetics. Ii. Numerical Solution Of The Birth-Death Equations, Barbara Ellen Wyslouzil, Gerald Wilemski

Physics Faculty Research & Creative Works

We numerically solve the complete set of coupled differential equations describing transient binary nucleation kinetics for vapor-to-liquid phase transitions. We investigate binary systems displaying both positive and negative deviations from ideality in the liquid phase and obtain numerical solutions over a wide range of relative rates of monomer impingement. We emphasize systems and conditions that either have been or can be investigated experimentally. In almost every case, we find behavior consistent with Stauffer's idea that the major particle flux passes through the saddle point with an orientation angle that depends on the rates of monomer impingement. When this is true, …

The Hubble Space Telescope Sample Of Radio-Loud Quasars: Ultraviolet Spectra Of The First 31 Quasars, Beverley J. Wills, Keith L. Thompson, Mingsheng Han, H. Netzer, D. Wills, J. A. Baldwin, Gary J. Ferland, I W. A. Browne, M. S. Brotherton

Physics and Astronomy Faculty Publications

We report the first results from a continuing program to investigate the multifrequency spectrophotometric and other properties of a sample of about 50 radio-loud quasars in the redshift range ˜0.3-1.3. Here we present spectrophotometric data of high signal-to-noise ratio (≳20 in the continuum) of the first 31 radio-loud quasars, over the wavelength range from below Lyα to an observed wavelength of 3250 or 4800 Å, obtained using the Faint Object Spectrograph on the Hubble Space Telescope. We have also made quasi-simultaneous observations to extend these spectra beyond the Balmer lines -- either Hβ or Hα -- …

Autocorrelation Of Electrical Noise - An Undergraduate Experiment, J. Loren Passmore , '94, B. C. Collings, Peter J. Collings

Physics & Astronomy Faculty Works

An undergraduate experiment is described in which the output of a noise generator is sampled by a computer equipped with a data acquisition board, after which the autocorrelation function is calculated. If the output of the noise generator passes through a low‐pass filter before it is sampled by the computer, then the autocorrelation function is a decreasing exponential function with a decay constant equal to the time constant of the low‐pass filter. The theory necessary to understand this phenomenon involves basic concepts in electrical noise, the analysis of linear systems, and Fourier transforms. In this paper the theoretical background for …

Branches Of Radial Solutions For Semipositone Problems, Alfonso Castro, Sudhasree Gadam, Ratnasingham Shivaji

All HMC Faculty Publications and Research

We consider the radially symmetric solutions to the equation −Δu(x) = λƒ(u(x)) for x ∈ Ω, u(x) = 0 for x ∈ ∂Ω, where Ω denotes the unit ball in R^N (N > 1), centered at the origin and λ > 0. Here ƒ: R→R is assumed to be semipositone (ƒ(0) < 0), monotonically increasing, superlinear with subcritical growth on [0, ∞). We establish the structure of radial solution branches for the above problem. We also prove that if ƒ is convex and ƒ(t)/(tƒ'(t)−ƒ(t)) is a nondecreasing function then for each λ > 0 there exists at most one positive solution u such that (λ, u) belongs to the unbounded branch of positive solutions. Further when ƒ(t) = tp − k, k > 0 and 1 < p < (N + 2)/(N − 2), we prove that the set of positive solutions is connected. Our results are motivated by and extend the developments in [4].

Environmental Changes In A Polluted Stream During Winter, Arden R. Gaufin, Clarence M. Tarzwell

United States Environmental Protection Agency: Publications

Year round studies of environmental conditions in Lytle Creek, a stream polluted with organic wastes, were initiated late in 1949, by the Biology Section of the Public Health Service's Environmental Health Center.2 Lytle Creek is a tributary of the Little Miami River which enters the Ohio River at Cincinnati. It is about 11 miles long, and has an average width and depth of 15 feet and 1 foot respectively, during normal summer flows. Widths range from 3 to 35 feet and depths from a few inches to a maximum of 6 feet. Surface runoff comprises the major portion of the …

The Probe, Issue # 156 -- July 1995

The Probe: Newsletter of the National Animal Damage Control Association

An Update on the ADC Brown Tree Snake Control Program, by Tim J. Ohasi, USDA-APHIS-ADC, 3375 Koapaka St., Suite H-420, Honolulu, HI 96819
Deer Contraception Proves to Be Costly Failure
Kangaroos Off the Threatened Species List
Animal Rights Protesters Target AT&T Gopher Experiments
Vampire Bats Plague Mexican Ranchers
Do Mixed Gender Teams Complicate Fieldwork?, by Robert H. Giles, Jr., Department of Fisheries and Wildlife Sciences, Virginia Polytechnic Institute and State University, Blacksburg, VA 24061-0321
Bird Strike-USA Committee Meeting
Trapping Weasels
Errata from June PROBE
Video Review - "Removing Raccoons From Chimneys"

Predicting Conserved Water-Mediated Interactions In Protein Active Sites, Michael L. Raymer, Sridhar Venkataraman, William F. Punch, Erik D. Goodman, Brenda Kuhn

Kno.e.sis Publications

No abstract provided.

Restoration And Reconstruction Of Avhrr Images, Stephen E. Reichenbach, Daniel Kohler, Dennis Strelow

School of Computing: Faculty Publications

This paper describes the design of small convolution kernels for the restoration and reconstruction of Advanced Very High Resolution Radiometer (AVHRR) images. The kernels are small enough to be implemented efficiently by convolution, yet effectively correct degradations and increase apparent resolution. The kernel derivation is based on a comprehensive, end-to-end system model that accounts for scene statistics, image acquisition blur, sampling effects, sensor noise, and postfilter reconstruction. The design maximizes image fidelity subject to explicit constraints on the spatial support and resolution of the kernel. The kernels can be designed with h e r resolution than the image to perform …

Frequency Computation And Bounded Queries (Conference Paper), William I. Gasarch, Efim Kinber

School of Computer Science & Engineering Faculty Publications

There have been several papers over the last ten years that consider the number of queries needed to compute a function as a measure of its complexity. The following function has been studied extensively in that light: FaA(x1, …, xa)=A(x1)···A(xa). We are interested in the complexity (in terms of the number of queries) of approximating FaA. Let b⩽a and let f be any function such that FaA(x1, …, x a) and f(x1, …, xa) agree on at least b bits. For a general set A we have matching upper and lower bounds that depend on coding theory. These are applied …

Interview: Brenda Laurel, Jason Challas

SWITCH

This interview with Brenda Laurel, Virtual Reality (VR) author and thinker, discusses the applications and challenges of VR. Creating an emphatic experience using VR technology is possible, but the challenge lies in designing an environment that models the senses to stimulate emotions. VR enables experiences of different genders, but physiological differences between the sexes exist and are important to understand. However, technology used to create the environment and simulation of physical objects in VR is only in the developmental stage. Laurel believes in the importance of keeping the mind grounded in the physical body, in order to strengthen the appreciation …

Effect Of Micelles And Mixed Micelles On Efficiency And Selectivity Of Antibiotic-Based Capillary Electrophoretic Enantioseparations, Kimber L. Rundlett, Daniel W. Armstrong

Chemistry Faculty Research & Creative Works

Vancomycin (an oligophenolic, glycopeptide, macrocyclic antibiotic) has been shown to be a superb chiral selector for anionic and neutral compounds. It was found that adding sodium dodecyl sulfate to the run buffer increased efficiency by over 1 order of magnitude, decreased analysis times, and reversed the elution order of the enantiomers. This allows for control of the retention order as well as the resolution of enantiomers in complex mixtures in a single run. A mechanism is proposed which explains all of the observed effects and is verified experimentally. Since vancomycin is present in both the micelle and in free solution, …

Numerical Calculation Of Axisymmetric Electrostatic Modes For Cold Finite-Length Non-Neutral Plasmas, Johnny K. Jennings, Ross L. Spencer, K. C. Hansen

Faculty Publications

A numerical calculation of mode frequencies for cold, non-neutral plasmas is reported. The numerical method can be applied to any axisymmetric plasma shape in a trap. Here, it is used to study axisymmetric electrostatic modes in a long conducting cylinder. These modes were previously studied by Prasad and O'Neil [Phys. Fluids 26, 665 (1983)] and by Dubin [Phys. Rev. Lett. 66, 2076 (1991)]. In contrast to Dubin's calculation, the effects of a nearby cylindrical wall, including its influence on the shape of the plasma equilibrium, are considered. It is found that for plasmas with aspect ratios (length divided by diameter) …