Digital Commons Network^™

Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi Khatchadourian, Johan Dovland

Publications and Research

Aspect-oriented programming (AOP) has become increasingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses serious challenges. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven useful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.

Managing Through Strategic Agendas, Christine G. Springer

Public Policy and Leadership Faculty Research

The author discusses the development of the Balanced Scorecard and strategic agendas on solving social and economic problems by the government. She stated reasons why organizations or countries choose to establish strategic agendas, such as it helps develop a vision, serves as a framework for monitoring government and nonprofit performance, and develops political platform. She concluded that its establishment is vital to success in developing countries and in the federal system of government.

Inside Unlv, Cate Weeks, Diane Russell, David Ashley, Grace Russell

Inside UNLV

No abstract provided.

Teaching Information Evaluation And Critical Thinking Skills In Physics Classes, Adriana Popescu, James Morgan

Library Scholarship

The physics curriculum at all educational levels can be enriched to include tools for strengthening students' information evaluation skills. The Report of the Joint APS-AAPT Task Force on Graduate Education in Physics calls for such training to be part of graduate programs, but training to acquire these lifetime skills can be incorporated in the curriculum even before graduate level.

Magnet Attractions, Lehigh Valley Health Network

Magnet Attractions

No abstract provided.

Checkup, Lehigh Valley Health Network

Checkup

No abstract provided.

Sound Production And Spectral Hearing Sensitivity In The Hawaiian Sergeant Damselfish, Abudefduf Abdominalis, Karen P. Maruska, Kelly S. Boyle, Laura R. Dewan, Timothy C. Tricas

Faculty Publications

Sounds provide important signals for inter- and intraspecific communication in fishes, but few studies examine fish acoustic behavior in the context of coevolution of sound production and hearing ability within a species. This study characterizes the acoustic behavior in a reproductive population of the Hawaiian sergeant fish, Abudefduf abdominalis, and compares acoustic features to hearing ability, measured by the auditory evoked potential (AEP) technique. Sergeant fish produce sounds at close distances to the intended receiver (≤1-2 body lengths), with different pulse characteristics that are associated primarily with aggression, nest preparation and courtship-female-visit behaviors. Energy peaks of all sounds were between …

Cloning, Analysis And Functional Annotation Of Expressed Sequence Tags From The Earthworm Eisenia Fetida, Mehdi Pirooznia, Ping Gong, Xin Guan, Laura S. Inouye, Kuan Yang, Edward J. Perkins, Youping Deng

Faculty Publications

Background

Eisenia fetida, commonly known as red wiggler or compost worm, belongs to the Lumbricidae family of the Annelida phylum. Little is known about its genome sequence although it has been extensively used as a test organism in terrestrial ecotoxicology. In order to understand its gene expression response to environmental contaminants, we cloned 4032 cDNAs or expressed sequence tags (ESTs) from two E. fetida libraries enriched with genes responsive to ten ordnance related compounds using suppressive subtractive hybridization-PCR.

Results

A total of 3144 good quality ESTs (GenBank dbEST accession number EH669363–EH672369 and EL515444–EL515580) were obtained from the raw clone …

November 1, 2007, University Of North Dakota

University Senate Meeting Minutes

Minutes from the November 1, 2007, meeting of the University Senate. 13 pages

Explaining "Explained Decisions": Nasd's Proposal For Written Explanations In Arbitration Awards, Marilyn Blumberg Cane, Ilya Torchinsky

University of Miami Business Law Review

No abstract provided.

Multiple Comparison Of Medians Using Permutation Tests, Scott J. Richter, Melinda H. Mccann

Journal of Modern Applied Statistical Methods

A robust method is proposed for simultaneous pairwise comparison using permutation tests and median differences. The new procedure provides strong control of familywise error rate and has better power properties than the median procedure of Nemenyi/Levy. It can be more powerful than the Tukey-Kramer procedure using mean differences, especially for nonnormal distributions and unequal sample sizes.

Large Deviations Techniques For Error Exponents To Multiple Hypothesis Lao Testing, Leader Navaei

Journal of Modern Applied Statistical Methods

In this article the problem of multiple hypotheses testing using a theory of large deviations is studied. The reliability matrix of Logarithmically Asymptotically Optimal (LAO) tests is introduced and described, and the conditions for the positive of all its elements are indicated.

Comparison Of Branched Dna And Real-Time Polymerase Chain Reaction Methods In Quantitation Of Hepatitis B Virus Dna, Selma Gokahmetoglu, Esma Deniz, Yusuf Ozbal, Altay M. Atalay

Saudi Medical Journal

No abstract provided.

Wireless Positioning Techniques: A Developer's Update, Seamus Rooney, Keith Gardiner, James Carswell

Conference papers

This paper describes the current efforts to develop an open source, privacy sensitive, location determination software component for mobile devices. Currently in mobile computing, the ability of a mobile device to determine its own location is becoming increasingly desirable as the usefulness of such a feature enhances many commercial applications. There have been numerous attempts to achieve this from both the network positioning perspective and also from the wireless beacon angle not to mention the integration of GPS into mobile devices. There are two important aspects to consider when using such a system which are privacy and cost. This paper …

An Experimental Investigation Of Real-Time Video Transmission Over Ieee 802.11e Wlan Networks Using Txop, Nicola Cranley, Mark Davis

Conference papers

Real-time multimedia streaming applications require a strict bounded end-to-end delay and are considered to be bursty as each video frame is typically transmitted as a burst of packets. In this paper we show how the distribution of video frame sizes can be used to efficiently dimension the IEEE 802.11e TXOP limit parameter to efficiently deal with this burstiness in order to enhance the transmission of real-time video streaming services. Through experimental investigation, we show that by using the mean video frame size to dimension the TXOP limit parameter, the transmission delay for the video frame is reduced by 67% under …

Integrating The Wasl Into The High School Algebra Curriculum, Kent Stafford Pearsons

All Graduate Projects

Most Algebra courses in Washington are supplemented with Washington Assessment of Student Learning (WASL) material. However, in the last two years, little more than half of Washington sophomores passed the math portion of the WASL; for about half of tenth graders the extra worksheets did little to no good. Students need relevant WASL material that correlates with the current math they are studying. In this manner, even though questions may be phrased differently, the material is familiar and so answering questions are more possible. Also, since new worksheets have multiple choice, teachers can discuss how most wisely to answer this …

Have You Seen The New Library Bar?: Designing A Legal Research Toolbar, Jennifer L. Wondracek

UF Law Faculty Publications

It seems like more and more people today are selecting their legal research results based on ease of access rather than the completeness of the results. After hearing one too many third-year law students say "I researched my entire paper on Google," I set off to create a tool that would satisfy both the desire for speed and the need for complete and authoritative research results. The tool is a legal research toolbar that integrates into a web browser and provides constant and quick access to library-sanctioned websites and databases. This paper walks readers through the design process of the …

An Administrative "Death Sentence" For Asylum Seekers: Deprivation Of Due Process Under 8 U.S.C. § 1158(D)(6)'S Frivolousness Standard, E. Lea Johnston

UF Law Faculty Publications

In 1996, Congress amended the Immigration and Nationality Act by providing a new sanction for asylum seekers: if an immigration judge makes a finding that a noncitizen has knowingly filed a fraudulent asylum application, then that person is permanently ineligible for immigration benefits. For eleven years, immigration judges, the Board of Immigration Appeals, and federal courts have imposed and reviewed this sanction without specifying a burden of proof. When it did act to fill the statutory gap in April 2007, the Board held that the government must prove the elements of the statute by a preponderance of the evidence. This …

Presenter, “The Bca And The Ncaa: How Title Vii May Level The Playing Field In The Collegiate Coaching Ranks”, N. Jeremi Duru

Presentations

In January 2007, only 5% of the 119 head coaches in Division I-A college football teams were minorities. This number is startling in light of the fact that in National Collegiate Athletic Association (NCAA) football teams 55% of the student-athletes are from minority groups. Even the president of the NCAA, Myles Brand, has stated that this organization has had a “dismal record of hiring people of color into head coaching positions, especially in the sport of football.” The disparity between the numbers of coaches and players has prompted an action brought by the Black Coaches & Administrators (BCA). The BCA …

Swan Lake Habitat Rehabilitation And Enhancement Project: Post-Project Monitoring Of Water Quality, Sedimentation, Vegetation, Invertebrates, Fish Communities, Fish Movement, And Waterbirds, James E. Garvey, John H. Chick, Michael W. Eichholz, Greg Conover, Ronald C. Brooks

Reports

No abstract provided.

The Daily Egyptian, November 01, 2007, Daily Egyptian Staff

November 2007

No abstract provided.

Data Points And Duration For Estimating Fuel Consumption Of A Lpg Engine, John A. Hogan, Dennis G. Watson, Tony V. Harrison

Articles

Accurate measurement of fuel consumption is critical in quantifying the efficiency of an engine or predicting emissions. As part of a larger project, accurate instantaneous fuel consumption data was needed for a Ford LPG engine. A detailed review of literature did not provide clear recommendations on the number of data points or time duration for data collection. To provide a research basis for the number of data points and the duration of data collection, fuel consumption tests were conducted using up to 15 data points of percent fuel rate and up to 12 minutes of data collection. Based on analysis …

Vanquishing Evil Without The Help Of God: The Man From U.N.C.L.E. And A World Come Of Age, Richard Grigg Ph.D.

Philosophy, Theology and Religious Studies Faculty Publications

One of the most distinctive religious features of the 1960s was the death of God theology. It is useful to look back at the death of God movement from the perspective of communication studies. After all, the movement received unprecedented coverage in the popular media. More intriguing, however is the specific fashion in which death of God theologian William Hamilton, one of the most influential figures in the discussion of the death of God, referred to particular aspects of the modern communication environment. According to Hamilton, the communication technologies of the 1960s helped make it a world "come of age." …

Revolutionary Peacemaking: Using A Critical Pedagogy Approach For Peacemaking With "Terrorists", Steven Best, Peter Mclaren, Anthony J. Nocella Ii

Education Faculty Articles and Research

"The current global political atmosphere is steeped in fear of, and intense rhetoric about, political violence and "terrorism." Amidst this turbulent environment, it is clear that scholars and practitioners need to get beyond the manufactured fear and the hysterical rhetoric, peddled by what we call the corporate-state-military-media complex (or simply, the "power complex"), and instead seek a deeper understanding of political groups that defend or deploy the tactics of economic sabotage (property destruction) or armed struggle in order to change repressive and violent social structures (Best and Nocella 2004; Best and Nocella 2006). Such understanding is important to slow down …

Refuge Update – November/December 2007, Volume 4, Number 6

RefugeUpdate (USFWS-NWRS)

Table of Contents:

Celebrating 20 Years of Science on the M/ V Tiglax, page 5 Kevin Bell is honored as Captain of the largest ship operated by the National Wildlife Refuge System.

Focus on…A River Runs Through It, pages 8-15 Rivers on refuges are managed for recreation, habitat restoration, water rights and sheer beauty.

The Fight Against Giant Salvinia, page 18 Caddo Lake National Wildlife Refuge in Texas is fighting a weed that can travel three-quarters of a mile in 24 hours.

Awards, page 21 From protecting the land to going “green,” awards recognize excellence.

Illuminating A Cross-Cultural Leadership Challenge: When Identity Groups Collide, Donna Chrobot-Mason, Marian N. Ruderman, Todd J. Weber, Patricia J. Ohlott, Maxine A. Dalton

Leadership Institute: Faculty Publications

When societal conflicts between social identity groups spill over into organizations, leaders face the formidable challenge of attempting to bridge differences and manage the conflict in order to accomplish work. After reviewing the literature on intergroup conflict, workplace diversity and social identity theory, we examine four potential leadership strategies for managing identity-based conflicts. The four leadership strategies are decategorization, recategorization, subcategorization and crosscutting. Examples drawn from an interview-based study are used to illustrate theoretical constructs found in the literature. We then consider each of these strategies in cross-cultural contexts and generate propositions to reflect differences in the effectiveness of the …

The Leading Object: November 2007

Leading Object

Content:
Perspectives by John C. Owens
NCTA’s 100 Cow Program Aims to Help Beginning Farmers, Ranchers
Longtime Agronomist Furrer Dies
Public Service to Ag Awards Given
Maunder Receives First Henry Beachell Alumnus Award
Nebraska Master Conservationist Award Winners Announced
Wilson Receives Employee Award
Three with UNL Ties Served as Equine Residents at Texas A&M
Terry Assumes Post of CIT Director
Boeckner Named Interim Director of Panhandle Research and Extension

The First Two Years Of Housing First In Quincy, Massachusetts: "This Place Gives Me Peace, Happiness, And Hope", Tatjana Meschede

Center for Social Policy Publications

Housing First is a housing and support services program that attempts to move the most disabled homeless people directly to housing prior to treatment, using housing as the transforming element to support participation in treatment. This approach does not require sobriety or participation in long-term treatment programs unlike the traditional continuum of care approach. Promising results have been demonstrated in a number of projects using this model (Tsemberis & Eisenberg, 2000).

For the past ten years, Father Bill’s Place (FBP), a homeless shelter and housing program in Quincy, Massachusetts, has moved steadily towards providing permanent housing with supportive services, rather …

The Routine Use Of Preoperative Non-Contrast Chest Computerized Tomography And Carotid Arteries Doppler Prior To Cardiac Surgery, Qing Fan, Kyung-Won Park, Zhiqiang Du, Kevin A Morano, Liming Li

Faculty, Staff and Student Publications

Yeast prions are a group of non-Mendelian genetic elements transmitted as altered and self-propagating conformations. Extensive studies in the last decade have provided valuable information on the mechanisms responsible for yeast prion propagation. How yeast prions are formed de novo and what cellular factors are required for determining prion "strains" or variants--a single polypeptide capable of existing in multiple conformations to result in distinct heritable phenotypes--continue to defy our understanding. We report here that Sse1, the yeast ortholog of the mammalian heat-shock protein 110 (Hsp110) and a nucleotide exchange factor for Hsp70 proteins, plays an important role in regulating [PSI+] …

Presidential Authority Transcript, Charles Swift, Bruce Fein, Chief Judge Robert Lasnik, Jules Lobel Deborah Pearlstein & Robert Turner

Seattle Journal for Social Justice

No abstract provided.