A new comparator account of auditory verbal hallucinations: how motor prediction can plausibly contribute to the sense of agency for inner speech

The comparator account holds that processes of motor prediction contribute to the sense of agency by attenuating incoming sensory information and that disruptions to this process contribute to misattributions of agency in schizophrenia. Over the last 25 years this simple and powerful model has gained widespread support not only as it relates to bodily actions but also as an account of misattributions of agency for inner speech, potentially explaining the etiology of auditory verbal hallucination (AVH). In this paper we provide a detailed analysis of the traditional comparator account for inner speech, pointing out serious problems with the specification of inner speech on which it is based and highlighting inconsistencies in the interpretation of the electrophysiological evidence commonly cited in its favor. In light of these analyses we propose a new comparator account of misattributed inner speech. The new account follows leading models of motor imagery in proposing that inner speech is not attenuated by motor prediction, but rather derived directly from it. We describe how failures of motor prediction would therefore directly affect the phenomenology of inner speech and trigger a mismatch in the comparison between motor prediction and motor intention, contributing to abnormal feelings of agency. We argue that the new account fits with the emerging phenomenological evidence that AVHs are both distinct from ordinary inner speech and heterogeneous. Finally, we explore the possibility that the new comparator account may extend to explain disruptions across a range of imagistic modalities, and outline avenues for future research.

A-level Mathematics Options – Views of Secondary-level Teachers

The A-level Mathematics qualification is based on a compulsory set of pure maths modules and a selection of applied maths modules with the pure maths representing two thirds of the assessment. The applied maths section includes mechanics, statistics and (sometimes) decision maths. A combination of mechanics and statistics tends to be the most popular choice by far. The current study aims to understand how maths teachers in secondary education make decisions regarding the curriculum options and offers useful insight to those currently designing the new A-level specifications.

Semi-structured interviews were conducted with A-level maths teachers representing 27 grammar schools across Northern Ireland. Teachers were generally in agreement regarding the importance of pure maths and the balance between pure and applied within the A-level maths curriculum. A wide variety of opinions existed concerning the applied options. While many believe that the basic mechanics-statistics (M1-S1) combination is most accessible, it was also noted that the M1-M2 combination fits neatly alongside A-level physics. Lack of resources, timetabling constraints and competition with other subjects in the curriculum hinder uptake of A-level Further Maths.

Teachers are very conscious of the need to obtain high grades to benefit both their pupils and the school’s reputation. The move to a linear assessment system in England while Northern Ireland retains the modular system is likely to cause some schools to review their choice of exam board although there is disagreement as to whether a modular or linear system is more advantageous for pupils. The upcoming change in the specification offers an opportunity to refresh the assessment also and reduce the number of leading questions. However, teachers note that there are serious issues with GCSE maths and these have implications for A-level.

Frequency Diverse Array OFDM Transmitter for Secure Wireless Communication

In this reported work, the frequency diverse array concept is employed to construct an orthogonal frequency-division multiplexing (OFDM) transmitter that has the capability of securing wireless communication in free space directly in the physical-layer without the need for mathematical encryption. The characteristics of the proposed scheme in terms of its secrecy performance are validated via bit error rate simulation under both high and low signal to noise ratio scenarios using the IEEE 802.11 OFDM physical-layer specification.

Practicing peace: Psychological roots of transforming conflicts

The practice of sustainable peace is a process that must be initiated, nourished and revised. The
“social energies” of conflict transformation – truth, mercy, justice, peace – offer a useful model to describe the transformative power of this practice. These social energies can be conceptualized as a combination of norms or values, on the one hand, and actions directed toward social reconstruction, on the other. As such, the social energies of conflict transformation are both the guideposts and the engine in the journey of practicing sustainable peace. This article begins by
linking psychological constructs of narrative/voice, empathy/altruism, individual/collective guilt, and security/fear with the social energies, highlighting the interdependence of processes and shifting the focus away from pathology toward an emphasis on harmony. An empirical application of how the four social energies contribute to the mobilization, maintenance and adaptations in on-going peace processes in post-war Guatemala is then presented. By analyzing the interaction among diverse actors and goals in the decade and a half since the signing of the 1996 Peace Accords, current theory is extended in two ways: a) differentiation between elite and grassroots initiatives, and b) specification and evaluation the impact of various efforts on episodic and structural violence. We conclude that although national and local processes have
had limited success, more integrated practices of truth, mercy, justice and peace are necessary if Guatemala is to make sustainable peace a reality. The findings from this case study have policy and practical implications for other countries facing protracted, violent conflict.

, Lexicographic Preferences in Discrete Choice Experiments: Consequences on Individual-Specific Willingness to Pay Estimates

In discrete choice experiments respondents are generally assumed to consider all of the attributes across each of the alternatives, and to choose their most preferred. However, results in this paper indicate that many respondents employ simplified lexicographic decision-making rules, whereby they have a ranking of the attributes, but their choice of an alternative is based solely on the level of their most important attribute(s). Not accounting for these simple decision-making heuristics introduces systemic errors and leads to biased point estimates, as they are a violation of the continuity axiom and a departure from the use of compensatory decision-making. In this paper the implications of lexicographic preferences are examined. In particular, using a mixed logit specification this paper investigates the sensitivity of individual-specific willingness to pay (WTP) estimates conditional on whether lexicographic decision-making rules are accounted for in the modelling of discrete choice responses. Empirical results are obtained from a discrete choice experiment that was carried out to address the value of a number of rural landscape attributes in Ireland

Core outcome sets and trial registries

Some reasons for registering trials might be considered as self-serving, such as satisfying the requirements of a journal in which the researchers wish to publish their eventual findings or publicising the trial to boost recruitment. Registry entries also help others, including systematic reviewers, to know about ongoing or unpublished studies and contribute to reducing research waste by making it clear what studies are ongoing. Other sources of research waste include inconsistency in outcome measurement across trials in the same area, missing data on important outcomes from some trials, and selective reporting of outcomes. One way to reduce this waste is through the use of core outcome sets: standardised sets of outcomes for research in specific areas of health and social care. These do not restrict the outcomes that will be measured, but provide the minimum to include if a trial is to be of the most use to potential users. We propose that trial registries, such as ISRCTN, encourage researchers to note their use of a core outcome set in their entry. This will help people searching for trials and those worried about selective reporting in closed trials. Trial registries can facilitate these efforts to make new trials as useful as possible and reduce waste. The outcomes section in the entry could prompt the researcher to consider using a core outcome set and facilitate the specification of that core outcome set and its component outcomes through linking to the original core outcome set. In doing this, registries will contribute to the global effort to ensure that trials answer important uncertainties, can be brought together in systematic reviews, and better serve their ultimate aim of improving health and well-being through improving health and social care.

Investigating Cyber-Physical Attacks against IEC 61850 Photovoltaic Inverter Installations

Cyber-attacks against Smart Grids have been found in the real world. Malware such as Havex and BlackEnergy have been found targeting industrial control systems (ICS) and researchers have shown that cyber-attacks can exploit vulnerabilities in widely used Smart Grid communication standards. This paper addresses a deep investigation of attacks against the manufacturing message specification of IEC 61850, which is expected to become one of the most widely used communication services in Smart Grids. We investigate how an attacker can build a custom tool to execute man-in-the-middle attacks, manipulate data, and affect the physical system. Attack capabilities are demonstrated based on NESCOR scenarios to make it possible to thoroughly test these scenarios in a real system. The goal is to help understand the potential for such attacks, and to aid the development and testing of cyber security solutions. An attack use-case is presented that focuses on the standard for power utility automation, IEC 61850 in the context of inverter-based distributed energy resource devices; especially photovoltaic (PV) generators.

The BLAKE2 Cryptographic Hash and Message Authentication Code (MAC): IETF RFC 7693

This document describes the cryptographic hash function BLAKE2 and makes the algorithm specification and C source code conveniently available to the Internet community. BLAKE2 comes in two main flavors: BLAKE2b is optimized for 64-bit platforms and BLAKE2s for smaller architectures. BLAKE2 can be directly keyed, making it functionally equivalent to a Message Authentication Code (MAC).

Hidden Markov Models With Set-Valued Parameters

Hidden Markov models (HMMs) are widely used probabilistic models of sequential data. As with other probabilistic models, they require the specification of local conditional probability distributions, whose assessment can be too difficult and error-prone, especially when data are scarce or costly to acquire. The imprecise HMM (iHMM) generalizes HMMs by allowing the quantification to be done by sets of, instead of single, probability distributions. iHMMs have the ability to suspend judgment when there is not enough statistical evidence, and can serve as a sensitivity analysis tool for standard non-stationary HMMs. In this paper, we consider iHMMs under the strong independence interpretation, for which we develop efficient inference algorithms to address standard HMM usage such as the computation of likelihoods and most probable explanations, as well as performing filtering and predictive inference. Experiments with real data show that iHMMs produce more reliable inferences without compromising the computational efficiency.

Optimal deployment of geographically distributed workflow engines on the cloud

When orchestrating Web service workflows, the geographical placement of the orchestration engine (s) can greatly affect workflow performance. Data may have to be transferred across long geographical distances, which in turn increases execution time and degrades the overall performance of a workflow. In this paper, we present a framework that, given a DAG-based workflow specification, computes the optimal Amazon EC2 cloud regions to deploy the orchestration engines and execute a workflow. The framework incorporates a constraint model that solves the workflow deployment problem, which is generated using an automated constraint modelling system. The feasibility of the framework is evaluated by executing different sample workflows representative of scientific workloads. The experimental results indicate that the framework reduces the workflow execution time and provides a speed up of 1.3x-2.5x over centralised approaches.

Performance monitoring of energy efficient retrofits – 4 case study properties in Northern Ireland

Approximately half of the houses in Northern Ireland were built before any form of minimum thermal specification (U-value) or energy efficiency standard were available. At present, 44% of households are categorised as being in fuel poverty; spending more than 10% of the household income to heat the house to an acceptable level. This paper presents the results from long term performance monitoring of 4 case study houses that have undergone retrofits to improve energy efficiency in Northern Ireland. There is some uncertainty associated with some of the marketed retrofit measures in terms of their effectiveness in reducing energy usage and their potential to cause detrimental impacts on the internal environment of a house. Using wireless sensor technology internal conditions such as temperature and humidity were measured alongside gas and electricity usage for a year. External weather conditions were also monitored. The paper considers the effectiveness of the different retrofit measures implemented based on the long term data monitoring and short term building performance evaluation tests that were completed.

The OpenPMU Project: Challenges and perspectives:Challenges and Perspectives

The OpenPMU project is a platform for the development of Synchrophasor measurement technology, Phasor Measurement Units (PMU), in an open source manner. The project has now been operating for a number of years and has seen increased adoption at Universities and interest from electrical utilities. The OpenPMU device has recently been tested against the IEEE C37.118 standard and shown to operate within the specification. This paper discusses the OpenPMU project from the perspective of the past two years of experience and evaluates successes and opportunities for improvements in both the OpenPMU device and the philosophy of the design.

Terminologia e ontologias : metodologias para representação do conhecimento

Discute-se na presente dissertação as metodologias de representação do conhecimento que podem ser utilizadas em terminologia na construção de ontologias. Através da análise de duas abordagens terminológicas – semasiologia e onomasiologia – observa-se o estatuto do texto de especialidade sob um ponto de vista teórico e prático, questionando-se a sua importância e o contributo do terminólogo e do especialista na captura de conhecimento enquanto especificação informal de uma conceptualização.

As tecnologias da comunicação no suporte a ambientes de eLearning e bLearning: o ambiente Formare em contexto de formação profissional

Como corolário do trabalho de investigação e desenvolvimento, iniciado em 1996, na área das tecnologias da comunicação e dos serviços multimédia em contexto de formação profissional, pretende-se, com este estudo, identificar os principais contributos das ciências e tecnologias da comunicação e da educação nos processos de especificação, concepção, desenvolvimento e utilização do sistema de gestão de aprendizagem Formare, em contexto de formação profissional. Tendo em conta a fundamentação teórica, a participação em projectos de investigação e de inovação e uma vivência prática de mais de 14 anos de actividade na área do ensino a distância, do eLearning e do bLearning em contexto empresarial, desenvolveu-se um modelo conceptual para a nova versão do LMS Formare baseada nos fundamentos da comunicação e da gestão da aprendizagem em ambiente real de utilização. Para além de estudar os fundamentos das Learning Organizations, do Ensino a Distância, da Comunicação Educacional Multimédia, do eLearning, do bLearning e dos seus principais componentes, esta tese focaliza-se na análise de dois estudos de caso, suportados pelo Formare – um, em contexto de Auto-aprendizagem no Campus PT, e outro, em contexto de Aprendizagem Colaborativa na Formação de eFormadores. Pela análise das conclusões de cada um dos estudos de caso realizados, foi possível validar as opções tecnológicas e pedagógicas utilizadas, conhecer a percepção, o grau de utilização e a avaliação pedagógica dos formandos, assim como identificar os principais indicadores de implementação do eLearning nas organizações que aderiram ao LMS Formare. A tese termina com a apresentação dos principais resultados, limitações e conclusões do estudo de investigação, e apresenta um conjunto de considerações futuras nesta área de actividade, esperando contribuir para o desenvolvimento do eLearning em contexto de uma Learning Organization.

Do grafema ao gesto : contributos linguísticos para um sistema de síntese de base articulatória

Motivados pelo propósito central de contribuir para a construção, a longo prazo, de um sistema completo de conversão de texto para fala, baseado em síntese articulatória, desenvolvemos um modelo linguístico para o português europeu (PE), com base no sistema TADA (TAsk Dynamic Application), que visou a obtenção automática da trajectória dos articuladores a partir do texto de entrada. A concretização deste objectivo ditou o desenvolvimento de um conjunto de tarefas, nomeadamente 1) a implementação e avaliação de dois sistemas de silabificação automática e de transcrição fonética, tendo em vista a transformação do texto de entrada num formato adequado ao TADA; 2) a criação de um dicionário gestual para os sons do PE, de modo a que cada fone obtido à saída do conversor grafema-fone pudesse ter correspondência com um conjunto de gestos articulatórios adaptados para o PE; 3) a análise do fenómeno da nasalidade à luz dos princípios dinâmicos da Fonologia Articulatória (FA), com base num estudo articulatório e perceptivo. Os dois algoritmos de silabificação automática implementados e testados fizeram apelo a conhecimentos de natureza fonológica sobre a estrutura da sílaba, sendo o primeiro baseado em transdutores de estados finitos e o segundo uma implementação fiel das propostas de Mateus & d'Andrade (2000). O desempenho destes algoritmos – sobretudo do segundo – mostrou-se similar ao de outros sistemas com as mesmas potencialidades. Quanto à conversão grafema-fone, seguimos uma metodologia baseada em regras de reescrita combinada com uma técnica de aprendizagem automática. Os resultados da avaliação deste sistema motivaram a exploração posterior de outros métodos automáticos, procurando também avaliar o impacto da integração de informação silábica nos sistemas. A descrição dinâmica dos sons do PE, ancorada nos princípios teóricos e metodológicos da FA, baseou-se essencialmente na análise de dados de ressonância magnética, a partir dos quais foram realizadas todas as medições, com vista à obtenção de parâmetros articulatórios quantitativos. Foi tentada uma primeira validação das várias configurações gestuais propostas, através de um pequeno teste perceptual, que permitiu identificar os principais problemas subjacentes à proposta gestual. Este trabalho propiciou, pela primeira vez para o PE, o desenvolvimento de um primeiro sistema de conversão de texto para fala, de base articulatória. A descrição dinâmica das vogais nasais contou, quer com os dados de ressonância magnética, para caracterização dos gestos orais, quer com os dados obtidos através de articulografia electromagnética (EMA), para estudo da dinâmica do velo e da sua relação com os restantes articuladores. Para além disso, foi efectuado um teste perceptivo, usando o TADA e o SAPWindows, para avaliar a sensibilidade dos ouvintes portugueses às variações na altura do velo e alterações na coordenação intergestual. Este estudo serviu de base a uma interpretação abstracta (em termos gestuais) das vogais nasais do PE e permitiu também esclarecer aspectos cruciais relacionados com a sua produção e percepção.