In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...
Dry-hopping has grown from a novel to widespread technique in commercial craft beer production. It yields large returns in aroma that cannot be emulated with kettle hopping. However, it also leads to beer refermentation post-dry-hopping, a phenomenon colloquially referred to by U.S brewers as “hop creep.” This is a result...
In the West, the growth of the modern, androcentric medical establishment can
be shown to be correlated with the decline in women’s authority and status in the
healing arts. As the world of science and medicine expanded exponentially, the
understanding of the body changed through the studies of anatomy and...
An important goal of evolutionary biology is to identify the genetic mechanisms underlying phenotypes in organisms. Understanding adaptation to osmotic stress has many applications, since this stress affects almost all organisms on Earth. By studying the model organism Saccharomyces cerevisiae using experimental evolution, we can learn about genetic mechanisms driving...
A long-term energy storage technology is necessary to utilize Oregon’s curtailed renewable energy, an issue the state faces, even with a low percentage of renewable energy in the energy mix. This report proposes a system design that details how hydrogen power-to-gas technology can be used in conjunction with the existing...
Regular ankle taping is commonly used to prevent ankle sprains, but the effects of its
long-term use are not fully understood. This study examined the effects of ankle
taping on balance in athletes who regularly tape their ankles versus those who do not.
Fourteen collegiate gymnasts’ ability to balance on...
Despite the prominence of LEDs in our society, we have limited knowledge pertaining to their long-term effects. These seemingly white LEDs have a large blue light component to them. Recent results have shown that Drosophila living in 12 hrs. of blue light and 12 hrs. of darkness live substantially shorter...
The end of the Cold War brought about changes within international political relations that resulted in expanded interest in global civil society. Such developments, like globalization and democratization, have encouraged the growth of social and political organizations. Political scientists have found that these inter-governmental and non-governmental organizations have a significant...