TY - GEN
T1 - Computer modeling in neuroscience
T2 - Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015
AU - Anastasio, Thomas J.
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - Theory and computational modeling have played important roles in neuroscience. Models of neural systems range from coolly abstract to scrupulously biologically detailed, but the overwhelming majority have been implemented using imperative programming languages. Very recently, declarative programming approaches have entered the realm of computational neuroscience, including models implemented in Maude. The declarative approach promises deeper insights into neurobiology, especially into the pathological processes that underlie neurological disorders. This chapter will provide a very short overview of imperative and declarative modeling in neuroscience, and will then describe a specific example of a model of a key neural process implemented in Maude. The Maude model provides potential new insights that would be difficult to obtain using an imperative approach.
AB - Theory and computational modeling have played important roles in neuroscience. Models of neural systems range from coolly abstract to scrupulously biologically detailed, but the overwhelming majority have been implemented using imperative programming languages. Very recently, declarative programming approaches have entered the realm of computational neuroscience, including models implemented in Maude. The declarative approach promises deeper insights into neurobiology, especially into the pathological processes that underlie neurological disorders. This chapter will provide a very short overview of imperative and declarative modeling in neuroscience, and will then describe a specific example of a model of a key neural process implemented in Maude. The Maude model provides potential new insights that would be difficult to obtain using an imperative approach.
KW - Emotion
KW - Endocannabinoids
KW - Extinction
KW - Fear conditioning
KW - Learning
KW - Marijuana
KW - Neurobiology
KW - Neuroscience
KW - Post-traumatic stress disorder
UR - http://www.scopus.com/inward/record.url?scp=84960434427&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84960434427&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-23165-5_4
DO - 10.1007/978-3-319-23165-5_4
M3 - Conference contribution
AN - SCOPUS:84960434427
SN - 9783319231648
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 97
EP - 113
BT - Logic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday
A2 - Ölveczky, Peter Csaba
A2 - Talcott, Carolyn
A2 - Martí-Oliet, Narciso
PB - Springer
Y2 - 23 September 2015 through 25 September 2015
ER -