Googling the brain: discovering hierarchical and asymmetric network structures, with applications in neuroscience

Hierarchical organisation is a common feature of many directed networks arising in nature and technology. For example, a well-defined message-passing framework based on managerial status typically exists in a business organisation. However, in many real-world networks such patterns of hierarchy are unlikely to be quite so transparent. Due to the nature in which empirical data is collated the nodes will often be ordered so as to obscure any underlying structure. In addition, the possibility of even a small number of links violating any overall “chain of command” makes the determination of such structures extremely challenging. Here we address the issue of how to reorder a directed network in order to reveal this type of hierarchy. In doing so we also look at the task of quantifying the level of hierarchy, given a particular node ordering. We look at a variety of approaches. Using ideas from the graph Laplacian literature, we show that a relevant discrete optimization problem leads to a natural hierarchical node ranking. We also show that this ranking arises via a maximum likelihood problem associated with a new range-dependent hierarchical random graph model. This random graph insight allows us to compute a likelihood ratio that quantifies the overall tendency for a given network to be hierarchical. We also develop a generalization of this node ordering algorithm based on the combinatorics of directed walks. In passing, we note that Google’s PageRank algorithm tackles a closely related problem, and may also be motivated from a combinatoric, walk-counting viewpoint. We illustrate the performance of the resulting algorithms on synthetic network data, and on a real-world network from neuroscience where results may be validated biologically

Bioinformatics and the politics of innovation in the life sciences: Science and the state in the United Kingdom, China, and India

The governments of China, India, and the United Kingdom are unanimous in their belief that bioinformatics should supply the link between basic life sciences research and its translation into health benefits for the population and the economy. Yet at the same time, as ambitious states vying for position in the future global bioeconomy they differ considerably in the strategies adopted in pursuit of this goal. At the heart of these differences lies the interaction between epistemic change within the scientific community itself and the apparatus of the state. Drawing on desk-based research and thirty-two interviews with scientists and policy makers in the three countries, this article analyzes the politics that shape this interaction. From this analysis emerges an understanding of the variable capacities of different kinds of states and political systems to work with science in harnessing the potential of new epistemic territories in global life sciences innovation

Energy Efficient Algorithms based on VM Consolidation for Cloud Computing: Comparisons and Evaluations

Cloud Computing paradigm has revolutionized IT industry and be able to offer computing as the fifth utility. With the pay-as-you-go model, cloud computing enables to offer the resources dynamically for customers anytime. Drawing the attention from both academia and industry, cloud computing is viewed as one of the backbones of the modern economy. However, the high energy consumption of cloud data centers contributes to high operational costs and carbon emission to the environment. Therefore, Green cloud computing is required to ensure energy efficiency and sustainability, which can be achieved via energy efficient techniques. One of the dominant approaches is to apply energy efficient algorithms to optimize resource usage and energy consumption. Currently, various virtual machine consolidation-based energy efficient algorithms have been proposed to reduce the energy of cloud computing environment. However, most of them are not compared comprehensively under the same scenario, and their performance is not evaluated with the same experimental settings. This makes users hard to select the appropriate algorithm for their objectives. To provide insights for existing energy efficient algorithms and help researchers to choose the most suitable algorithm, in this paper, we compare several state-of-the-art energy efficient algorithms in depth from multiple perspectives, including architecture, modelling and metrics. In addition, we also implement and evaluate these algorithms with the same experimental settings in CloudSim toolkit. The experimental results show the performance comparison of these algorithms with comprehensive results. Finally, detailed discussions of these algorithms are provided

Local shell-to-shell energy transfer via nonlocal Interactions in fluid turbulence

In this paper we analytically compute the strength of nonlinear interactions in a triad, and the energy exchanges between wavenumber shells in incompressible fluid turbulence. The computation has been done using first-order perturbative field theory. In three dimension, magnitude of triad interactions is large for nonlocal triads, and small for local triads. However, the shell-to-shell energy transfer rate is found to be local and forward. This result is due to the fact that the nonlocal triads occupy much less Fourier space volume than the local ones. The analytical results on three-dimensional shell-to-shell energy transfer match with their numerical counterparts. In two-dimensional turbulence, the energy transfer rates to the near-by shells are forward, but to the distant shells are backward; the cumulative effect is an inverse cascade of energy.Comment: 10 pages, Revtex

The Mesozoic along-strike tectono-metamorphic segmentation of Longmen Shan (eastern Tibetan plateau)

The Longmen Shan belt (eastern border of the Tibetan plateau) constitutes a tectonically active region as demonstrated by the occurrence of the unexpected 2008 Mw 7.9 Wenchuan and 2013 Mw 6.6 Lushan earthquakes in the central and southern parts of the belt respectively. These events revealed the necessity of a better understanding of the long‐term geological evolution of the belt and its effect on the present dynamics and crustal structure. New structural and thermobarometric data offer a comprehensive dataset of the paleo‐temperatures across the belt and P‐T estimates for low‐grade metamorphic domains. In the central Longmen Shan, two metamorphic jumps of 150‐200°C, 5‐6 kbar and ~50 °C, 3‐5 kbar acquired during the Early Mesozoic are observed across the Wenchuan and Beichuan faults respectively, attesting to their thrusting movement and unrevealing a major decollement between the allochtonous Songpan‐Garze metasedimentary cover (at T > 500°C) and the autochtonous units and the basement (T < 400°C). In the southern Longmen Shan, the only greenschist‐facies metamorphism is observed both in the basement (360 ± 30°C, 6 ± 2 kbar) and in the metasedimentary cover (350 ± 30°C, 3 ± 1 kbar). Peak conditions were reached at c. 80‐60 Ma in the basement and c. 55‐33 Ma in the cover, c. 50 Ma after the greenschist‐facies metamorphic overprint observed in the central Longmen Shan (c. 150‐120 Ma). This along‐strike metamorphic segmentation coincides well with the present fault segmentation and reveals that the central and southern Longmen Shan experienced different tectono‐metamorphic histories since the Mesozoic

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We solve the longstanding open problem of finding a complete axiom system for basic quantifier-free propositional ITL (PITL) with infinite time for analysing nonterminating computational systems. Our completeness proof uses a reduction to completeness for PITL with finite time and conventional propositional linear-time temporal logic. Unlike completeness proofs of equally expressive logics with nonelementary computational complexity, our semantic approach does not use tableaux, subformula closures or explicit deductions involving encodings of omega automata and nontrivial techniques for complementing them. We believe that our result also provides evidence of the naturalness of interval-based reasoning

Integrin-Associated Protein Association With Src Homology 2 Domain Containing Tyrosine Phosphatase Substrate 1 Regulates IGF-I Signaling In Vivo

OBJECTIVE—Smooth muscle cell (SMC) maintained in medium containing normal levels of glucose do not proliferate in response to IGF-I, whereas cells maintained in medium containing 25 mmol/l glucose can respond. The aim of this study was to determine whether signaling events that have been shown to be required for stimulation of SMC growth were regulated by glucose concentrations in vivo

Mean Interplanetary Magnetic Field Measurement Using the ARGO-YBJ Experiment

The sun blocks cosmic ray particles from outside the solar system, forming a detectable shadow in the sky map of cosmic rays detected by the ARGO-YBJ experiment in Tibet. Because the cosmic ray particles are positive charged, the magnetic field between the sun and the earth deflects them from straight trajectories and results in a shift of the shadow from the true location of the sun. Here we show that the shift measures the intensity of the field which is transported by the solar wind from the sun to the earth.Comment: 6 papges,3 figure