SpikingLab: modelling agents controlled by Spiking Neural Networks in Netlogo

The scientific interest attracted by Spiking Neural Networks (SNN) has lead to the development of tools for the simulation and study of neuronal dynamics ranging from phenomenological models to the more sophisticated and biologically accurate Hodgkin-and-Huxley-based and multi-compartmental models. However, despite the multiple features offered by neural modelling tools, their integration with environments for the simulation of robots and agents can be challenging and time consuming. The implementation of artificial neural circuits to control robots generally involves the following tasks: (1) understanding the simulation tools, (2) creating the neural circuit in the neural simulator, (3) linking the simulated neural circuit with the environment of the agent and (4) programming the appropriate interface in the robot or agent to use the neural controller. The accomplishment of the above-mentioned tasks can be challenging, especially for undergraduate students or novice researchers. This paper presents an alternative tool which facilitates the simulation of simple SNN circuits using the multi-agent simulation and the programming environment Netlogo (educational software that simplifies the study and experimentation of complex systems). The engine proposed and implemented in Netlogo for the simulation of a functional model of SNN is a simplification of integrate and fire (I&F) models. The characteristics of the engine (including neuronal dynamics, STDP learning and synaptic delay) are demonstrated through the implementation of an agent representing an artificial insect controlled by a simple neural circuit. The setup of the experiment and its outcomes are described in this work

Towards a 4d/2d correspondence for Sicilian quivers

We study the 4d/2d AGT correspondence between four-dimensional instanton counting and two-dimensional conformal blocks for generalized SU(2) quiver gauge theories coming from punctured Gaiotto curves of arbitrary genus. We propose a conformal block description that corresponds to the elementary SU(2) trifundamental half-hypermultiplet, and check it against Sp(1)-SO(4) instanton counting.Comment: 39 pages, 11 figure

On All-loop Integrands of Scattering Amplitudes in Planar N=4 SYM

We study the relationship between the momentum twistor MHV vertex expansion of planar amplitudes in N=4 super-Yang-Mills and the all-loop generalization of the BCFW recursion relations. We demonstrate explicitly in several examples that the MHV vertex expressions for tree-level amplitudes and loop integrands satisfy the recursion relations. Furthermore, we introduce a rewriting of the MHV expansion in terms of sums over non-crossing partitions and show that this cyclically invariant formula satisfies the recursion relations for all numbers of legs and all loop orders.Comment: 34 pages, 17 figures; v2: Minor improvements to exposition and discussion, updated references, typos fixe

Effects of Huanglian-Jie-Du-Tang and its modified formula on the modulation of amyloid-β precursor protein processing in Alzheimer's disease models.

published_or_final_versio

The Spectrum of Strings on Warped AdS_3 x S^3

String theory on NS-NS AdS_3 x S^3 admits an exactly marginal deformation which breaks the SL(2,R)_R x SL(2,R)_L isometry of AdS_3 down to SL(2,R)_R x U(1)_L. The holographic dual is an exotic and only partially understood type of two-dimensional CFT with a reduced unbroken global conformal symmetry group. In this paper we study the deformed theory on the string worldsheet. It is found to be related by a spectral flow which is nonlocal in spacetime to the undeformed worldsheet theory. An exact formula for the spectrum of massive strings is presented.Comment: 26 pages, no figure

Counting Exceptional Instantons

We show how to obtain the instanton partition function of N=2 SYM with exceptional gauge group EFG using blow-up recursion relations derived by Nakajima and Yoshioka. We compute the two instanton contribution and match it with the recent proposal for the superconformal index of rank 2 SCFTs with E6, E7 global symmetry.Comment: 16 pages, references adde

Towards an Entropy-based Analysis of Log Variability

Rules, decisions, and workflows are intertwined components depicting the overall process. So far imperative workflow modelling languages have played the major role for the description and analysis of business processes. Despite their undoubted efficacy in representing sequential executions, they hide circumstantial information leading to the enactment of activities, and obscure the rationale behind the verification of requirements, dependencies, and goals. This workshop aimed at providing a platform for the discussion and introduction of new ideas related to the development of a holistic approach that encompasses all those aspects. The objective was to extend the reach of the business process management audience towards the decisions and rules community and increase the integration between different imperative, declarative and hybrid modelling perspectives. Out of the high-quality submitted manuscripts, three papers were accepted for publication, with an acceptance rate of 50%. They contributed to foster a fruitful discussion among the participants about the respective impact and the interplay of decision perspective and the process perspective

Genome-wide Haplotype Association Mapping in mice identifies a genetic variant in CER1 associated with bone mineral density and fracture in southern Chinese women

INTRODUCTION: Osteoporosis is characterized by a decrease in bone mass, deterioration of bone tissue, impaired bone strength and increased fracture risk. It is a medically, socially, and economically important disease, especially among the aging population. Bone Mass Density (BMD) is a quantitative index of osteoporosis. Acquisition of bone mineral is a complex process involving genetics and environmental factors. METHODS: A genome-wide Haplotype Association Mapping (HAM) approach was performed by using inbred mice strains which had been genotyped and phenotyped in the Mouse Phenome Project. In HAM, a dense SNPs map was first partitioned into blocks of three SNPs with an average length of 1Mb. Modified F-statistics were calculated for the whole genome to test if blocks exist where the haplotypes can partition inbred strains into high and low BMD groups. In this study, the candidate gene Cerberus 1 (Cer1) suggested from HAM analysis was eventually tested by a human case-control cohort of 1,083 subjects. RESULTS AND CONCLUSION: In this study, we used a HAM approach to identify a haplotype block within Cer1 that partitions inbred mice strains into high and low BMD groups. A cohort of 1083 high and low BMD human subjects were studied and a non-synonymous SNP (rs3747532) in human CER1 was identified to be associated with increased risk of both low BMD in premenopausal women (OR 2.2; 95% confidence interval: 1.0 - 4.6; p < 0.05) and increased risk of vertebral fractures (OR 1.82, p=0.025) in the post-menopausal cohort. We also showed that Cer1 is expressed in mouse bone and growth plate by RT-PCR, immunohistochemistry and in situ hybridization, consistent with polymorphisms potentially influencing bone mineral density. Our successful identification of an association with CER1 in humans together with our mouse study suggests that CER1 may play a role in the development of bone or its metabolism.postprintThe 59th Annual Meeting of The American Society of Human Genetics (ASHG), Honolulu, HI., 20-24 October 2009