Too Big to Swallow All at Once : Consumption and Posthuman Healing in Ceremony and House Made of Dawn

This project examines the roles of animals and animal figures in the Native American novels House Made of Dawn (1968)by N. Scott Momaday and Ceremony (1977) by Leslie Marmon Silko. Both novelists consistently evoke animal imagery within their respective texts often pairing this imagery alongside symbolic and metaphorical depictions of cannibalistic identity violence. Through the use of posthuman and postcolonial methodologies and ideas, I contend that the pairing of these two distinct types of imagery that both Momaday and Silko intentionally align the animal figures with premodern, indigenous belief systems while the cannibalistic violence is more often envisioned as a consequence of Western modernity. Thus, I conclude that both Momaday and Silko juxtapose the animal imagery within the texts against these depictions of metaphoric cannibal violence to challenge modern perceptions of the human/nonhuman continuum. Both novels postulate that recognition of the premodern continuum is a method to facilitate healing brought about through the imposition of cannibalistic Western ideals on indigenous peoples

A Meta-Logic of Inference Rules: Syntax

This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality

2D pattern evolution constrained by complex network dynamics

Complex networks have established themselves along the last years as being particularly suitable and flexible for representing and modeling several complex natural and human-made systems. At the same time in which the structural intricacies of such networks are being revealed and understood, efforts have also been directed at investigating how such connectivity properties define and constrain the dynamics of systems unfolding on such structures. However, lesser attention has been focused on hybrid systems, \textit{i.e.} involving more than one type of network and/or dynamics. Because several real systems present such an organization (\textit{e.g.} the dynamics of a disease coexisting with the dynamics of the immune system), it becomes important to address such hybrid systems. The current paper investigates a specific system involving a diffusive (linear and non-linear) dynamics taking place in a regular network while interacting with a complex network of defensive agents following Erd\"os-R\'enyi and Barab\'asi-Albert graph models, whose nodes can be displaced spatially. More specifically, the complex network is expected to control, and if possible to extinguish, the diffusion of some given unwanted process (\textit{e.g.} fire, oil spilling, pest dissemination, and virus or bacteria reproduction during an infection). Two types of pattern evolution are considered: Fick and Gray-Scott. The nodes of the defensive network then interact with the diffusing patterns and communicate between themselves in order to control the spreading. The main findings include the identification of higher efficiency for the Barab\'asi-Albert control networks.Comment: 18 pages, 32 figures. A working manuscript, comments are welcome

Nonexistence of positive supersolutions of elliptic equations via the maximum principle

We introduce a new method for proving the nonexistence of positive supersolutions of elliptic inequalities in unbounded domains of $\mathbb{R}^n$. The simplicity and robustness of our maximum principle-based argument provides for its applicability to many elliptic inequalities and systems, including quasilinear operators such as the $p$-Laplacian, and nondivergence form fully nonlinear operators such as Bellman-Isaacs operators. Our method gives new and optimal results in terms of the nonlinear functions appearing in the inequalities, and applies to inequalities holding in the whole space as well as exterior domains and cone-like domains.Comment: revised version, 32 page

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.Comment: 36 page