Specifying Graph Languages with Type Graphs

We investigate three formalisms to specify graph languages, i.e. sets of graphs, based on type graphs. First, we are interested in (pure) type graphs, where the corresponding language consists of all graphs that can be mapped homomorphically to a given type graph. In this context, we also study languages specified by restriction graphs and their relation to type graphs. Second, we extend this basic approach to a type graph logic and, third, to type graphs with annotations. We present decidability results and closure properties for each of the formalisms.Comment: (v2): -Fixed some typos -Added more reference

Rewriting Abstract Structures: Materialization Explained Categorically

The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-hand sides from abstract graphs, a central concept in previous work. The first contribution is an accessible, general explanation of how materializations arise from universal properties and categorical constructions, in particular partial map classifiers, in a topos. Second, we introduce an extension by enriching objects with annotations and give a precise characterization of strongest post-conditions, which are effectively computable under certain assumptions

A Comparison of the Heroines in Three Representative Novels of Concha Espina

It has been the intent of this study to present a closely referenced comparison of the heroines of three representative novels by Concha Espina. Through the use of developmental analyses and plot summaries of La esfinge maragata, El metal de los muertos and El Caliz rojo it has been possible to obtain a valid assessment of the similarities and contrasts found in the respective protagonists. In spite of the obvious differences in environmental, social and circumstantial elements, the three women evidence essentially the same basic personality traits, attitudes and reactions. The personal tragedy in the lives of the three women and the anguish suffered by them result from similar sources. Each, yearning for a life of happiness, concentrates all her energy and attention on an illusorily ideal male figure, only to learn of his basic weakness; consequently, each is deprived of the much wanted life of love and happiness with him. Regardless of the resultant disillusionment, the women remain spiritually faithful to their mistaken illusions. The unrealistic devotion exhibited by them in their romantic relationships constitutes their most extraordinary characteristic

Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which includes the tropical and arctic type graphs introduced in a previous paper and a new variant of arithmetic type graphs. These type graphs can be used to assign weights to graphs and to show that these weights decrease in every rewriting step in order to prove termination. We present an example involving counters and discuss the implementation in the tool Grez

Participation as entangled self assertion

In diesem Artikel beschäftigen wir uns mit dem Konzept der Partizipation und damit, wie es in ethnografischen und kritisch-partizipativen Handlungsforschungsprojekten verstanden und genutzt wurde und wird. Wir gehen dabei entlang ausgewählter Szenarien aus unserer Feldforschungsarbeit an die Grenzen des üblichen Verständnisses von Partizipation, das wir bis dahin unhinterfragt akzeptiert hatten. In unserer Arbeit ist uns Partizipation zunächst als Rebellion, dann als Widerstand und schließlich als eine Art und Weise der Selbstvergewisserung begegnet, als die Nutzung von Optionen, die eigene Würde und den eigenen Wert in institutionellen Kontexte wiederaufzurichten, in denen diese minimiert und geleugnet worden waren. Dieses Verständnis von Partizipation als Modus der Herstellung der eigenen Würde verweist darauf, dass Wissen für das Selbst weder neutral noch von diesem trennbar ist.In this article, we explore the concept of participation, tracing the history of how participation has been understood and used in ethnographic and critical participatory action research methodological traditions. Within this exploration we push on the limits and boundaries of our ordinary conceptions of "participation", presenting and working through scenarios from our fieldwork in which we took for granted an ordinary concept of participation. As we work through these scenarios we encounter participation first as rebellion, then as resistance, and finally as entangled self-assertion, as opportunities for establishing one's dignity and worthwhileness in an institutional context that diminishes or denies recognition of one's dignity and worthwhileness. This notion of participation as a mode of self-dignity speaks back to the way in which knowledge is not neutral for self and is not separate of self

Inosine-arginine salt as a promising agent for in vitro activation of waterborne actinospores of fish pathogenic myxozoans

Since the recent finding that mucus-derived nucleosides serve as the key host cues for myxozoan actinospore fish host recognition, their use for experimental actinospore activation in the laboratory or application in disease prevention has not progressed yet. One obstacle has been the low solubility of pure inosine and guanosine. To overcome this, we used inosine-arginine salt, which was found to incorporate both high activation properties and high solubility. We tested its efficacy both in microassays directly observing reactions of actinospores of two distantly related myxozoan species, Myxobolus cerebralis and Myxobolus pseudodispar in comparison to inosine, as well as its actinospore-inactivation properties by preliminary polar capsule discharge in an infection experiment. The substance was considerably more effective in eliciting polar capsule discharge and sporoplasm emission at much lower concentrations than pure inosine and, in contrast to the latter, remained dissolved in aqueous solution. Ionsine-arginine exposure of M. pseudodispar actinospores apparently resulted in polar capsule discharge and sporoplasm emission before host contact and subsequently in a lower infection rate in roach, Rutilus rutilus

The Voluntary Water Quality Monitoring Program : 1982 Project Report

The Voluntary Water Quality Monitoring Program : 1982 Project Report by Barbara Welch, Judy Potvin & Mary Ellen Dennis Division of Environmental Evaluation and Lake Studies, Maine Department of Environmental Protection, Augusta, Maine 1982. Contents: Understanding Maine\u27s Lakes and Ponds / Acknowledgement / Temperature / Dissolved Oxygen / Other Measures of Lake Water Quality / Nutrients / Algae and Chlorophyll a / Transparency / Morphometry / Sampling / Protection / Classification / Answers to Most Frequently Asked Questions / Glossary of Terms / Appendix A : Maximum, Minimum, and Mean Values / Appendix B : Phosphate Content of Common Cleansers / Appendix C : Maine Trophic State Index Criteria / Appendix D : 1982 TSI Values / Appendix E : Class GP-B Lakes / Appendix F : Conversion Chart / Appendix G : Ranges of Transparency, Chlorophyll a, and Total Phosphorus / Lake Datahttps://digitalcommons.usm.maine.edu/me_collection/1193/thumbnail.jp

Visions of Justice

The analysis of a work of art differs from legal analysis to the sole extent that the former necessarily includes a visual component. Each requires an understanding of the subject’s history (stylistic predecessors/legal precedent) and formative intent (artistic/legislative) in order to interpret the work or law effectively. Judith Resnik and Dennis Curtis’s monumental and profusely illustrated coffee-table textbook, Representing Justice: Invention, Controversy, and Rights in City-States and Democratic Courtrooms, constitutes an outstanding synthesis of the two. And if knowledge is power, then I am very powerful for having read this remarkable work of comprehensive and finely-tuned art history