System-on-a-Chip (SoC) based hardware acceleration in Register Transfer Level (RTL) design

Today, modern System-on-a-Chip (SoC) systems have grown rapidly due to the increased processing power, while maintaining the size of the hardware circuit. The number of transistors on a chip continues to increase, but current SoC designs may not be able to exploit the potential performance, especially with energy consumption and chip area becoming two major concerns. Traditional SoC designs usually separate software and hardware. Thus, the process of improving the system performance is a complicated task for both software and hardware designers. The aim of this research is to develop hardware acceleration workflow for software applications. Thus, system performance can be improved with constraints of energy consumption and on-chip resource costs. The characteristics of software applications can be identified by using profiling tools. Hardware acceleration can have significant performance improvement for highly mathematical calculations or repeated functions. The performance of SoC systems can then be improved, if the hardware acceleration method is used to accelerate the element that incurs performance overheads. The concepts mentioned in this study can be easily applied to a variety of sophisticated software applications. The contributions of SoC-based hardware acceleration in the hardware-software co-design platform include the following: (1) Software profiling methods are applied to H.264 Coder-Decoder (CODEC) core. The hotspot function of aimed application is identified by using critical attributes such as cycles per loop, loop rounds, etc. (2) Hardware acceleration method based on Field-Programmable Gate Array (FPGA) is used to resolve system bottlenecks and improve system performance. The identified hotspot function is then converted to a hardware accelerator and mapped onto the hardware platform. Two types of hardware acceleration methods – central bus design and co-processor design, are implemented for comparison in the proposed architecture. (3) System specifications, such as performance, energy consumption, and resource costs, are measured and analyzed. The trade-off of these three factors is compared and balanced. Different hardware accelerators are implemented and evaluated based on system requirements. 4) The system verification platform is designed based on Integrated Circuit (IC) workflow. Hardware optimization techniques are used for higher performance and less resource costs. Experimental results show that the proposed hardware acceleration workflow for software applications is an efficient technique. The system can reach 2.8X performance improvements and save 31.84% energy consumption by applying the Bus-IP design. The Co-processor design can have 7.9X performance and save 75.85% energy consumption.

Television Watching, Diet Quality, and Physical Activity and Diabetes among Three Ethnicities in the United States

Diabetes is a world-wide epidemic associated with multiple environmental factors. Prolonged television viewing (TV) time has been related to increased risk of obesity and type 2 diabetes in several studies. TV viewing has been positively associated with cardiovascular disease risk factors, lower energy expenditure, over-eating high-calorie and high-fat foods. The objective of this study was to assess the associations of hours of TV viewing with dietary quality, obesity and physical activity for three ethnic minorities with and without type 2 diabetes. Diet quality and physical activity were inversely related to prolonged TV viewing. African Americans and participants with type 2 diabetes were more likely to watch more than 4 hours of TV per day as compared to their counterparts. Diet quality was inversely associated with physical activity level. Future studies are needed to establish the risk factors of prolonged TV watching in adult populations for the development of diabetes or diabetes-related complications. Although strategies to reduce TV watching have been proven effective among children, few trials have been conducted in adults. Intervention trials aimed at reducing TV viewing targeting people with type 2 diabetes may be beneficial to improve dietary quality and physical activity, which may reduce diabetes complications.

Three essays on market depth in futures markets

Liquidity is an important market characteristic for participants in every financial market. One of the three components of liquidity is market depth. Prior literature lacks a comprehensive analysis of depth in U.S. futures markets due to past limitations on the availability of data. However, recent innovations in data collection and dissemination provide new opportunities to investigate the depth dimension of liquidity. In this dissertation, the Chicago Mercantile Exchange (CME) Group proprietary database on depth is employed to study the dynamics of depth in the U.S. futures markets. This database allows for the analysis of depth along the entire limit order book rather than just at the first level. The first essay examines the characteristics of depth within the context of the five-deep limit order book. Results show that a large amount of depth is present in the book beyond the best level. Furthermore, the findings show that the characteristics of five-deep depth between day and night trading vary and that depth is unequal across levels within the limit order book. The second essay examines the link between the five-deep market depth and the bid-ask spread. The results suggest an inverse relation between the spread and the depth after adjusting for control factors. The third essay explores transitory volatility in relation to depth in the limit order book. Evidence supports the relation between an increase in volatility and a subsequent decrease in market depth. Overall, the results of this dissertation are consistent with limit order traders actively managing depth along the limit order book in electronic U.S. futures markets.

A Q-Methodology approach to investigating the relationship between level of reflection and typologies among prospective teachers in the physics learning assistant program at Florida International University

The purpose of this mixed methods study was to understand physics Learning Assistants' (LAs) views on reflective teaching, expertise in teaching, and LA program teaching experience and to determine if views predicted level of reflection evident in writing. Interviews were conducted in Phase One, Q methodology was used in Phase Two, and level of reflection in participants' writing was assessed using a rubric based on Hatton and Smith's (1995) "Criteria for the Recognition of Evidence for Different Types of Reflective Writing" in Phase Three. Interview analysis revealed varying perspectives on content knowledge, pedagogical knowledge, and experience in relation to expertise in teaching. Participants revealed that they engaged in reflection on their teaching, believed reflection helps teachers improve, and found peer reflection beneficial. Participants believed teaching experience in the LA program provided preparation for teaching, but that more preparation was needed to teach. Three typologies emerged in Phase Two. Type One LAs found participation in the LA program rewarding and believed expertise in teaching does not require expertise in content or pedagogy, but it develops over time from reflection. Type Two LAs valued reflection, but not writing reflections, felt the LA program teaching experience helped them decide on non-teaching careers and helped them confront gaps in their physics knowledge. Type Three LAs valued reflection, believed expertise in content and pedagogy are necessary for expert teaching, and felt LA program teaching experience increased their likelihood of becoming teachers, but did not prepare them for teaching. Writing assignments submitted in Phase Three were categorized as 19% descriptive writing, 60% descriptive reflections, and 21% dialogic reflections. No assignments were categorized as critical reflection. Using ordinal logistic regression, typologies that emerged in Phase Two were not found to be predictors for the level of reflection evident in the writing assignments. In conclusion, viewpoints of physics LAs were revealed, typologies among them were discovered, and their writing gave evidence of their ability to reflect on teaching. These findings may benefit faculty and staff in the LA program by helping them better understand the views of physics LAs and how to assess their various forms of reflection.

Three essays on the microstructure of exchange traded funds

Exchange traded funds (ETFs) have increased significantly in popularity since they were first introduced in 1993. However, there is still much that is unknown about ETFs in the extant literature. This dissertation attempts to fill gaps in the ETF literature by using three related essays. In these three essays, we compare ETFs to closed ended mutual funds (CEFs) by decomposing the bid-ask spread into its three components; we look at the intraday shape of ETFs and compare it to the intraday shape of equities as well as examine the co-integration factor between ETFs on the London Stock Exchange and the New York Stock Exchange; we also examine the differences between leveraged ETFs and unleveraged ETFs by analyzing the impact of liquidity and volatility. These three essays are presented in Chapters 1, 2, and 3, respectively. ^ Chapter one uses the Huang and Stoll (1997) model to decompose the bid-ask spread in CEFs and ETFs for two distinct periods—a normal and a volatile period. We show a higher adverse selection component for CEFs than for ETFs without regard to volatility. However, both ETFs and CEFs increased in magnitude of the adverse selection component in the period of high volatility. Chapter two uses a mix of the Werner and Kleidon (1993) and the Hupperets and Menkveld (2002) methods to get the intraday shape of ETFs and analyze co-integration between London and New York trading. We find two different shapes for New York and London ETFs. There also appears to be evidence of co-integration in the overlapping two-hour trading period but not over the entire trading day for the two locations. The third chapter discusses the new class of ETFs called leveraged ETFs. We examine the liquidity and depth differences between unleveraged and leveraged ETFs at the aggregate level and when the leveraged ETFs are classified by the leveraged multiples of -3, -2, -1, 2, and 3, both for a normal and a volatile period. We find distinct differences between leveraged and unleveraged ETFs at the aggregate level, with leveraged ETFs having larger spreads than unleveraged ETFs. Furthermore, while both leveraged and unleveraged ETFs have larger spreads in high volatility, for the leveraged ETFs the change in magnitude is significantly larger than for the unleveraged ETFs. Among the multiples, the -2 leveraged ETF is the most pronounced in its liquidity characteristics, more so in volatile times. ^

Compositional Effects of Sea-Level Rise in a Patchy Landscape: The Dynamics of Tree Islands in the Southeastern Coastal Everglades

The landscape structure of emergent wetlands in undeveloped portions of the southeastern coastal Everglades is comprised of two distinct components: scattered forest fragments, or tree islands, surrounded by a low matrix of marsh or shrub-dominated vegetation. Changes in the matrix, including the inland transgression of salt-tolerant mangroves and the recession of sawgrass marshes, have been attributed to the combination of sea level rise and reductions in fresh water supply. In this study we examined concurrent changes in the composition of the region’s tree islands over a period of almost three decades. No trend in species composition toward more salt-tolerant trees was observed anywhere, but species characteristic of freshwater swamps increased in forests in which fresh water supply was augmented. Tree islands in the coastal Everglades appear to be buffered from some of the short term effects of salt water intrusion, due to their ability to build soils above the surface of the surrounding wetlands, thus maintaining mesophytic conditions. However, the apparent resistance of tree islands to changes associated with sea level rise is likely to be a temporary stage, as continued salt water intrusion will eventually overwhelm the forests’ capacity to maintain fresh water in the rooting zone.

The Next Generation of Scientists: Examining the Experiences of Graduate Students in Network-Level Social-Ecological Science

By integrating the research and resources of hundreds of scientists from dozens of institutions, network-level science is fast becoming one scientific model of choice to address complex problems. In the pursuit to confront pressing environmental issues such as climate change, many scientists, practitioners, policy makers, and institutions are promoting network-level research that integrates the social and ecological sciences. To understand how this scientific trend is unfolding among rising scientists, we examined how graduate students experienced one such emergent social-ecological research initiative, Integrated Science for Society and Environment, within the large-scale, geographically distributed Long Term Ecological Research (LTER) Network. Through workshops, surveys, and interviews, we found that graduate students faced challenges in how they conceptualized and practiced social-ecological research within the LTER Network. We have presented these conceptual challenges at three scales: the individual/project, the LTER site, and the LTER Network. The level of student engagement with and knowledge of the LTER Network was varied, and students faced different institutional, cultural, and logistic barriers to practicing social-ecological research. These types of challenges are unlikely to be unique to LTER graduate students; thus, our findings are relevant to other scientific networks implementing new social-ecological research initiatives.

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Television Watching, Diet Quality, Physical Activity and Diabetes Among Three Ethnicities in the United States

Diabetes is a world-wide epidemic associated with multiple environmental factors. Prolonged television viewing (TV) time has been related to increased risk of obesity and type 2 diabetes in several studies. TV viewing has been positively associated with cardiovascular disease risk factors, lower energy expenditure, over-eating high-calorie and high-fat foods. The objective of this study was to assess the associations of hours of TV viewing with dietary quality, obesity and physical activity for three ethnic minorities with and without type 2 diabetes. Diet quality and physical activity were inversely related to prolonged TV viewing. African Americans and participants with type 2 diabetes were more likely to watch more than 4 hours of TV per day as compared to their counterparts. Diet quality was inversely associated with physical activity level. Future studies are needed to establish the risk factors of prolonged TV watching in adult populations for the development of diabetes or diabetes-related complications. Although strategies to reduce TV watching have been proven effective among children, few trials have been conducted in adults. Intervention trials aimed at reducing TV viewing targeting people with type 2 diabetes may be beneficial to improve dietary quality and physical activity, which may reduce diabetes complications.

Undergraduate Students’ Perceptions of Study Abroad and Their Level of Achievement of Global Learning Outcomes

This study expanded on current research on study abroad and global learning, using the Global Perspective Inventory (GPI), and conducted at Florida International University (FIU) in Miami, FL. The GPI assesses the holistic development of a global perspective in higher education within three domains and their respective FIU-determined equivalents: cognitive (global awareness), intrapersonal (global perspective), and interpersonal (global engagement). The main purpose of this study was to assess FIU’s undergraduate students’ perceptions of study abroad on their level of achievement of global awareness, global perspective, and global engagement. The secondary purpose was to determine how the students described their study abroad experience and achievement of global learning. The research design for this study consisted of parallel mixed methods. The quantitative component was an ex post facto with hypothesis design, using a pretest/posttest nonequivalent group methodology. FIU undergraduates (N=147) who studied abroad for one semester or more completed the GPI pre- and post-tests. Descriptive statistics and paired t-tests were conducted to compare the means. The interviews included 10 students, and were analyzed through Structural coding, Saldaña’s In Vivo coding, and Value coding. Quantitative analyses indicated positive changes in the students’ global awareness and global perspective. These analyses also showed that the FIU students achieved higher post-test means on all the domains of the GPI compared to other studies. Qualitative analyses showed that the students’ experiences incorporated all three global learning outcomes, most notably global awareness and perspective.

Parent involvement on school advisory councils: a process evaluation at the middle school level

Increasing parental involvement was made an important goal for all Florida schools in educational reform legislation in the 1990's. A forum for this input was established and became known as the School Advisory Council (SAC). To demonstrate the importance of process and inclusion, a south Florida school district and its local teacher's union agreed on the following five goals for SACs: (a) to foster an environment of professional collaboration among all stakeholders, (b) to assist in the preparation and evaluation of the school improvement plan, (c) to address all state and district goals, (d) to serve as the avenue for authentic and representative input from all stakeholders, and (e) to ensure the continued existence of the consensus-building process on all issues related to the school's instructional program. The purpose of this study was to determine to what extent and in what ways the parent members of one south Florida middle school's SAC achieved the five district goals during its first three years of implementation. The primary participants were 16 parents who served as members of the SAC, while 16 non-parent members provided perspective on parent involvement as "outside sources." Being qualitative by design, factors such as school climate, leadership styles, and the quality of parental input were described from data collected from four sources: parent interviews, a questionnaire of non-parents, researcher observations, and relevant documents. A cross-case analysis of all data informed a process evaluation that described the similarities and differences of intended and observed outcomes of parent involvement from each source using Stake's descriptive matrix model. A formative evaluation of the process compared the observed outcomes with standards set for successful SACs, such as the district's five goals. The findings indicated that parents elected to the SACs did not meet the intended goals set by the state and district. The school leadership did not foster an environment of professional collaboration and authentic decision-making for parents and other stakeholders. The overall process did not include consensus-building, and there was little if any input by parents on school improvement and other important issues relating to the instructional program. Only two parents gave the SAC a successful rating for involving parents in the decision-making process. Although compliance was met in many of the procedural transactions of the SAC, the reactions of parents to their perceived role and influence often reflected feelings of powerlessness and frustration with a process that many thought lacked meaningfulness and productivity. Two conclusions made from this study are as follows: (a) that the role of the principal in the collaborative process is pivotal, and (b) that the normative-re-educative approach to change would be most appropriate for SACs.

Three essays on the economics of defense contracting, output and income inequality

This dissertation analyzes both the economics of the defense contracting process and the impact of total dollar obligations on the economies of U.S. states. Using various econometric techniques, I will estimate relationships across individual contracts, state level output, and income inequality. I will achieve this primarily through the use of a dataset on individual contract obligations. ^ The first essay will catalog the distribution of contracts and isolate aspects of the process that contribute to contract dollar obligations. Accordingly, this study describes several characteristics about individual defense contracts, from 1966-2006: (i) the distribution of contract dollar obligations is extremely rightward skewed, (ii) contracts are unevenly distributed in a geographic sense across the United States, (iii) increased duration of a contract by 10 percent is associated with an increase in costs by 4 percent, (iv) competition does not seem to affect dollar obligations in a substantial way, (v) contract pre-payment financing increases the obligation of contracts from anywhere from 62 to 380 percent over non-financed contracts. ^ The second essay will turn to an aggregate focus, and look the impact of defense spending on state economic output. The analysis in chapter two attempts to estimate the state level fiscal multiplier, deploying Difference-in-Differences estimation as an attempt to filter out potential endogeneity bias. Interstate variation in procurement spending facilitates utilization of a natural experiment scenario, focusing on the spike in relative spending in 1982. The state level relative multiplier estimate here is 1.19, and captures the short run, impact effect of the 1982 spending spike. ^ Finally I will look at the relationship between defense contracting and income inequality. Military spending has typically been observed to have a negative relationship with income inequality. The third chapter examines the existence of this relationship, combining data on defense procurement with data on income inequality at the state level, in a longitudinal analysis across the United States. While the estimates do not suggest a significant relationship exists for the income share of the top ten percent of households, there is a significant positive relationship for the income share of top one percent households for an increase in defense procurement.^

The relationship between coping strategies and level of depression among spousal caregivers of elders with dementia

Caregivers are often under a great deal of stress while caring for their spouses with dementia. It is when the stress builds up and becomes overwhelming that the caregiver is at risk for developing depression. The primary objective of this study was to determine which cognitive and behavioral coping strategies are associated with lower levels of depression; once these strategies are identified, interventions can be established to educate these caregivers. Thirty-two spousal caregivers participated in this study. They each filled out a questionnaire, which contained three sections. The first section asked them for demographic information about themselves and their spouses; the second section consisted of a coping strategies scale; and, the third section contained a depression scale. Results of this study indicate that problem-focused coping strategies were associated with a lesser degree of depressive symptomatology, whereas most of the emotion-focused strategies were associated with a greater degree of depressive symptomatology among the present sample of spousal caregivers. In addition, no relationship was found between the length of time providing care to their spouses and their level of depression.

The relationship between the teacher's experience, the teacher's college major, and the teacher's level of education in predicting classroom attitudes in high school science students

A review of the literature reveals few research has attempted to demonstrate if a relationship exists between the type of teacher training a science teacher has received and the perceived attitudes of his/her students. Considering that a great deal of time and energy has been devoted by university colleges, school districts, and educators towards refining the teacher education process, it would be more efficient for all parties involved, if research were available that could discern if certain pathways in achieving that education, would promote the tendency towards certain teacher behaviors occurring in the classroom, while other pathways would lead towards different behaviors. Some of the teacher preparation factors examined in this study include the college major chosen by the science teacher, the highest degree earned, the number of years of teaching experience, the type of science course taught, and the grade level taught by the teacher. This study examined how the various factors mentioned, could influence the behaviors which are characteristic of the teacher, and how these behaviors could be reflective in the classroom environment experienced by the students. The instrument used in the study was the Classroom Environment Scale (CES), Real Form. The measured classroom environment was broken down into three separate dimensions, with three components within each dimension in the CES. Multiple Regression statistical analyses examined how components of the teachers' education influenced the perceived dimensions of the classroom environment from the students. The study occurred in Miami-Dade County Florida, with a predominantly urban high school student population. There were 40 secondary science teachers involved, each with an average of 30 students. The total number of students sampled in the study was 1200. The teachers who participated in the study taught the entire range of secondary science courses offered at this large school district. All teachers were selected by the researcher so that a balance would occur in the sample between teachers who were education major versus science major. Additionally, the researcher selected teachers so that a balance occurred in regards to the different levels of college degrees earned among those involved in the study. Several research questions sought to determine if there was significant difference between the type of the educational background obtained by secondary science teachers and the students' perception of the classroom environment. Other research questions sought to determine if there were significant differences in the students' perceptions of the classroom environment for secondary science teachers who taught biological content, or non-biological content sciences. An additional research question sought to evaluate if the grade level taught would affect the students' perception of the classroom environment. Analysis of the multiple regression were run for each of four scores from the CES, Real Form. For score 1, involvement of students, the results showed that teachers with the highest number of years of experience, with masters or masters plus degrees, who were education majors, and who taught twelfth grade students, had greater amounts of students being attentive and interested in class activities, participating in discussions, and doing additional work on their own, as compared with teachers who had lower experience, a bachelors degree, were science majors, and who taught a grade lower than twelfth. For score 2, task orientation, which emphasized completing the required activities and staying on-task, the results showed that teachers with the highest and intermediate experience, a science major, and with the highest college degree, showed higher scores as compared with the teachers indicating lower experiences, education major and a bachelors degree. For Score 3, competition, which indicated how difficult it was to achieve high grades in the class, the results showed that teachers who taught non-biology content subjects had the greatest effect on the regression. Teachers with a masters degree, low levels of experience, and who taught twelfth grade students were also factored into the regression equation. For Score 4, innovation, which indicated the extent in which the teachers used new and innovative techniques to encourage diverse and creative thinking included teachers with an education major as the first entry into the regression equation. Teachers with the least experience (0 to 3 years), and teachers who taught twelfth and eleventh grade students were also included into the regression equation.

Three-dimensional tomographic reconstruction of an exceptionally well preserved ichnological assemblage from the Stainmore Foundation, Carboniferous, UK

This Ph.D. thesis addresses current issues with ichnotaxonomic practice, and characterizes an exceptionally well preserved ichnological assemblage from the Carboniferous Stainmore Formation, Northumberland, United Kingdom. Samples were collected from closely localized float representative of various units throughout the succession, which was deposited in a storm-dominated marine shoreface. Three dominant ichnotaxa were selected for three-dimensional morphological analysis due to their complicated morphology and/or unclear taxonomic status: 1) Dactyloidites jordii isp. nov.; 2) Beaconites capronus, and; 3) Neoeione moniliformis comb. nov. Using serial grinding and photography, these ichnotaxa were ground and modelled in true colour. High-resolution models of three taxa produced in this study are the basis of the first complete three-dimensional consideration of the traces, and forms the basis for refined palaeobiological and ethological analysis of these taxa. Dactyloidites jordii isp. nov. is a stellate to palmate burrow composed of numerous long, narrow rays that exhibit three orders of branching arranged into tiered galleries radiating from a central shaft. It is considered to be the feeding structure produced by a vermiform organism. Beaconites capronus is a winding trace with distinctly chevron-shaped, meniscate backfill demonstrated herein to backfill the vertical shafts associated with its burrows in a comparable fashion to the horizontal portion of the burrow. This lack of a surface connection would result in the trace making organism being exposed to low-oxygen porewater. Coping with this porewater dysoxia could be approached by burrowing organisms in a number of ways: 1) revisiting the sediment-water interface; 2) creating periodic shafts; or 3) employing anaerobic metabolism. Neoeione moniliformis was originally introduced as Eione moniliformis, however, the genus Eione Tate, 1859 is a junior homonym of Eione Rafinesque, 1814. This led to the transfer of Eione moniliformis to Parataenidium. Through careful examination and three-dimensional characterization of topotypes, the transfer to Parataenidium moniliformis is demonstrated herein to be problematic, as Parataenidium refers to primarily horizontal burrows with two distinct layers and Eione moniliformis is composed of one distinct level. As such, the new ichnogenus Neoeione is created to accommodate Neoeione moniliformis.