8,335 research outputs found

    Graph inverse semigroups: their characterization and completion

    Full text link
    Graph inverse semigroups generalize the polycyclic inverse monoids and play an important role in the theory of C*-algebras. This paper has two main goals: first, to provide an abstract characterization of graph inverse semigroups; and second, to show how they may be completed, under suitable conditions, to form what we call the Cuntz-Krieger semigroup of the graph. This semigroup is the ample semigroup of a topological groupoid associated with the graph, and the semigroup analogue of the Leavitt path algebra of the graph.Comment: Some minor corrections made and tangential material remove

    A language comparison for scientific computing on MIMD architectures

    Get PDF
    Choleski's method for solving banded symmetric, positive definite systems is implemented on a multiprocessor computer using three FORTRAN based parallel programming languages, the Force, PISCES and Concurrent FORTRAN. The capabilities of the language for expressing parallelism and their user friendliness are discussed, including readability of the code, debugging assistance offered, and expressiveness of the languages. The performance of the different implementations is compared. It is argued that PISCES, using the Force for medium-grained parallelism, is the appropriate choice for programming Choleski's method on the multiprocessor computer, Flex/32

    The Scalability of Multicast Communication

    Get PDF
    Multicast is a communication method which operates on groups of applications. Having multiple instances of an application which are addressed collectively using a unique, multicast address, allows elegant solutions to some of the more intractable problems in distributed programming, such as providing fault tolerance. However, as multicast techniques are applied in areas such as distributed operating systems, where the operating system may span a large number of hosts, or on faster network architectures, where the problems of congestion reduce the effectiveness of the technique, then the scalability of multicast must be addressed if multicast is to gain a wider application. The main scalability issue was considered to be packet loss due to buffer overrun, the most common cause of this buffer overrun being the mismatch in packet arrival rate and packet consumption at the multicast originator, the so-called implosion problem. This issue affects positively acknowledged and transactional protocols. As these two techniques are the most common protocol designs, it was felt that an investigation into the problems of these types of protocol would be most effective. A model for implosion was developed which was simulated in order to investigate the parameters of implosion. A measure of this implosion was derived from the data, this index of implosion allowing the severity of implosion to be described as well as the location of the implosion in the model. This implosion index was derived by dividing the rate at which buffers were occupied by the rate at which packets were generated by the model. The value may then be used to predict the number of buffers required given the number of packets expected. A number of techniques were developed which may be used to offset implosion, either by artificially increasing the inter-packet gap, or by distributing replies so that no one host receives enough packets to cause an implosion. Of these alternatives, the latter offers the most promise, although requiring a large effort to maintain the resulting hierarchical structure in the presence of multiple failures

    Within-guild dietary discrimination from 3-D textural analysis of tooth microwear in insectivorous mammals

    Get PDF
    Resource exploitation and competition for food are important selective pressures in animal evolution. A number of recent investigations have focused on linkages between diversification, trophic morphology and diet in bats, partly because their roosting habits mean that for many bat species diet can be quantified relatively easily through faecal analysis. Dietary analysis in mammals is otherwise invasive, complicated, time consuming and expensive. Here we present evidence from insectivorous bats that analysis of three-dimensional (3-D) textures of tooth microwear using International Organization for Standardization (ISO) roughness parameters derived from sub-micron surface data provides an additional, powerful tool for investigation of trophic resource exploitation in mammals. Our approach, like scale-sensitive fractal analysis, offers considerable advantages over twodimensional (2-D) methods of microwear analysis, including improvements in robustness, repeatability and comparability of studies. Our results constitute the first analysis of microwear textures in carnivorous mammals based on ISO roughness parameters. They demonstrate that the method is capable of dietary discrimination, even between cryptic species with subtly different diets within trophic guilds, and even when sample sizes are small. We find significant differences in microwear textures between insectivore species whose diet contains different proportions of ‘hard’ prey (such as beetles) and ‘soft’ prey (such as moths), and multivariate analyses are able to distinguish between species with different diets based solely on their tooth microwear textures. Our results show that, compared with previous 2-D analyses of microwear in bats, ISO roughness parameters provide a much more sophisticated characterization of the nature of microwear surfaces and can yield more robust and subtle dietary discrimination. ISO-based textural analysis of tooth microwear thus has a useful role to play, complementing existing approaches, in trophic analysis of mammals, both extant and extinct

    Creating Skateboarding Spaces or Corralling Skaters? The Rise of Public Skateparks in Rural Northeast Alabama

    Get PDF
    The construction of a series of public skateboarding parks (skateparks) in rural areas in northeast Alabama came about between 2005 and 2007. Skateparks are expensive projects for rural Alabama city governments to undergo; yet, numerous parks have been built within the last decade. Our research explores why these parks were built, where space was allocated for the park, who funded them, and how the space is regulated. The majority of our data come from interviewing city authorities or parties that had a role in funding or campaigning for a skatepark. We have found the establishment of these parks had mix motivations with parties wanting to support skateboarders and others to keep skaters off of the streets. Alabama skateparks were built as an annex to multi-sports complexes or preexisting public parks, were funded from a variety of private and public sources, and are regulated by signage and policing

    The ISCIP Analyst, Volume II, Issue 5

    Full text link
    This repository item contains a single issue of The ISCIP Analyst, an analytical review journal published from 1996 to 2010 by the Boston University Institute for the Study of Conflict, Ideology, and Policy

    The Regularizing Capacity of Metabolic Networks

    Full text link
    Despite their topological complexity almost all functional properties of metabolic networks can be derived from steady-state dynamics. Indeed, many theoretical investigations (like flux-balance analysis) rely on extracting function from steady states. This leads to the interesting question, how metabolic networks avoid complex dynamics and maintain a steady-state behavior. Here, we expose metabolic network topologies to binary dynamics generated by simple local rules. We find that the networks' response is highly specific: Complex dynamics are systematically reduced on metabolic networks compared to randomized networks with identical degree sequences. Already small topological modifications substantially enhance the capacity of a network to host complex dynamic behavior and thus reduce its regularizing potential. This exceptionally pronounced regularization of dynamics encoded in the topology may explain, why steady-state behavior is ubiquitous in metabolism.Comment: 6 pages, 4 figure

    The ISCIP Analyst, Volume II, Issue 5

    Full text link
    This repository item contains a single issue of The ISCIP Analyst, an analytical review journal published from 1996 to 2010 by the Boston University Institute for the Study of Conflict, Ideology, and Policy
    corecore