Algebraic theory of minimal nondeterministic finite automata with applications

Since the 1950s, the theory of deterministic and nondeterministic finite automata (DFAs and NFAs, respectively) has been a cornerstone of theoretical computer science. In this dissertation, our main object of study is minimal NFAs. In contrast with minimal DFAs, minimal NFAs are computationally challenging: first, there can be more than one minimal NFA recognizing a given language; second, the problem of converting an NFA to a minimal equivalent NFA is NP-hard, even for NFAs over a unary alphabet. Our study is based on the development of two main theories, inductive bases and partials, which in combination form the foundation for an incremental algorithm, ibas, to find minimal NFAs. An inductive basis is a collection of languages with the property that it can generate (through union) each of the left quotients of its elements. We prove a fundamental characterization theorem which says that a language can be recognized by an n-state NFA if and only if it can be generated by an n-element inductive basis. A partial is an incompletely-specified language. We say that an NFA recognizes a partial if its language extends the partial, meaning that the NFA’s behavior is unconstrained on unspecified strings; it follows that a minimal NFA for a partial is also minimal for its language. We therefore direct our attention to minimal NFAs recognizing a given partial. Combining inductive bases and partials, we generalize our characterization theorem, showing that a partial can be recognized by an n-state NFA if and only if it can be generated by an n-element partial inductive basis. We apply our theory to develop and implement ibas, an incremental algorithm that finds minimal partial inductive bases generating a given partial. In the case of unary languages, ibas can often find minimal NFAs of up to 10 states in about an hour of computing time; with brute-force search this would require many trillions of years.

Specificity, stability and comparative physiology of coral-Symbiodinium mutualisms: Evaluating the potential for acclimation and/or adaptation in reef corals

The relationship between reef corals and endosymbiotic dinoflagellates is fundamental to the existence of coral reefs. To evaluate the fidelity of coral-Symbiodinium mutualisms, corals maintained in aquaria for years were analyzed by denaturant gradient gel electrophoresis (DGGE). Comparing Symbiodinium populations of captive aquarium colonies with known associations in nature is a practical way of examining partner flexibility. The finding of "normal" symbiont populations in corals existing under highly variable conditions supports the premise that most coral colonies possess stable associations. High sensitivity real-time PCR (rtPCR) was used to evaluate background populations of the putatively stress-tolerant Symbiodinium D in reef corals of the Caribbean. Analyses of samples collected during periods of environmental stability indicate the ability of Symbiodinium D to associate with a wider diversity of host taxa than previously recognized. To gain a broader perspective with regard to the ecology of Symbiodinium D1a, rtPCR and DGGE were used to evaluate the symbiont populations of reef corals from Barbados before and after the 2005 mass coral bleaching. Background populations were observed in 56% of the host genera prior to observations of bleaching. These findings indicate that 'stress', not 'bleaching', caused the displacement of 'natural' symbiont population and the opportunistic proliferation of D1a in many host taxa. Of the 12 host taxa monitored before and after the bleaching event, there was a 40% increase in colonies hosting Symbiodinium D1a. Together, these studies elucidate the mechanism responsible for recent observations reporting the emergence of Symbiodinium D following thermal disturbances. These observations are now most easily explained as the disproportionate growth of existing in hospite symbiont populations, rather than novel symbiont acquisition subsequent to bleaching. To evaluate the comparative "fitness" of corals able to host multiple symbiont types, rates of calcification were measured in P. verrucosa hosting either Symbiodinium C1b-c or D1 at elevated temperature. Rates of calcification decreased significantly for both host-symbiont combinations, but differences attributable to symbiont composition were not detected. This research improves our knowledge of the symbiosis biology and ecology of reef corals and contributes information necessary to most accurately predict the response of these ecosystems to global climate changes.

The impact of bandwidth in structured interviewing and criterion stability in predicting and assessing manager performance across transition and maintenance stages

The current study examined the role of three important components in the use of structured employment interviewing in performance prediction: construct bandwidth, observed communication skill, and the stability/dynamicity of performance criteria over time. A matched sample of 242 hospitality managers was derived from a field data set provided by a large hospitality management organization. Interview data and two years of performance appraisal data were provided. Bandwidth analysis demonstrated only minimal differences in prediction between matched predictor-criterion pairs compared with predictor to overall aggregate ratings (unmatched). The communication skill analysis revealed that this interviewer rated observation significantly predicted a number of the individual performance dimensions as well as overall performance over time. Of the five interview items, the strongest overall predictor of performance was interviewer rated communication skill. The stability/dynamicity analyses demonstrated the performance criteria to be generally stable over the two year period examined, which provides support for the long held notion that performance criteria is stabile over time. However, there were two exceptions. The interview dimension customer service orientation had shifting relationships over time with four of the criteria over the two year period. The performance criteria employee development also demonstrated some instability in its relationships with predictors. Thus, some evidence of dynamicity in performance criteria was revealed. Interestingly, both of the most noteworthy findings in the study involved items that were rated differently than the others in the study. The rated interview item communication skill and the rated performance criteria client satisfaction were ratings that involved a more direct level of observation. Additional analyses also revealed evidence of a general factor of performance. These two themes are more fully covered in the discussion.

From stability to insurgency: The root and proximate causes of the September 2002 civil war in Côte d'Ivoire

This dissertation was an analysis of the root and proximate causes of the September 2002 civil war in Côte d’Ivoire. The central question of this study was: Why did Côte d’Ivoire, which was relatively stable under President Houphouët-Boigny, suddenly begin to experience political violence in the 1990s and an explosion in 2002? Côte d’Ivoire was an interesting case because it was stable for a long period of time, apparently making it an infertile ground for conflict. It was also interesting for comparative purposes because of the fact that several states in West Africa (for instance, Benin, Togo, and Ghana) have experienced military coups but not have civil wars. Finally, this case was an opportunity to revisit the debate on the causes of civil wars in the African context. Chapter one has outlined the entire dissertation project and contextualized the analysis that follows in the subsequent chapters. Chapter two has reviewed the literature on civil wars in general, identified the different types of civil wars, and the type the Ivoiran war is. Chapter three has examined the domestic and international political economy as a source of the civil violence in Côte d’Ivoire. Chapter four has examined the role of ethnicity and region as identities of the war, while chapter five has analyzed the role of the foreign relations in the civil war, as well as the regional political context. Chapter six has distinguished between the root and proximate causes of the Ivoirian civil war, made judgments about the relative weight of the various causes, and the extent to which the weight of the causes can be measured. The study found that the “Ivoirité” was the most important trigger of the civil war in Côte d’Ivoire. The overall conclusion of my dissertation was that the September 2002 crisis in that country was a political crisis which occured in the context of a political reform. It first started with succession problems in 1993 followed by the controversial elections in 1995 and 2000. Later, this electoral politics spread beyond electoral issues, namely citizenship matters.

Design optimization of modern machine drive systems for maximum fault tolerant and optimal operation

Modern electric machine drives, particularly three phase permanent magnet machine drive systems represent an indispensable part of high power density products. Such products include; hybrid electric vehicles, large propulsion systems, and automation products. Reliability and cost of these products are directly related to the reliability and cost of these systems. The compatibility of the electric machine and its drive system for optimal cost and operation has been a large challenge in industrial applications. The main objective of this dissertation is to find a design and control scheme for the best compromise between the reliability and optimality of the electric machine-drive system. The effort presented here is motivated by the need to find new techniques to connect the design and control of electric machines and drive systems. ^ A highly accurate and computationally efficient modeling process was developed to monitor the magnetic, thermal, and electrical aspects of the electric machine in its operational environments. The modeling process was also utilized in the design process in form finite element based optimization process. It was also used in hardware in the loop finite element based optimization process. The modeling process was later employed in the design of a very accurate and highly efficient physics-based customized observers that are required for the fault diagnosis as well the sensorless rotor position estimation. Two test setups with different ratings and topologies were numerically and experimentally tested to verify the effectiveness of the proposed techniques. ^ The modeling process was also employed in the real-time demagnetization control of the machine. Various real-time scenarios were successfully verified. It was shown that this process gives the potential to optimally redefine the assumptions in sizing the permanent magnets of the machine and DC bus voltage of the drive for the worst operating conditions. ^ The mathematical development and stability criteria of the physics-based modeling of the machine, design optimization, and the physics-based fault diagnosis and the physics-based sensorless technique are described in detail. ^ To investigate the performance of the developed design test-bed, software and hardware setups were constructed first. Several topologies of the permanent magnet machine were optimized inside the optimization test-bed. To investigate the performance of the developed sensorless control, a test-bed including a 0.25 (kW) surface mounted permanent magnet synchronous machine example was created. The verification of the proposed technique in a range from medium to very low speed, effectively show the intelligent design capability of the proposed system. Additionally, to investigate the performance of the developed fault diagnosis system, a test-bed including a 0.8 (kW) surface mounted permanent magnet synchronous machine example with trapezoidal back electromotive force was created. The results verify the use of the proposed technique under dynamic eccentricity, DC bus voltage variations, and harmonic loading condition make the system an ideal case for propulsion systems.^

Does core strength training influence kinetic efficiency, lower extremity stability, and 5000m performance in runners?

Context: Core strength training (CST) has been popular in the fitness industry for a decade. Although strong core muscles are believed to enhance athletic performance, only few scientific studies have been conducted to identify the effectiveness of CST on improving athletic performance. Objective: Identify the effects of a 6-wk CST on running kinetics, lower extremity stability, and running performance in recreational and competitive runners. Design and Setting: A test-retest, randomized control design was used to assess the effect of CST and no CST on ground reaction force (GRF), lower extremity stability scores, and running performance. Participants: Twenty-eight healthy adults (age, 36.9+9.4yrs, height, 168.4+9.6cm, mass, 70.1+15.3kg) were recruited and randomly divided into two groups. Main outcome Measures: GRF was determined by calculating peak impact vertical GRF (vGRF), peak active vGRF, duration of the breaking or horizontal GRF (hGRF), and duration of the propulsive hGRF as measured while running across a force plate. Lower extremity stability in three directions (anterior, posterior, lateral) was assessed using the Star Excursion Balance Test (SEBT). Running performance was determined by 5000 meter run measured on selected outdoor tracks. Six 2 (time) X 2 (condition) mixed-design ANOVA were used to determine if CST influences on each dependent variable, p < .05. Results: No significant interactions were found for any kinetic variables and SEBT score, p>.05. But 5000m run time showed significant interaction, p < .05. SEBT scores improved in both groups, but more in the experimental group. Conclusion: CST did not significantly influence kinetic efficiency and lower extremity stability, but did influence running performance.

A retrospective-longitudinal examination of the relationship between apportionment of seat time in community-college algebra courses and student academic performance

During the past decade, there has been a dramatic increase by postsecondary institutions in providing academic programs and course offerings in a multitude of formats and venues (Biemiller, 2009; Kucsera & Zimmaro, 2010; Lang, 2009; Mangan, 2008). Strategies pertaining to reapportionment of course-delivery seat time have been a major facet of these institutional initiatives; most notably, within many open-door 2-year colleges. Often, these enrollment-management decisions are driven by the desire to increase market-share, optimize the usage of finite facility capacity, and contain costs, especially during these economically turbulent times. So, while enrollments have surged to the point where nearly one in three 18-to-24 year-old U.S. undergraduates are community college students (Pew Research Center, 2009), graduation rates, on average, still remain distressingly low (Complete College America, 2011). Among the learning-theory constructs related to seat-time reapportionment efforts is the cognitive phenomenon commonly referred to as the spacing effect, the degree to which learning is enhanced by a series of shorter, separated sessions as opposed to fewer, more massed episodes. This ex post facto study explored whether seat time in a postsecondary developmental-level algebra course is significantly related to: course success; course-enrollment persistence; and, longitudinally, the time to successfully complete a general-education-level mathematics course. Hierarchical logistic regression and discrete-time survival analysis were used to perform a multi-level, multivariable analysis of a student cohort (N = 3,284) enrolled at a large, multi-campus, urban community college. The subjects were retrospectively tracked over a 2-year longitudinal period. The study found that students in long seat-time classes tended to withdraw earlier and more often than did their peers in short seat-time classes (p < .05). Additionally, a model comprised of nine statistically significant covariates (all with p-values less than .01) was constructed. However, no longitudinal seat-time group differences were detected nor was there sufficient statistical evidence to conclude that seat time was predictive of developmental-level course success. A principal aim of this study was to demonstrate—to educational leaders, researchers, and institutional-research/business-intelligence professionals—the advantages and computational practicability of survival analysis, an underused but more powerful way to investigate changes in students over time.

Algebraic Theory of Minimal Nondeterministic Finite Automata with Applications

Since the 1950s, the theory of deterministic and nondeterministic finite automata (DFAs and NFAs, respectively) has been a cornerstone of theoretical computer science. In this dissertation, our main object of study is minimal NFAs. In contrast with minimal DFAs, minimal NFAs are computationally challenging: first, there can be more than one minimal NFA recognizing a given language; second, the problem of converting an NFA to a minimal equivalent NFA is NP-hard, even for NFAs over a unary alphabet. Our study is based on the development of two main theories, inductive bases and partials, which in combination form the foundation for an incremental algorithm, ibas, to find minimal NFAs. An inductive basis is a collection of languages with the property that it can generate (through union) each of the left quotients of its elements. We prove a fundamental characterization theorem which says that a language can be recognized by an n-state NFA if and only if it can be generated by an n-element inductive basis. A partial is an incompletely-specified language. We say that an NFA recognizes a partial if its language extends the partial, meaning that the NFA's behavior is unconstrained on unspecified strings; it follows that a minimal NFA for a partial is also minimal for its language. We therefore direct our attention to minimal NFAs recognizing a given partial. Combining inductive bases and partials, we generalize our characterization theorem, showing that a partial can be recognized by an n-state NFA if and only if it can be generated by an n-element partial inductive basis. We apply our theory to develop and implement ibas, an incremental algorithm that finds minimal partial inductive bases generating a given partial. In the case of unary languages, ibas can often find minimal NFAs of up to 10 states in about an hour of computing time; with brute-force search this would require many trillions of years.

From Stability to Insurgency: The Root and Proximate Causes of the September 2002 Civil War in Cote d'Ivoire

This dissertation was an analysis of the root and proximate causes of the September 2002 civil war in Côte d’Ivoire. The central question of this study was: Why did Côte d’Ivoire, which was relatively stable under President Houphouët-Boigny, suddenly begin to experience political violence in the 1990s and an explosion in 2002? Côte d’Ivoire was an interesting case because it was stable for a long period of time, apparently making it an infertile ground for conflict. It was also interesting for comparative purposes because of the fact that several states in West Africa (for instance, Benin, Togo, and Ghana) have experienced military coups but not have civil wars. Finally, this case was an opportunity to revisit the debate on the causes of civil wars in the African context. Chapter one has outlined the entire dissertation project and contextualized the analysis that follows in the subsequent chapters. Chapter two has reviewed the literature on civil wars in general, identified the different types of civil wars, and the type the Ivoiran war is. Chapter three has examined the domestic and international political economy as a source of the civil violence in Côte d’Ivoire. Chapter four has examined the role of ethnicity and region as identities of the war, while chapter five has analyzed the role of the foreign relations in the civil war, as well as the regional political context. Chapter six has distinguished between the root and proximate causes of the Ivoirian civil war, made judgments about the relative weight of the various causes, and the extent to which the weight of the causes can be measured. The study found that the “Ivoirité” was the most important trigger of the civil war in Côte d’Ivoire. The overall conclusion of my dissertation was that the September 2002 crisis in that country was a political crisis which occured in the context of a political reform. It first started with succession problems in 1993 followed by the controversial elections in 1995 and 2000. Later, this electoral politics spread beyond electoral issues, namely citizenship matters.

Spatial and temporal stability of soil microbial properties in the Jena Experiment (Germany) from 2003-2014

The study was carried out on the main plots of a large grassland biodiversity experiment (the Jena Experiment). In the main experiment, 82 grassland plots of 20 x 20 m were established from a pool of 60 species belonging to four functional groups (grasses, legumes, tall and small herbs). In May 2002, varying numbers of plant species from this species pool were sown into the plots to create a gradient of plant species richness (1, 2, 4, 8, 16 and 60 species) and functional richness (1, 2, 3, 4 functional groups). Plots were maintained by bi-annual weeding and mowing. We tracked soil microbial basal respiration (BR; µlO2/g dry soil/h) and biomass carbon (Cmic; µgC/g dry soil) over a time period of 12 years (2003-2014) and examined the role of plant diversity and plant functional group composition for the spatial and temporal stability (calculated as mean/SD) of soil microbial properties (basal respiration and biomass) in bulk-soil. Our results highlight the importance of plant functional group composition for the spatial and temporal stability of soil microbial properties, and hence for microbially-driven ecosystem processes, such as decomposition and element cycling, in temperate semi-natural grassland.

A influência do amortecimento viscoelástico na estabilidade aeroelástica de painéis aeronáuticos

Since the creation of supersonic vehicles, during the Second World War, the engineers have given special attention to the interaction between the aerodynamic efforts and the structures of the aircrafts due to a highly destructive phenomenon called flutter in aeronautical panel. Flutter in aeronautical panels is a self-excited aeroelastic phenomenon, which can occurs during supersonic flights due to dynamic instability of inertia, elastic and aerodynamic forces of the system. In the flutter condition, when the critical aerodynamic pressure is reached, the vibration amplitudes of the panel become dynamically unstable and increase exponentially with time, affecting significantly the fatigue life of the existing aeronautical components. Thus, in this paper, the interest is to investigate the possibility of reducing the effects of the supersonic aeroelastic instability of rectangular plates by applying passive constrained viscoelastic layers. The rationale for such study is the fact that as the addition of viscoelastic materials provides decreased vibration amplitudes it becomes important to quantify the suppression of plate flutter coalescence modes that can be obtained. Moreover, despite the fact that much research on the suppression of panel flutter has been carried out by using passive, semi-active and active control techniques, very few of them are adapted to deal with the problem of estimating the flutter speeds of viscoelastic systems, since they must conveniently account for the frequency- and temperature-dependent behavior of the viscoelastic material. In this context, two different model of viscoelastic material are developed and applied to the model of sandwich plate by using finite elements. After the presentation of the theoretical foundations of the methodology, the description of a numerical study on the flutter analysis of a three-layer sandwich plate is addressed.

Control of pattern formation by time-delay feedback with global and local contributions

We consider the suppression of spatiotemporal chaos in the complex GinzburgLandau equation by a combined global and local time-delay feedback. Feedback terms are implemented as a control scheme, i.e., they are proportional to the difference between the time-delayed state of the system and its current state. We perform a linear stability analysis of uniform oscillations with respect to space-dependent perturbations and compare with numerical simulations. Similarly, for the fixed-point solution that corresponds to amplitude death in the spatially extended system, a linear stability analysis with respect to space-dependent perturbations is performed and complemented by numerical simulations. © 2010 Elsevier B.V. All rights reserved.

The Validity of Broad and Narrow Personality Traits For Predicting Job Performance: The Differential Effects of Time

Research into the dynamicity of job performance criteria has found evidence suggesting the presence of rank-order changes to job performance scores across time as well as intraindividual trajectories in job performance scores across time. These findings have influenced a large body of research into (a) the dynamicity of validities of individual differences predictors of job performance and (b) the relationship between individual differences predictors of job performance and intraindividual trajectories of job performance. In the present dissertation, I addressed these issues within the context of the Five Factor Model of personality. The Five Factor Model is arranged hierarchically, with five broad higher-order factors subsuming a number of more narrowly tailored personality facets. Research has debated the relative merits of broad versus narrow traits for predicting job performance, but the entire body of research has addressed the issue from a static perspective -- by examining the relative magnitude of validities of global factors versus their facets. While research along these lines has been enlightening, theoretical perspectives suggest that the validities of global factors versus their facets may differ in their stability across time. Thus, research is needed to not only compare the relative magnitude of validities of global factors versus their facets at a single point in time, but also to compare the relative stability of validities of global factors versus their facets across time. Also necessary to advance cumulative knowledge concerning intraindividual performance trajectories is research into broad vs. narrow traits for predicting such trajectories. In the present dissertation, I addressed these issues using a four-year longitudinal design. The results indicated that the validities of global conscientiousness were stable across time, while the validities of conscientiousness facets were more likely to fluctuate. However, the validities of emotional stability and extraversion facets were no more likely to fluctuate across time than those of the factors. Finally, while some personality factors and facets predicted performance intercepts (i.e., performance at the first measurement occasion), my results failed to indicate a significant effect of any personality variable on performance growth. Implications for research and practice are discussed.

Collection of measurements on environmental conditions in plots of the Jena Experiment (time series since 2002)

This collection contains measurements of environmental conditions measured on the plots of the different sub-experiments at the field site of a large grassland biodiversity experiment (the Jena Experiment; see further details below). In the main experiment, 82 grassland plots of 20 x 20 m were established from a pool of 60 species belonging to four functional groups (grasses, legumes, tall and small herbs). In May 2002, varying numbers of plant species from this species pool were sown into the plots to create a gradient of plant species richness (1, 2, 4, 8, 16 and 60 species) and functional richness (1, 2, 3, 4 functional groups). Plots were maintained by bi-annual weeding and mowing. The following series of datasets are contained in this collection: 1.Soil temperature measurements on plots of the Main Experiment; 2. Quantification of the duration that individual plots of the Main Experiment were submerged during a flooding event occurring in June 2013

Reconsidering the Origins of Forsbergh Birefringence Patterns

In 1949, P. W. Forsbergh Jr. reported spontaneous spatial ordering in the birefringence patterns seen in flux-grown BaTiO3 crystals [1], under the transmission polarized light microscope [2]. Stunningly regular square-net arrays were often only found within a finite temperature window and could be induced on both heating and cooling, suggesting genuine thermodynamic stability. At the time, Forsbergh rationalized the patterns to have resulted from the impingement of ferroelastic domains, creating a complex tessellation of variously shaped domain packets. However, evidence for the intricate microstructural arrangement proposed by Forsbergh has never been found. Moreover, no robust thermodynamic argument has been presented to explain the region of thermal stability, its occurrence just below the Curie Temperature and the apparent increase in entropy associated with the loss of the Forsbergh pattern on cooling. As a result, despite decades of research on ferroelectrics, this ordering phenomenon and its thermodynamic origin have remained a mystery. In this paper, we re-examine the microstructure of flux-grown BaTiO3 crystals, which show Forsbergh birefringence patterns. Given an absence of any obvious arrays of domain polyhedra, or even regular shapes of domain packets, we suggest an alternative origin for the Forsbergh pattern, in which sheets of orthogonally oriented ferroelastic stripe domains simply overlay one another. We show explicitly that the Forsbergh birefringence pattern occurs if the periodicity of the stripe domains is above a critical value. Moreover, by considering well-established semiempirical models, we show that the significant domain coarsening needed to generate the Forsbergh birefringence is fully expected in a finite window below the Curie Temperature. We hence present a much more straightforward rationalization of the Forsbergh pattern than that originally proposed, in which exotic thermodynamic arguments are unnecessary.