We present a theorem-proving experiment performed with a computer algebra system. It proves a conjecture about the general pattern of the generating functions counting rooted maps of given genus. These functions are characterized by a complex non-linear differential system between generating functions of multi-rooted maps. Establishing a pattern for these functions requires a sophisticated indu...

The growing importance of enterprise risk management and the resulting integration efforts put the need for separate IT risk management frameworks in question. In this research we analyse common and distinct elements of the COSO enterprise risk management and ISACA Risk IT frameworks. The analysis affirms the hypothesis that separate IT risk management frameworks are redundant.

Automatic recognition of human faces is considered to be a challenging task despite significant progress in both computer vision and pattern recognition. A facial recognition system is a computer application of automatically identifying or verifying a person from a digital image or a video frame from a video source. Often, variations such as in-depth pose changes or illumination variations incr...

Although backpropagation neural networks generally predict better than decision trees do for pattern classiication problems, they are often regarded as black boxes, i.e., their predictions cannot be explained as those of decision trees. In many applications, more often than not, explicit knowledge is needed by human experts. This work drives a symbolic representation for neural networks to make...

A symbolic image is an array representing a set of objects and a set of spatial relations among them. Symbolic images and related structures have been used in a number of applications including Image Databases, Spatial Reasoning, Path Planning and Spatial Pattern Matching. In this paper we describe a Pictorial Query-By-Example (PQBE) language aimed at the retrieval of direction relations from s...

Symbolic search allows saving large amounts of memory compared to regular explicit-state search algorithms. This is crucial in optimal settings, in which common search algorithms often exhaust the available memory. So far, the most successful uses of symbolic search have been bidirectional blind search and the generation of abstraction heuristics like Pattern Databases. Despite its usefulness, ...

In 3 experiments, we examine the relation between language acquisition and other symbolic abilities in the early stages of language acquisition. We introduce 18- and 26-month-olds to object categories (e.g., fruit, vehicles) using a novel word or a novel symbolic gesture to name the objects. We compare the influence of these two symbolic forms on infants' object categorization. Children at both...

we need sociology theories, for that understand of sociology and politic problems. french sociologist pierre bourdieu's theory practice and symbolic power are our best resource; for understanding social and political fields. this article reviews the language and symbolic power; indicating its function in social and political fields. we need sociology theories, for that understand of sociol...