Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Reaction–diffusion chemistry implementation of associative memory neural network

Unconventional computing paradigms are typically very difficult to program. By implementing efficient parallel control architectures such as artificial neural networks, we show that it is possible to program unconventional paradigms with relative ease. The work presented implements correlation matrix memories (a form of artificial neural network based on associative memory) in reaction–diffusion chemistry, and shows that implementations of such artificial neural networks can be trained and act in a similar way to conventional implementations

Representational capacity of a set of independent neurons

The capacity with which a system of independent neuron-like units represents a given set of stimuli is studied by calculating the mutual information between the stimuli and the neural responses. Both discrete noiseless and continuous noisy neurons are analyzed. In both cases, the information grows monotonically with the number of neurons considered. Under the assumption that neurons are independent, the mutual information rises linearly from zero, and approaches exponentially its maximum value. We find the dependence of the initial slope on the number of stimuli and on the sparseness of the representation.Comment: 19 pages, 6 figures, Phys. Rev. E, vol 63, 11910 - 11924 (2000

Music for Thought: Examining Saudi Identities Expressed Through Music on Social Media

The aim of this chapter is to investigate how social media help create and diffuse popular music in Saudi Arabia and how such music questions the officially accepted identities and social practices. Social media are widely used as means of promotion among artists around the world; yet Saudi Arabia deserves special attention. This is because traditional media act much more strictly as gatekeepers in the kingdom; hence, social media offer greater possibility for circulation of popular entertainment, especially when it touches upon the questions related to the core values of the Saudi society. Such is the case of recordings by Hesham Fageeh “No woman, No drive” (2013) or the recently trending video clip “Hwages” that, both, received peak visibility online and sparked debates about women empowerment. Similarly, some videos trending online prompted a dance craze, for instance, “Barbs” showed a choreography that was subsequently copied by fans who uploaded their performances online. Dancing is a prohibition among the conservative segments of society; yet, the vastly young population of Saudi Arabia seeks entertainment.Social media in Saudi Arabia have become primordial means of communication in the kingdom with highest rates of social media participation in the Middle East and seventh rank in the world (2016). Consequently, this chapter employs a mixed-method approach in order to uncover how social media breaks the monopoly on entertainment by promoting different musical genres and encouraging social debate

SARS-CoV-2 positivity in asymptomatic-screened dental patients

Enhanced community surveillance is a key pillar of the public health response to COVID-19. Asymptomatic carriage of SARS-CoV-2 is a potentially significant source of transmission, yet remains relatively poorly understood. Disruption of dental services continues with significantly reduced capacity. Ongoing precautions include pre- and/or at appointment COVID-19 symptom screening and use of enhanced personal protective equipment (PPE). This study aimed to investigate SARS-CoV-2 infection in dental patients to inform community surveillance and improve understanding of risks in the dental setting. Thirty-one dental care centres across Scotland invited asymptomatic screened patients over 5-years-old to participate. Following verbal consent and completion of sociodemographic and symptom history questionnaire, trained dental teams took a combined oropharyngeal and nasal swab sample using standardised VTM-containing testkits. Samples were processed by the Lighthouse Lab and patients informed of their results by SMS/e-mail with appropriate self-isolation guidance in the event of a positive test. All positive cases were successfully followed up by the national contact tracing program. Over a 13-week period (from 3August to 31October2020) n=4,032 patients, largely representative of the population, were tested. Of these n=22 (0.5%; 95%CI 0.5%, 0.8%) tested positive for SARS-CoV-2. The positivity rate increased over the period, commensurate with uptick in community prevalence identified across all national testing monitoring data streams. To the best of our knowledge this is the first report of a COVID-19 testing survey in asymptomatic-screened patients presenting in a dental setting. The positivity rate in this patient group reflects the underlying prevalence in community at the time. These data are a salient reminder, particularly when community infection levels are rising, of the importance of appropriate ongoing Infection Prevention Control and PPE vigilance, which is relevant as healthcare team fatigue increases as the pandemic continues. Dental settings are a valuable location for public health surveillance

A randomised feasibility study to investigate the impact of education and the addition of prompts on the sedentary behaviour of office workers

Abstract Background Office workers have been identified as being at risk of accumulating high amounts of sedentary time in prolonged events during work hours, which has been associated with increased risk of a number of long-term health conditions. There is some evidence that providing advice to stand at regular intervals during the working day, and using computer-based prompts, can reduce sedentary behaviour in office workers. However, evidence of effectiveness, feasibility and acceptability for these types of intervention is currently limited. Methods A 2-arm, parallel group, cluster-randomised feasibility trial to assess the acceptability of prompts to break up sedentary behaviour was conducted with office workers in a commercial bank (n = 21). Participants were assigned to an education only group (EG) or prompt and education group (PG). Both groups received education on reducing and breaking up sitting at work, and the PG also received hourly prompts, delivered by Microsoft Outlook over 10 weeks, reminding them to stand. Objective measurements of sedentary behaviour were made using activPAL monitors worn at three time points: baseline, in the last 2 weeks of the intervention period and 12 weeks after the intervention. Focus groups were conducted to explore the acceptability of the intervention and the motivations and barriers to changing sedentary behaviour. Results Randomly generated, customised prompts, delivered by Microsoft Outlook, with messages about breaking up sitting, proved to be a feasible and acceptable way of delivering prompts to office workers. Participants in both groups reduced their sitting, but changes were not maintained at follow-up. The education session seemed to increase outcome expectations of the benefits of changing sedentary behaviour and promote self-regulation of behaviour in some participants. However, low self-efficacy and a desire to conform to cultural norms were barriers to changing behaviour. Conclusions Prompts delivered by Microsoft Outlook were a feasible, low-cost way of prompting office workers to break up their sedentary behaviour, although further research is needed to determine whether this has an additional impact on sedentary behaviour, to education alone. The role of cultural norms, and promoting self-efficacy, should be considered in the design of future interventions. Trial registration This study was registered retrospectively as a clinical trial on ClinicalTrials.gov (ID no. NCT02609282 ) on 23 March 2015

Engaging with issues of emotionality in mathematics teacher education for social justice

This article focuses on the relationship between social justice, emotionality and mathematics teaching in the context of the education of prospective teachers of mathematics. A relational approach to social justice calls for giving attention to enacting socially-just relationships in mathematics classrooms. Emotionality and social justice in teaching mathematics variously intersect, interrelate or interweave. An intervention, usng creative action methods, with a cohort of prospective teachers addressing these issues is described to illustrate the connection between emotionality and social justice in the context of mathematics teacher education. Creative action methods involve a variety of dramatic, interactive and experiential tools that can promote personal and group engagement and embodied reflection. The intervention aimed to engage the prospective teachers with some key issues for social justice in mathematics education through dialogue about the emotionality of teaching and learning mathematics. Some of the possibilities and limits of using such methods are considered

Doing what others do: norms, science, and collective action on global warming

Does rhetoric highlighting social norms or mentioning science in a communication affect individuals’ beliefs about global warming and/or willingness to take action? We draw from framing theory and collective-interest models of action to motivate hypotheses that are tested in two large web-based survey-experiments using convenience samples. Our results show that attitudes about global warming, support for policies that would reduce carbon emissions, and behavioral intentions to take voluntary action are strongly affected by norm- and science-based interventions. This has implications for information campaigns targeting voluntary efforts to promote lifestyle changes that would reduce greenhouse gas emissions

The Co-occurrence of child and intimate partner maltreatment in the family: characteristics of the violent perpetrators

This study considers the characteristics associated with mothers and fathers who maltreat their child and each other in comparison to parents who only maltreat their child. One hundred and sixty-two parents who had allegations of child maltreatment made against them were considered. The sample consisted of 43 fathers (Paternal Family—PF) and 23 mothers (Maternal Family—MF) who perpetrated both partner and child maltreatment, together with 23 fathers (Paternal Child—PC) and 26 mothers (Maternal Child—MC) who perpetrated child maltreatment only. In addition, 2 fathers (Paternal Victim—PV) and 23 mothers (Maternal Victim—MV) were victims of intimate partner maltreatment and perpetrators of child maltreatment and 7 fathers (Paternal Non-abusive Carer—PNC) and 15 mothers (Maternal Non-abusive Carer—MNC) did not maltreat the child but lived with an individual who did. Within their family unit, 40.7% of parents perpetrated both intimate partner and child maltreatment. However, fathers were significantly more likely to maltreat both their partner and child than mothers and mothers were significantly more likely to be victims of intimate partner violence than fathers. PF fathers conducted the highest amount of physical and/or sexual child maltreatment while MC and MV mothers perpetrated the highest amount of child neglect. Few significant differences between mothers were found. PF fathers had significantly more factors associated with development of a criminogenic lifestyle than PC fathers. Marked sex differences were demonstrated with PF fathers demonstrating significantly more antisocial characteristics, less mental health problems and fewer feelings of isolation than MF mothers. MC mothers had significantly more childhood abuse, mental health problems, parenting risk factors and were significantly more likely to be biologically related to the child than PC fathers. This study suggests that violent families should be assessed and treated in a holistic manner, considering the effects of partner violence upon all family members, rather than exclusively intervening with the violent man