Higher Education Collaboratives for Community Engagement and Improvement

Our society is in a period of dramatic change with the transition from an industrial-based to a knowledge-based economy, as well as technological advances, fiscal challenges of higher education, and cultural shifts in society as a whole. Increasing collaborations between communities and universities in order to influence the public good becomes paramount during this time of dramatic change. As frustratingly slow as the movement to strengthen the relationship between higher education and society sometimes seems to be, few social institutions are better situated than colleges and universities to stimulate significant community improvement. Individually and collectively, institutions of higher education possess considerable resources—human, fiscal, organizational, and intellectual— which are critical to addressing significant social issues. Additionally, these institutions are physically rooted in their communities. Therefore, investing in the betterment of their immediate environments is good for both the community and the institution. However, it is recognized that higher education institutions often fall short of making a real impact in their home communities. Therefore, a conference was convened to examine the current and evolving role of higher education institutions, particularly those operating within the context of coalitions, consortia and state systems, to catalyze change on issues affecting communities and society as a whole. Specifically, the focus of the conference was to develop and strengthen an understanding of how higher education might work more effectively with communities and we believe that consortia or collaboratives of higher education institutions, along with community partners, can learn from one another. Cooperation between efforts is important. The papers offered in this monograph are the result of the Wingspread Conference on Higher Education Collaboratives for Community Engagement and Improvement, conducted on October 27-29, 2004, in Racine, Wisconsin. The conference, the second of a three-part series, was sponsored by the National Forum on Higher Education for the Public Good at the University of Michigan School of Education, the Johnson Foundation, Atlantic Philanthropies, and the W.K. Kellogg Foundation. The first conference in the series held in October 2003 and titled Public Understanding, Public Support and Public Policy focused on higher education’s role in society and the concluding conference will be held in the fall of 2005

Open, Organized, and Onerous: Understanding and Recognizing the Labors of Open Science

In the face of high-profile cases of scientific fraud, there has been a renewed call among scholars to reconsider current best practices in academic publishing. Prominent in these discussions is a set of open science practices that ask scholars to “publish more” of their research—not in terms of manuscripts, but in terms of supplemental materials to the scientific enterprise. Through creating, curating, and publishing artifacts such as study materials (experimental stimuli, survey texts, etc.), datasets and analysis code, and other content, the scientific process is made more transparent for readers. However, such practices involve a substantial labor cost to researchers that is de facto invisible, as few institutions formally recognize the value in these practices, which can serve to implicitly disincentivize their adoption. This essay presents a brief review of open science practices (including their challenges and opportunities) and suggests ways in which administrators can incentivize these practices, as well as the local and global impacts of those incentives. Ultimately, administrators have the capacity to reward scholars for producing quality and impactful scholarship

Fame! I wanna stream forever! Analysis and Critique of Successful Streamers' Advice to the Next Generation

This paper examines the practice of large-scale and successful streamers in creating ‘how-to’ videos with advice for smaller streamers and content creators. The goal of this study was to investigate how successful streamers encourage newcomers and/or smaller streamers to “grow” on Twitch, examining such factors as the advice they offer, the evidence that such advice works, and their reasons for sharing such information. More critically, how do their materials invoke rhetorics of meritocracy, and how does the creation of such videos further entrench those creators as successful, able to deploy “streaming capital” to buttress their claims? While the initial focus was on Twitch, this research led to a wider ranging exploration as the advice of successful streamers was to employ other platforms in combination, as the field of live streaming has extended far beyond Twitch itself

Fame! I wanna stream forever! Analysis and Critique of Successful Streamers\u27 Advice to the Next Generation

This paper examines the practice of large-scale and successful streamers in creating ‘how-to’ videos with advice for smaller streamers and content creators. The goal of this study was to investigate how successful streamers encourage newcomers and/or smaller streamers to “grow” on Twitch, examining such factors as the advice they offer, the evidence that such advice works, and their reasons for sharing such information. More critically, how do their materials invoke rhetorics of meritocracy, and how does the creation of such videos further entrench those creators as successful, able to deploy “streaming capital” to buttress their claims? While the initial focus was on Twitch, this research led to a wider ranging exploration as the advice of successful streamers was to employ other platforms in combination, as the field of live streaming has extended far beyond Twitch itself

Shared Spaces as Authenticity: Exploring the Connectedness of the Physical Environments of Microstreamers and their Audience

This work examines how the on-camera environments of small streamers with extremely limited audiences (i.e. microstreamers) generate a form of authenticity and charm directly from the unstaged nature of said environments, and through the multi-purpose nature of these locations. While much of the current research on streaming has focused on larger, more professionalized (and monetized) activity, the microstreams explored here are significant in that they create a very different sense of audience engagement. The combination of (a) the unstaged nature of microstreaming environments, combined with (b) unscripted and unplanned actors and interruptions (pets, other members of the household, etc.) as well as (c) widely varying production values that range from nonexistent to low-budget mimicry of more professionalized streamers work together to generate a kind of intimacy that is consciously or unconsciously leveraged by the streamer themselves. In their failure to successfully demarcate frontstage and backstage efforts, microstreamers successfully engage audience members in the messiness of life

Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible

International audienceDependently typed languages like Coq are used to specify and prove functional correctness of source programs,but what we ultimately need are guarantees about correctness of compiled code. By preserving dependenttypes through each compiler pass, we could preserve source-level specifications and correctness proofs intothe generated target-language programs. Unfortunately, type-preserving compilation of dependent types isnontrivial. In 2002, Barthe and Uustalu showed that type-preserving CPS is not possible for languages likeCoq. Specifically, they showed that for strong dependent pairs (Σ types), the standard typed call-by-name CPSis not type preserving. They further proved that for dependent case analysis on sums, a class of typed CPStranslations—including the standard translation—is not possible. In 2016, Morrisett noticed a similar problemwith the standard call-by-value CPS translation for dependent functions (Π types). In essence, the problem isthat the standard typed CPS translation by double-negation, in which computations are assigned types of theform (A → ⊥) → ⊥, disrupts the term/type equivalence that is used during type checking in a dependentlytyped language.In this paper, we prove that type-preserving CPS translation for dependently typed languages is not notpossible. We develop both call-by-name and call-by-value CPS translations from the Calculus of Constructionswith both Π and Σ types (CC) to a dependently typed target language, and prove type preservation andcompiler correctness of each translation. Our target language is CC extended with an additional equivalencerule and an additional typing rule, which we prove consistent by giving a model in the extensional Calculus ofConstructions. Our key observation is that we can use a CPS translation that employs answer-type polymorphism,where CPS-translated computations have type ∀α.(A → α) → α. This type justifies, by a free theorem,the new equality rule in our target language and allows us to recover the term/type equivalences that CPStranslation disrupts. Finally, we conjecture that our translation extends to dependent case analysis on sums,despite the impossibility result, and provide a proof sketch

Citizen participation in news

The process of producing news has changed significantly due to the advent of the Web, which has enabled the increasing involvement of citizens in news production. This trend has been given many names, including participatory journalism, produsage, and crowd-sourced journalism, but these terms are ambiguous and have been applied inconsistently, making comparison of news systems difficult. In particular, it is problematic to distinguish the levels of citizen involvement, and therefore the extent to which news production has genuinely been opened up. In this paper we perform an analysis of 32 online news systems, comparing them in terms of how much power they give to citizens at each stage of the news production process. Our analysis reveals a diverse landscape of news systems and shows that they defy simplistic categorisation, but it also provides the means to compare different approaches in a systematic and meaningful way. We combine this with four case studies of individual stories to explore the ways that news stories can move and evolve across this landscape. Our conclusions are that online news systems are complex and interdependent, and that most do not involve citizens to the extent that the terms used to describe them imply

Cosmology with the Highly Redshifted 21cm Line

In addition to being a probe of Cosmic Dawn and Epoch of Reionization astrophysics, the 21cm line at $z>6$ is also a powerful way to constrain cosmology. Its power derives from several unique capabilities. First, the 21cm line is sensitive to energy injections into the intergalactic medium at high redshifts. It also increases the number of measurable modes compared to existing cosmological probes by orders of magnitude. Many of these modes are on smaller scales than are accessible via the CMB, and moreover have the advantage of being firmly in the linear regime (making them easy to model theoretically). Finally, the 21cm line provides access to redshifts prior to the formation of luminous objects. Together, these features of 21cm cosmology at $z>6$ provide multiple pathways toward precise cosmological constraints. These include the "marginalizing out" of astrophysical effects, the utilization of redshift space distortions, the breaking of CMB degeneracies, the identification of signatures of relative velocities between baryons and dark matter, and the discovery of unexpected signs of physics beyond the $\Lambda$CDM paradigm at high redshifts.Comment: Science white paper submitted to Decadal 2020 surve