Social and Behavioral Sciences Commons^™

Proof Strategies For Hardware Verification, Robert Eastham, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Ascertaining correctness of digital hardware designs through simulation does not scale-up for large designs because of the sheer combinatorics of the problem. Formal verification of hardware designs holds promise because its computational complexity is of the order of number of different types of components (and not number of components in the design). This approach requires the specification of the behavior and the design in a formal language, and reason with them using a theorem prover. In this paper we attempt to develop a methodology for writing and using these specifications for some important classes of hardware circuits. We examine digital …

Wpa News 50 (1996), World Pheasant Association

Galliformes Specialist Group and Affiliated Societies: Newsletters

WPA News (May 1996), number 50

Published by the World Pheasant Association

Immunolesions Using Site Specific Injections Of 192-Lgg Saporin Into The Basal Forebrain Fail To Affect Radial Arm Maze Performance In The Male Rat, Lesley J. Hickman '96

Honors Projects

In this study I investigated the effects of 192-lgG saporin injections into the medial septal area.(MSA) and nucleus basalis magnocel/ularis (NBM) on radial arm maze performance in the male rat. The results of the present study reveal that combined injections of 192-lgG saporin into the basal forebrain failed to disrupt RAM performance when compared to vehicle-injected controls. In addition, intraperitoneal injections using a muscarinic receptor blocker, scopolamine, failed to reveal a compensatory response of the cholinergic basal forebrain that may have explained the lack of behavioral effects of 192IgG saporin. Consequently, the results of this study suggest that a selective …

Social Assemblages And Mating Relationships In Prairie Dogs: A Dna Fingerprint Analysis, Steven E. Travis, Con Slobodchikoff, Paul Kefan

Reproductive Behavior Collection

Mating system characterizations have been hindered by difficulties in accurately assigning parentage to offspring. We investigated the relationship between social assemblages and mating relationships in a territorial harem polygynous mammal, the Gunnison's prairie dog, using a combination of behavioral and molecular analyses. We demonstrate multiple paternity and an extraordinarily high incidence of extraterritorial fertilizations (i.e., 61% of all progeny), in combination with the existence of female kin groups. On this basis, we conclude that social assemblages alone provide a poor description of the Gunnison's prairie dog mating system, and suggest several potential reasons for the maintenance of territoriality in this …

Santa Clara Magazine, Volume 38 Number 2, Spring 1996, Santa Clara University

Santa Clara Magazine

10 - IT CHANGED MY LIFE Reflecting on 30 years of the Santa Clara Communiry Action Program, former SCCAP directors recount what participating in the organization meant to them.

14 - ATTICUS An excerpt from the recent novel by SCU's new Gerard Manley Hopkins, S.)., Professor in Arts and Humanities. By Ron Hansen M.A. '95

22 - LOST IN CYBERSPACE Universities debate Internet addiction among students: Should we stop them before rhey surf again? By Jeff Brazil '85

28 - THE GRAPES OF WRATH: PART II Professor of Modern Languages Francisco Jimenez '66 remembers his childhood as a migrant laborer, …

Table Of Contents Volume Seven, Number Two, Spring 1996, Risk Editorial Board

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

Table of contents for the journal RISK: Health, Safety & Environment (ISSN: 1073-8673)

Cultural Values Lower Redwood Creek, Susie Van Kirk

Susie Van Kirk Papers

Levee construction on lower Redwood Creek from near its mouth to the mouth of Prairie Creek was completed by the Corps of Engineers in 1968, resulting in significant impairment of the estuary's hydrology and its biological functions. In an effort to reestablish those functions and more particularly the fisheries of the creek, Redwood National and State Parks is developing a plan for estuary management. The following general statement about cultural values in the project area and vicinity was prepared to expand the historical information in the draft plan.

Bad Ethics, Good Ethics And The Genetic Engineering Of Animals In Agriculture, Bernard Rollin

Genetics Collection

Genetic engineers have been remiss in addressing ethical and social issues emerging from this powerful new technology, a technology whose implications for agriculture are profound. As a consequence of this failure, society has been uneasy about genetic engineering of animals and has had difficulty distinguishing between genuine and spurious ethical issues the technology occasions. Many of the most prominent concerns do not require a serious response. On the other hand, concerns about a variety of possible risks arising from genetic engineering of animals require careful consideration and dialogue with the public. Such concerns are an admixture of ethics and prudence. …

A Report On The Issues Affecting The Use Of The Dampier Archipelago, Peter Driscoll

Fisheries Management Papers

This report was commissioned by the Minister for Fisheries following concerns about resource sharing, allocation of licences and leases for pearling and aquaculture, recreational and commercial fishing opportunities, and local residents continued ability to access the islands and marine areas of the Dampier Archipelago. The purpose of this report is to provide a scoping document for a marine planning study for the Dampier Archipelago for the Fisheries Department and the Minister for Fisheries.

Fishermen's Views On The Future Management Of The Rock Lobster Fishery: A Report Prepared On Behalf Of The Rock Lobster Industry Advisory Committee, The Marketing Centre, Rock Lobster Industry Advisory Committee

Fisheries Management Papers

In June 1995, a self-completion survey of fishermen in the rock lobster fishery was sent out by The Marketing Centre to 589 licensees. A total of 206 valid responses were received. The questionnaire was fairly long and dealt with a number of complex issues. As such, this response rate of 36.0% compares favorably with the average for postal surveys of around 40.0%. The following represents the main findings from the survey.

Same Fish - Different Rules - Proceedings Of The National Fisheries Management Network Workshop Held As Part Of The Third Australasian Fisheries Managers Conference August 1995, F. B. Prokop

Fisheries Management Papers

This workshop represents the third time that a specific recreational fisheries workshop has been held in conjunction with the Australasian Fisheries Managers Conference. It is designed to analyse the different management approaches from the various fisheries agencies which have responsibility for selected species. The case studies that make up the workshop have been selected to represent the diversity of situations including freshwater, marine, pelagic and invertebrate species.

Balancing The Scales: Access And Equity In Fisheries Management - Proceedings Of The Third Australasian Fisheries Managers Conference, Rottnest Island, Western Australia, 2-4 August 1995, Patricia Summerfield

Fisheries Management Papers

The papers reproduced in this volume were presented at the Third Australasian Fisheries Managers Conference held at Kingstown Environmental Education Centre, Rottnest Island, Western Australia, from 2-4 August 1995. Two presentations have not been received in full written form and one paper was not available for publication due to copyright being held elsewhere. Abstracts of these papers are included in the proceedings. The papers are arranged in order of presentation at the Conference. The scenarios used in the workshop sessions are reproduced at the end of the proceedings for information.

Management Arrangements For Specimen Shell Collection In Western Australia, 1995, Jonathon Hs Barrington, C A. Campbell

Fisheries Management Papers

The Specimen Shell Fishery in Western Australia is based on the collection of marine species of the phylum Mollusca for the purposes of display, collection, cataloguing, classification and sale. Specimen shells may be alive or dead at the time of take and include beach-washed shells. Fossilised shells do not constitute specimen shells. This document has been prepared to detail the legislative requirements of the Western Australian Government, as well as to fulfill the requirements under the Commonwealth Wildlife Protection (Regulation of Exports and Imports) Act 1982 to allow for the export of specimen shells from Western Australian waters and the …

Table Of Contents Volume Seven, Number One, Winter 1996, Risk Editorial Board

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

Table of contents for the journal RISK: Health, Safety & Environment (ISSN: 1073-8673)

Winchell Posters

Journal of the Minnesota Academy of Science

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

Symposia

Journal of the Minnesota Academy of Science

Abstracts from the Symposia given at the Annual Meeting for the Journal of the Minnesota Academy of Science.

Professional Papers

Journal of the Minnesota Academy of Science

Abstracts from the Professional Papers given at the Annual Meeting for the Journal of the Minnesota Academy of Science.

Winchell Papers

Journal of the Minnesota Academy of Science

Abstracts from the Winchell Papers given at the Annual Meeting for the Journal of the Minnesota Academy of Science.

Grouse News 11-20 (1996-2000), World Pheasant Association International, Diana Lovel

Galliformes Specialist Group and Affiliated Societies: Newsletters

Issue 11 (June 1996)

Editorial, Diana Lovel

Diary of David and Margaret's visit to the Pyrenees June 19-28, 1995

Adaptability of gamebirds, David Jenkins

Pheasants and grouse, Matt Ridley

Letter to the editor, Tim Lovel

Grouse Group founded, Rudi Suchant

Hybrids between capercaillie and black grouse and their characteristics, Jan Porkert

Does the occurrence of capercaillie-black grouse hybrids in Øvre Landvik, southern Norway signalize the coming extinction of capercaillies, as it did in Ostsudeten in the Czech Republic? Jan Porkert in cooperation with Arne Flor

Review of Naturschutz report

The effect of matrix on the occurrence of hazel grouse in …

A Relationship Between River Modification And Species Richness Of Freshwater Turtles In Iowa, Terry J. Vandewalle, James L. Christiansen

Journal of the Iowa Academy of Science: JIAS

Comparisons were made of turtle populations in Red Rock Reservoir and the major rivers of the Mississippi River and Missouri River damage systems in Iowa. Of the inland rivers of the Mississippi drainage examined in this study, the Des Moines River had the least amount of remaining turtle habitat. Number of turtle species ranged from five in the Des Moines River to 11 in the Mississippi River, but only three species were found in Red Rock Reservoir. In the Missouri drainage, number of turtle species ranged from three in both the Little Sioux and Nishnabotna rivers to five in the …

Back Cover

Journal of the Iowa Academy of Science: JIAS

No abstract provided.

Dose-Dependent Characterization Of The Rewarding And Stimulant Properties Of Cocaine Across Intraperitoneal And Intravenous Routes Of Administration, Laura O'Dell

Selected Works Temporary Series

No abstract provided.

Differential Effects Of Intra-Accumbens Sulpiride On Cocaine-Induced Locomotion And Conditioned Place Preference, Laura O'Dell

Selected Works Temporary Series

No abstract provided.

Dopamine Overflow In The Nucleus Accumbens During Extinction And Reinstatement Of Cocaine Self-Administration Behavior, Laura O'Dell

Selected Works Temporary Series

No abstract provided.

A Rodent For Your Thoughts: The Animal Model Strategy In Psychology, Kenneth J. Shapiro

Experimentation Collection

In this second of three essays, I describe how the early modern psychologists adopted the strategy of further transforming rats and other species into models of human thought, feeling, and behavior, and, particularly, of disorders of these - in effect taking "a rodent for your thoughts." In the third essay I will provide a critique and empirically-based evaluation of animal model research. Here I indicate what the model strategy in the biomedical sciences, properly understand, is intended to achieve and how, by contrast, particular models are presented to the public and funding agencies. Finally, I describe how they are utilized …

The Ingrown World Of Animal Model Research In Psychology, Kenneth J. Shapiro

Experimentation Collection

In the previous essay, I described the proper function of models in science as heuristic, as a way of generating hypotheses about the actual object of study. Turning to animal models in psychology, I offered a general characterization of that enterprise using sham feeding, an animal model of the eating disorder called bulimia, as an example. In this final of three essays, I offer an evaluation of this animal model strategy that largely employs the tools of social science. I close with a recommendation and a prediction.

Quantity-Based Interference And Symbolic Representations In Chimpanzees (Pan Troglodytes), S. T. Boysen, G. G. Berntson, M. B. Hannan, J. T. Cacioppo

Sentience Collection

Five chimpanzees with training in counting and numerical skills selected between 2 arrays of different amounts of candy or 2 Arabic numerals. A reversed reinforcement contingency was in effect, in which the selected array was removed and the subject received the nonselected candies (or the number of candies represented by the nonselected Arabic numeral). Animals were unable to maximize reward by selecting the smaller array when candies were used as array elements. When Arabic numerals were substituted for the candy arrays, all animals showed an immediate shift to a more optimal response strategy of selecting the smaller numeral, thereby receiving …

Mechanisms Of American English Vowel Production In A Grey Parrot (Psittacus Erithacus), Denice K. Warren, Dianne K. Patterson, Irene M. Pepperberg

Sentience Collection

Parrots are known for their capacity to reproduce the sounds of human speech, but few studies have investigated their mechanisms for producing such vocalizations. Using three methods of noninvasive video imaging (Super VHS video, infrared, X-ray radiography), we examined correlations between several elements of a Grey Parrot's (Psittacus erithacus) vocal-tract configuration and the bird's production of two vowels, /i/ ("eat") and /a/ ("rock"). This parrot uses mechanisms that both resemble and differ from those used by: (a) humans to produce English speech; and (b) some avian species to produce conspecific vocalizations. This Grey Parrot, for example, uses its vocal apparatus …

Gender Differences In Attitudes Toward Animal Research, Jennifer J. Eldridge, John P. Gluck

Experimentation Collection

Although gender differences in attitudes toward animal research have been reported in the literature for some time, exploration into the nature of these differences has received less attention. This article examines gender differences in responses to a survey of attitudes toward the use of animals in research. The survey was completed by college students and consisted of items intended to tap different issues related to the animal research debate. Results indicated that women were more likely than men to support tenets of the animal protection movement. Likewise, women were more likely than men to favor increased restrictions on animal use …

Taking Evolution Seriously: A Matter Of Primate Intelligence, Maxine Sheets-Johnstone

Intelligence Collection

No abstract provided.