Since the Sassanid era, many reliefs and seals have left and by reviewing their designs, the mythical and religious attitudes of those people can be understood. The purpose of this article is to decode and interpret the symbolic paintings and to review and study the myths, concepts, and religious rituals of this period. The question is that what the divine and human origin of the symbolic paint...

It sounds good when knowing the symbolic algebraic methods and verification methods in this website. This is one of the books that many people looking for. In the past, many people ask about this book as their favourite book to read and collect. And now, we present hat you need quickly. It seems to be so happy to offer you this famous book. It will not become a unity of the way for you to get a...

We present Synthia, a new tool for the verification and synthesis of open real-time systems modeled as timed automata. The key novelty of Synthia is the underlying abstraction refinement approach [5] that combines the efficient symbolic treatment of timing information by difference bound matrices (DBMs) with the usage of binary decision diagrams (BDDs) for the discrete parts of the system descr...

I analyze Berners-Lee, Hendler, and Lassila’s description of the Semantic Web, discussing what it implies for a Multilingual Semantic Web and the barriers that the nature of language itself puts in the way of that vision. Issues raised include the mismatch between natural language lexicons and hierarchical ontologies, the limitations of a purely writer-centered view of meaning, and the benefits...

This article asks two related questions: Is digital media studies a discipline, and should scholars within the field desire to move toward disciplinarity? Drawing on the writings of Michel Foucualt and Pierre Bourdieu, as well as several Anglo-American cultural studies of disciplinarity, the essay argues that digital media studies has not yet constituted a truly novel scholarly discourse. Becau...

The syntactic and semantic comparison of models is important for understanding and supporting their evolution. In this paper we present TMDIFF, a technique for semantically comparing models that are represented as text. TMDIFF incorporates the referential structure of a language, which is determined by symbolic names and language-specific scoping rules. Furthermore, it employs a novel technique...

Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...

This paper formalises the concept of learning symbolic rules from multisource data in a cardiac monitoring context. Our sources, electrocardiograms and arterial blood pressure measures, describe cardiac behaviours from different viewpoints. To learn interpretable rules, we use an Inductive Logic Programming (ILP) method. We develop an original strategy to cope with the dimensionality issues cau...

In this work, we report on the preliminary analysis carried out in order to undertake the task of designing and building distributed systems for Symbolic Computation in Algebraic Topology. We try to make explicit how the peculiarities of the programs computing homology and homotopy groups can influence on the development of distributed systems to perform the same calculations. We stress not onl...