Social and Behavioral Sciences Commons^™

Characterizing A Portable Subset Of Behavioral Vhdl-93, Krishnaprasad Thirunarayan, Robert Ewing

Kno.e.sis Publications

Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. We identify and characterize a class of portable VHDL-93 descriptions for which unique meaning property can be salvaged. Our specification can serve as a correctness criteria for a VHDL-93 simulator.

Alumnews, Spring 1997, Alumni Association, Wright State University

AlumNews

Nine page issue of the AlumNews newsletter. This newsletter focuses on news about programs, events, and activities for alumni from Wright State University.

The Guardian, March 12, 1997, Wright State University Student Body

The Guardian Student Newspaper

Twenty page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

The Guardian, March 5, 1997, Wright State University Student Body

The Guardian Student Newspaper

Twenty page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

Nexus, Spring 1997, Wright State University Community

Nexus Literary Journal

Nexus is a magazine that began as an insert in the Wright State Guardian student newspaper in 1965 and has since been published semi-regularly. It began only accepting creative writing, but has since expanded to include illustrations, photography and other non-written art forms. Today, it is published in a digital format and accepts submissions from around the country, though it maintains its commitment to the Wright State Community.

Wright State University Softball Media Guide 1997, Wright State University Athletics

Athletics Publications

A media guide for Wright State University's 1997 softball team. This guide includes photographs, player stats, game results, and records.

The Guardian, February 19, 1997, Wright State University Student Body

The Guardian Student Newspaper

Twenty page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

The Guardian, February 5, 1997, Wright State University Student Body

The Guardian Student Newspaper

Sixteen page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

Some Relationships Between Foies And Sigma 1 1 Arity Hierarchies, Guozhu Dong, Limsoon Wong

Kno.e.sis Publications

No abstract provided.

The Guardian, January 29, 1997, Wright State University Student Body

The Guardian Student Newspaper

Sixteen page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

The Guardian, January 22, 1997, Wright State University Student Body

The Guardian Student Newspaper

Sixteen page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

Structural Issues In Active Rule Systems, James Bailey, Guozhu Dong, Kotagiri Ramamohanarao

Kno.e.sis Publications

Active database systems enhance the functionality of traditional databases through the use of active rules or ‘triggers’. There is little consensus, though, on what components should be included in a rule system. In this paper, the expressive power of some simple active database rule systems is examined and the effect of choosing different features studied. Four important parameters of variation are presented, namely the rule language, the external query language, the meta rule language and the pending rule structure. We show that each of these is highly influential in determining the expressiveness of the rule system as a whole, and …

The Guardian, January 8, 1997, Wright State University Student Body

The Guardian Student Newspaper

Sixteen page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

An Error Handling Framework For The Orbwork Workflow Enactment Service Of Meteor, Davasish Worah, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller

Kno.e.sis Publications

Workflow Management Systems (WFMSs) can be used to re-engineer, streamline, automate, and track organizational processes involving humans and automated information systems. However, the state-of-the-art in workflow technology suffers from a number of limitations that prevent it from being widely used in large-scale mission critical applications. Error handling is one such issue. What makes the task of error handling challenging is the need to deal with errors that appear in various components of a complex distributed application execution environment, including various WFMS components, workflow application tasks of different types, and the heterogeneous computing infrastructure.

In this paper, we discuss a top-down …

Wright State University Women's Soccer Media Guide 1997, Wright State University Athletics

Athletics Publications

A media guide for Wright State University's 1997 Women's Soccer team. This guide includes photographs, player stats, game results, and records.

Wright State University Baseball Media Guide 1997, Wright State University Athletics

Athletics Publications

A media guide that features information about the coaches and players of the Wright State University's 1997 Men's Baseball team. This guide includes photographs, player stats, game results, and records.

Isolation Or Interdependence? The Impact Of Central City And Metropolitan Statistical Area Economic Growth On The Welfare In Poor, Inner-City Census Tracts, Amy C. Novak

Masters Culminating Experiences (1993-2011)

This paper critically analyzes the relationship between the central city low income census tract and the economic vitality of the central city and the metropolitan statistical area. It attempts to provide an understanding of the impact of central city and metropolitan statistical area (MSA) economic activity on inner-city, poor census tracts. This study began by examining ninety-six low income census tracts in twenty-four of the fifty largest US cities. The variables examined included income levels, employment, and social variables (educational attainment, female-headed households, type of employment, percent of persons in poverty, percent of persons receiving federal public assistance dollars) in …

Wright State University Men's And Women's Swimming And Diving Media Guide 1997-1998, Wright State University Athletics

Athletics Publications

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

Nexus, Winter 1997, Wright State University Community

Nexus Literary Journal

Nexus is a magazine that began as an insert in the Wright State Guardian student newspaper in 1965 and has since been published semi-regularly. It began only accepting creative writing, but has since expanded to include illustrations, photography and other non-written art forms. Today, it is published in a digital format and accepts submissions from around the country, though it maintains its commitment to the Wright State Community.

Wright State University Men's Soccer Media Guide 1997, Wright State University Athletics

Athletics Publications

A media guide for Wright State University's 1997 Men's Soccer team. This guide includes photographs, player stats, game results, and records.

Economic Reform And Its Impact On Women In Rural China, Haiping Luo

Masters Culminating Experiences (1993-2011)

China’s rural reform is composed of two parts - changing the old agricultural system and gradually establishing the market mechanism. The agricultural reform is characterized by the adoption of the household responsibility system. The goal of the rural reform is first to achieve effective allocation of labor and land, and second to realize equity and efficiency in rural earnings distribution.

The old agricultural system over-emphasized equality but ignored efficiency. It aimed to keep full employment and a standard wage. This gave rise to an income distribution characterized by the principle “everybody has a share in eating from the same big …

Economics Of Quebec Separatism, J. Scott Attenborough

Masters Culminating Experiences (1993-2011)

The status of the economies in various regions of Canada is continually a key concern for the nation's political leaders. Historically disparities have existed between regions as the nation developed over time. The fact that the regions have not developed equally has been highlighted by the Premiers of each province bringing their plight before Canada's parliament.

One region that has recently lagged behind the economic development of most other regions is the province of Quebec. Although quite competitive with the overall Canadian economy until 1960, the Quebec economy now lags behind overall national economic performance. Quebec's unemployment rate remains high …

The Feasibility Of Using Hedonic Pricing Models To Predict The Cost To The Air Force Of Aircraft Engines, Richard Albert Hyde Ii

Masters Culminating Experiences (1993-2011)

The objective of this paper is to determine the feasibility of using hedonic pricing models to predict the cost to the Air Force of aircraft engines purchased under government contracts. A hedonic pricing model is constructed using an ordinary least square regression format. The distinguishing factor is that cost is always the dependent variable in a hedonic pricing model. The word hedonic means pertaining to pleasure. Economists relate pleasure to value. Therefore, the predicted coefficients of variables produced by the hedonic model, represent marginal values of each variable. The coefficients also show how the variables impact cost. A good hedonic …

Wsu Research News, Winter 1996, Office Of Research And Sponsored Programs, Wright State University

WSU Research News

An eight page newsletter of the WSU Research News. The WSU Research News was published monthly beginning in June of 1968 and issued by the Office of Research Development. This newsletter was created to provide information to the WSU faculty about the availability of outside funds for research and educational programs, new developments that may affect availability of funds, and general information on research and educational activities at Wright State University.

Algorithms For Adapting Materialised Views In Data Warehouses, Mukesh Mohania, Guozhu Dong

Kno.e.sis Publications

In this paper we consider the problem of materialised view adaptation in data warehouses. Materialised views are important in data warehousing where they are used to speed up query processing on large amounts of data. User requirements change over time, which may change the definitions of views dynamically. For such situations, the question arises whether the materialised views should be recomputed from scratch for every change in the definition or they should be obtained by adapting old materialised views. Changes to a view definition may be expensive, if the view is recomputed from scratch. Therefore, it is worthwhile to examine …

The Guardian, November 20, 1996, Wright State University Student Body

The Guardian Student Newspaper

Sixteen page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

Wright State University Women's Basketball Media Guide 1996-1997, Wright State University Athletics

Athletics Publications

A media guide for Wright State University's 1996-1997 Women's Basketball team. This guide includes photographs, player stats, game results, and records.

Wright State University Basketball Media Guide 1996-1997, Wright State University Athletics

Athletics Publications

A media guide for Wright State University's 1996-1997 Men's Basketball team. This guide includes photographs, player stats, game results, and records.

The Guardian, November 13, 1996, Wright State University Student Body

The Guardian Student Newspaper

Twenty-two page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.

The Guardian, November 6, 1996, Wright State University Student Body

The Guardian Student Newspaper

Sixteen page issue of The Guardian, the official student-run newspaper for Wright State University. The Guardian has been published regularly since March of 1965.