04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models

From 22.08.04 to 27.08.04, the Dagstuhl Seminar 04351 ``Spatial Representation: Discrete vs. Continuous Computational Models\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality

From 20.08.06 to 25.08.06, the Dagstuhl Seminar 06341 ``Computational Structures for Modelling Space, Time and Causality\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Computable Types for Dynamic Systems

In this paper, we develop a theory of computable types suitable for the study of dynamic systems in discrete and continuous time. The theory uses type-two effectivity as the underlying computational model, but we quickly develop a type system which can be manipulated abstractly, but for which all allowable operations are guaranteed to be computable. We apply the theory to the study of differential inclusions, reachable sets and controllability

Constructive topology of bishop spaces

The theory of Bishop spaces (TBS) is so far the least developed approach to constructive topology with points. Bishop introduced function spaces, here called Bishop spaces, in 1967, without really exploring them, and in 2012 Bridges revived the subject. In this Thesis we develop TBS. Instead of having a common space-structure on a set X and R, where R denotes the set of constructive reals, that determines a posteriori which functions of type X -> R are continuous with respect to it, within TBS we start from a given class of "continuous" functions of type X -> R that determines a posteriori a space-structure on X. A Bishop space is a pair (X, F), where X is an inhabited set and F, a Bishop topology, or simply a topology, is a subset of all functions of type X -> R that includes the constant maps and it is closed under addition, uniform limits and composition with the Bishop continuous functions of type R -> R. The main motivation behind the introduction of Bishop spaces is that function-based concepts are more suitable to constructive study than set-based ones. Although a Bishop topology of functions F on X is a set of functions, the set-theoretic character of TBS is not that central as it seems. The reason for this is Bishop's inductive concept of the least topology generated by a given subbase. The definitional clauses of a Bishop space, seen as inductive rules, induce the corresponding induction principle. Hence, starting with a constructively acceptable subbase the generated topology is a constructively graspable set of functions exactly because of the corresponding principle. The function-theoretic character of TBS is also evident in the characterization of morphisms between Bishop spaces. The development of constructive point-function topology in this Thesis takes two directions. The first is a purely topological one. We introduce and study, among other notions, the quotient, the pointwise exponential, the dual, the Hausdorff, the completely regular, the 2-compact, the pair-compact and the 2-connected Bishop spaces. We prove, among other results, a Stone-Cech theorem, the Embedding lemma, a generalized version of the Tychonoff embedding theorem for completely regular Bishop spaces, the Gelfand-Kolmogoroff theorem for fixed and completely regular Bishop spaces, a Stone-Weierstrass theorem for pseudo-compact Bishop spaces and a Stone-Weierstrass theorem for pair-compact Bishop spaces. Of special importance is the notion of 2-compactness, a constructive function-theoretic notion of compactness for which we show that it generalizes the notion of a compact metric space. In the last chapter we initiate the basic homotopy theory of Bishop spaces. The other direction in the development of TBS is related to the analogy between a Bishop topology F, which is a ring and a lattice, and the ring of real-valued continuous functions C(X) on a topological space X. This analogy permits a direct "communication" between TBS and the theory of rings of continuous functions, although due to the classical set-theoretic character of C(X) this does not mean a direct translation of the latter to the former. We study the zero sets of a Bishop space and we prove the Urysohn lemma for them. We also develop the basic theory of embeddings of Bishop spaces in parallel to the basic classical theory of embeddings of rings of continuous functions and we show constructively the Urysohn extension theorem for Bishop spaces. The constructive development of topology in this Thesis is within Bishop's informal system of constructive mathematics BISH, inductive definitions with rules of countably many premises included

Jewish Racialization, the Jewish Gene, and the Perpetuation of Ashkenormativity in Direct-to-Consumer Genetic Ancestry Testing in the United States

Jewish identity has been defined and redefined, negotiated and renegotiated, among Jews and non-Jews in various parts of the world. The tensions around the ongoing question of “Who is a Jew?” arise from the fact that Jewish identity encompasses numerous combinations of religion, commitment, nation, kinship, peoplehood, culture, ethnicity, and memory. This thesis will examine the way Jewishness has been and continues to be racialized in the United States by Jews and non-Jews. Specifically, I look at how direct-to-consumer genetic ancestry testing companies, such as 23andMe and AncestryDNA, present a racialized view of Jewish identity to consumers and perpetuate the social construction of a Jewish race by claiming detectable “Jewish genes” in their ancestry reports. Additionally, since these companies often provide reports on European, or Ashkenazi, Jewish ancestry, excluding non-Ashkenazi Jewish ancestries, they contribute to an Ashkenormative narrative of Jewish history, heritage, and identity

The Community Makery

Humankind has over the years borrowed ideas from, and also taken from, nature. What was in the beginning an intention to survive eventually morphed into humankind striving for superiority. In recent centuries humans have begun to excessively mass produce inorganic items for their own use, while completely disregarding the impact of waste build-up on the environment. Today waste is a major concern and, in the current global warming crisis, there is a need to deal with overflowing landfills and extreme amounts of waste products. This study is focused on the upcycling of waste products, such as plastic waste, paper waste and glass waste, in order to produce building materials. The Mamelodi West area was initially set out according to the principles of the model apartheid city, with natural buffers along the northern and eastern boundaries. Later on the railway and industrial area boomed in the southern region, and thus the area today presents a diversity of amenities and uses. The industrial region of Mamelodi West contains a wide range of job opportunities and modes of income; however, there is a clear divide between the residential sector and the industrial sector. A clear need exists for a tangible link to be established between the industrial region and the residential area of Mamelodi West. With an architecture that could materialise into a haven for Mamelodi residents, as well as aid in reducing the waste crisis threat, there is opportunity to solve not one but two issues in the Mamelodi West area. Upcycling is a process in which materials that have already been used are transformed into items of a higher value the second time around (Sung 2015:28). Through the process of upcycling the amount of energy and material used is limited, and it is therefore a feasible option regarding the global warming crisis. In this dissertation the reuse of waste and how its carbon impact can be minimized, are explored. Ways in which waste can be recycled and reused within the context of Mamelodi West, as well as the relationship between nature, people and the environment, will be investigated. The focus will be placed on the notion of nature’s evolution and how temporality influences the built and natural environment.Mini Dissertation (MArch (Prof))--University of Pretoria, 2019.ArchitectureMArch (Prof)Unrestricte

Moments of identity:Dynamics of artist, persona, and audience in electronic music

In our account of artistic identities among electronic music artists, we point to the notion of persona as a key element in a triadic framework for studying the dynamics of identity. Building on pragmatist theory, we further draw on Pizzorno’s concept of mask and Luhmann’s notion of second-order observation to highlight the dual properties of persona: whether like a mask that is put on or like a probe that is put out, persona is a part that stands apart. Persona is an object that alter can recognize and by which ego can be recognized; but what is recognized defies the person’s complete control. We thus conceptualize identity as a multi-sided relationship that involves person, persona, and others. Building on our ethnographic research among electronic music artists in Berlin and New York, we characterize this relationship in terms of attachment between artist and persona, between artist and audience, and between persona and audience. These attachments are variable and independent from one another. The resulting model is an analytic tool to examine identity as the ongoing outcome of the three-way dynamics of such shifting attachments. We are attentive to persona because the creation and curation of online profiles have become a pervasive element in many people’s daily interactions in both social and work situations

Toposes of monoid actions

openWe study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topological monoids on sets, where the latter are viewed as discrete spaces. Finally, we refine this characterization into necessary and sufficient conditions for a supercompactly generated topos to be equivalent to a topos of this form.openInformatica e matematica del calcoloRogers, Morga