Digital Commons Network^™

Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak

Dissertations, Theses, and Capstone Projects

In the first Chapter we compare two well-known type-based computer frameworks for computer aided logical reasoning and verification: MetaPRL and Coq. In particular, we implement in MetaPRL the Calculus of Inductive Constructions which is the theoretical base for Coq. This work has shown the common points of MetaPRL and Coq, and revealed their principal methodological differences. A possible application of this work is a possibility to perform re-validation in MetaPRL of the existing library of Coq proofs which could help to build more trust in the latter.

Chapter 2 is the main contribution of the dissertation. It contains the description …

Navigating The Gaze: Young People's Intimate Knowledge With Surveilled Spaces At School, Patricia Krueger

Dissertations, Theses, and Capstone Projects

The 1980s introduced numerous state and federal policies that created a similar ideology of discipline and punishment in the educational system and the criminal justice system, a phenomenon known today as the school-to-prison pipeline. Several critical elements are involved in the production and maintenance of the school-to-prison pipeline, such as zero tolerance regulations, surveillance technologies, and strengthened in-school discipline practices. In this dissertation I argue that these elements of the pipeline maintain a strong presence and occupy the physical spaces of public schools. Moreover, surveillance cameras and police officers are most often installed in the cities' most under-resourced public schools, …

Divided Men: The Masculinity/Marriage Dilemma In The Novels Of George Eliot, Danny Sexton

Dissertations, Theses, and Capstone Projects

Studies of Victorian masculinities have been primarily concerned with how men defined and were defined within the public sphere. This limited focus has ignored their private and domestic lives, itself an exemplification of the separate sphere theory. This dissertation explores what I called the masculinity/ marriage dilemma, a situation in which men feel that they must choose between a public life and a private one. George Eliot's male characters are divided, feeling themselves pulled in what they perceived as two different routes towards manhood. Related to this predicament are issues of power, particularly between men and women, men and other …

Raising Children The American Way: Court-Mandated Parenting Education In Alameda, California, Nicole D. Laborde

Dissertations, Theses, and Capstone Projects

Based on ethnographic research in Alameda County, California, this dissertation examines the parenting practices and knowledge that are taught in court-mandated parenting classes along with those of parents enrolled in these classes. In California, two of the primary reasons that parents would be mandated to take classes are because of involvement with Child and Family Services (CFS) or in a custody dispute that reaches the courts. I argue that the different forms of knowledge and the practices advanced in the classes, at times consistent with, at times in conflict with those of the parents, reflect the demands and social responsibility …

Beyond Observation: Literature And Science In Kafka, Rilke, Mann And Musil, Katya Ilina

Dissertations, Theses, and Capstone Projects

The relationship between science and literature is an expanding area of scholarly interest which remains underrepresented within the field of Germanistik. This dissertation will attempt to close the gap by focusing on the interactions between the selected works of Franz Kafka, Rainer Maria Rilke, Thomas Mann, and Robert Musil, and the scientific outlooks which began to emerge in the nineteenth century primarily by focusing on the concept of observation. Observation is a concept important for the period of my investigation because it signified a major shift in consciousness. The prior facile division into impartial experimenter and observed phenomenon, so characteristic …

Anger Et Cetera: Understanding The Emotions In Ethics, Damien Dupont

Dissertations, Theses, and Capstone Projects

This dissertation argues in part that because the ethical theory of sentimentalism is based on the mistaken belief that emotions are non-cognitive, sentimentalism cannot account for the fact of the influence of cognition in morality and moral action. Therefore sentimentalism is of little use in ethics.

This work is done by going back to examine Western thinking on the emotions from its dawn in Homer's writing through to contemporary philosophy and neurophysiology on the emotions. Following the development of the way emotions were thought of and how they related to ethics allows the identification of an intellectual forked path brought …

"Reconnecting To Resilience" A Historical Study Of Slave Narratives With Implications For Social Work Practice With African American Youth From High Risk Environments, Barbara E. Milton Ii

Dissertations, Theses, and Capstone Projects

The often times high risk environment of African American youth negatively impacts their psychological well being, their family relations and community connections. Many African American youth today are experiencing the vestiges of historical trauma that took root in America in the 17th Century when the first Africans came to America. As a result of generational transmission of historical trauma, many youths today are disproportionately underachieving in education, disproportionately poor, disproportionately monitored by police and incarcerated and disproportionately disrespected by the society at large. In order to reduce the disparity of contemporary problems effecting African American youth, social scientists need to …

Memorial Laws: Social And Media Construction Of Personalized Legislation, 1994-2005, Faith H. Leibman

Dissertations, Theses, and Capstone Projects

This dissertation explores the possibility that certain social, demographic, and political factors have led to the recent adoption by American state legislatures of what are known as Memorial Laws. First enacted in 1994, these laws have become increasingly common. However, there has been little or no formal academic research into them. This investigation aims to provide a preliminary analysis of Memorial Laws and to contribute to a better understanding of the dynamics affecting their passage. Specifically, this study examines a variety of demographic traits of victims and the characteristics of the crimes committed against them in an attempt to determine …

Biodegradation Of Fuel Oxygenates In Northeastern United States Aquifers With An Analysis Of Underground Storage Tank Leaks, Gordon Hinshalwood

Dissertations, Theses, and Capstone Projects

During the past decade the application of monitored natural attenuation has become one of the predominant technologies used in the remediation of gasoline spills impacting subsurface soils and groundwater. The success of this method has depended, for the most part, on the biodegradation of those gasoline constituents that dissolve into groundwater and transport with the groundwater most readily.

One of the most mobile components of gasoline formulations during the past 20 years has been methyl tertiary butyl ether (MTBE), which has traditionally been viewed in both the scientific and the regulatory communities as relatively recalcitrant to biodegradation. However, cases of …

"A Kind Of Construction In Light And Shade": An Analytical Dialogue With Recording Studio Aesthetics In Two Songs By Led Zeppelin, Aaron Liu-Rosenbaum

Dissertations, Theses, and Capstone Projects

This dissertation examines how the sound of a recording contributes meaning to the song, working in conjunction with the song’s lyrics, harmonic and rhythmic structures, album artwork, and within its cultural context. Two songs by the rock group Led Zeppelin, “When the Levee Breaks” and “Stairway to Heaven,” are taken as analytical examples in which special attention is paid to the acoustic properties of the recordings, that is, where the instruments are situated within the stereo sound field; how they are timbrally manipulated with effects such as reverb, echo, distortion, and chorus; their relative levels of prominence; and how these …

Breach Of Trust: Customary/Commercial Documents And Practices Of Private Law In An Egyptian Port, Christine Hegel

Dissertations, Theses, and Capstone Projects

This dissertation is an ethnography of private law in contemporary Port Said, Egypt. Based on extensive fieldwork in 2005 and 2007, it considers how Port Saidians come to possess economic and social entitlements vis-à-vis one another and how concomitant obligations get construed and actualized. As an analysis of quotidian practices of private law and surety, this dissertation is intended to contribute to broader scholarly debates about legal subjectivity and legal consciousness, and to reconsider the intersections between law, custom and morality.

The analysis of contemporary transactional and surety practices is rooted in a discussion of both Egyptian legal reform and …

Structural Studies Of Biopolymers Using Computer Simulations, Optical And Magnetic Spectroscopy, Subhasish Chatterjee

Dissertations, Theses, and Capstone Projects

Biopolymers are essential components of numerous natural and synthetic macromolecular assemblies. In the present study, the structural properties of biopolymers ranging from fungal melanins to synthetic nucleic acids were investigated using spectroscopic methods and theoretical modeling. (1) Computational modeling and molecular dynamics simulations were used to study the structural properties of a short single-stranded (ss) DNA. The dependence of the conformational stability and flexibility of the ssDNA on the thermodynamic conditions of the system was demonstrated. (2) Time-resolved fluorescence spectroscopy involving an organic donor-quencher pair was utilized to study the conformational properties of Y-shaped DNA. Results highlighted the different distances …

Forsaken Generation: Stress, Social Suffering And Strategies Among Working-Class Pensioners In Post-Socialist Moldova, Romania, Gerard A. Weber

Dissertations, Theses, and Capstone Projects

This dissertation examines the lives of working-class pensioners in post-socialist, Galati, Romania. Its central thesis is that the transformation of Romania from socialism to capitalism beginning in 1989 has led to an "epidemic of stress" among retired, working-class people in the city. Marginalized by their age, class and location in the relatively economically underdeveloped region of Moldova, they have been among the hardest hit by the changes brought about with the introduction of neoliberal capitalism. Long familiar with life in a relatively stable economy, they have faced dramatic changes in this area since the revolution, including massive price instability and …

Essays On The Impacts Of The Great Moderation On Business Cycle Modeling, Andre R. Neveu

Dissertations, Theses, and Capstone Projects

The research presented here is a comprehensive analysis of research on the "Great Moderation" and its impact on business cycle modeling. In the presence of a less volatile aggregate economy, the methods of modeling business cycles have fundamentally changed along with the ability to detect turning points in the business cycle using standard algorithms. Chapter One lays out the historical case for modeling the business cycle in a manner placing importance on the ability of a model to replicate features observed in actual GDP data, such as the depth and length of recessions, or the average height of expansions. Chapter …

Identity Development In Pre-Service Teachers Who Are Explainers In A Science Center: Dialectically Developing Theory And Praxis, Preeti Gupta

Dissertations, Theses, and Capstone Projects

This dissertation investigates how teaching in a hands-on science center contributes to re/shaping one's teaching identity. Situated at the New York Hall of Science (NYHS) in Queens, New York, my research approach is to conduct a critical ethnography where the focus is on improving the teaching and learning of science for all involved. In particular, Explainers, floor staff at NYHS, who are studying to be science teachers, are invited to become co-researchers with me.

Written as a manuscript style, this dissertation consists of six chapters. Each chapter foregrounds certain events and phenomena, and theory and method are woven in to …

On The Dynamics Of Quasi-Self-Matings Of Generalized Starlike Complex Quadratics And The Structure Of The Mated Julia Sets, Ross Flek

Dissertations, Theses, and Capstone Projects

It has been shown that, in many cases, Julia sets of complex polynomials can be "glued" together to obtain a new Julia set homeomorphic to a Julia set of a rational map; the dynamics of the two polynomials are reflected in the dynamics of the mated rational map. Here, I investigate the Julia sets of self-matings of generalized starlike quadratic polynomials, which enjoy relatively simple combinatorics. The points in the Julia sets of the mated rational maps are completely classified according to their topology. The presence and location of buried points in these Julia sets are addressed. The interconnections between …

Complexity Issues In Justification Logic, Roman Kuznets

Dissertations, Theses, and Capstone Projects

Justification Logic is an emerging field that studies provability, knowledge, and belief via explicit proofs or justifications that are part of the language. There exist many justification logics closely related to modal epistemic logics of knowledge and belief. Instead of modality □ in pure justification logics, or in addition to modality □ in hybrid logics, which has an existential epistemic reading 'there exists a proof of F,' all justification logics use constructs t:F, where a justification term t represents a blueprint of a Hilbert-style proof of F. The first justification logic, LP, introduced by Sergei Artemov, was shown to be …

Synergistic Surfactant Interactions And The Consequences On Phase Behavior, Interfacial Tension Reduction And Hydrophobic Surface Wetting, Makonnen Mateós Payne

Dissertations, Theses, and Capstone Projects

The ability for some of the nonionic trisiloxane surfactants to completely and rapidly wet a hydrophobic surface has been well documented for several years. However, to date, the behavior of the trisiloxane surfactants at the solid-liquid interface is not yet completely understood, leading to an incomplete understanding of the mechanism for complete wetting. In this work we report our findings with regard to the synergistic interactions between polyethylene oxide surfactants of the general structure CiE j and compare the behavior to a known super wetting surfactant. Pendant drop tensiometry experiments and sessile drop contact angle measurements on hydrophobic surfaces were …

Turning Space Into Place In The Sprawling “New City”: Shrinking Space, Visions Of Place, Homeowners In Conflict, Lael Leslie

Dissertations, Theses, and Capstone Projects

Was there a "real place" to be found in the sprawling "new city" landscape? This interview study considers the categories of sprawl as a placeless, apolitical space, and of the suburban white middle class, to explore how "place" is variously understood by homeowners confronting rapid spatial reconfiguration. The interviewees are residents of a municipality located in one of New Jersey's "growth corridors." Emphasis is on homeowners' experiences, and on what they view as problems related to rapid growth.

Given the long settlement history of this northeastern seaboard region, this study finds that relations among homeowners had changed over time in …

Markers Of Dyslexia In Adult Spanish-Speakers Who Report Severe Difficulty Learning English, Elizabeth Ijalba

Dissertations, Theses, and Capstone Projects

The relationship between native-language reading ability and second-language (L2) learning was explored in a cohort of 60 adult Spanish-speakers learning English as a second language. The research questions centered on whether underlying nativelanguage deficits associated with dyslexia would be present in a subset of English Language Learners who reported severe difficulty learning English. Our participants were divided into two education groups (below and above12th grade). These two groups were classified into three groups based on self- and teacher- ratings of ease or difficulty in English learning ability: for the high-education group, Poor English Language Learners (PELL, N=7); Good English Language …

L1 Acquisition Of Japanese Particles: A Corpus-Based Study, Mari Fujimoto

Dissertations, Theses, and Capstone Projects

This dissertation is a comprehensive examination of L1 Japanese particle acquisition using two sets of corpora of naturalistic speech, JCHAT, longitudinal speech data of three Japanese children and the mothers (Miyata 2004a, b, and c, and MacWhinney 2000), and CHJ, adult-to-adult telephone conversation. The analysis reveals that despite differences in their language environment, all three children complete particle acquisition around MLU (m) 3.00 regardless of differences in the threshold of particle use. Further, none of the three children mimicked their mother's frequency of particle use, even as they all conform to a particular sequence of particle acquisition. The first set …

Hiding Out: Creative Resistance Among Anonymous Workbloggers, Abigail Schoneboom

Dissertations, Theses, and Capstone Projects

Anonymous workbloggers—employees who write online diaries about their work—are often simultaneously productive workers and savage critics of the corporate cultures in which they toil. Writing under an assumed identity, these workers create satirical portraits of their supervisors and colleagues, rail against management gurus and corporate buzzwords, celebrate time-wasting capers, and daydream about quitting. Their irreverent and fictionalized accounts of work, which are shielded from the gaze of co-workers and supervisors, reveal how office workers critically negotiate a labor process that, increasingly, demands their hearts and minds.

This study, which comprises an overview of media and organizational responses to the phenomenon, …

Predicting Within-Source Agreement In Multisource Feedback Ratings: An Examination Of Characteristics Of The Rater Group And The Focal Manager, Christine Schrader Fernandez

Dissertations, Theses, and Capstone Projects

Multisource feedback (MSF) involves gathering information about a manager's effectiveness from his or her boss, peers, and subordinates. Researchers typically average MSF ratings within rating sources (e.g., peers or subordinates), which assumes that agreement within rating sources is relatively high. However, there is little prior MSF research that has addressed the issue of within-source agreement, and the extant studies have often used inappropriate statistical techniques such as reliability indices. Moreover, this research often focuses on assessing the mean level of agreement or reliability within rating sources but has ignored the variability surrounding these indices. The purpose of the present study …

Development Of Lexical Tone Production In Disyllabic Words By 2- To 6-Year-Old Mandarin-Speaking Children, Puisan Wong

Dissertations, Theses, and Capstone Projects

This study investigated children's development in the production of Mandarin lexical tones in familiar disyllabic words and tested the hypothesis that disyllabic tone contours with more complex fundamental frequency contours are more difficult for children to produce. Participants were forty-four 2- to 6-year-old monolingual Mandarin-speaking children and 12 mothers. Their disyllabic tone productions were elicited by picture naming and low-pass filtered to eliminate lexical information while retaining the fundamental frequency contours. Three Mandarin-speaking judges listened to the filtered stimuli, and categorized the children's and adult's disyllabic tones. Acoustic analysis was performed on selected accurate child and adult productions and on …

The Impact Of A Home-Based Intervention Program On Maternal Reflective Functioning In First-Time Mothers, Maia Rebecca Miller

Dissertations, Theses, and Capstone Projects

The present study investigates the impact of "Minding the Baby," a home-based intervention program, on maternal reflective functioning (RF). It was hypothesized that the reflective capacity of mothers who received the MTB intervention would increase over the course of the study, and that this increase would be reflected in the quality of their responses to clinical interviews administered before and after birth. The guiding premise of the intervention was that helping mothers develop a reflective stance would enable them to become more regulating, sensitive, and autonomy-promoting caregivers and thus positively affect a range of developmental outcomes in their infants.

The …

Toward A General Theory Of Polymeter: Polymetric Potential And Realization In Elliott Carter's Solo And Chamber Instrumental Works After 1980, Ève Poudrier

Dissertations, Theses, and Capstone Projects

This dissertation proposes a conceptual framework and tools for the analysis of polymeter in contemporary musical practices applied to the short instrumental works of Elliott Carter, where multiple temporalities have been identified as an essential aesthetic component. Three works are discussed in more detail: Changes for guitar (1983), Esprit rude/Esprit doux I for flute and clarinet (1985), and 90+ for piano (1994). The composer's use of metrical modulations and structural polyrhythms is re-evaluated in the context of a theory of polymeter. Structural polyrhythms are represented by means of proximity charts, and Carter's compositional strategies are explored, including rhetorical use of …

The Phenomenon Of Amoralism: An Investigation Of The Cognitive And Emotive Roots, Andrei G. Zavaliy

Dissertations, Theses, and Capstone Projects

An amoralist is defined as a person who rejects the claims of moral reasons to special authority, and systematically acts without regard to the generally accepted moral standards. A psychopath can be seen as a paradigm case of an extreme amoralist, although the less severe cases of selective amoralists are considered. The research into the typical behavioral pattern, motivational structure, and the value system of psychopaths can shed light on at least three aspects related to the analysis of the moral agency. First, it can help elucidating the emotive and cognitive conditions necessary for moral performance. Secondly, it can provide …

Essays On Dynamics Of Financial Markets, Esin Cakan

Dissertations, Theses, and Capstone Projects

In this study, the effects of different macroeconomic news on stock markets and different stock market co-movements are investigated. Impacts of good and bad macroeconomic news announcement surprises on the mean and conditional volatility of U.S. daily equity and Treasury bond market returns during economic recessions and expansions are examined. By jointly modeling returns and volatilities using a generalized autoregressive conditional heteroskedasticity (GARCH) models, it is found that surprise in unemployment news has no impact on stock returns during business cycles. On the other hand, the results indicate a significantly positive relation between the short term (long term) bond prices …

Involvement Of Inflammation In Tau Pathology And Mechanisms That Drive Neurodegeneration In Alzheimer's Disease, Lisette T. Arnaud

Dissertations, Theses, and Capstone Projects

Two of the hallmarks of neurodegenerative disorders, such as Alzheimer's disease (AD), are (1) the appearance of proteinaceous deposits in inclusion bodies containing aggregates of ubiquitinated proteins and (2) activated microglia and astrocytes surrounding the diseased neurons. In Alzheimer's disease, the intracellular inclusion bodies are known as neurofibrilary tangles (NFT). The mechanisms leading to inclusion body formation and their role in the progression of neurodegeneration are still largely unknown.

Many of the proteins that accumulate in inclusion bodies depend on the ubiquitin/proteasome pathway (UPP) for their degradation. This pathway is responsible for the bulk (∼80%) of intracellular protein degradation. Because …

Rigidity And Stability For Isometry Groups In Hyperbolic 4-Space, Youngju Kim

Dissertations, Theses, and Capstone Projects

It is known that a geometrically finite Kleinian group is quasiconformally stable. We prove that this quasiconformal stability cannot be generalized in 4-dimensional hyperbolic space. This is due to the presence of screw parabolic isometries in dimension 4. These isometries are topologically conjugate to strictly parabolic isometries. However, we show that screw parabolic isometries are not quasiconformally conjugate to strictly parabolic isometries. In addition, we show that two screw parabolic isometries are generically not quasiconformally conjugate to each other. We also give some geometric properties of a hyperbolic 4-manifold related to screw parabolic isometries.

A Fuchsian thrice-punctured sphere group has …