Measuring Coverage of Prolog Programs Using Mutation Testing

Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on the completeness of a test suite, many approaches to assert test coverage have been suggested. Yet, frameworks for logic programs remain scarce. In this paper, we introduce a framework for Prolog programs measuring test coverage using mutations. We elaborate the main ideas of mutation testing and transfer them to logic programs. To do so, we discuss the usefulness of different mutations in the context of Prolog and empirically evaluate them in a new mutation testing framework on different examples.Comment: 16 pages, Accepted for presentation in WFLP 201

Self-similarity of the meddy family in the eastern North Atlantic

In this study we analyze two groups of Mediterranean salt lenses: "mid-life' lenses, typically 1-2 years old, observed in the Canary Basin, and younger Meddies from the Iberian Basin. Nonlinear transformation of variables is used to find a unique function describing vertical profiles at different locations inside the lens. When this function is found, its existence is considered as "self-similarity' of the lens structure. A common function was also found that describes each group of Meddy, Canary and Iberian, and a remarkable difference between the groups was noted. A possible reason for this result might lie in the difference in lens age. -from Author

Priming the Semantic Neighbourhood during the Attentional Blink

Background: When two targets are presented in close temporal proximity amongst a rapid serial visual stream of distractors, a period of disrupted attention and attenuated awareness lasting 200–500 ms follows identification of the first target (T1). This phenomenon is known as the ‘‘attentional blink’ ’ (AB) and is generally attributed to a failure to consolidate information in visual short-term memory due to depleted or disrupted attentional resources. Previous research has shown that items presented during the AB that fail to reach conscious awareness are still processed to relatively high levels, including the level of meaning. For example, missed word stimuli have been shown to prime later targets that are closely associated words. Although these findings have been interpreted as evidence for semantic processing during the AB, closely associated words (e.g., day-night) may also rely on specific, well-worn, lexical associative links which enhance attention to the relevant target. Methodology/Principal Findings: We used a measure of semantic distance to create prime-target pairs that are conceptually close, but have low word associations (e.g., wagon and van) and investigated priming from a distractor stimulus presented during the AB to a subsequent target (T2). The stimuli were words (concrete nouns) in Experiment 1 and the corresponding pictures of objects in Experiment 2. In both experiments, report of T2 was facilitated when this item was preceded by a semantically-related distractor

Differential effects of exogenous and endogenous cueing in multi-stream RSVP: implications for theories of attentional blink

The attentional blink (AB) refers to the finding that performance on the second of two targets (T1 and T2) in a rapid serial visual presentation (RSVP) stream is impaired when the targets are presented within 200–500 ms. To explore the possible interaction between spatial attentional orienting and temporary attentional deficits, this study used central (endogenous) and peripheral (exogenous) cues in a multi-stream RSVP task and compared the endogenous and exogenous cueing effects inside and outside of the AB period. While the endogenous cueing effect was constant in magnitude over time, the exogenous cueing effect was significantly larger inside than outside of the AB period. Theoretical implications of these findings for the interaction between attention mechanisms in spatial and temporal domains are discussed

Alpha-band rhythms in visual task performance: phase-locking by rhythmic sensory stimulation

Oscillations are an important aspect of neuronal activity. Interestingly, oscillatory patterns are also observed in behaviour, such as in visual performance measures after the presentation of a brief sensory event in the visual or another modality. These oscillations in visual performance cycle at the typical frequencies of brain rhythms, suggesting that perception may be closely linked to brain oscillations. We here investigated this link for a prominent rhythm of the visual system (the alpha-rhythm, 8-12 Hz) by applying rhythmic visual stimulation at alpha-frequency (10.6 Hz), known to lead to a resonance response in visual areas, and testing its effects on subsequent visual target discrimination. Our data show that rhythmic visual stimulation at 10.6 Hz: 1) has specific behavioral consequences, relative to stimulation at control frequencies (3.9 Hz, 7.1 Hz, 14.2 Hz), and 2) leads to alpha-band oscillations in visual performance measures, that 3) correlate in precise frequency across individuals with resting alpha-rhythms recorded over parieto-occipital areas. The most parsimonious explanation for these three findings is entrainment (phase-locking) of ongoing perceptually relevant alpha-band brain oscillations by rhythmic sensory events. These findings are in line with occipital alpha-oscillations underlying periodicity in visual performance, and suggest that rhythmic stimulation at frequencies of intrinsic brain-rhythms can be used to reveal influences of these rhythms on task performance to study their functional roles

Effects of a brief mindfulness-based intervention on emotional regulation and levels of mindfulness in senior students

Mindfulness-based interventions have been applied in diverse populations and achieved mental health benefits. This study examined the effects of a brief mindfulness program for emotional regulation and levels of mindfulness on senior students in Brazil. The intervention consisted of six weekly meetings attended by 30 participants. It is a pre-experimental research, with pre- and post-test comparative and correlation measurements. The preliminary results, which relied on parametrical and non-parametrical tests, revealed a reduction in total emotional regulation difficulties (p = 0.0001; r = − 0.55). Also, there was an increase in the levels of mindfulness in the subtests for both dimensions under evaluation: “Awareness” (p = 0.0001; d = 0.77) and “Acceptance” (p = 0.048; d = 0.37). By associating the amount of meditative practices performed by students with the variables, a significant positive correlation was found with the mindfulness dimension “Awareness” (rP = 0.422; p = 0.020), and there was a significant negative correlation with Difficulties in emotion regulation (rS = − 0.478; p = 0.008) and with its respective subscales “Non-acceptance” (rS = − 0.654; p = 0.0001) and “Clarity” (rS = − 0.463; p = 0.010). In conclusion, the application of a brief mindfulness-based intervention is promising in Brazilian university contexts; moreover, it can bring benefits to students, e.g., an increase in emotion regulation as well as in levels of mindfulness. We suggest that further research should use an experimental design and follow-up.info:eu-repo/semantics/publishedVersio

Influenza Vaccine Effectiveness in the Elderly Based on Administrative Databases: Change in Immunization Habit as a Marker for Bias

Administrative databases provide efficient methods to estimate influenza vaccine effectiveness (IVE) against severe outcomes in the elderly but are prone to intractable bias. This study returns to one of the linked population databases by which IVE against hospitalization and death in the elderly was first assessed. We explore IVE across six more recent influenza seasons, including periods before, during, and after peak activity to identify potential markers for bias.Acute respiratory hospitalization and all-cause mortality were compared between immunized/non-immunized community-dwelling seniors ≥65 years through administrative databases in Manitoba, Canada between 2000-01 and 2005-06. IVE was compared during pre-season/influenza/post-season periods through logistic regression with multivariable adjustment (age/sex/income/residence/prior influenza or pneumococcal immunization/medical visits/comorbidity), stratification based on prior influenza immunization history, and propensity scores. Analysis during pre-season periods assessed baseline differences between immunized and unimmunized groups. The study population included ∼140,000 seniors, of whom 50-60% were immunized annually. Adjustment for key covariates and use of propensity scores consistently increased IVE. Estimates were paradoxically higher pre-season and for all-cause mortality vs. acute respiratory hospitalization. Stratified analysis showed that those twice consecutively and currently immunized were always at significantly lower hospitalization/mortality risk with odds ratios (OR) of 0.60 [95%CI0.48-0.75] and 0.58 [0.53-0.64] pre-season and 0.77 [0.69-0.86] and 0.71 [0.66-0.77] during influenza circulation, relative to the consistently unimmunized. Conversely, those forgoing immunization when twice previously immunized were always at significantly higher hospitalization/mortality risk with OR of 1.41 [1.14-1.73] and 2.45 [2.21-2.72] pre-season and 1.21 [1.03-1.43] and 1.78 [1.61-1.96] during influenza circulation.The most pronounced IVE estimates were paradoxically observed pre-season, indicating bias tending to over-estimate vaccine protection. Change in immunization habit from that of the prior two years may be a marker for this bias in administrative data sets; however, no analytic technique explored could adjust for its influence. Improved methods to achieve valid interpretation of protection in the elderly are needed

Emotion based attentional priority for storage in visual short-term memory

A plethora of research demonstrates that the processing of emotional faces is prioritised over non-emotive stimuli when cognitive resources are limited (this is known as ‘emotional superiority’). However, there is debate as to whether competition for processing resources results in emotional superiority per se, or more specifically, threat superiority. Therefore, to investigate prioritisation of emotional stimuli for storage in visual short-term memory (VSTM), we devised an original VSTM report procedure using schematic (angry, happy, neutral) faces in which processing competition was manipulated. In Experiment 1, display exposure time was manipulated to create competition between stimuli. Participants (n = 20) had to recall a probed stimulus from a set size of four under high (150 ms array exposure duration) and low (400 ms array exposure duration) perceptual processing competition. For the high competition condition (i.e. 150 ms exposure), results revealed an emotional superiority effect per se. In Experiment 2 (n = 20), we increased competition by manipulating set size (three versus five stimuli), whilst maintaining a constrained array exposure duration of 150 ms. Here, for the five-stimulus set size (i.e. maximal competition) only threat superiority emerged. These findings demonstrate attentional prioritisation for storage in VSTM for emotional faces. We argue that task demands modulated the availability of processing resources and consequently the relative magnitude of the emotional/threat superiority effect, with only threatening stimuli prioritised for storage in VSTM under more demanding processing conditions. Our results are discussed in light of models and theories of visual selection, and not only combine the two strands of research (i.e. visual selection and emotion), but highlight a critical factor in the processing of emotional stimuli is availability of processing resources, which is further constrained by task demands

Protecting eyewitness evidence: Examining the efficacy of a self-administered interview tool

Given the crucial role of eyewitness evidence, statements should be obtained as soon as possible after an incident. This is not always achieved due to demands on police resources. Two studies trace the development of a new tool, the Self-Administered Interview (SAI), designed to elicit a comprehensive initial statement. In Study 1, SAI participants reported more correct details than participants who provided a free recall account, and performed at the same level as participants given a Cognitive Interview. In Study 2, participants viewed a simulated crime and half recorded their statement using the SAI. After a delay of 1 week, all participants completed a free recall test. SAI participants recalled more correct details in the delayed recall task than control participants

Prenatal diagnosis of Neu-Laxova syndrome: a case report

BACKGROUND: Neu-Laxova syndrome is a rare congenital abnormality involving multiple systems. We report a case of Neu-Laxova syndrome (NLS) diagnosed prenatally by ultrasound examination. CASE PRESENTATION: A 29-year-old gravida 3, para 2 woman was first seen in our antenatal clinic at 38 weeks' pregnancy. Except for the consanguinity and two previous abnormal stillborn babies her medical history was unremarkable. On ultrasound examination microcephaly, flat forehead, micrognathia, intrauterine growth restriction, generalized edema of the skin, hypoplastic chest, excessive soft tissue deposition of hands and feet, joint contractures and a penis without scrotal sacs were detected. She delivered a 2000 g male fetus. He died five minutes after delivery. Postmortem examination confirmed the diagnosis of Neu-Laxova syndrome. CONCLUSION: Because of the autosomal recessive inheritance of Neu-Laxova syndrome genetic counseling and early-serial ultrasound examination should be performed at risk families. Early diagnosis of the disease may offer termination of the pregnancy as an option