JBC Commons (New College of Florida)
Not a member yet
9773 research outputs found
Sort by
A GENTLE INTRODUCTION TO PROOF ASSISTANTS
No full textThe Curry-Howard Isomorphism is a powerful tool in automated and assisted theorem proving. We provide a development of the material required to understand the Curry Howard Isomorphism and why it is useful. As a part of this program we provide a resource to quickly learn how to prove mathematical statements using a programming language. After establishing the theory we will look at examples of how the Curry Howard isomorphism can be useful by looking into the programming language Idris
“Somos Seres Humanos. Merecemos Vivir Dignamente”: Coloniality and Human Rights in the Face of Family Separation
No full textThis thesis explores how people who have been deported to Mexico experience and confront state-sanctioned family separation. From a content analysis of 23 interviews in the Humanizing Deportation public access community story telling archive, three key themes emerge: mixed-status families are denied equal access to family unity, attempts and considerations of re-entry post-deportation are affirmations of the value of family unity, and experiences in detention illustrate the dehumanizing experience of family separation. Theories of coloniality, human rights, and state control over reproduction provide ethical and long-term historical lenses that elucidate the experience of deportation and family separation. The content analysis also demonstrates how these individuals affirm their parenthood, family roles and unity, and reproductive rights; henceforth asserting their humanity
RARE EVENT DETECTION OF SOMATIC PDGFRB ACTIVATING VARIANTS IN A MOSAIC AND ANEURYSM PATIENT
No full textThe role that somatic genetic variants have towards the development of intracranial-aneurysm formation is unknown. The Ferreira lab, at the University of Washington Medical Center, identified a 23-year old man with progressive, right-sided intracranial aneurysms that were lateralized and who had pigmentation of his skin localized to his right side. He underwent a succession of genetic evaluations for known connective-tissue disorders, but these were unrevealing. Initial paired-sample exome sequencing between blood and fibroblasts derived from the patient’s affected areas detected a gain-of-function mutation predicted to cause a p.Tyr562Cys change within the platelet-derived growth factor receptor b gene (PDGFRB). Initial variant-allele fractions ranged from 18.75% to 53.33% within histologically aberrant tissue, indicating somatic mosaicism. The lab also further assessed a group of aneurysm specimens from varying patients and additionally found PDGFRB variants in 4/6 fusiform aneurysms. To further uncover regions of the patient’s body that contained varying allele frequencies, I conducted digital droplet polymerase chain reaction on several tissue specimens which revealed: 0.1% to 53.33% of alternate allele frequencies (AAF) for PDGFRB in these tissues. However, further samples will be required to be run through this experimental assay, to further uncover where else the patient had varying AAF values. Somatic gain-of-function variants in PDGFRB are a novel mechanism in the pathophysiology of fusiform intracranial aneurysms and suggest a potential role for target therapy kinase inhibitors for future therapies
EFFICIENCY OF SPIDER BLOCK (POLY SHRUB) AS AN ESTUARINE FISH AGGREGATING DEVICE
No full textThis preliminary study tested the efficacy of the spider block, a fish aggregating device popular in the media. It has been claimed that the spider block, or poly shrub, will increase fish populations by providing a habitat and protection for juvenile and prey fish. In order to test whether or not fish were attracted to the device, a tank was visually separated in half and three trials were run: a trial with no spider block, a trial with a spider block on the left side of the tank, and a trial with a spider block on the right side of the tank. Counts of juvenile striped mojarra, Eugerres plumieri, were compared between the sides at 30-minute increments over 6 hours for each of the trials. The experiment resulted in insufficient evidence to determine if spider blocks effectively acted as a fish aggregating device. This lack of sufficient evidence may be partially due to the underlying factor of the fish’s preference for one side of the tank over the other
VOLATILITY PERSISTENCE IN STOCK MARKET INDICES; TESTING THE EFFICIENT MARKET HYPOTHESIS IN DEVELOPED AND EMERGING FINANCIAL MARKETS
No full textThis thesis estimates, examines and compares the persistence values of volatility in both developed and emerging markets and tests the efficient market hypothesis. We use a generalized autoregressive conditional heteroskedasticity model (GARCH) to examine volatility persistence in stock market indices, specifically the Bombay Stock Exchange Sensex (BSESN), Brazilian BOVESPA (BVSP), U.S. S&P 500 (SP500), and the German Deutscher Aktienindex (DAX). In addition to volatility persistence modeling, this thesis also uses descriptive financial analysis to analyze the structural differences in conditional variance and standardized residuals between emerging and developing markets. We find that volatility persistence is significantly higher in the emerging market indices of BVSP and BSESN than in their established counterparts DAX and S&P 500. Additionally, volatility decay appears to be more hyperbolic in emerging markets
A Precis of an Undergraduate Education in Logic and the Foundations of Mathematics
No full textThis thesis consists of two parts. The first part is meant to be a first version of a self-contained textbook on logic, covering propositional, zeroth-order, and first-order logic up to and including the soundness and completeness theorems. The second part is a commentary reflecting on philosophical and pedagogical themes relevant to the first portion
ANALYTICAL CHEMISTRY OF CONSUMER PRODUCTS: RESEARCH AND REGULATION OF TAMPONS AND EYESHADOWS
No full textDuring the modern era, consumer product technology has advanced significantly, while regulation often cannot keep up. Analyzing existing consumer products for contaminants can show how well existing regulation is working, and what classes of chemicals need to be regulated further in such products. In this thesis, tampons and cosmetics are selected as case studies of consumer product research, and the methodological integrity of the research is examined in addition to the research motivation and resulting regulatory action. Several studies in the literature show trace amounts of potential contaminants from imported cosmetics and poor manufacturing processes; Suggestions are made for furthering the research on these two types of products, as well as for consumer product research in general
INSTITUTIONAL INJUSTICE IN WEST COCONUT GROVE: DISCRIMINATION AGAINST MIAMI’S FIRST BAHAMIAN COMMUNITY THROUGHOUT THE TWENTIETH CENTURY
No full textThis thesis examines the West Coconut Grove community, one of Miami’s first permanent settlements by black Bahamian people. This thesis analyzes the vibrant community throughout the twentieth century and examines how action and inaction have affected the areas black residents. Chapter one argues that systematic violence, redlining, zoning, and segregation walls worked to keep Bahamian-born and American-born black residents in what white people perceived as their place, in a servile position and hidden in their black neighborhood. Chapter two looks at the long history of vibrancy in West Grove’s business community, which has suffered over the past few decades from the city of Miami’s participation in discriminatory lending practices and the general neglect of West Grove’s central business district on Grand Avenue. Finally, chapter three argues that desegregation of Miami-Dade schools was not successful in Coconut Grove. Instead, the desegregation process stripped West Grove’s black children of their community school, resegregated schools through gerrymandering attendance zones and the creation of magnet schools, and revealed the decades of neglect black children experienced in the West Grove. In conclusion, what ultimately made Miami’s West Grove neighborhood so unique was the long-term experience of Jim Crow forms of racial oppression alongside a strong and competing sense of Caribbean history and identity
ARTIFACTS OF A BYGONE TIME: STEPHEN SONDHEIM AND PASTICHE
No full textStephen Sondheim has crafted dozens of pieces for the musical theatre stage over his sixty-five-year career. Building on work which explores Sondheim’s musical vocabulary, this thesis focuses on how Sondheim uses pastiche as it relates to remembering the past. By focus on this use of pastiche, two sides appear: pastiche as nostalgia and pastiche as stereotype. I look at two of Sondheim’s musicals in order to demonstrate the opposing sides of pastiche. The first is Follies (1971), which uses a style of music from Broadway during the early decades of the twentieth century in order to elicit nostalgia in an audience. The other is Pacific Overtures (1976), which uses stereotypical musical styles in order to represent Western characters. In the process of the thesis, I argue that pastiche is more than just additional setting or novelty and instead can be something worth studying in the context of musical theatre
