Computer modeling in neuroscience: From imperative to declarative programming: Maude modeling in neuroscience

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationLogic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday
EditorsPeter Csaba Ölveczky, Carolyn Talcott, Narciso Martí-Oliet
PublisherSpringer
Pages97-113
Number of pages17
ISBN (Print)9783319231648
DOIs
StatePublished - 2015
EventConference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015 - Champaign, United States
Duration: Sep 23 2015Sep 25 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9200
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherConference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015
Country/TerritoryUnited States
CityChampaign
Period9/23/159/25/15

Keywords

  • Emotion
  • Endocannabinoids
  • Extinction
  • Fear conditioning
  • Learning
  • Marijuana
  • Neurobiology
  • Neuroscience
  • Post-traumatic stress disorder

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Computer modeling in neuroscience: From imperative to declarative programming: Maude modeling in neuroscience'. Together they form a unique fingerprint.

Cite this