Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of representing sub- or superword closures of context-free grammars (CFGs): (1) We prove a (tight) upper bound of $2^{\mathcal{O}(n)}$ on the size of nondeterministic finite automata (NFAs) representing the subword closure of a CFG of size $n$. (2) We present a family of CFGs for which the minimal deterministic finite automata representing their subword closure matches the upper-bound of $2^{2^{\mathcal{O}(n)}}$ following from (1). Furthermore, we prove that the inequivalence problem for NFAs representing sub- or superword-closed languages is only NP-complete as opposed to PSPACE-complete for general NFAs. Finally, we extend our results into an approximation method to attack inequivalence problems for CFGs

A survey of task-oriented crowdsourcing

Since the advent of artificial intelligence, researchers have been trying to create machines that emulate human behaviour. Back in the 1960s however, Licklider (IRE Trans Hum Factors Electron 4-11, 1960) believed that machines and computers were just part of a scale in which computers were on one side and humans on the other (human computation). After almost a decade of active research into human computation and crowdsourcing, this paper presents a survey of crowdsourcing human computation systems, with the focus being on solving micro-tasks and complex tasks. An analysis of the current state of the art is performed from a technical standpoint, which includes a systematized description of the terminologies used by crowdsourcing platforms and the relationships between each term. Furthermore, the similarities between task-oriented crowdsourcing platforms are described and presented in a process diagram according to a proposed classification. Using this analysis as a stepping stone, this paper concludes with a discussion of challenges and possible future research directions.This work is part-funded by ERDF-European Regional Development Fund through the COMPETE Programme (Operational Programme for Competitiveness) and by National Funds through the FCT-Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within the Ph.D. Grant SFRH/BD/70302/2010 and by the Projects AAL4ALL (QREN11495), World Search (QREN 13852) and FCOMP-01-0124-FEDER-028980 (PTDC/EEI-SII/1386/2012). The authors also thank Jane Boardman for her assistance proof reading the document.info:eu-repo/semantics/publishedVersio

Potential climatic transitions with profound impact on Europe

We discuss potential transitions of six climatic subsystems with large-scale impact on Europe, sometimes denoted as tipping elements. These are the ice sheets on Greenland and West Antarctica, the Atlantic thermohaline circulation, Arctic sea ice, Alpine glaciers and northern hemisphere stratospheric ozone. Each system is represented by co-authors actively publishing in the corresponding field. For each subsystem we summarize the mechanism of a potential transition in a warmer climate along with its impact on Europe and assess the likelihood for such a transition based on published scientific literature. As a summary, the ‘tipping’ potential for each system is provided as a function of global mean temperature increase which required some subjective interpretation of scientific facts by the authors and should be considered as a snapshot of our current understanding. <br/

The impact of thought speed and variability on psychological state and threat perception: Further exploration of the theory of mental motion.

Thought speed and variability are purportedly common features of specific psychological states, such as mania and anxiety. The present study explored the independent and combinational influence of these variables upon condition-specific symptoms and affective state, as proposed by Pronin and Jacobs’ (2008) theory of mental motion. A general population sample was recruited online (N = 263). Participants completed a thought speed and variability manipulation task, inducing a combination of fast/slow and varied/repetitive thought. Change in mania and anxiety symptoms was assessed through direct self-reported symptom levels and indirect, processing bias assessment (threat interpretation). Results indicated that fast and varied thought independently increased self-reported mania symptoms. Affect was significantly less positive and more negative during slow thought. No change in anxiety symptoms or threat interpretation was found between manipulation conditions. No evidence for the proposed combinational influence of speed and variability was found. Implications and avenues for therapeutic intervention are discussed

Mindful Aging: The Effects of Regular Brief Mindfulness Practice on Electrophysiological Markers of Cognitive and Affective Processing in Older Adults

There is growing interest in the potential benefits of mindfulness meditation practices in terms of counteracting some of the cognitive effects associated with aging. Pursuing this question, the aim of the present study was to investigate the influence of mindfulness training on executive control and emotion regulation in older adults, by means of studying behavioral and electrophysiological changes. Participants, 55 to 75 years of age, were randomly allocated to an 8-week mindful breath awareness training group or an active control group engaging in brain training exercises. Before and after the training period, participants completed an emotional-counting Stroop task, designed to measure attentional control and emotion regulation processes. Concurrently, their brain activity was measured by means of 64-channel electroencephalography. The results show that engaging in just over 10 min of mindfulness practice five times per week resulted in significant improvements in behavioral (response latency) and electrophysiological (N2 event-related potential) measures related to general task performance. Analyses of the underlying cortical sources (Variable Resolution Electromagnetic Tomography, VARETA) indicate that this N2-related effect is primarily associated with changes in the right angular gyrus and other areas of the dorsal attention network. However, the study did not find the expected specific improvements in executive control and emotion regulation, which may be due to the training instructions or the relative brevity of the intervention. Overall, the results indicate that engaging in mindfulness meditation training improves the maintenance of goal-directed visuospatial attention and may be a useful strategy for counteracting cognitive decline associated with aging

Regulation of microRNA biogenesis and turnover by animals and their viruses

Item does not contain fulltextMicroRNAs (miRNAs) are a ubiquitous component of gene regulatory networks that modulate the precise amounts of proteins expressed in a cell. Despite their small size, miRNA genes contain various recognition elements that enable specificity in when, where and to what extent they are expressed. The importance of precise control of miRNA expression is underscored by functional studies in model organisms and by the association between miRNA mis-expression and disease. In the last decade, identification of the pathways by which miRNAs are produced, matured and turned-over has revealed many aspects of their biogenesis that are subject to regulation. Studies in viral systems have revealed a range of mechanisms by which viruses target these pathways through viral proteins or non-coding RNAs in order to regulate cellular gene expression. In parallel, a field of study has evolved around the activation and suppression of antiviral RNA interference (RNAi) by viruses. Virus encoded suppressors of RNAi can impact miRNA biogenesis in cases where miRNA and small interfering RNA pathways converge. Here we review the literature on the mechanisms by which miRNA biogenesis and turnover are regulated in animals and the diverse strategies that viruses use to subvert or inhibit these processes

Rapid, sensitive, type specific PCR detection of the E7 region of human papillomavirus type 16 and 18 from paraffin embedded sections of cervical carcinoma

Human papillomavirus (HPV) infection, and in particularly infection with HPVs 16 and 18, is a central carcinogenic factor in the uterine cervix. We established and optimized a PCR assay for the detection and discrimination of HPV types 16 and 18 in archival formaldehyde fixed and paraffin embedded (FFPE) sections of cervical cancer