Digital Commons Network^™

Java’S Insecure Parallelism, Per Brinch Hansen

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

The author examines the synchronization features of Java and finds that they are insecure variants of his earliest ideas in parallel programming published in 1972-73. The claim that Java supports monitors is shown to be false. The author concludes that Java ignores the last twenty-five years of research in parallel programming languages.

Summer 1999

University of Richmond Magazine

No abstract provided.

Grazing Arizona: Public Land Management In The Southwest, Char Miller

Pomona Faculty Publications and Research

In February of 1999, the chief of the U.S. Forest Service, Michael Dombeck, placed a moratorium on road building on most roadless areas. In October, President Clinton put forth an initiative to prohibit road building on 40 million acres of roadless area. Such modifications in Forest Service land management decisions is not new as suggested by Char Miller in this look back at early grazing decisions by Pinchot. To be proactive and reactive at the same time in relation to changing social pressures and political realties may be the legacy of the agency.

Formal Development Of Secure Email, Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin

Electrical Engineering and Computer Science - All Scholarship

Developing systems that are assured to be secure requires precise and accurate descriptions of specifications, designs, implementations, and security properties. Formal specification and verification have long been recognized as giving the highest degree of assurance. In this paper, we describe a software development process that integrates formal verification and synthesis. We demonstrate this process by developing assured sender and receiver C++ code for a secure electronic mail system, Privacy Enhanced Mail. We use higher-order logic for system-requirements specification, design specifications and design verification. We use a combination of higher-order logic and category theory and tools supporting these formalisms to refine …

Compositional Variations In The Fire Clay Coal Bed Of Eastern Kentucky: Geochemistry, Petrography, Palynology, And Paleoecology, Cortland F. Eble, James C. Hower, William Morton Andrews Jr.

Report of Investigations--KGS

Bench samples of the Fire Clay coal bed, collected from 28 localities in a study area of eight 7.5-minute quadrangles in the Eastern Kentucky Coal Field, were analyzed geochemically, petrographically, and palynologically to determine any spatial or temporal trends among the studied parameters.

At most sample sites the Fire Clay is split by a flint-clay parting of probable volcanic origin. The upper bench of the Fire Clay coal generally is thick, laterally continuous, low in ash yield and sulfur content, has a moderate to high calorific value, and is high in total vitrinite content. In contrast, the lower bench generally …

Editorial Board & Iowa Academy Of Science Officers And Directors

Journal of the Iowa Academy of Science: JIAS

No abstract provided.

Search For Exchange-Antisymmetric Two-Photon States, D. Demille, D. Budker, N. Derr, Edward Deveney

Physics Faculty Publications

Atomic two-photon J = 0↔J^′ = 1 transitions are forbidden for photons of the same energy. This selection rule is related to the fact that photons obey Bose-Einstein statistics. We have searched for small violations of this selection rule by studying transitions in atomic Ba. We set a limit on the probability v that photons are in exchange-antisymmetric states: v<1.2×10^-7.

Front Matter

Journal of the Minnesota Academy of Science

No abstract provided.

Symposia

Journal of the Minnesota Academy of Science

Abstracts from the Symposia Papers given at the 67^th Annual Meeting for the Journal of the Minnesota Academy of Science.

Winchell Posters

Journal of the Minnesota Academy of Science

Abstracts from the Winchell Posters given at the 67^th Annual Meeting for the Journal of the Minnesota Academy of Science.

Supplement To "On Translations Of Quadratic Residues", Bruce Brandt

Journal of the Minnesota Academy of Science

Let n and k be arbitrary positive integers. We will tend to be concerned with small k and with n which are several times k!. I stated two conditions on (n, k) in a previous paper; in this paper I restate them and further explore them. In particular, it is proven that if n is the least number satisfying Condition 1 for a certain k, then the least number for k + l must be at least 2n + l. Condition 1 and Condition 2 are rephrased graph-theoretically. A heuristic explanation for why the quadratic. residues tend to satisfy Condition …

Effect Of Human Disturbance On Small Mammal Communities In Itasca State Park, Minnesota, Nancy L. Staus, Kathleen Conforti, Leslie N. Clapper, Jennifer A. Longhenry, C. C. Schoenbauer, Michael S. Rentz, John R. Tester

Journal of the Minnesota Academy of Science

We determined effects of different levels of human disturbance on small mammal richness and relative abundance from live-trapping data obtained in Itasca State Park in northwestern Minnesota. We developed a quantitative measure of human disturbance based on disturbance units and trapped small mammals on three study sites, each reflecting a different level of disturbance. Our data revealed that small mammal diversity decreased with increasing human disturbance. Amount of ground cover and litter depth also appeared to be important in explaining differences in the demographic patterns of small mammals among sites.

Colder By The Lake? The Lake Effect On Static Air Temperatures In Duluth, Minnesota 1961-1990, Graham A. Tobin, Gordon L. Levine, Jacqueline H. Alexander

Journal of the Minnesota Academy of Science

To test the impact of Lake Superior on local climates, daily temperature data were collected from two weather stations in Duluth, Minnesota for the period 1961 through 1990. The broad goal of the research was to ascertain to what extent climate conditions differed between lakeside and inland locations. Temperature data were standardized to local lake-level to control for altitudinal differences between weather stations. These data were then analyzed at two temporal scales, annual and seasonal, with the focus on mean high and mean low temperatures. Results indicated that the moderating effect of the lake indeed was apparent especially in raising …

Sextic Number Fields With Discriminant -J2A3B, John W. Jones, David P. Roberts

Mathematics Publications

. Complete lists of number fields, of given degree n and unramified outside a given finite set S of primes, are both of intrinsic interest and useful in some applications. For degrees n ≤ 5 and S = {∞, 2, 3}, the complete lists have appeared previously; there are in total 85 such fields. Here we give the complete list for n = 6 and S = {∞, 2, 3}, finding in particular exactly 398 such fields. We use a three-pronged approach to obtain this classification: an exhaustive computer search, sextic twinning, and class field theory. Also we completely identify …

Wright State University Men's And Women's Swimming And Diving Media Guide 1999-2000, Wright State University Athletics

Athletics Publications

A media guide for Wright State University's 1999-2000 Swimming and Diving team. This guide includes photographs, player stats, game results, and records.

Informing Practice Through Collaborative Partnerships, Marino C. Alvarez, Stephanie A. Stockman, William J. Rodriguez, Robert Davidson, Katie Schwartz

Teaching and Learning Faculty Research

This paper focuses on students and their teacher engaging in authentic tasks and materials couched in problem-oriented formats within meaningful learning contexts that foster thinking and learning. Authentic in that students construct meaning from real data and are asked to make sense of the world around them. Students pursue individual paths of inquiry using critical and imaginative thinking, and engage in social and solitary contexts that involve them in writing, intervening, and reflecting on ideas gleaned from conversations and readings (electronic and conventional) with a university educator and NASA science educator. The process engages students in formal skills such as …

Evolved, Single, Slowly Rotating . . . But Magnetically Active The G8-Giant Hr 1362 = Ek Eridani Revisited, Klaus G. Strassmeier, Kazimierz Stępień, Gregory W. Henry, Douglas S. Hall

Information Systems and Engineering Management Research Publications

We rediscuss the unusual case of the slowly rotating late-type giant HR 1362, which exhibits a very unusual high level of magnetic activity. New BVRI photometry from two robotic telescopes from 1991 through 1998 together with previously published photometric data gives a very precise photometric period of 306.9±0.4 days. With the aid of high-resolution (R=120,000) optical spectra and the Hipparcos parallax we redetermine the absolute parameters of HR 1362 and find it to be a single G8IV-III star of 14 L and a mass of 1.85 M with Teff=5125 K, log g=3.25, and solar abundances. Lithium is not significantly different …

The Visual Orbit Of Ι Pegasi, Andrew F. Boden, Christopher D. Koresko, Gerard T. Van Belle, Mark M. Colavita, Philip J. Dumont, Joseph Gubler, Shrinivas R. Kulkarni, Benjamin F. Lane, Dasia Mobley, Michael Shao, James K. Wallace, The Pti Collaboration, Gregory W. Henry

Information Systems and Engineering Management Research Publications

We have determined the visual orbit for the spectroscopic binary ι Pegasi with interferometric visibility data obtained by the Palomar Testbed Interferometer in 1997. ι Peg is a double-lined binary system whose minimum masses and spectral typing suggests the possibility of eclipses. Our orbital and component diameter determinations do not favor the eclipse hypothesis: the limb-to-limb separation of the two components is 0.151±0.069 mas at conjunction. Our conclusion that the ι Peg system does not eclipse is supported by high-precision photometric observations. The physical parameters implied by our visual orbit and the spectroscopic orbit of Fekel & Tomkin are in …

Hd 62454 And Hd 68192: Two New Γ Doradus Variables, Anthony B. Kaye, Gregory W. Henry, Francis C. Fekel, Richard O. Gray, Eloy Rodríguez, Susana Martín, Douglas R. Gies, William G. Bagnuolo, Douglas S. Hall

Information Systems and Engineering Management Research Publications

We present multilongitude, multicolor photometry and simultaneous high-resolution, high signal-to-noise spectroscopy of the newly discovered γ Doradus variables HD 62454 and HD 68192. From combined Johnson and Strömgren data, we are able to identify five independent periods in HD 62454 and two stable periods in HD 68192. The data presented are sufficient to rule out all physically meaningful types of variations, with the one exception of the high-order, low-degree, nonradial gravity-mode pulsations that are believed to be at work in γ Doradus stars. We also find that HD 62454 is a double-lined spectroscopic binary and we present an orbital solution.

Overview Of The Third International Mathematics And Science Study (Timss) In Australia, Jan Lokan

1997 - Raising Australian Standards in Mathematics and Science: Insight from TIMSS

A brief overview of the aims and scope of TIMSS worldwide was given, followed by a summary of Australia’s participation. The presentation concentrated on describing results achieved by Australian middle primary and lower secondary students, with areas of strength and weakness illustrated by examples from the tests. Comparisons of achievement were made in relation to the various assessment modes used in the tests. The discussion of results was placed in context as far as possible, with a range of home background and instructional practice factors considered.

Raising Australian Standards In Mathematics And Science: Insights From Timss (Conference Proceedings), Australian Council For Educational Research (Acer)

1997 - Raising Australian Standards in Mathematics and Science: Insight from TIMSS

No abstract provided.

Paper And Pen: Assessment Resource Kit, Margaret Forster, Geoff N. Masters

Assessment Resource Kit

A common method of assessment is to present students with a series of questions or prompts and to use students' written responses as evidence of their levels of knowledge, competence, understanding or attitude. We refer to assessments of this kind as 'paper and pen ' assessments. This issue on paper and pen assessment in the Assessment Resource Kit (ARK) magazine series contains five articles: 1. What is paper and pen assessment? 2. A variety of answer formats; 3. Teacher designed paper and pen assessments; 4. Professionally developed tests; 5. Designing paper and pen assessments.

1999 Scholar's Day Schedule, State University Of New York At Cortland

Transformations

Scholars' Day was established in 1997 and is a day-long conference devoted to showcasing the wide array of scholarship, research and creative activities occurring on campus. In 2012, a new emphasis on student research lead to a name change to Transformations: A Student Research and Creativity Conference. This event focuses on student research, which is defined as an original investigation or creative activity through the primary efforts of a student or group of students. The work should show problem-solving skills and demonstrate new conceptual outcomes.

1999 Scholar's Day Abstracts, State University Of New York At Cortland

Transformations

Scholars' Day was established in 1997 and is a day-long conference devoted to showcasing the wide array of scholarship, research and creative activities occurring on campus. In 2012, a new emphasis on student research lead to a name change to Transformations: A Student Research and Creativity Conference. This event focuses on student research, which is defined as an original investigation or creative activity through the primary efforts of a student or group of students. The work should show problem-solving skills and demonstrate new conceptual outcomes.

The Role Of Trust In The North Blackforest: An Evaluation Of A Citizen Panel Project, Ragnar E. Löfstedt

RISK: Health, Safety & Environment (1990-2002)

Dr. Löfstedt explores the effectiveness of a public participation project conducted in Germany, designed to involve citizens in the siting of municipal waste disposal plants.

Expert And Lay Mental Models Of Ecosystems: Inferences For Risk Communication, Jeffrey K. Lazo, Jason Kinnell, Toby Bussa, Ann Fisher, Nathan Collamer

RISK: Health, Safety & Environment (1990-2002)

The authors evaluate a mental modeling approach to studying differences between lay and expert comprehension of ecosystems.

Review Of: Federal Judge's Desk Reference To Environmental Economics (John A. Baden, Ed.; Pacific Research Institute 1998), Edward J. Hendrick Jr.

RISK: Health, Safety & Environment (1990-2002)

Review of the book: Federal Judge's Desk Reference to Environmental Economics (John A. Baden, ed.; Pacific Research Institute 1998). Dedication, forward, glossary, section introductions. LC 98-9206; ISBN 0-936488-84-0. [324 pp. paper. 755 Sansone Street, Ste. 450, San Francisco, CA. 94111. http:// www.pacificserch.org].

Oceanographic Center Catalog 1999-2000, Nova Southeastern University

Halmos College of Natural Sciences and Oceanography Course Catalogs

No abstract provided.

Vol. 74, No. 2 | Winter 1999, Bridgewater College

Bridgewater Magazine

No abstract provided.

Simulation Of Spectra Signatures Of Chemical Leachates From Landfills, Jason Hamel

Theses

Chemical leachates from landfills can turn into dangerous hazards if they are not identified and properly disposed. Currently, these chemicals are identified in the laboratory with samples hand collected from contaminated sites. This is economical for small sites but quickly gets expensive and time consuming for larger facilities that can cover hundreds of acres or multiple sites. This study examines the feasibility of using new hyperspectral detectors and computer processing to autonomously identify the presence of these leachates and greatly simplifying the monitoring process for these large sites. The effect of even low concentrations of many chemicals requires the identification …