2,177 research outputs found

    The impact of sound field systems on learning and attention in elementary school classrooms

    Get PDF
    Purpose: An evaluation of the installation and use of sound field systems (SFS) was carried out to investigate their impact on teaching and learning in elementary school classrooms. Methods: The evaluation included acoustic surveys of classrooms, questionnaire surveys of students and teachers and experimental testing of students with and without the use of SFS. Students ’ perceptions of classroom environments and objective data evaluating change in performance on cognitive and academic assessments with amplification over a six month period are reported. Results: Teachers were positive about the use of SFS in improving children’s listening and attention to verbal instructions. Over time students in amplified classrooms did not differ from those in nonamplified classrooms in their reports of listening conditions, nor did their performance differ in measures of numeracy, reading or spelling. Use of SFS in the classrooms resulted in significantly larger gains in performance in the number of correct items on the nonverbal measure of speed of processing and the measure of listening comprehension. Analysis controlling for classroom acoustics indicated that students ’ listening comprehension score

    Acceptability with general orderings

    Full text link
    We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future

    Investigating the physical properties of transiting hot Jupiters with the 1.5-m Kuiper Telescope

    Full text link
    We present new photometric data of 11 hot Jupiter transiting exoplanets (CoRoT-12b, HAT-P-5b, HAT-P-12b, HAT-P-33b, HAT-P-37b, WASP-2b, WASP-24b, WASP-60b, WASP-80b, WASP-103b, XO-3b) in order to update their planetary parameters and to constrain information about their atmospheres. These observations of CoRoT-12b, HAT-P-37b and WASP-60b are the first follow-up data since their discovery. Additionally, the first near-UV transits of WASP-80b and WASP-103b are presented. We compare the results of our analysis with previous work to search for transit timing variations (TTVs) and a wavelength dependence in the transit depth. TTVs may be evidence of a third body in the system and variations in planetary radius with wavelength can help constrain the properties of the exoplanet's atmosphere. For WASP-103b and XO-3b, we find a possible variation in the transit depths that may be evidence of scattering in their atmospheres. The B-band transit depth of HAT-P-37b is found to be smaller than its near-IR transit depth and such a variation may indicate TiO/VO absorption. These variations are detected from 2-4.6σ\sigma, so follow-up observations are needed to confirm these results. Additionally, a flat spectrum across optical wavelengths is found for 5 of the planets (HAT-P-5b, HAT-P-12b, WASP-2b, WASP-24b, WASP-80b), suggestive that clouds may be present in their atmospheres. We calculate a refined orbital period and ephemeris for all the targets, which will help with future observations. No TTVs are seen in our analysis with the exception of WASP-80b and follow-up observations are needed to confirm this possible detection.Comment: 18 pages, 7 figures, 9 Tables. Light Curves available online. Accepted to MNRAS (2017 August 25

    Order-Revealing Encryption and the Hardness of Private Learning

    Full text link
    An order-revealing encryption scheme gives a public procedure by which two ciphertexts can be compared to reveal the ordering of their underlying plaintexts. We show how to use order-revealing encryption to separate computationally efficient PAC learning from efficient (ϵ,δ)(\epsilon, \delta)-differentially private PAC learning. That is, we construct a concept class that is efficiently PAC learnable, but for which every efficient learner fails to be differentially private. This answers a question of Kasiviswanathan et al. (FOCS '08, SIAM J. Comput. '11). To prove our result, we give a generic transformation from an order-revealing encryption scheme into one with strongly correct comparison, which enables the consistent comparison of ciphertexts that are not obtained as the valid encryption of any message. We believe this construction may be of independent interest.Comment: 28 page

    The production of nominal and verbal inflection in an agglutinative language: evidence from Hungarian

    Get PDF
    The contrast between regular and irregular inflectional morphology has been useful in investigating the functional and neural architecture of language. However, most studies have examined the regular/irregular distinction in non-agglutinative Indo-European languages (primarily English) with relatively simple morphology. Additionally, the majority of research has focused on verbal rather than nominal inflectional morphology. The present study attempts to address these gaps by introducing both plural and past tense production tasks in Hungarian, an agglutinative non-Indo-European language with complex morphology. Here we report results on these tasks from healthy Hungarian native-speaking adults, in whom we examine regular and irregular nominal and verbal inflection in a within-subjects design. Regular and irregular nouns and verbs were stem on frequency, word length and phonological structure, and both accuracy and response times were acquired. The results revealed that the regular/irregular contrast yields similar patterns in Hungarian, for both nominal and verbal inflection, as in previous studies of non-agglutinative Indo-European languages: the production of irregular inflected forms was both less accurate and slower than of regular forms, both for plural and past-tense inflection. The results replicate and extend previous findings to an agglutinative language with complex morphology. Together with previous studies, the evidence suggests that the regular/irregular distinction yields a basic behavioral pattern that holds across language families and linguistic typologies. Finally, the study sets the stage for further research examining the neurocognitive substrates of regular and irregular morphology in an agglutinative non-Indo-European language

    Language control and parallel recovery of language in individuals with aphasia

    Get PDF
    Background: The causal basis of the different patterns of language recovery following stroke in bilingual speakers is not well understood. Our approach distinguishes the representation of language from the mechanisms involved in its control. Previous studies have suggested that difficulties in language control can explain selective aphasia in one language as well as pathological switching between languages. Here we test the hypothesis that difficulties in managing and resolving competition will also be observed in those who are equally impaired in both their languages even in the absence of pathological switching. Aims: To examine difficulties in language control in bilingual individuals with parallel recovery in aphasia and to compare their performance on different types of conflict task. Methods & procedures: Two right-handed, non-native English-speaking participants who showed parallel recovery of two languages after stroke and a group of non-native English-speaking, bilingual controls described a scene in English and in their first language and completed three explicit conflict tasks. Two of these were verbal conflict tasks: a lexical decision task in English, in which individuals distinguished English words from non-words, and a Stroop task, in English and in their first language. The third conflict task was a non-verbal flanker task. Outcomes & Results: Both participants with aphasia were impaired in the picture description task in English and in their first language but showed different patterns of impairment on the conflict tasks. For the participant with left subcortical damage, conflict was abnormally high during the verbal tasks (lexical decision and Stroop) but not during the non-verbal flanker task. In contrast, for the participant with extensive left parietal damage, conflict was less abnormal during the Stroop task than the flanker or lexical decision task. Conclusions: Our data reveal two distinct control impairments associated with parallel recovery. We stress the need to explore the precise nature of control problems and how control is implemented in order to develop fuller causal accounts of language recovery patterns in bilingual aphasia

    A Meta-Brokering Framework for Science Gateways

    Get PDF
    Recently scientific communities produce a growing number of computation-intensive applications, which calls for the interoperation of distributed infrastructures including Clouds, Grids and private clusters. The European SHIWA and ER-flow projects have enabled the combination of heterogeneous scientific workflows, and their execution in a large-scale system consisting of multiple Distributed Computing Infrastructures. One of the resource management challenges of these projects is called parameter study job scheduling. A parameter study job of a workflow generally has a large number of input files to be consumed by independent job instances. In this paper we propose a meta-brokering framework for science gateways to support the execution of such workflows. In order to cope with the high uncertainty and unpredictable load of the utilized distributed infrastructures, we introduce the so called resource priority services. These tools are capable of determining and dynamically updating priorities of the available infrastructures to be selected for job instances. Our evaluations show that this approach implies an efficient distribution of job instances among the available computing resources resulting in shorter makespan for parameter study workflows
    corecore