Simulation of networks of spiking neurons: A review of tools and strategies

We review different aspects of the simulation of spiking neural networks. We start by reviewing the different types of simulation strategies and algorithms that are currently implemented. We next review the precision of those simulation strategies, in particular in cases where plasticity depends on the exact timing of the spikes. We overview different simulators and simulation environments presently available (restricted to those freely available, open source and documented). For each simulation tool, its advantages and pitfalls are reviewed, with an aim to allow the reader to identify which simulator is appropriate for a given task. Finally, we provide a series of benchmark simulations of different types of networks of spiking neurons, including Hodgkin-Huxley type, integrate-and-fire models, interacting with current-based or conductance-based synapses, using clock-driven or event-driven integration strategies. The same set of models are implemented on the different simulators, and the codes are made available. The ultimate goal of this review is to provide a resource to facilitate identifying the appropriate integration strategy and simulation tool to use for a given modeling problem related to spiking neural networks.Comment: 49 pages, 24 figures, 1 table; review article, Journal of Computational Neuroscience, in press (2007

Costos académicos de la Beca Presidente de la República

Entre los años 2013 y 2014 el Estado peruano a través de PRONABEC ha adjudicado becas para estudiar posgrados en el exterior a 1,004 jóvenes egresados de sus bachilleratos o licenciaturas, todos prometedores por sus notas y comportamiento. De este total de becarios, el 72,8% tiene menos de 30 años: el 53,2% oscila entre los 25 y 29 años y el 19,6% entre 20 y 24 años. El 59% de ellos son varones y el 41% mujeres. Contra lo que podría pensarse, sólo el 31% proviene de Lima y Callao, viniendo el restante 69% de todas las provincias del Perú. La publicación recoge los costos que demandan las becas y los criterios que demandan la selección de instituciones de enseñanza de calidad

Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' (also: virtual) redexes. In the implementation of functional programming languages it is common practice to perform beta-reductions at compile time whenever possible in order to produce code that requires fewer reductions at run time. This is, however, in principle limited to redexes and created redexes that are 'visible' (in the sense that they can be contracted without the need for unsharing), and cannot generally be extended to redexes that are concealed by sharing constructs such as letrec. In the case of recursion, concealed redexes become visible only after unwindings during evaluation, and then have to be contracted time and again. We observe that in some cases such redexes exhibit a certain form of repetitive behaviour at run time. We describe an analysis for identifying binders that give rise to such repetitive reduction patterns, and eliminate them by a sort of predictive contraction. Thereby these binders are lifted out of recursive positions or eliminated altogether, as a result alleviating the amount of beta-reductions required for each recursive iteration. Both our analysis and simplification are suitable to be integrated into existing compilers for functional programming languages as an additional optimisation phase. With this work we hope to contribute to increasing the efficiency of executing programs written in such languages.Comment: In Proceedings TERMGRAPH 2011, arXiv:1102.226

1α,25(OH)2-3-Epi-Vitamin D3, a Natural Physiological Metabolite of Vitamin D3: Its Synthesis, Biological Activity and Crystal Structure with Its Receptor

Background: The 1 alpha,25-dihydroxy-3-epi-vitamin-D(3) (1 alpha,25(OH)(2)-3-epi-D(3)), a natural metabolite of the seco-steroid vitamin D(3), exerts its biological activity through binding to its cognate vitamin D nuclear receptor (VDR), a ligand dependent transcription regulator. In vivo action of 1 alpha,25(OH)(2)-3-epi-D(3) is tissue-specific and exhibits lowest calcemic effect compared to that induced by 1 alpha,25(OH)(2)D(3). To further unveil the structural mechanism and structure-activity relationships of 1 alpha,25(OH)(2)-3-epi-D3 and its receptor complex, we characterized some of its in vitro biological properties and solved its crystal structure complexed with human VDR ligand-binding domain (LBD). Methodology/Principal Findings: In the present study, we report the more effective synthesis with fewer steps that provides higher yield of the 3-epimer of the 1 alpha,25(OH)(2)D(3). We solved the crystal structure of its complex with the human VDR-LBD and found that this natural metabolite displays specific adaptation of the ligand-binding pocket, as the 3-epimer maintains the number of hydrogen bonds by an alternative water-mediated interaction to compensate the abolished interaction with Ser278. In addition, the biological activity of the 1 alpha,25(OH)(2)-3-epi-D(3) in primary human keratinocytes and biochemical properties are comparable to 1 alpha,25(OH)(2)D(3). Conclusions/Significance: The physiological role of this pathway as the specific biological action of the 3-epimer remains unclear. However, its high metabolic stability together with its significant biologic activity makes this natural metabolite an interesting ligand for clinical applications. Our new findings contribute to a better understanding at molecular level how natural metabolites of 1 alpha,25(OH)(2)D(3) lead to significant activity in biological systems and we conclude that the C3-epimerization pathway produces an active metabolite with similar biochemical and biological properties to those of the 1 alpha,25(OH)(2)D(3)