- GNB-UAM GitHub with software tools and models for neuroscience research.
- RTHybrid software
for building and automatic calibration of hybrid circuits between
living and model neurons described in the papers R. Amaducci, M.
Reyes-Sanchez, I. Elices, F.B. Rodriguez, P.
Varona. 2019. RTHybrid: A Standardized and Open-Source Real-Time
Software Model Library for Experimental Neuroscience. Frontiers in Neuroinformatics 13:11 and M. Reyes-Sanchez, R. Amaducci, I. Elices, F.B. Rodriguez, P.
Varona. 2020. Automatic adaptation of model neurons and connections to
build hybrid circuits with living networks. Neuroinformatics 18: 377–393.
- Code
from "Temporal code-driven stimulation: definition and application to electrocommunication",
Angel Lareo, Caroline Garcia Forlim, Reynaldo Daniel Pinto, Pablo Varona, Francisco B. Rodriguez, 2015.
- Experimental Data
from "Delay-dependent response in weakly electric fish under closed-loop pulse stimulation",
Caroline Garcia Forlim, Reynaldo Daniel Pinto, Pablo Varona, Francisco B. Rodriguez, 2015.
- Code
for the protocols analyzed in "Methodological security verification of a
registration protocol", by Jesus Diaz, David Arroyo and Francisco B.
Rodriguez.
- Code for the protocols analyzed in "On securing online registration protocols:
formal verification of a new proposal", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez.
- Code for the protocols analyzed in "A formal methodology for integral security
design and verification of network protocols", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez.
- Code
formalization for ProVerif of the CHAT-SRP protocol, included in the
article "Formal security analysis of registration protocols for
interactive systems: a methodology and a case of study", by Jesus Diaz,
David Arroyo and Francisco B. Rodriguez, arXiv:1201.1134.
- Code formalization for ProVerif of the WEP Shared Key Authentication
protocol, included in the article "A formal methodology for integral
security design and verification of network protocols", by Jesus Diaz,
David Arroyo and Francisco B. Rodriguez, arXiv:1201.5666.
- Spike alignment software
to implement the method described in the paper L.F.
Lago-Fernandez, A. Szucs, P. Varona. "Determining burst firing time
distributions from multiple spike trains". Neural Computation 21(4): 973-990 (2009).
- Stand-alone code to control stepper motors under Linux with RTAI from the paper "Real-time
control of stepper motors for mechanosensory
stimulation" by C. Muniz, R. Levi, M. Benkrid, F.B.
Rodriguez, P. Varona, Journal of Neuroscience Methods 172 (1): 105-111 (2008).
- Advanced
Dynamic Clamp (ADCLAMP) page.
- Detailed equation
description and parameter values for the model used in the paper
"Structural inhomogeneities differentially modulate action currents and
population spikes initiated in the axon or dendrites" by L.
López-Aguado L., J.M. Ibarz, P. Varona and O. Herreras, J.
Neurophysiol. 88(5): 2809-2820 (2002).
- Detailed equation
description and parameter values for the model used in "Macroscopic
and Subcellular Factors Shaping Population Spikes", J.
Neurophysiol., 83 (4): 2192-2208 by P. Varona, J. M. Ibarz, L.
López, O. Herreras. 2000.
|