360 research outputs found

    Polyteam Semantics

    Get PDF
    Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define "Polyteam Semantics" in which formulae are evaluated over a family of teams. We begin by defining a novel polyteam variant of dependence atoms and give a finite axiomatisation for the associated implication problem. We also characterise the expressive power of poly-dependence logic by properties of polyteams that are downward closed and definable in existential second-order logic (ESO). The analogous result is shown to hold for poly-independence logic and all ESO-definable properties.Peer reviewe

    Worth a Glance: Using Eye Movements to Investigate the Cognitive Neuroscience of Memory

    Get PDF
    Results of several investigations indicate that eye movements can reveal memory for elements of previous experience. These effects of memory on eye movement behavior can emerge very rapidly, changing the efficiency and even the nature of visual processing without appealing to verbal reports and without requiring conscious recollection. This aspect of eye movement based memory investigations is particularly useful when eye movement methods are used with special populations (e.g., young children, elderly individuals, and patients with severe amnesia), and also permits use of comparable paradigms in animals and humans, helping to bridge different memory literatures and permitting cross-species generalizations. Unique characteristics of eye movement methods have produced findings that challenge long-held views about the nature of memory, its organization in the brain, and its failures in special populations. Recently, eye movement methods have been successfully combined with neuroimaging techniques such as fMRI, single-unit recording, and magnetoencephalography, permitting more sophisticated investigations of memory. Ultimately, combined use of eye-tracking with neuropsychological and neuroimaging methods promises to provide a more comprehensive account of brain–behavior relationships and adheres to the “converging evidence” approach to cognitive neuroscience

    Confidence and competence with mathematical procedures

    Get PDF
    Confidence assessment (CA), in which students state alongside each of their answers a confidence level expressing how certain they are, has been employed successfully within higher education. However, it has not been widely explored with school pupils. This study examined how school mathematics pupils (N = 345) in five different secondary schools in England responded to the use of a CA instrument designed to incentivise the eliciting of truthful confidence ratings in the topic of directed (positive and negative) numbers. Pupils readily understood the negative marking aspect of the CA process and their facility correlated with their mean confidence with r = .546, N = 336, p < .001, indicating that pupils were generally well calibrated. Pupils’ comments indicated that the vast majority were positive about the CA approach, despite its dramatic differences from more usual assessment practices in UK schools. Some pupils felt that CA promoted deeper thinking, increased their confidence and had a potential role to play in classroom formative assessment

    Classic and recent advances in understanding amnesia

    Get PDF
    Neurological amnesia has been and remains the focus of intense study, motivated by the drive to understand typical and atypical memory function and the underlying brain basis that is involved. There is now a consensus that amnesia associated with hippocampal (and, in many cases, broader medial temporal lobe) damage results in deficits in episodic memory, delayed recall, and recollective experience. However, debate continues regarding the patterns of preservation and impairment across a range of abilities, including semantic memory and learning, delayed recognition, working memory, and imagination. This brief review highlights some of the influential and recent advances in these debates and what they may tell us about the amnesic condition and hippocampal function

    The WMO SPICE snow-on-ground intercomparison: an overview of sensor assessment and recommendations on best practices

    Get PDF
    Comunicación presentada en: TECO-2016 (Technical Conference on Meteorological and Environmental Instruments and Methods of Observation) celebrada en Madrid, del 27 al 30 de septiembre de 2016.One of the objectives of the WMO Solid Precipitation Intercomparison Experiment (SPICE) was to assess the performance and capabilities of automated sensors for measuring snow on the ground (SoG), including sensors that measure snow depth and snow water equivalent (SWE). The intercomparison focused on five snow depth sensors (models SHM30, SL300, SR50A, FLS-CH 10 and USH-8) and two SWE sensors (models CS725 and SSG1000) over two winter seasons (2013/2014 and 2014/2015). A brief discussion of the measurement reference(s) and an example of the intercomparisons are included. Generally, each of the sensors under test operated according to the manufacturer’s specifications and compared well with the site references, exhibiting high correlations with both the manual and automated reference measurements. The use of natural and artificial surface targets under snow depth sensors were examined in the context of providing a stable and representative surface for snow depth measurements. An assessment of sensor derived measurement quality and sensor return signal strength, where available as an output option, were analysed to help explain measurement outliers and sources of uncertainty with the goal of improving data quality and maximizing the sensor capabilities. Finally, where possible, relationships are established between the gauge measurement of solid precipitation and the measurement of snow on the ground. This paper will provide a brief summary of these results with more detail included in the WMO SPICE Final Report

    Mechanisms of Interference in Vibrotactile Working Memory

    Get PDF
    In previous studies of interference in vibrotactile working memory, subjects were presented with an interfering distractor stimulus during the delay period between the target and probe stimuli in a delayed match-to-sample task. The accuracy of same/different decisions indicated feature overwriting was the mechanism of interference. However, the distractor was presented late in the delay period, and the distractor may have interfered with the decision-making process, rather than the maintenance of stored information. The present study varies the timing of distractor onset, (either early, in the middle, or late in the delay period), and demonstrates both overwriting and non-overwriting forms of interference

    Neural Signatures of Stimulus Features in Visual Working Memory—A Spatiotemporal Approach

    Get PDF
    We examined the neural signatures of stimulus features in visual working memory (WM) by integrating functional magnetic resonance imaging (fMRI) and event-related potential data recorded during mental manipulation of colors, rotation angles, and color–angle conjunctions. The N200, negative slow wave, and P3b were modulated by the information content of WM, and an fMRI-constrained source model revealed a progression in neural activity from posterior visual areas to higher order areas in the ventral and dorsal processing streams. Color processing was associated with activity in inferior frontal gyrus during encoding and retrieval, whereas angle processing involved right parietal regions during the delay interval. WM for color–angle conjunctions did not involve any additional neural processes. The finding that different patterns of brain activity underlie WM for color and spatial information is consistent with ideas that the ventral/dorsal “what/where” segregation of perceptual processing influences WM organization. The absence of characteristic signatures of conjunction-related brain activity, which was generally intermediate between the 2 single conditions, suggests that conjunction judgments are based on the coordinated activity of these 2 streams
    corecore