Digital Commons Network^™

The I.A.S. Bulletin, V22n1, January 1988, Iowa Academy Of Science

IAS Bulletin

In this issue:

--- A Note from the Editor
--- Proceedings and Chem Abstracts
--- AD HOC Publications Committee Discharged
--- AAAS Annual Meeting
--- Centennial Meeting
--- Reflections
--- Natural Resources Workshop for Women
--- Laser Laboratory
--- Ames Laboratory Recognized
--- Soil and Water Conservation Society
--- Section Reorganization
--- Iowa Academy of Science Nomination for Promotion to Fellow
--- The Long Range Planning Committee Asks for Your Ideas
--- IAS Planning Questionnaire
--- Membership Facts

Santa Clara Magazine, Volume 30 Number 2, Winter 1988, Santa Clara University

Santa Clara Magazine

10 - UNDERSTANDING THE NEW SOVIETS A first-person account of the Soviet Union today by the author of two books on Russia. By Jim Garrison

16 - HOW TO GET INTO ADVERTISING An English graduate goes from waiting tables to a senior vice presidency on Madison Avenue. By Barbara Boyle

20 - 1988 ECONOMIC FORECAST For 15 years, Mario Belotti's been making forecasts that are amazingly accurate. By Mario Belotti

22 - SANTA CLARA AND THE POPES Reviewing historic links with Rome shows how it affected SCU. By Gerald McKevitt, S.J.

26 - SCU'S ETERNAL FLAIM Biology professor Frank Flaim …

Iowa Academy Of Science Directory, 1988-89: Officers, Committees, And Membership Roster, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 5
Program Directors ... 6
Editors ... 7
Committees ... 9
Sections ... 24
Award Recipients ... 54
Past Presidents ... 56
Membership Roster ... 57
Constitution and Bylaws ... 70

Annual Report Of The Iowa Academy Of Science, 1987-88, James G. Macmillan

Journal of the Iowa Academy of Science: JIAS

Since 1975 when a history of the Iowa Academy of Science was written for the centennial of the founding of the Academy, an Annual Report has acted as a continuing record of the Academy’s activities.

This report encompasses the year beginning July I, 1987 to June 30, 1988 and is based on minutes of committee meetings, Board minutes and recollections of the author. Each part represents a major activity of the Academy.

Paleoenvironment And Speciation In The Cave Beetle Complex Speonomus Delarouzeei (Coleoptera, Bathysciinae), Christian Juberthie

International Journal of Speleology

In the eastern part of the Pyrenees (France) the author describes a scenario of speciation in the cave species complex Speonomus delarouzeei (Coleoptera Bathysciinae); the speciation processes have been initiated by a breakdown of the ecological equilibrium induced during three glacial-interglacial episodes. The scenario is the following: — during the first glaciation (2.3-2.1 MY), psychrophilic populations ancestral to S. brucki were selected over the highest elevation of the range, by means of cold effect which produced an adaptive demographic advantage; adaptive characters of troglobitic species (K strategy) take place presumably in relation to colonization of caves and M.S.S.; — during …

Architecture And Operation Invocation In The Clouds Kernel, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Intensional Reasoning About Knowledge, Oliver B. Popov, Arlan R. Dekock

Computer Science Technical Reports

As demands and ambitions increase in Artificial Intelligence, the need for formal systems that facilitate a study and a simulation of a machine cognition has become an inevitability. This paper explores and developes the foundations of a formal system for propositional reasoning about knowledge. The semantics of every meaningful expression in the system is fully determined by its intension, the set of complexes in which the expression is confirmed. The knowledge system is based on three zeroth-order theories of epistemic reasoning for consciousness, knowledge and entailed knowledge. The results presented in the paper determine the soundness and the completeness of …

A Study Of Automated Reasoning In A Brain Tumor Diagnosis Expert System, Aung Zaw Maung

Masters Theses

The objective of this study is to survey various theorem-proving methods and to evaluate how these methods can be applied as inference engines in a brain tumor diagnosis expert system.

Various applications of automated reasoning based on the resolution principle are discussed. Knowledge representations and inference mechanisms used in expert systems are also surveyed.

An actual application of this method for a medical diagnosis problem is implemented and explained, and the limitations of this approach and possible future enhancements are discussed.

Computing About Physical Objects, Chanderjit Bajaj, Christoph M. Hoffmann, Elias N. Houstis, John T. Korb, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

An Expert System Controlling An Adaptable Distributed Data Base System, Bharat Bhargava, John Riedl, Detlef M. Weber

Department of Computer Science Technical Reports

No abstract provided.

The I.A.S Bulletin, V21n1, June 1987, Iowa Academy Of Science

IAS Bulletin

In this issue:

--- A Note from the Editor
--- Annual Meeting Address by Paul Walte
--- Lenore Durkee Assumes Presidency
--- Iowa Science Foundation Grants Awarded 1987-88
--- Iowa Academy of Science Recognizes Outstanding Science Students
--- 1986-87 Committee Reports
--- Membership Facts

Domains For Logic Programming, I. Filippenko, F. L. Morris

Electrical Engineering and Computer Science - Technical Reports

We construct Scott domains well suited to use in an abstract implementation of logic programming, and perhaps to the modelling of other first-order data structures. The domain elements, which we call ‘grafts’, are in effect a sort of directed graphs. The approximation order in the domains corresponds to the relation between tuples of terms, “has a substitution instance”; the price to be paid is that one equivalence class of (tuples of) terms under renaming of variables is represented by many grafts. Graft domains come in two flavors—plain and ‘acyclic’—for modelling on an equal footing logic programming without and with the …

Computer Science In Liberal Arts Colleges, James Bradley

ACMS Conference Proceedings 1987

This paper looks at the strengths and weaknesses of computer science curricula and how liberal arts colleges can best teach the concepts of mathematics required in computer science.

The Annual Meeting Of The Iowa Academy Of Science April 24-25, 1987 [Program, 99th Meeting], Iowa Academy Of Science

Iowa Academy of Science Documents

Program Contents:

Program Summary --- 4
General Session Speakers --- 9
Awards --- 12
Distinguished Fellow --- 12
Distinguished Iowa Scientist --- 13
Distinguished Service --- 14
Symposia Programs --- 15
Workshops/Discussions --- 20
Meetings --- 23
Tours/Demonstrations/Field Trips --- 24
Video Film Preview --- 25
Poster Papers --- 26
Campus Map --- Centerfold
Section Programs --- 29
Agricultural Sciences --- 30
Anthropology --- 32
Biotechnology --- 33
Botany --- 36
Chemical Education --- 41
Chemistry, Inorganic --- 42
Chemistry, Organic --- 45
Conservation --- 46
Elementary Science --- 47
Engineering --- 48
Geology --- 52
Linguistics --- 55
Nursing …

An Attribute-Grammar Implementation Of Government-Binding Theory, Nelson Correa

Electrical Engineering and Computer Science - All Scholarship

The syntactic analysis of languages with respect to Government binding (GB) grammar is a problem that has received relatively little attention until recently. This paper describes an attribute grammar specification of the Government binding theory. The paper focuses on the description of the attribution rules responsible for determining antecedent trace relations in phrase-structure trees, and on some theoretical implications of those rules for the GB model. The specification relies on a transformation-le variant of Government "binding theory, briefly discussed by Chomsky (1981), in which the rule move-a is replaced by an interpretive rule. Here the interpretive rule is specified by …

Proof And Intuition, Michael Detlefsen

ACMS Journal 2004

This paper aims to give a clear exposition of two critiques of logicism. The intuitionist, Brouwer, is best known for rejecting the law of the excluded middle (his "special critique.") The paper argues that Brouwer's "general critique" is deeper and more extensive than this. That is, Brouwer is arguing that mathematical knowledge requires a kind of direct mathematical experience, analogous to sensory experience and this cannot be attained simply by linguistic operations independently of experience. It also discusses Poincare's critiques - that there is a huge difference between genuine mathematical insight and an ability to logically manipulate mathematical truths and …

Iowa Academy Of Science Directory, 1987-88: Officers, Committees, And Membership Roster, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 5
Program Directors ... 6
Editors ... 7
Committees ... 8
Sections ... 25
Award Recipients ... 55
Past Presidents ... 57
Membership Roster ... 59
Constitution and Bylaws ... 71
Meeting Dates ... 83

Lily: A Parser Generator For Ll(1) Languages, Timothy Topper Taylor

Masters Theses

This paper discusses the design and implementation of Lily, a language for generating LL(1) language parsers, originally designed by Dr. Thomas J. Sager of the University of Missouri--Rolla. A method for the automatic generation of parser tables is described which creates small, highly optimized tables, suitable for conversion to minimal perfect hash functions.

An implementation of Lily is discussed with attention to design goals, implementation of parser table generation, and table optimization techniques. Proposals are made detailing possibilities for further augmentation of the system. Examples of Lily programs are given as well as a manual for the system.

Intensional Reasoning About Knowledge, Oliver B. Popov

Doctoral Dissertations

"As demands and ambitions increase in Artificial Intelligence, the need for formal systems that facilitate a study and a simulation of a machine cognition has become an inevitability. This paper explores and developes the foundations of a formal system for propositional reasoning about knowledge. The semantics of every meaningful expression in the system is fully determined by its intension, the set of complexes in which the expression is confirmed. The knowledge system is based on three zeroth-order theories of epistemic reasoning for consciousness, knowledge and entailed knowledge. The results presented in the paper determine the soundness and the completeness of …

Paul Alan Cox And Joel C. Janetski's Review Of Patrick Vinton Kirch's The Evolution Of The Polynesian Chiefdoms, Paul Alan Cox, Joel C. Janetski

Pacific Studies

No abstract provided.

A Computerized Audio-Visual Speech Model, Joaquin Alberto Vila Ruiz, Arlan R. Dekock

Computer Science Technical Reports

This thesis describes an expert system able to animate (graphically) and reproduce (acoustically) a text in any language which uses the Latin alphabet. A rule editor has been developed to create and modify the set of letter-to-sound rules of the target language. A parser has been implemented to apply the set of rules and translate text-to-speech. Each phoneme has a unique sound and thus requires its particular positioning of the vocal organs which are displayed in two different projections: a front view and a profile cross view of a human face in synchronization with the output sounds of the speech …

The Design Of An Adaptable Distributed System, Bharat Bhargava, John Riedl

Department of Computer Science Technical Reports

No abstract provided.

Ua35/11 Student Honors Research Bulletin, Wku Honors Program

WKU Administration Documents

The WKU Student Honors Research Bulletin is dedicated to scholarly involvement and student research. These papers are representative of work done by students from throughout the university.

• Padilla, Anne. First and Second Language Acquisition: A Comparison
• Scott, Angela. Salted and Unsalted Snacks: Taste Preferences of Second Grade Students in a Rural Area School
• Fuqua, Nancy. Acceptance by High School Students of Muffins Containing Supplemental Soy Polysaccharides
• Mans, Glee. Preference Levels of High School Freshmen for Four Cheese Food Products
• Denney, Pam. Consumer Acceptance of UHT Choclate Lowfat Milk
• Harris, Carla. Jacques-Louis David: Raphael of the Sansculottes
• Vaughn, James. Corporate Reorganization …

Iowa Academy Of Science Directory, 1986-87: Officers, Committees, And Membership Roster, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 4
Program Directors ... 5
Section Chairs ... 6
Section Vice Chairs ... 9
Committees ... 12
Award Recipients ... 29
Past Presidents ... 31
Membership Roster ... 32
Constitution and Bylaws ... 43
Editors ... 54
Meeting Dates ... 55

Global Competition For Environmental Markets - The Case Of The Water-Pollution Control Equipment Industry, Andrew C. Gross

Marketing

Describes how pollution control spending around the world is set to increase from $70 billion (1979) to $115 billion in 1990 in real terms. Expands on the theory that cleaning up - or preventing mistakes - in the environment makes for financial and healthwise good sense. Posits that cleaner air leads to fewer respiratory problems and cleaner water in most areas of manufacturing results in lower fuel use. Focuses on trade, end use competitive modes and marketing patterns regarding water pollution control equipment (WPCE). States that WPCE shipments world wide are projected to rise from $3.3 billion in 1979 to …

A Computerized Audio-Visual Speech Model, Joaquin Alberto Vila Ruiz

Masters Theses

"This thesis describes an expert system able to animate (graphically) and reproduce (acoustically) a text in any language which uses the Latin alphabet. A rule editor has been developed to create and modify the set of letter-to-sound rules of the target language. A parser has been implemented to apply the set of rules and translate text-to-speech. Each phoneme has a unique sound and thus requires its particular positioning of the vocal organs which are displayed in two different projections: a front view and a profile cross view of a human face in synchronization with the output sounds of the speech …

Structural Properties Of The String Statistics Problem, A. Apostolico, F. P. Preparata

Department of Computer Science Technical Reports

No abstract provided.

The Annual Meeting Of The Iowa Academy Of Science April 26-27, 1985 [Program, 97th Meeting], Iowa Academy Of Science

Iowa Academy of Science Documents

Program Contents:

Program Summary --- 4
Symposia Programs --- 10
Video Film Festival --- 15
Poster Papers --- 16
Campus Map --- Centerfold
Section Programs --- 18
Agricultural Sciences --- 18
Anthropology --- 21
Biotechnology --- 22
Botany --- 23
Chemical Education --- 28
Chemistry Inorganic --- 29
Chemistry, Organic --- 30
Conservation --- 32
Engineering --- 33
Geology --- 37
Linguistics --- 37
Nursing --- 38
Physics --- 39
Physiology --- 40
Psychology --- 41
Science Teaching --- 43
Zoology --- 44

Iowa Academy Of Science Directory, 1985-86: Officers, Committees, And Membership Roster, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 3
Program Directors ... 4
Section Chairs ... 5
Section Vice Chairs ... 8
Committees ... 11
Award Recipients ... 28
Past Presidents ... 30
Membership Roster ... 32

Artificial Intelligence: Myths And Realities, Hugo D'Alarcao

Bridgewater Review

Artificial intelligence the name conjures images of mechanical monsters, the Golem, Dr. Frankenstein’s creation and the rebellious computer Hal. We have always been fascinated by the possibility of creating a machine in our image, but this fascination is often accompanied by apprehension. We fear losing control of our creation and suspect that it might turn against us. It is this duality, this conflict between the desire to create and the fear of the consequences of the creation that has been so successfully exploited by writers. It is also, in part, this fascination that has recently brought the field of Artificial …