Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

Directed graphs (DG), interpreted as state transition diagrams, are traditionally used to represent finite-state automata (FSA). In the context of formal languages, both FSA and regular expressions (RE) are equivalent in that they accept and generate, respectively, type-3 (regular) languages. Based on our previous work, this paper analyzes effects of graph manipulations on corresponding RE. In this present, starting stage we assume that the DG under consideration contains no cycles. Graph manipulation is performed by deleting or inserting of nodes or arcs. Combined and/or multiple application of these basic operators enable a great variety of transformations of DG (and corresponding RE) that can be seen as mutants of the original DG (and corresponding RE). DG are popular for modeling complex systems; however they easily become intractable if the system under consideration is complex and/or large. In such situations, we propose to switch to corresponding RE in order to benefit from their compact format for modeling and algebraic operations for analysis. The results of the study are of great potential interest to mutation testing

Tissue graft rejection in mice

A liver-slice to kidney-bed grafting system was used to study the course of rejection of a specific tissue across various genetic barriers in inbred strains of mice. Rejection or survival, scored histologically at various times after grafting, demonstrated that multiple non H-2 differences cause rejection at least as rapidly as H-2 differences. Differences at the K end of the mouse major histocompatibility complex cause tissue rejection more rapidly than do differences at the D end of the complex. The latter differences cause chronic rejection similar to that found across several minor H locus barriers. The H-2 haplotype carried by the recipient or the strength of the H-2 antigens of the donor affect the survival time in liver tissue grafts. Studies employing this model system will contribute to the definition of different immunogenetic parameters affecting survival of various tissues in a genetically well-defined animal model.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46746/1/251_2005_Article_BF01576941.pd

A Laboratory for Prototyping and Testing Multimedia Presentations

In this article we describe a prototyping environment, which allows an author to set up and test a complex hypermedia presentation. It contains a visual editor, based on a graph notation, in which the nodes are media objects and the edges are the synchronization relations between them; an execution simulator, which helps the author to test the presentation dynamics by manually triggering media related events; and a player, which allows the author to preview the presentation and to visually relate the execution evolution with the interpretation of the synchronization schema