Tiny Publics and Social Worlds—Toward a Sociology of the Local. Gary Alan Fine in Conversation With Reiner Keller

Gary Alan FINE gehört weltweit zu den prominentesten Persönlichkeiten der zeitgenössischen soziologischen Ethnografie. In diesem Gespräch spricht er über Einflüsse in seiner akademischen Laufbahn und prägende intellektuelle Entscheidungen. Er gilt als "serieller Ethnograf", der in zahlreichen Feldkontexten gearbeitet hat und dabei einerseits Kleingruppen und eine von Menschen bevölkerte Ethnografie favorisiert, sich andererseits mit Gerüchten, Klatsch und moralischen Geschichten beschäftigt, die in kleinen und größeren Publiken erzählt werden. FINE beschreibt sein theoretisches Kerninteresse als die Untersuchung des Wechselspiels von Struktur, Interaktion und Kultur. In seinem Werk analysiert er die vielfältigen ortsgebundenen Arten und Weisen, in denen Gesellschaft von Menschen in formellen und informellen sozialen Settings verwirklicht wird, angefangen bei Baseballteams über Restaurantküchen oder die Wetterberichterstattung bis hin zum Schachspielen –um nur einige wenige Gegenstände seiner Forschungen zu nennen. Wesentlich beeinflusst durch symbolisch-interaktionistisches Denken und im Rekurs auf weitere wichtige Perspektiven auf soziale Welten plädiert er für eine selbstbewusste Haltung der ethnografischen Forschung und des ethnografischen Schreibens sowie für die Bedeutung der Konzeptarbeit in einer theorie-informierten empirischen Soziologie dessen, was Menschen zusammen tun.Gary Alan FINE is among the most prominent figures in contemporary sociological ethnography worldwide. In this conversation, he talks about influences in his academic career and key intellectual choices. Considered to be a "serial ethnographer" who has worked in multiple settings, his work focuses on small groups and peopled ethnography, as well as on rumors, gossip, and moral story telling in tiny and larger publics. FINE describes his core theoretical interest as residing in the interplay of structure, interaction, and culture and discusses the multiple local ways society is realized by people in formal and informal social settings: ranging from baseball teams, restaurant kitchens, weather reporting to chess players—to name but a few research sites. Influenced by symbolic interactionist thinking and other important approaches to social worlds, he argues for a confident voice of ethnographic research and writing as well as the importance of conceptual work in a theory-informed empirical sociology of what people do together

Type-based allocation analysis for co-recursion in lazy functional languages

This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this system against an instrumented variant of Launch-bury’s semantics for lazy evaluation which serves as a formal cost model.Our soundness proof requires an intermediate semantics employing indi-rections. Our proof of correspondence between these semantics that weprovide is thus a crucial part of this work.The analysis has been implemented as an automatic inference system.We demonstrate its effectiveness using several example programs thatpreviously could not be automatically analysed.Postprin

Organizing research data

Research relies on ever larger amounts of data from experiments, automated production equipment, questionnaries, times series such as weather records, and so on. A major task in science is to combine, process and analyse such data to obtain evidence of patterns and correlations

Transforming data by calculation

Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT

Flow Analysis, Linearity, and PTIME

Abstract. Flow analysis is a ubiquitous and much-studied component of compiler technology—and its variations abound. Amongst the most well known is Shivers ’ 0CFA; however, the best known algorithm for 0CFA requires time cubic in the size of the analyzed program and is unlikely to be improved. Consequently, several analyses have been de-signed to approximate 0CFA by trading precision for faster computation. Henglein’s simple closure analysis, for example, forfeits the notion of di-rectionality in flows and enjoys an “almost linear ” time algorithm. But in making trade-offs between precision and complexity, what has been given up and what has been gained? Where do these analyses differ and where do they coincide? We identify a core language—the linear λ-calculus—where 0CFA, simple closure analysis, and many other known approximations or restrictions to 0CFA are rendered identical. Moreover, for this core language, analysis corresponds with (instrumented) evaluation. Because analysis faithfully captures evaluation, and because the linear λ-calculus is complete for ptime, we derive ptime-completeness results for all of these analyses.

Selectivity Map for Molecular Beam Epitaxy of Advanced III-V Quantum Nanowire Networks

This is an open access article published under an ACS AuthorChoice License. See Standard ACS AuthorChoice/Editors' Choice Usage Agreement - https://pubs.acs.org/page/policy/authorchoice_termsofuse.htmlSelective-area growth is a promising technique for enabling of the fabrication of the scalable III-V nanowire networks required to test proposals for Majorana-based quantum computing devices. However, the contours of the growth parameter window resulting in selective growth remain undefined. Herein, we present a set of experimental techniques that unambiguously establish the parameter space window resulting in selective III-V nanowire networks growth by molecular beam epitaxy. Selectivity maps are constructed for both GaAs and InAs compounds based on in situ characterization of growth kinetics on GaAs(001) substrates, where the difference in group III adatom desorption rates between the III-V surface and the amorphous mask area is identified as the primary mechanism governing selectivity. The broad applicability of this method is demonstrated by the successful realization of high-quality InAs and GaAs nanowire networks on GaAs, InP, and InAs substrates of both (001) and (111)B orientations as well as homoepitaxial InSb nanowire networks. Finally, phase coherence in Aharonov-Bohm ring experiments validates the potential of these crystals for nanoelectronics and quantum transport applications. This work should enable faster and better nanoscale crystal engineering over a range of compound semiconductors for improved device performance