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 …

The Use Of Discrete Computer Simulation Modeling To Estimate The Direct And Diffusion Effects Of Leadership Development Intervention On The Return On Investment, Brett Wayne Richard

LSU Doctoral Dissertations

Organizational leaders seek monetary returns on their investments (ROI). Thus, making decisions to invest in human capital, such as in leadership development interventions, are often difficult due to the lack of research demonstrating monetary returns on development investment (RODI). Further, little research has been conducted on the diffusion effects of leadership development intervention, or returns on leadership diffusion (ROLD). This research expands on previous research conducted by Avolio, Avey & Quinsenberry (2010), which was the first attempt to estimate RODI using utility analysis. This study is unique in that it uses computer simulation modeling along with current research data to …

Is Ciliary Neurotrophic Factor A Central Nervous System Alarmin?, Anthony Johnson

Undergraduate Theses and Senior Projects

No abstract provided.

To Veil Or Not To Veil : That Is Not The Question ; A Comparative Analysis Of The Implicit Assumptions Driving Veiling Discourse, Erin E. Barta

Undergraduate Theses and Senior Projects

No abstract provided.

A Paradigm Shift : An Exploration Of Union Strength In The Public Sector And Its Implications For Organized Labor In The U.S, Renee M. Branshaw

Undergraduate Theses and Senior Projects

No abstract provided.

Prevention Of Cyberstalking: A Review Of The Literature, Portland State University. Criminology And Criminal Justice Senior Capstone

Criminology and Criminal Justice Senior Capstone Project

With technological advances and increases in the number of people who can access and use technology, cyberstalking is a crime increasing in prevalence across the United States. The goal of this report is to provide a more clear understanding of the definition of cyberstalking, its prevalence, characteristics of both the victims and offenders of this crime, and the modus operandi of the crime. In addition, potential strategies to prevent cyberstalking will be discussed, including but not limited to changing internet behavior and educating the public about cyberstalking.

An In Depth Analysis Of Aphasia, Recovery Management, And Therapy Approaches, Andrea Marie Bremer

Undergraduate Theses and Senior Projects

No abstract provided.

Pdms Based Waveguides For Microfluidics And Eocb, Weiping Qiu

LSU Master's Theses

Due to the low cost, fast and ease of molding, PDMS has become one of the most popular materials for microfluidics devices, bioMEMS applications. Meanwhile, the integration of different functional components on to one single chip (or Lab on a Chip) is the dream for many scientists and engineers in the related area. In addition to the necessary mechanical components for accommodating the reactions, such as pumps, valves, mixers and so on, optical components such as waveguides, lens, interferers are all desired to be lumped into such a system.

The waveguide for such a system requires the material to have …

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.

Investigation Of Electroosmotic Flow Dynamics And Reproducibility In Capillary Electrophoresis, Funda Kizilkaya

LSU Doctoral Dissertations

The goal of this dissertation is to investigate electroosmotic flow (EOF) and electric field dynamics during capillary electrophoresis (CE) experiments using methods based on periodic photobleaching of fluorophores added to the separation buffer at nanomolar concentrations. The methods provide time resolved EOF and local electric field information during an experiment, which can be applied to fundamental studies to provide better understanding of CE techniques. The potential of the EOF monitoring method to improve CE migration reproducibility was investigated in Chapter 2. The EOF monitoring method and four other methods from the literature were applied to the same electrophoretic separations, and …

Reductive Dechlorination Of High Concentrations Of 1,2-Dichloroethane, 1,2-Dichloropropane, And 1,1,2-Trichloroethane By Dehalogenimonas Sp., Andrew D. Maness

LSU Master's Theses

The research goals presented here were to evaluate the solvent concentrations over which Dehalogenimonas lykanthroporepellens strain BL-DC-9T and Dehalogenimonas sp. IP3-3 are able to reductively dechlorinate 1,2-dichloroethane (1,2-DCA), 1,2-dichloropropane (1,2-DCP), and 1,1,2-trichloroethane (1,1,2-TCA). Both of these novel bacteria were isolated from contaminated groundwater at the PetroProcessors of Louisiana, Inc. Superfund site located near Baton Rouge. Both cluster in the phylum Chloroflexi, related to, but distinct from, the widely studied, reductively dechlorinating “Dehalococcoides” strains .

Although previous research demonstrated that strains BL-DC-9T and IP3-3 are able to reductively dechlorinate a variety of polyhalogenated alkanes, the solvent concentration at which the strains …

Impact Of Lean Production On Workers' Exposure To Risk In Modular Home Building Manufacturing, Joel James

LSU Master's Theses

The construction industry records the highest number of work-related injuries and fatalities in the United States according to the Bureau of Labor Statistics. Workers’ exposure to risk may be affected by implementing Lean concepts. This study describes the effects on worker’s safety environment after a Kaizen event, a Lean tool, conducted in three workstations within a modular home manufacturer: base-framing, sheet-rock hanging, and painting. The effects of Lean on safety hazards at each of the three workstations were determined by conducting a Job Safety Analysis (JSA) before and after each Kaizen. Based on the JSAs a risk assessment tool (questionnaire) …

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 …

Anatomical Studies Of Canine Vascular And Ligamentous Ear Structures With Revelance To Acute-Onset Deafness, Cathryn Kay Stevens-Sparks

LSU Doctoral Dissertations

Hearing loss in dogs and cats following dental or ear procedures performed under anesthesia has recently been reported. The most likely causes for this acute-onset deafness were considered to be mechanical or vascular. Jaw manipulation as a possible cause of acute-onset deafness in the dog was investigated in the current study. Structures adjacent to the temporomandibular joint were of interest because changes in jaw orientation could disrupt vessels and nerves in this area. Current descriptions of the anatomy of the vasculature supplying the canine ear are either incomplete or inconsistent. Another considered cause was a jaw-ear connection via a ligamentous …

Effects Of Two Different Behavioral Swallowing Exercise Protocols Performed During Radiation Therapy On Swallowing Physiology, Function, Quality-Of-Life And Weight Outcomes Following Organ-Preservation Treatments For Head And Neck Cancers, Aneesha Virani

LSU Doctoral Dissertations

Objective: The purpose of this study was to investigate the effects of two different prophylactic behavioral swallowing exercise regimens performed by head and neck cancer/s (HNC) patients during radiation therapy with/without chemotherapy (RT/C) on swallowing physiology, function, quality-of-life (QOL) and weight outcomes at the completion of RT/C. Feeding tube (PEG) status at 3 months post-treatment was also compared. Methods: This study was conducted via a prospective design. 50 patients diagnosed with HNC who were to undergo RT/C were recruited at pre-treatment based on the inclusion criteria: functional swallowing abilities; without prophylactic PEG tubes; ability to comprehend and perform therapy tasks …

New Orleans Center For Creative Arts: A History In Progress, Suzanne Michelle Blanchard Chambliss

LSU Doctoral Dissertations

In the state of Louisiana, a quality education for secondary school students can be hard to come by in any area of study much less in the areas of the arts. The New Orleans Center for Creative Arts (NOCCA) provides a quality education to those talented students who audition and are accepted into the program. NOCCA has only existed since 1974 and in its relatively short life it has become a model for half-day pre-professional training programs throughout the United States and it has proven that it is possible to receive a quality education in Louisiana.

Examining Customer Felt Gratitude And Indebtedness In Exchanges: Their Conceptualizations, Causes And Consequences, Dora Elizabeth Schmit

LSU Doctoral Dissertations

Although gratitude has been termed the second most frequently experienced positive emotion (Fredrickson 2009), marketing research has only recently started to explore the role of gratitude in customer relationships. As a result, many deficiencies exist in the literature, including the distinction between this emotion and indebtedness. Further and related to this issue, little is known about gratitude’s conceptualization, antecedents and consequences. This dissertation was conducted to address these deficiencies and extend knowledge concerning customer felt gratitude and indebtedness. Essay one was conducted to offer in-depth insight to the conceptualizations of customer felt gratitude and indebtedness. A hermeneutical interpretive approach was …

Texting Laws And Cell Phone Users: Motivations For Texting While Driving, Jonathan Ferrante

LSU Master's Theses

ABSTRACT Legal scholars, academics, and industry researchers have indicated that using cell phones when driving is among the most dangerous hazard faced by motorists today. This relatively new technology is embedded in the lives of most people, at all times of the day, including when behind the wheel of a car. Harvard and National Highway Traffic Safety Administration researchers have exposed the dangers of cell phones and driving, but a solution to curtail the problem has yet to be found. This study seeks to understand the motivations and mediating factors affecting texting and driving law compliance by cell phone users. …

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 …

Gis-Based Spatial Analysis Of Place Names In Yunnan, China, Ling Zhang

LSU Master's Theses

Yunnan, with the largest number of minority languages in China, is labeled as “The Museum of Dialects”. The rich diversity of ethnic groups is reflected in its toponyms (place names). The objectives of this study are to (1) construct a GIS database of toponyms in Yunnan at the prefecture, county and township levels from a comprehensive toponymical dictionary series of China; (2) analyze the spatial distribution of Han, Tibeto-Burman (Zang-Mian) and Kam-Tai (Zhuang-Dong) toponyms and its association with environmental factors; and (3) examine the historical evolution of toponyms. Results show that the study shows that the highest concentrations of Zang-Mian …

Advice In Troubles Talk Conversations Between Strangers: The Role Of Problem Seriousness And The Impact Of Advice On Helper Supportiveness And The Desire For Future Interactions, Andrea Jean Vickery

LSU Master's Theses

In troubles talk conversations, problems are disclosed and discussed. When responding to problem disclosures, advice is one common response where the respondent recommends how to think, feel or act in response to a problem. This thesis focuses on extending our understanding of advice messages, with a main research question focused on determining if advice occurs in initial interactions between strangers. Through an analysis of 125 transcribed conversations, advice was present in 38.4% (n = 44) of the conversations. Advice was offered in response to less serious problems, supporting the first hypothesis. There was no support found for the positive association …

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 …

New Coding/Decoding Techniques For Wireless Communication Systems, Yonas Gebregziabher Debessu

LSU Doctoral Dissertations

Wireless communication encompasses cellular telephony systems (mobile communication), wireless sensor networks, satellite communication systems and many other applications. Studies relevant to wireless communication deal with maintaining reliable and efficient exchange of information between the transmitter and receiver over a wireless channel. The most practical approach to facilitate reliable communication is using channel coding. In this dissertation we propose novel coding and decoding approaches for practical wireless systems. These approaches include variable-rate convolutional encoder, modified turbo decoder for local content in Single-Frequency Networks, and blind encoder parameter estimation for turbo codes. On the other hand, energy efficiency is major performance issue …

Influences On Behavior Adaptations To Reduce Exposure To Environmental Hazards Among Residents Of Louisiana's Upper Industrial Corridor, Corrinthia Marie Hinton

LSU Master's Theses

Over the past century, the growth in petrochemical manufacturing within Louisiana’s Upper Industrial Corridor brought economic development, but also introduced toxic emissions and environmental exposure risks to residents of the area. For the citizens living in close proximity to multiple facilities there is the added risk of chemical exposure from environmentally hazardous accidents. This study seeks to gain insights into patterns of risk-reducing behaviors of residents in East Baton Rouge Parish so that better educational outreach programs can be developed. This research addresses the following questions: To what extent are residents of Baton Rouge taking steps to reduce environmental exposure …

Skill Assessment And Optimization Of The Third Generation Wave Models For Applications In Gulf Of Mexico, Seyed Mostafa Siadatmousavi

LSU Doctoral Dissertations

Numerical phase-averaged wave models are the best option to obtain the spatial and temporal distribution of the wave energy over a large domain, such as the Gulf of Mexico. Parallel implementation of unstructured SWAN and WAVEWATCH-III were engaged in this research to evaluate the performance of third generation wave models for different conditions. Met-ocean data from a network of NDBC buoys and WAVCIS stations were used to assess the predictive skills of the wave models. Deep water wave energy dissipation formulations were carefully analyzed and modified to improve the accuracy of the bulk wave parameters. Moreover, the importance of the …

Investigating Children's Social Support Systems: Comparison Of Interviews And Interviews With Pictures, Leah Kathrine Hebert

LSU Master's Theses

The present research study seeks to improve upon prior research on child social supports by using an already existing eco-map protocol to inform two interviews on child social supports. This study will help further develop an assessment for understanding child social supports and social networks. This project examines the similarities and differences between child reports of social support using: a) child interview-only protocol and b) interview-with-pictures protocol. The two main research questions include: 1) Do children report the same number of social supports using the child interview-only protocol as the interview-with-pictures protocol? and 2) Do children report the same kind …

Recurrent Novae And Type Ia Supernova Progenitors, Ashley Sara Pagnotta

LSU Doctoral Dissertations

We investigated two types of stellar explosions, recurrent novae (RNe) and Type Ia supernovae (SNe Ia). SNe Ia are the most useful distance markers in astrophysics, but we do not know the identity of their progenitor systems. RNe are good progenitor candidates that consist of a white dwarf (WD) that accretes material from a companion star. The material builds on the surface of the WD until a runaway thermonuclear eruption is triggered, which ejects the accreted material and causes the system to brighten dramatically. We studied the demographics of the nova population and concluded that approximately 25% of classical novae …

Decoding Comics: Essential Elements For Transcription, Ni Tyjah Thigpen

LSU Master's Theses

Comics (plural in form but used with a singular verb as defined by Scott McCloud, Understanding Comics: The Invisible Art, HarperPerennial) provides a fresh perspective on the interaction of culture and language and spans from simple one-frame comics to graphic novels. Speech in comics is fully interpretable only in relation to the other elements; therefore a transcription system that includes them all is necessary. I have developed a unique transcription method which incorporates all the salient aspects of comic art revealing the linguistic codes embedded within. I show that transcription techniques, while primarily focused on speech, can also be applied …

An Analysis Of Change In Policy Context Regarding Corexit Dispersant Use Following The Deepwater Horizon Oil Spill, Kelly Arceneaux

LSU Master's Theses

On April 20, 2010, an explosion on the offshore drilling platform Deepwater Horizon located in the Gulf of Mexico resulted in the largest oil spill in U.S. history. The subsequent use of massive amounts of chemical dispersants near the Gulf floor, an untested method, led to great controversy regarding the regulation, use, and toxicity of dispersants of the COREXIT family of products, as well as of dispersants in general. This study compares dispersant (COREXIT brand products in particular) regulation and use in the United States, Norway and the United Kingdom; the latter two countries are among the largest oil producers …

Water Quality Dynamics Of Low-Gradient, Headwater Streams In A Timber-Industry Dominated Watershed In Louisiana, Abram Atys Dasilva

LSU Master's Theses

Timber harvesting can degrade the quality of adjacent water bodies, an important concern for Louisiana, nearly 50% of which is forested, and in which the forest industry is the second-largest manufacturing employer. To protect valuable freshwater resources in Louisiana, a manual of best management practices (BMPs) was published in 2000 describing techniques for limiting forestry-caused water quality degradation. While these BMPs are widely implemented, their effectiveness in protecting water quality is largely unknown. To determine the effectiveness of these BMPs, this thesis research conducted three studies to address timber harvest BMP effectiveness on protection of stream dissolved oxygen, metabolism, and …