Molecular Genetic Basis of Opposite Gene by Environment Interactions in Reading Disability and Attention Deficit/Hyperactivity Disorder

The goal of this study is to better understand the genetic basis of Reading Disability (RD) and Attention Deficit Hyperactivity Disorder (ADHD) by examining molecular G x E interactions with parental education for each disorder. Research indicates that despite sharing genetic risk factors, RD and ADHD are influenced by different types of G x E interactions with parental education - a diathesis stress interaction in the case of ADHD and a bioecological interaction in RD. In order to resolve this apparent paradox, we conducted a preliminary study using behavioral genetic methods to test for G x E interactions in RD and the inattentive subtype of ADHD (ADHD-I) in the same sample of monozygotic and dizygotic Colorado Learning Disabilities Research Center same-sex twin pairs (DeFries et al., 1997), and our findings were consistent with the literature. We posited a genetic hypothesis for this opposite pattern of interactions, which suggests that only genes specific to each disorder enter into these opposite interactions, not the shared genes underlying their comorbidity. This study sought to further investigate this paradox using molecular genetics methods. We examined multiple candidate genes identified for RD or related language phenotypes and those identified for ADHD for G x E interactions with parental education. The specific aims of this study were as follows: 1) partition known risk alleles for RD and/or related language phenotypes and ADHD-I into those which are pleiotropic and non-pleiotropic by testing each risk allele for association with both RD and ADHD-I, 2) explore the main effects of parental education on both RD and ADHD-I, 3) address G-E correlations, and 4) conduct exploratory G x E interaction analyses in order to test the genetic hypothesis. Analyses suggested a number of pleiotropic genes that influence both RD and ADHD; however, results did not remain after correcting for multiple comparisons. Although exploratory G x E interaction findings were not significant after multiple comparison correction, results suggested a G x E interaction in the bioecological direction with KIAA0319, parental education, and ADHD-I. Given the limited power in the current study, replication of these findings with larger samples is necessary.

The effects of body position on distortion-product Otoacoustic emission testing

Otoacoustic emissions are frequently acquired from patients in a variety of body positions aside from the standard, seated orientation. Yet little knowledge is available regarding whether these deviations will produce nonpathological changes to the clinical results obtained. The present study aimed to describe the effects of body position on the distortion-product otoacoustic emissions of 60 normal-hearing adults. With particular attention given to common clinical practice, the Otodynamics ILO292, and the measurement parameters of amplitude, signal-to-noise ratio, and noise were utilized. Significant position-related effects and interactions were revealed for all parameters. Specifically, stronger emissions in the mid frequencies and higher noise levels at the extreme low and high frequencies were produced by testing subjects while lying on their side compared with the seated position. Further analysis of body position effects on emissions is warranted, in order to determine the need for clinical application of position-dependent normative data.

Development and testing of the Elderly Social Vulnerability Index (ESVI): A composite indicator to measure social vulnerability in the Jamaican elderly population

Over the last two decades social vulnerability has emerged as a major area of study, with increasing attention to the study of vulnerable populations. Generally, the elderly are among the most vulnerable members of any society, and widespread population aging has led to greater focus on elderly vulnerability. However, the absence of a valid and practical measure constrains the ability of policy-makers to address this issue in a comprehensive way. This study developed a composite indicator, The Elderly Social Vulnerability Index (ESVI), and used it to undertake a comparative analysis of the availability of support for elderly Jamaicans based on their access to human, material and social resources. The results of the ESVI indicated that while the elderly are more vulnerable overall, certain segments of the population appear to be at greater risk. Females had consistently lower scores than males, and the oldest-old had the highest scores of all groups of older persons. Vulnerability scores also varied according to place of residence, with more rural parishes having higher scores than their urban counterparts. These findings support the political economy framework which locates disadvantage in old age within political and ideological structures. The findings also point to the pervasiveness and persistence of gender inequality as argued by feminist theories of aging. Based on the results of the study it is clear that there is a need for policies that target specific population segments, in addition to universal policies that could make the experience of old age less challenging for the majority of older persons. Overall, the ESVI has displayed usefulness as a tool for theoretical analysis and demonstrated its potential as a policy instrument to assist decision-makers in determining where to target their efforts as they seek to address the issue of social vulnerability in old age. Data for this study came from the 2001 population and housing census of Jamaica, with multiple imputation for missing data. The index was derived from the linear aggregation of three equally weighted domains, comprised of eleven unweighted indicators which were normalized using z-scores. Indicators were selected based on theoretical relevance and data availability.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

The Hurst exponent as an indicator of the behaviour of a model monopile in an ocean wave testing basin

With the importance of renewable energy well-established worldwide, and targets of such energy quantified in many cases, there exists a considerable interest in the assessment of wind and wave devices. While the individual components of these devices are often relatively well understood and the aspects of energy generation well researched, there seems to be a gap in the understanding of these devices as a whole and especially in the field of their dynamic responses under operational conditions. The mathematical modelling and estimation of their dynamic responses are more evolved but research directed towards testing of these devices still requires significant attention. Model-free indicators of the dynamic responses of these devices are important since it reflects the as-deployed behaviour of the devices when the exposure conditions are scaled reasonably correctly, along with the structural dimensions. This paper demonstrates how the Hurst exponent of the dynamic responses of a monopile exposed to different exposure conditions in an ocean wave basin can be used as a model-free indicator of various responses. The scaled model is exposed to Froude scaled waves and tested under different exposure conditions. The analysis and interpretation is carried out in a model-free and output-only environment, with only some preliminary ideas regarding the input of the system. The analysis indicates how the Hurst exponent can be an interesting descriptor to compare and contrast various scenarios of dynamic response conditions.

Development and Testing of the Elderly Social Vulnerability Index (ESVI): A Composite Indicator to Measure Social Vulnerability in the Jamaican Elderly Population

Over the last two decades social vulnerability has emerged as a major area of study, with increasing attention to the study of vulnerable populations. Generally, the elderly are among the most vulnerable members of any society, and widespread population aging has led to greater focus on elderly vulnerability. However, the absence of a valid and practical measure constrains the ability of policy-makers to address this issue in a comprehensive way. This study developed a composite indicator, The Elderly Social Vulnerability Index (ESVI), and used it to undertake a comparative analysis of the availability of support for elderly Jamaicans based on their access to human, material and social resources. The results of the ESVI indicated that while the elderly are more vulnerable overall, certain segments of the population appear to be at greater risk. Females had consistently lower scores than males, and the oldest-old had the highest scores of all groups of older persons. Vulnerability scores also varied according to place of residence, with more rural parishes having higher scores than their urban counterparts. These findings support the political economy framework which locates disadvantage in old age within political and ideological structures. The findings also point to the pervasiveness and persistence of gender inequality as argued by feminist theories of aging. Based on the results of the study it is clear that there is a need for policies that target specific population segments, in addition to universal policies that could make the experience of old age less challenging for the majority of older persons. Overall, the ESVI has displayed usefulness as a tool for theoretical analysis and demonstrated its potential as a policy instrument to assist decision-makers in determining where to target their efforts as they seek to address the issue of social vulnerability in old age. Data for this study came from the 2001 population and housing census of Jamaica, with multiple imputation for missing data. The index was derived from the linear aggregation of three equally weighted domains, comprised of eleven unweighted indicators which were normalized using z-scores. Indicators were selected based on theoretical relevance and data availability.

Answering questions after initial study guides attention during restudy

Though the testing-effect can be boosted by including a restudy phase after answering test questions, we do not know precisely why it does so. One possible explanation is being tested here. The present study measured attention allocation during initial reading and rereading with a remote eye tracker to gain information on the cognitive processes during restudy, with and without prior testing. The results show that at the final study moment, students in the study-test-condition attended longer to information pertaining to the initial test questions as compared to students in the study-only condition (i.e., who did not take the test). No differences in attention allocation were found for information only questioned on a posttest 1 week later. In addition, it was found that performance on the initial test questions heavily affected which information students restudy; students in the study-test-condition paid namely more attention to the answers of questions they answered incorrectly during the initial test than to the answers of the questions they answered correctly on the initial test

The Effect of Dietary Tartrazine on Brain Dopamine and the Behavioral Symptoms of Attention Deficit Hyperactivity Disorder

Attention Deficit Hyperactivity Disorder is a neurodevelopmental disorder correlated with a decrease in brain dopamine and an increase in behavioral symptoms of hyperactivity and impulsivity. This experiment explored how tartrazine (Yellow #5) impacts these symptoms. After tartrazine administration to Spontaneously Hypertensive Rats (SHR), dopamine concentrations in regions of brain tissue were measured using Enzyme-Linked Immunosorbent Assay analysis. Behavioral testing with a T-maze and open field test measured impulsivity and hyperactivity, respectively. Results indicate that dietary tartrazine increases hyperactive behaviors in the SHR. However, results do not indicate a relationship between dietary tartrazine and brain dopamine. No conclusions regarding the relationship between dietary tartrazine and impulsivity were drawn.

Aging and semantic integration in sentence processing: Testing the cognitive workload of wrap-up

The current study investigated the cognitive workload of sentence and clause wrap-up in younger and older readers. A large number of studies have demonstrated the presence of wrap-up effects, peaks in processing time at clause and sentence boundaries that some argue reflect attention to organizational and integrative semantic processes. However, the exact nature of these wrap-up effects is still not entirely clear, with some arguing that wrap-up is not related to processing difficulty, but rather is triggered by a low-level oculomotor response or the implicit monitoring of intonational contour. The notion that wrap-up effects are resource-demanding was directly tested by examining the degree to which sentence and clause wrap-up affects the parafoveal preview benefit. Older and younger adults read passages in which a target word N occurred in a sentence-internal, clause-final, or sentence-final position. A gaze-contingent boundary change paradigm was used in which, on some trials, a non-word preview of word N+1 was replaced by a target word once the eyes crossed an invisible boundary located between words N and N+1. All measures of reading time on word N were longer at clause and sentence boundaries than in the sentence-internal position. In the earliest measures of reading time, sentence and clause wrap-up showed evidence of reducing the magnitude of the preview benefit similarly for younger and older adults. However, this effect was moderated by age in gaze duration, such that older adults showed a complete reduction in the preview benefit in the sentence-final condition. Additionally, sentence and clause wrap-up were negatively associated with the preview benefit. Collectively, the findings from the current study suggest that wrap-up is cognitively demanding and may be less efficient with age, thus, resulting in a reduction of the parafoveal preview during normal reading.

Considerations associated with the testing of external pipeline coatings

Reliable testing methodologies for the assessment of protective coatings are critical for ensuring the integrity and durability of pipeline coatings (such as field joint coatings) and the mitigation of pipeline corrosion. Currently the failure of joint coatings is one of the major concerns in corrosion protection of pipelines, although they represent only approximately 5% of the coated area in a pipeline system. This paper presents an overview of major testing methodologies currently used in the pipeline industry for the selection, testing, and life prediction of coatings, in particular field joint coatings. Particular focus is on the discussion of difficulties and limitations in testing methods for assessing pipeline coating cracking, cathodic disbondment and loss of adhesion. It is shown that there are limitations in current methodologies in evaluating the coating flexibility - a key parameter for avoiding coatings cracking during hydrostatic testing, cyclic pressure operation and field bending. Methodologies for assessing the effect of holidays in coatings on the cathodic disbondment of pipeline coating under excessively negative cathodic protection (CP) voltages also require improvement. Furthermore, methods for understanding the effects of coating wet adhesion on pipeline coating, cracking and disbondment also need attention. Some preliminary results for addressing some of these issues are also presented in this paper.

An effective energy testing framework for cloud workflow activities

Cloud computing as the latest computing paradigm has shown its promising future in business workflow systems facing massive concurrent user requests and complicated computing tasks. With the fast growth of cloud data centers, energy management especially energy monitoring and saving in cloud workflow systems has been attracting increasing attention. It is obvious that the energy for running a cloud workflow instance is mainly dependent on the energy for executing its workflow activities. However, existing energy management strategies mainly monitor the virtual machines instead of the workflow activities running on them, and hence it is difficult to directly monitor and optimize the energy consumption of cloud workflows. To address such an issue, in this paper, we propose an effective energy testing framework for cloud workflow activities. This framework can help to accurately test and analyze the baseline energy of physical and virtual machines in the cloud environment, and then obtain the energy consumption data of cloud workflow activities. Based on these data, we can further produce the energy consumption model and apply energy prediction strategies. Our experiments are conducted in an OpenStack based cloud computing environment. The effectiveness of our framework has been successfully verified through a detailed case study and a set of energy modelling and prediction experiments based on representative time-series models.

A systematic mapping study of mobile application testing techniques

The importance of mobile application specific testing techniques and methods has been attracting much attention of software engineers over the past few years. This is due to the fact that mobile applications are different than traditional web and desktop applications, and more and more they are moving to being used in critical domains. Mobile applications require a different approach to application quality and dependability and require an effective testing approach to build high quality and more reliable software. We performed a systematic mapping study to categorize and to structure the research evidence that has been published in the area of mobile application testing techniques and challenges that they have reported. Seventy nine (79) empirical studies are mapped to a classification schema. Several research gaps are identified and specific key testing issues for practitioners are identified: there is a need for eliciting testing requirements early during development process; the need to conduct research in real-world development environments; specific testing techniques targeting application life-cycle conformance and mobile services testing; and comparative studies for security and usability testing.

Stress-testing centralised model stores

One of the current challenges in model-driven engineering is enabling effective collaborative modelling. Two common approaches are either storing the models in a central repository, or keeping them under a traditional file-based version control system and build a centralized index for model-wide queries. Either way, special attention must be paid to the nature of these repositories and indexes as networked services: they should remain responsive even with an increasing number of concurrent clients. This paper presents an empirical study on the impact of certain key decisions on the scalability of concurrent model queries, using an Eclipse Connected Data Objects model repository and a Hawk model index. The study evaluates the impact of the network protocol, the API design and the internal caching mechanisms and analyzes the reasons for their varying performance.

Mapping and modulating spatial attention asymmetries in young and older adults

Healthy young adults demonstrate a group-level, systematic preference for stimuli presented in the left side of space relative to the right (‘pseudoneglect’) (Bowers & Heilman, 1980). This results in an overestimation of features such as size, brightness, numerosity and spatial frequency in the left hemispace, probably as a result of right cerebral hemisphere dominance for visuospatial attention. This spatial attention asymmetry is reduced in the healthy older population, and can be shifted entirely into right hemispace under certain conditions. Although this rightward shift has been consistently documented in behavioural experiments, there is very little neuroimaging evidence to explain this effect at a neuroanatomical level. In this thesis, I used behavioural methodology and electroencephalography (EEG) to map spatial attention asymmetries in young and older adults. I then use transcranial direct current stimulation (tDCS) to modulate these spatial biases, with the aim of assessing age-related differences in response to tDCS. In the first of three experiments presented in this thesis, I report in Chapter Two that five different spatial attention tasks provide consistent intra-task measures of spatial bias in young adults across two testing days. There were, however, no inter-task correlations between the five tasks, indicating that pseudoneglect is at least partially driven by task-dependent patterns of neural activity. In Chapter Three, anodal tDCS was applied separately to the left (P5) and right (P6) posterior parietal cortex (PPC) in young and older adults, with an aim to improve the detection of stimuli appearing in the contralateral visual field. There were no age differences in response to tDCS, but there were significant differences depending on baseline performance. Relative to a sham tDCS protocol, tDCS applied to the right PPC resulted in maintained visual detection across both visual fields in adults who were good at the task at baseline. In contrast, left PPC tDCS resulted in reduced detection sensitivity across both visual fields in poor performers. Finally, in Chapter Four, I report a right-hemisphere lateralisation of EEG activity in young adults that was present for long (but not short) landmark task lines. In contrast, older adults demonstrated no lateralised activity for either line length, thus providing novel evidence of an age-related reduction of hemispheric asymmetry in older adults. The results of this thesis provide evidence of a highly complex set of factors that underlie spatial attention asymmetries in healthy young and older adults.