Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework

While many existing formal concept analysis algorithms are efficient, they are typically unsuitable for distributed implementation. Taking the MapReduce (MR) framework as our inspiration we introduce a distributed approach for performing formal concept mining. Our method has its novelty in that we use a light-weight MapReduce runtime called Twister which is better suited to iterative algorithms than recent distributed approaches. First, we describe the theoretical foundations underpinning our distributed formal concept analysis approach. Second, we provide a representative exemplar of how a classic centralized algorithm can be implemented in a distributed fashion using our methodology: we modify Ganter's classic algorithm by introducing a family of MR* algorithms, namely MRGanter and MRGanter+ where the prefix denotes the algorithm's lineage. To evaluate the factors that impact distributed algorithm performance, we compare our MR* algorithms with the state-of-the-art. Experiments conducted on real datasets demonstrate that MRGanter+ is efficient, scalable and an appealing algorithm for distributed problems.Comment: 17 pages, ICFCA 201, Formal Concept Analysis 201

Algorithmic decidability of Engel's property for automaton groups

We consider decidability problems associated with Engel's identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) in groups generated by an automaton. We give a partial algorithm that decides, given $x,y$, whether an Engel identity is satisfied. It succeeds, importantly, in proving that Grigorchuk's $2$-group is not Engel. We consider next the problem of recognizing Engel elements, namely elements $y$ such that the map $x\mapsto[x,y]$ attracts to $\{1\}$. Although this problem seems intractable in general, we prove that it is decidable for Grigorchuk's group: Engel elements are precisely those of order at most $2$. Our computations were implemented using the package FR within the computer algebra system GAP

Lyapunov exponent of the random Schr\"{o}dinger operator with short-range correlated noise potential

We study the influence of disorder on propagation of waves in one-dimensional structures. Transmission properties of the process governed by the Schr\"{o}dinger equation with the white noise potential can be expressed through the Lyapunov exponent $\gamma$ which we determine explicitly as a function of the noise intensity \sigma and the frequency \omega. We find uniform two-parameter asymptotic expressions for $\gamma$ which allow us to evaluate $\gamma$ for different relations between \sigma and \omega. The value of the Lyapunov exponent is also obtained in the case of a short-range correlated noise, which is shown to be less than its white noise counterpart.Comment: 20 pages, 4 figure

Differential chloride homeostasis in the spinal dorsal horn locally shapes synaptic metaplasticity and modality-specific sensitization

Inhibition in spinal nociceptive pathways is weaker and more labile in lamina I —where thermal input is primarily processed— than in lamina II that encodes predominantly high threshold mechanical input. This explains why noxious thermal input makes spinal circuits prone to catastrophic sensitization

Ptch2/Gas1 and Ptch1/Boc differentially regulate Hedgehog signalling in murine primordial germ cell migration.

Gas1 and Boc/Cdon act as co-receptors in the vertebrate Hedgehog signalling pathway, but the nature of their interaction with the primary Ptch1/2 receptors remains unclear. Here we demonstrate, using primordial germ cell migration in mouse as a developmental model, that specific hetero-complexes of Ptch2/Gas1 and Ptch1/Boc mediate the process of Smo de-repression with different kinetics, through distinct modes of Hedgehog ligand reception. Moreover, Ptch2-mediated Hedgehog signalling induces the phosphorylation of Creb and Src proteins in parallel to Gli induction, identifying a previously unknown Ptch2-specific signal pathway. We propose that although Ptch1 and Ptch2 functionally overlap in the sequestration of Smo, the spatiotemporal expression of Boc and Gas1 may determine the outcome of Hedgehog signalling through compartmentalisation and modulation of Smo-downstream signalling. Our study identifies the existence of a divergent Hedgehog signal pathway mediated by Ptch2 and provides a mechanism for differential interpretation of Hedgehog signalling in the germ cell niche

Hotspots of Large Rare Deletions in the Human Genome

Background: We have examined the genomic distribution of large rare autosomal deletions in a sample of 440 parentparent-child trios from the Quebec founder population (QFP) which was recruited for a study of Attention Deficit Hyperactivity Disorder. Methodology/Principal Findings: DNA isolated from blood was genotyped on Illumina Hap300 arrays. PennCNV combined with visual evaluation of images generated by the Beadstudio program was used to determine deletion boundary definition of sufficient precision to discern independent events, with near-perfect concordance between parent and child in about 98 % of the 399 events detected in the offspring; the remaining 7 deletions were considered de novo. We defined several genomic regions of very high deletion frequency (‘hotspots’), usually of 0.4–0.6 Mb in length where independent rare deletions were found at frequencies of up to 100 fold higher than the average for the genome as a whole. Five of the 7 de novo deletions were in these hotspots. The same hotspots were also observed in three other studies on members of the QFP, those with schizophrenia, with endometriosis and those from a longevity cohort. Conclusions/Significance: Nine of the 13 hotspots carry one gene (7 of which are very long), while the rest contain no known genes. All nine genes have been implicated in disease. The patterns of exon deletions support the proposed roles for some of these genes in human disease, such as NRXN1 and PARKIN, and suggest limited roles or no role at all, for others

Mobilizing the emergence of Phronetic TechnoScienceSocieties:low-carbon e-mobility in China

TechnoScienceSociety (TSS) spells the wholesale reorganization of the constellation of related concepts that together make up the very common-sense meaning of ‘politics’ and ‘government’, not least of which today are knowledge, science, technology and society, all of which are currently founded on essentially literal, dualistic not pragmatic, processual grounds. We argue that grappling with TSS and a politics of TSS demands a shift broadly from a universalist (if possibly critical) epistemo-politics of critique or criticism to an onto-politics of situated practical wisdom (phronesis). Important pointers in this direction come from existing work in actor network theory (ANT)-inspired STS. But while useful starting points, this work is also insufficient in some key regards, to the point that we must now move beyond it. In particular, the need for a shift to a situated, processual and practically engaged perspective applies no less to discussions such as this in STS. We here trace out some of the argument for, and consequences of, that move. The argument proceeds as follows. First we consider the after-ANT argument of ontological politics and how this demands a break with the familiar epistemological and ‘one world’ politics still dominating contemporary discourse, mainstream and critical. Then we consider some of the key problems with this conception of ontological politics vis-à-vis the predicament of an emerging TSS. This includes a brief discussion of an alternative perspective, of complex power/knowledge systems (CP/KS) within a phronetic onto-politics. Finally, we illustrate the arguments by analysing, using this CP/KS and onto-political perspective, a key case study of contemporary TSS: the ongoing attempts of innovation towards a transition in urban mobility system in China

Ozone profiles in the high-latitude stratosphere and lower mesosphere measured by the Improved Limb Atmospheric Spectrometer (ILAS)-II: comparison with other satellite sensors and ozonesondes

A solar occultation sensor, the Improved Limb Atmospheric Spectrometer (ILAS)-II, measured 5890 vertical profiles of ozone concentrations in the stratosphere and lower mesosphere and of other species from January to October 2003. The measurement latitude coverage was 54–71°N and 64–88°S, which is similar to the coverage of ILAS (November 1996 to June 1997). One purpose of the ILAS-II measurements was to continue such high-latitude measurements of ozone and its related chemical species in order to help accurately determine their trends. The present paper assesses the quality of ozone data in the version 1.4 retrieval algorithm, through comparisons with results obtained from comprehensive ozonesonde measurements and four satellite-borne solar occultation sensors. In the Northern Hemisphere (NH), the ILAS-II ozone data agree with the other data within ±10% (in terms of the absolute difference divided by its mean value) at altitudes between 11 and 40 km, with the median coincident ILAS-II profiles being systematically up to 10% higher below 20 km and up to 10% lower between 21 and 40 km after screening possible suspicious retrievals. Above 41 km, the negative bias between the NH ILAS-II ozone data and the other data increases with increasing altitude and reaches 30% at 61–65 km. In the Southern Hemisphere, the ILAS-II ozone data agree with the other data within ±10% in the altitude range of 11–60 km, with the median coincident profiles being on average up to 10% higher below 20 km and up to 10% lower above 20 km. Considering the accuracy of the other data used for this comparative study, the version 1.4 ozone data are suitably used for quantitative analyses in the high-latitude stratosphere in both the Northern and Southern Hemisphere and in the lower mesosphere in the Southern Hemisphere

An Auxin Transport-Based Model of Root Branching in Arabidopsis thaliana

Root architecture is a crucial part of plant adaptation to soil heterogeneity and is mainly controlled by root branching. The process of root system development can be divided into two successive steps: lateral root initiation and lateral root development/emergence which are controlled by different fluxes of the plant hormone auxin. While shoot architecture appears to be highly regular, following rules such as the phyllotactic spiral, root architecture appears more chaotic. We used stochastic modeling to extract hidden rules regulating root branching in Arabidopsis thaliana. These rules were used to build an integrative mechanistic model of root ramification based on auxin. This model was experimentally tested using plants with modified rhythm of lateral root initiation or mutants perturbed in auxin transport. Our analysis revealed that lateral root initiation and lateral root development/emergence are interacting with each other to create a global balance between the respective ratio of initiation and emergence. A mechanistic model based on auxin fluxes successfully predicted this property and the phenotype alteration of auxin transport mutants or plants with modified rythms of lateral root initiation. This suggests that root branching is controlled by mechanisms of lateral inhibition due to a competition between initiation and development/emergence for auxin