Digital Commons Network^™

Deductive Formal Verification Of Embedded Systems, Zheng Lu

LSU Doctoral Dissertations

We combine static analysis techniques with model-based deductive verification using SMT solvers to provide a framework that, given an analysis aspect of the source code, automatically generates an analyzer capable of inferring information about that aspect.

The analyzer is generated by translating the collecting semantics of a program to a formula in first order logic over multiple underlying theories. We import the semantics of the API invocations as first order logic assertions. These assertions constitute the models used by the analyzer. Logical specification of the desired program behavior is incorporated as a first order logic formula. An SMT-LIB solver treats …

Performance, Preference, Promotion: Political Mobility Of Chinese Regional Leaders, Liang Qiao

LSU Doctoral Dissertations

As a study exclusively on the political elites, the dissertation studies the Chinese regional leaders and their political career mobility controlled by the central government from 1949 to 2010. The Chinese Communist Party controls its regional leaders by controlling their career movement (political mobility). This study explains why some regional leaders were promoted while some others were demoted or dismissed while most of them shared similar personal background and career experience. By providing empirical evidence with quantitative analysis, this study shows that in post-Deng Chinese politics (1997-2010) there are certain patterns and manipulated by the CCP center in demoting and …

Inside And Outside, Joshua Harry George

LSU Master's Theses

The boxing paintings and drawings are not about fighting as much as they are about the fighter’s existence. Many of the images show the boxer training or in an isolated environment in order to show how methodical their lives become. I see boxers as sacrificial athletes, not only because their health is at risk, but also because they must separate themselves from loved ones during training, as well as abstain from certain foods in order to maintain a certain weight. Every boxer is an underdog, in a sense. They are all at risk of losing something, whether it is their …

A Performance Comparison Of The Nonword Repetition Task (Nrt) In Typically Developing Children And Children With Speech Sound Disorders, Anna Gaspar

Undergraduate Theses and Senior Projects

No abstract provided.

Literary Expressions Of Creole Identity In Alfred Mercier's L'Habitation Saint-Ybars And Johnelle, Mary Florence Cashell

LSU Doctoral Dissertations

This dissertation examines nineteenth-century Louisianan author Alfred Mercier’s novels and their roles as emblems of Francophone Creole cultural identity. During the nineteenth century following the Louisiana Purchase and subsequent anglophone influx, the French-speaking Creole population faced a cultural upheaval. Unable to completely identify as either French or American, Creoles occupied an uncertain space. This study demonstrates that Alfred Mercier’s works articulate a hybrid identity that is neither French nor American but rather a multicultural construct. The first chapter examines the nineteenth-century Creole community’s problematic positioning between French and American cultures. Chapters two, three, and four center on two of Mercier’s …

An Exploratory Case Study Of Racial Climate In An Academic Unit At A Predominantly White, Southern Institution, Mark A. Dochterman

LSU Doctoral Dissertations

Research describes faculty of color as a key to an equitable future for higher education. However, this approach problematically places the responsibility for multiculturalism on the shoulders of these individuals. This embedded, critical case study explored the racial climate of an academic unit in a southern, predominantly white institution. Through the lens of critical race theory I examined how the racial climate of the unit impacted the perceptions, roles, and relationships differently for faculty of color, doctoral students of color, white faculty, and white doctoral students and how the case in question exemplified Rankin and Reason’s (2008) six dimensions of …

Teacher Insights On High-Stakes Standardized Assessments: The Impact Of School Reform Policy On The Classroom, Jennifer Timmer

LSU Master's Theses

Education reform policies have focused on high-stakes assessments primarily utilizing standardized tests for accountability purposes. As testing practices have evolved due to a variety of factors throughout the past century or so, they have become fully integrated into public schooling in the United States. These tests are having a marked impact on teachers and education, as teachers feel pressure to produce exceptional student results and modify their instructional practices, often “teaching to the test” and narrowing the curriculum in order to focus on the requirements of the mandates. This study examines a survey of public school teachers to ascertain their …

A Performer's Guide To Stephen Paulus' Mad Book, Shadow Book: Songs Of Michael Morley, Jin Hin Yap

LSU Doctoral Dissertations

Stephen Paulus is a prolific American composer of the twenty-first century. Together with his primary collaborator Michael Dennis Browne, an English born, American poet, he has produced numerous compositions ranging from choral works to operatic. This document introduces Paulus’ early song cycle for tenor "Mad Book, Shadow Book: Songs of Michael Morley" (“Michael Morley Creaked,” “Falling Asleep in the Afternoon,” “I Feel Good Running,” “Morley’s Root Song,” “Calm, Calm,” and “Et in Arcadia, Morley”). Included is biographical and stylistic information about the composer and the poet, general information about the song cycle, and a performer’s guide to the songs, followed …

Improving Discourse Structure Identification, Jamie Allison Guidry

LSU Master's Theses

Rhetorical Structure Theory (Mann et al. 1988), a popular approach for analyzing discourse coherence, suggests that coherent text can be placed into a hierarchical organization of clauses. Identification of a text’s rhetorical structure through automatic discourse analysis is a crucial element for many of today’s Natural Language Processing tasks, but no sufficient tool is available. The current state-of -the-art discourse parser, SPADE (Soricut et al. 2003), is limited to parsing discourse within a single sentence. HILDA (Hernault et al. 2010) extends the parsing abilities of SPADE to the document level, but with a decrease in performance. This study achieved document-level …

A Single-Subject Study Examining The Effects Of A Behavioral Intervention For Verbal Recurrent Perserveration, Jenifer Juengling-Sudkamp

LSU Doctoral Dissertations

BACKGROUND: Approximately 1 million people in the United States suffer from aphasia and > 50% of those people may demonstrate recurrent perseverations. No consensus has been forthcoming on whether (1) a therapy that directly confronts clients with imminent pre-articulatory automatisms (the perseverations) or (2) a more typical neuropsychological therapy that eschews any direct confrontation with automatic behaviors works best. PURPOSE: The purpose of this study was to determine the treatment efficacy of a non-confrontational picture naming intervention on naming ability in individuals with aphasia and recurrent perseverations. METHODS: This is a prospective single-subject ABAB multiple baseline design replicated across 3 right-handed …

I Saw Life, David Clayton Williams

LSU Master's Theses

My thesis embodies the uncertainties and reservations that surround one’s mortality. Dealing with the loss of my father who suddenly passed away two and a half years ago has sparked an emotionally driven artistic process. The abruptness of my Dad being alive one second and with little or no warning deceased the next has impacted my work tremendously. My goal has been to evoke and share the very human emotions that occur during the erratic stages of grief. This research acknowledges the ‘black and white’ absolutes of living and dying, yet those ideas are juxtaposed with the many gray areas …

Pregnancy And The Relationship To Age-Related Macular Degeneration, Ann Hardin Shaw

LSU Master's Theses

The Macular Study was a case control study that evaluated if parity and other participant characteristics predicted the diagnosis of age-related macular degeneration (AMD). Women, compared to men, are at higher risk for AMD. AMD is one of the leading causes of blindness in the elderly population [1]. Docosahexaenoic acid (DHA, 22:6n-3) is a long-chain fatty acid that is essential for the structure and function of the eye. During pregnancy the growing fetus depletes the maternal stores of DHA through placental transfer. The fetus needs an ample supply of DHA for proper retinal and central nervous system development. To date …

Hidden Music: Vowel Formant Theory And The Languages Of Verdi's Don Carolos, Justin Andrew Owen

LSU Master's Theses

Don Carlos, Giuseppe Verdi’s third French opera, was first performed at the Paris Opéra in 1867; today, it is commonly performed in its Italian translation. This translation is problematic, however, because it departs from the original French in more than language: as a translation to be sung, it often conveys a different meaning, places key words on different sections of the melody, and consists of a different sound. This latter aspect and its relationship to notated melody is the focus of this study. For the purpose of this study, the sound of a language is defined by the overtones of …

The Role Of Music-Making In The Identity Construction Of Members Of An Adult Community Concert Band, Pamela G. Taylor

LSU Doctoral Dissertations

The purpose of this qualitative case study was to ascertain how music-making and band membership contributed to the identities of members of the New Orleans Concert Band and how their identities influenced their behaviors. The musician role identity of members of the New Orleans Concert Band, an adult community band, was examined through the lens of identity theory using ethnographic methods. Findings were based upon interviews with 37 band members, observations of rehearsals and concerts, and an examination of the organization’s documents. Results indicated that members valued individual and group music-making, literature played by the band, and social aspects of …

Examination Of The Reliability And Validity Of A New Observation Measure For Autism Spectrum Disorders: The Autism Spectrum Disorder Observation For Children, Daniene Neal

LSU Doctoral Dissertations

With increasing attention being drawn to autism spectrum disorders (ASD), specifically with regard to early and accurate diagnosis and treatment, researchers and clinicians alike have placed emphasis on finding assessment tools that can aid in this goal. The purpose of this study is to examine the psychometric properties of a new observation measure for ASD, the Autism Spectrum Disorders-Observation for Children (ASD-OC). The ASD-OC was found to have good to excellent interrater reliability, and excellent internal consistency (ƒÑ = .96). As a result of these initial reliability analyses, nine items were removed from the scale. The resulting 45 item ASD-OC …

The Lived Experience Of Discovery Of Purpose In Student Affairs Among Emerging Professionals, Nicholas Anthony Clegorne

LSU Doctoral Dissertations

Clegorne, Nicholas Anthony, B.M. University of Florida, 2002, M.M. University of Florida, 2004 Doctor of Philosophy Major: Educational Leadership and Research The Lived Experience of Discovery of Purpose in Student Affairs among Emerging Professionals Dissertation directed by Associate Professor Roland Mitchell Pages in dissertation, 146. Words in abstract, 297. ABSTRACT Some researchers estimate that as many as three out of five new professionals will leave the field of student affairs within the first five years. Furthermore low job satisfaction has been cited heavily among new professionals in student affairs. The alarming recognition that so many young professionals are unhappy and …

Reflections On En-Teaching: Dewey, Heidegger And Lao Tzu, Jie Yu

LSU Doctoral Dissertations

Reflecting on my past two unsettling journeys of teaching in China and America produces questions about the teaching of truth in chapter one. The question of truth as it relates to the teacher’s role in the classroom raises not only issues of what and how we should teach, but challenges the very purpose of teaching. When I explored Martin Heidegger’s phenomenological perspective on (un)truth for insights into taken-for-granted assumptions about education and the purposes of teaching and learning, I noticed a strong resonance between his notion of “clearing” and the essential spirit of Taoism, “the Tao of inaction.” This led …

An Examination Of The Relationship Between Autism Spectrum Disorder, Intellectual Functioning, And Social Skills In Children, Kimberly Tureck

LSU Master's Theses

Autism spectrum disorders (ASD) are the focus of a vast amount of research due to their recent rise in prevalence. Nonetheless, there is a dearth of research looking at how ASD and IQ scores impact social skills. The present study aimed to extend the literature in this area by evaluating how ASD and IQ scores are related to ratings on a measure of appropriate and inappropriate social skills. Two groups of individuals participated: children without ASD and children with ASD. Two dependent measures of social skills (adaptive/appropriate social skills and hostile/inappropriately assertive social skills) were obtained using the Matson Evaluation …

Country Of Illusion: Imagined Geographies And Transnational Connections In F. Scott Fitzgerald's America, Charles Mitchell Frye Iii

LSU Doctoral Dissertations

The two decades between World Wars I and II were a remarkably isolationist, xenophobic period in the history of American politics and culture. In the era’s literature, however, some US authors repurposed regional writing as a medium for rethinking conservative nationalism and for imagining their country’s place in the emerging global community. F. Scott Fitzgerald, whose career successes and failures mirrored the parabolic national pattern of Boom and Bust, was one such author. Though his works have seldom been interpreted through a regionalist lens, Fitzgerald lived in and wrote about every major American section, often planting tropes of transregional and …

Regulating The Republic: Violence And Order In The Cherokee-Georgia Borderlands, 1820-1840, Adam Jeffrey Pratt

LSU Doctoral Dissertations

In the two decades prior to Cherokee Removal, Georgians discussed removal as a way for the state to create and maintain order, a cluster of ideas that revolved around a social system that championed white superiority, a political system that adhered to republican thinking, and a legal system that prevented lawlessness. To create a well-ordered society, Georgia’s leaders believed that authority flowed from white settlers to civil institutions, which benignly administered over the idealized society. In the Cherokee-Georgia borderlands, no single political entity could claim sovereignty, so the Cherokee Nation, federal government, and state of Georgia each sought to impose …

Playing The Christ Card: Courting Christians Through Religious Appeals In Political Campaigns, Matthew Lee Thornton

LSU Doctoral Dissertations

In spite of a corpus of work over the last three decades acknowledging the centrality of religion in politics, (see e.g. Hunter, 1991; Layman, 2001; Putnam & Campbell, 2010; Wuthnow, 1988), there remains a scarcity of research examining the consequences of religious communication in political campaigns. The current study fills this void through an empirical exploration of the effects of religious campaign appeals on prospective voters. Specifically, this interdisciplinary investigation develops a theoretical framework and subsequent expectations as to how religious appeals are likely to activate individual religiosity thereby influencing the formation of political attitudes. Hypothesized expectations are then tested …

Rebels, Settlers And Violence: Rebellion In Western Munster 1641-2, Christopher Sailus

LSU Master's Theses

This study challenges current historical assumptions about the nature, scope, and timeframe of the 1641 Irish Rebellion in Kerry, Clare, and Limerick counties in western Munster. Placing the start of the popular rebellion in these counties around 1 January 1642, the beginning of unrest is set several months further back. In the process of analyzing the actions of popular and organized rebels alike, the motivations for rebellion are characterized as political and social rather than religious. In turn, seventeenth-century Irish society was transformed from the traditional narrative of a rigid, religiously-divided society into something far more complex and amorphous, with …

Visual Translation: A New Way To Design A Chinese Typeface Based On An Existing Latin Typeface, Yifang Cao

LSU Master's Theses

The visual consistency of branding makes a significant difference when successfully introduced to another culture. My study focuses on how to facilitate a smooth visual transition in western branding from Latin letters to Chinese characters. To move beyond traditional Chinese type design, Visual Translation introduces a new method for designing Chinese typefaces using existing Latin typefaces. This web-based educational tool seeks to help Chinese graphic design students and type enthusiasts, with emphasis on designers who are working in a cross-cultural environment to maintain visual consistency for branding.

Three Case Studies In Twentieth-Century Performance Practice, Tina Huettenrauch

LSU Doctoral Dissertations

Since the middle of the twentieth century, the study of performance practice has increasingly drawn the interest of musicologists; however, despite the extensive documentation pertaining to matters of performance, the twentieth century has largely been neglected. Twentieth-century composers often annotated their scores extensively with indications of tempi, dynamics, and phrasing or included explanatory notes with detailed instructions. Supplemental records, such as diaries, transcripts of coaching sessions, and composers’ commentaries on interpretative issues further shed light on their intentions. Yet a piece is not shaped just by the score and the comments of the composer; rather, it exists diachronically, evolving over …

A Performance Guide To Leonard Lehrman's A Light In The Darkness, Timothy Adam Holcomb

LSU Doctoral Dissertations

Holcomb, Timothy Adam, B.M.E. Music Education, Wright State University, 2002 M.M. Music, Louisiana State University, 2006 Doctor of Musical Arts, Winter Commencement, 2012 Major: Vocal Performance; Minor: Vocal Pedagogy A Performance Guide to Leonard Lehrman’s A Light in the Darkness Dissertation directed by Professor Robert Grayson Pages in dissertation, 146. Words in abstract, 106. ABSTRACT Leonard Lehrman is primarily known as the leading expert on the works of Marc Blitzstein. He is a composer and conductor, and serves to provide a voice for Jewish poets and composers. This document presents Leonard Lehrman’s song cycle, A Light in the Darkness (White-Sailed …

The Power Of Music: Application Of The First Amendment To Copyright Regulation Of Internet Radio, Amanda Reid

Faculty Publications

No abstract provided.

Charles Dickens And Sovereign Debt, John V. Orth

Faculty Publications

No abstract provided.

State Debts & Federal Jurisdiction, John V. Orth

Faculty Publications

No abstract provided.

What Is In A Name? The Hermeneutics Of Authorship Analysis Concerning Colossians, Nijay Gupta

Faculty Publications - Portland Seminary

Pauline scholars, especially in the last century, have been almost evenly divided on whether they consider Colossians to be genuinely written by Paul or by someone else in his name. Through an exploration of the commentaries of eight key scholars on Colossians, this study examines the hermeneutics of authorship analysis in order to determine the key factors involved and how they are weighed. For the study of the authorship of Colossians to move forward in a productive way, a number of yet-understudied issues must be addressed and closely researched. In the meantime, tentativeness in conclusions is the most reliable stance.

Inter-Rater Reliability Of The Anxiety Disorders Interview Schedule For Dsm-Iv In High Functioning Children And Adolescents With Autism Spectrum Disorder, Danielle Ung

USF Tampa Graduate Theses and Dissertations

The present study examined inter-rater agreement on the Anxiety Disorder Interview Schedule DSM-IV Child and Parent Interview (ADIS-IV-C/P) in youth with autism spectrum disorder and if age and ASD diagnosis moderated agreement. Diagnoses established for 70 7-16-year-old youth with ASD during a live administration of the ADIS-IV-C/P were compared to diagnoses identified by a second rater after listening to audiotaped recordings of the interviews. Inter-rater agreement on parent and child reports was excellent (k=1.00). Inter-rater agreement on principal diagnoses (k=0.91), individual anxiety diagnoses (k=0.85-0.97), and other comorbid diagnoses (i.e., major depressive disorder, dysthymia, oppositional defiant disorder, attention deficit hyperactivity disorder-Inattention/Hyperactivity/Combined …