Two equations (1.1) and (1.3) which are bound with the transformation (1.2) are called point-equivalent equations. The problem of finding criteria for detecting pointequivalence for two given equations (1.1) and (1.3) is known as the problem of equivalence. This problem was studied in numerous papers (see [1–23]), some of them are classical papers and others are modern ones. Results of these pa...

Professional Original Effective Date: August 9, 2005 Institutional Original Effective Date: August 9, 2005 Revision Date(s): June 14, 2006; January 1, 2007; July 24, 2007; September 25 2007; February 22, 2010; March 10, 2011; March 8, 2013 Revision Date(s): June 14, 2006; January 1, 2007; July 24, 2007; September 25 2007; February 22, 2010; March 1

— Concerning algebraic grammars in reduced form, bisimulation in the graph ofleft dérivations is known to be décidable. The quotient of the above graph by ils greatest bisimulation, called the canonical graph, is indeed isomorphic to the graph ofleft dérivations for another algebraic grammar in reduced form, produced by an effective procedure.

One very effective method for managing large data sets is aggregation or binning. In this paper we consider two aggregation methods that are tightly coupled with interactive manipulation and the visual representation of the data. Through this integration we hope to provide effective support for the aggregation process, specifically by enabling: 1) automatic aggregation, 2) continuous change and...

This article reports on the results of a national survey of AAMFT Approved Supervisors. The respondents (N .= 550) answered questions regarding areas of concentration during supervision, specific techniques employed, professional goals and priorities, and theoretical models used in supervision. Results are compared with a previous survey conducted in 1976 (Everett, 1980). Although audiotapes of...

Only limited attempts have been made in the financial or outsourcing streams of academic writings to explore or quantitatively model the relationship(s) between operational and financial performance metrics of outsourced service providers. Since humanitarian supply chains (which are formed in response to human or environmental disasters) rely on an outsourcing model it is critical that there is...

Characters are vital to large video game worlds as they bring a sense of life to the world. However, background characters are known to rarely exhibit any sign of motivated behavior or emotional state. We want to change this by assigning these characters emotions that can be identified through their non-verbal behavior. We feel the addition of emotion will allow players to feel more connected t...

The pattern-based sequence classification system (PBSC) identifies regularly occurring patterns in collections of sequences and uses these patterns to predict meta-information. This automated system has been proven useful in identifying patterns in written language and musical notations. To illustrate the wide applicability of this approach, we classify symbolic representations of speech-accomp...

The indentation slope curve from a spherical indentation on elastic-plastic materials is examined. By comparing it with that of an linear elastic material of the same elastic properties, we found that the start point of plastic yielding for an elastic-plastic material can be easily located from the indentation slope curve. Based on this analysis, a simple but effective method is proposed tomeas...