Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Düren
Shaker Verlag
2019
|
| Ausgabe: | [1. Auflage] |
| Schriftenreihe: | Aachener Informatik-Berichte, Software-Engineering
39 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | V, 209 Seiten Illustrationen 24 cm, 320 g |
| ISBN: | 9783844066326 3844066322 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV047089006 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 210115s2019 gw a||| m||| 00||| eng d | ||
| 015 | |a 19,N12 |2 dnb | ||
| 015 | |a 19,A40 |2 dnb | ||
| 015 | |a 19,H10 |2 dnb | ||
| 016 | 7 | |a 1180518713 |2 DE-101 | |
| 020 | |a 9783844066326 |c Broschur : EUR 35.80 (DE), EUR 35.80 (AT), CHF 44.80 (freier Preis) |9 978-3-8440-6632-6 | ||
| 020 | |a 3844066322 |9 3-8440-6632-2 | ||
| 024 | 3 | |a 9783844066326 | |
| 035 | |a (OCoLC)1090340849 | ||
| 035 | |a (DE-599)DNB1180518713 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 006.32 |2 23/ger | |
| 084 | |a 570 |2 sdnb | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 610 |2 sdnb | ||
| 100 | 1 | |a Blundell, Inga |e Verfasser |0 (DE-588)1187866652 |4 aut | |
| 245 | 1 | 0 | |a Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML |c Inga Blundell |
| 250 | |a [1. Auflage] | ||
| 264 | 1 | |a Düren |b Shaker Verlag |c 2019 | |
| 300 | |a V, 209 Seiten |b Illustrationen |c 24 cm, 320 g | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Aachener Informatik-Berichte, Software-Engineering |v 39 | |
| 502 | |b Dissertation |c RWTH Aachen University |d 2018 | ||
| 650 | 0 | 7 | |a Differentialgleichungssystem |0 (DE-588)4121137-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersimulation |0 (DE-588)4148259-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Elektrophysiologie |0 (DE-588)4138132-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ionenkanal |0 (DE-588)4138699-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Membranpotenzial |0 (DE-588)4128755-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nervenzelle |0 (DE-588)4041649-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hirnfunktion |0 (DE-588)4159930-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Pulsverarbeitendes neuronales Netz |0 (DE-588)4529621-2 |2 gnd |9 rswk-swf |
| 653 | |a Paperback / softback | ||
| 653 | |a Fachpublikum/ Wissenschaft | ||
| 653 | |a )Unsewn / adhesive bound | ||
| 653 | |a NESTML | ||
| 653 | |a ODE | ||
| 653 | |a brain | ||
| 653 | |a computational neuroscience | ||
| 653 | |a neural simulation | ||
| 653 | |a neuron | ||
| 653 | |a 1632: Hardcover, Softcover / Informatik, EDV/Informatik | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Hirnfunktion |0 (DE-588)4159930-5 |D s |
| 689 | 0 | 1 | |a Nervenzelle |0 (DE-588)4041649-5 |D s |
| 689 | 0 | 2 | |a Pulsverarbeitendes neuronales Netz |0 (DE-588)4529621-2 |D s |
| 689 | 0 | 3 | |a Membranpotenzial |0 (DE-588)4128755-1 |D s |
| 689 | 0 | 4 | |a Ionenkanal |0 (DE-588)4138699-1 |D s |
| 689 | 0 | 5 | |a Elektrophysiologie |0 (DE-588)4138132-4 |D s |
| 689 | 0 | 6 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 0 | 7 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |D s |
| 689 | 0 | 8 | |a Differentialgleichungssystem |0 (DE-588)4121137-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Shaker Verlag |0 (DE-588)1064118135 |4 pbl | |
| 830 | 0 | |a Aachener Informatik-Berichte, Software-Engineering |v 39 |w (DE-604)BV040516036 |9 39 | |
| 856 | 4 | 2 | |m B:DE-101 |q application/pdf |u http://d-nb.info/1180518713/04 |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032495609&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032495609 | ||
Datensatz im Suchindex
| _version_ | 1804182105486262272 |
|---|---|
| adam_text | CONTENTS
1
INTRODUCTION
7
1.1
NEURONS
....................................................................................................
7
1.2
BRAIN
REGIONS
...............................................................................................
12
1.3
DECODING
THE
BRAIN
USING
COMPUTER
SIMULATIONS
.....................................
13
1.4
NEURONAL
MODELLING
LANGUAGES
.
.
.
...........................................................
16
1.5
MAIN
RESULTS
OF
THIS
THESIS
..........................................................................
17
1.6
STRUCTURE
OF
THE
THESIS
................................................................................
18
2
MATHEMATICAL
MODELLING
OF
BIOLOGICAL
NEURONS
21
2.1
BIOLOGICAL
NEURONS
.........................................................................................
21
2.2
MATHEMATICAL
MODELS
OF
NEURONS
.................................................................
24
2.2.1
THE
INTEGRATE-AND-FIRE
MODEL
.............................................................
26
2.2.2
CURRENT-BASED
AND
CONDUCTANCE-BASED
INTEGRATE-AND-FIRE
NEU
RONS
..................................................................................................
27
2.2.3
THE
ADAPTIVE
EXPONENTIAL
INTEGRATE-AND-FIRE
MODEL
......................
28
2.2.4
THE
HODGKIN-HUXLEY
MODEL
..........................................................
29
2.2.5
THE
IZHIKEVICH
MODEL
......................................................................
31
2.2.6
MULTI-COMPARTMENT
MODELS
.............................................................
31
3
NEURAL
SIMULATIONS
33
3.1
NEURAL
SIMULATION
.........................................................................................
33
3.2
NEURAL
SIMULATORS
.........................................................................................
34
3.2.1
NEST:
A
NEURAL
SIMULATION
TOOL
......................................................
34
3.3
MODELLING
LANGUAGES
FOR
NEURAL
SIMULATORS
..............................................
36
4
THE
NESTML
LANGUAGE
39
4.1
BASIC
ELEMENTS
OF
THE
LANGUAGE
....................................................................
41
4.1.1
DECLARATIONS
......................................................................................
42
4.1.2
EXPRESSIONS
AND
THEIR
OPERATORS
......................................................
42
4.1.3
ASSIGNMENTS
......................................................................................
42
4.1.4
FUNCTIONS
.........................................................................................
43
V
4.1.5
LOOPS
...............................................................................................
44
4.1.6
CONDITIONALS
......................................................................................
45
4.2
DATA
TYPES
AND
PHYSICAL
UNITS
....................................................................
45
4.2.1
DATA
TYPES
.........................................................................................
45
4.2.2
PHYSICAL
UNITS
...................................................................................
46
4.3
NEURON
MODELLING
WITH
NESTML
..............................................................
47
4.3.1
COMMENTS
.........................................................................................
53
5
SOLVING
DIFFERENTIAL
EQUATIONS
IN
NEURON
MODELS
OPTIMALLY
55
5.1
SOLVING
LINEAR
CONSTANT
COEFFICIENT
(DDES
ANALYTICALLY
............................
55
5.1.1
CHECKING
LINEARITY
.............................................................................
56
5.1.2
AN
ANALYTIC
EVOLUTION
SCHEME
........................................................
68
5.1.3
ADDING
A
CONSTANT
EXTERNAL
INPUT
CURRENT
.......................................
71
5.1.4
HANDLING
SUMS
................................................................................
73
5.2
CHOICE
OF
A
SUITABLE
NUMERIC
INTEGRATION
SCHEME
.....................................
74
5.2.1
COMPARISON
OF
AVERAGE
STEP
SIZES
..............................................
79
5.3
ALTERNATIVE
APPROACHES
................................................................................
82
5.4
EVALUATION
OF
SOLVER
APPROACHES
.................................................................
82
5.4.1
SOLVING
LINEAR
CONSTANT
COEFFICIENT
ODES
ANALYTICALLY
.................
82
5.4.2
CHOICE
OF
A
SUITABLE
NUMERIC
INTEGRATION
SCHEME
...........................
83
6
REFERENCE
IMPLEMENTATION
85
6.1
ANALYSIS
OF
POSTSYNAPTIC
SHAPES
.................................................................
88
6.2
GENERATION
OF
AN
ANALYTICAL
EVOLUTION
SCHEME
...........................................
90
6.3
FINDING
AN
APPROPRIATE
NUMERICAL
SOLVER
.................................................
93
6.4
EXAMPLE
........................................................................................................
93
7
THE
INTEGRATE-AND-FIRE
NEURON
MODEL
WITH
ALPHA-SHAPED
POSTSYNAP
TIC
CURRENTS:
A
CASE
STUDY
97
7.1
THE
BIOPHYSICAL
MODEL
........................
97
7.2
THE
NEST-IMPLEMENTATION
........................................................................
101
7.3
THE
NESTML-IMPLEMENTATION
..................................................................
104
7.4
CODE-GENERATION
.......................................................................................
107
7.5
ADVANTAGES
OF
THE
NEW
APPROACH
...............................................................
114
8
APPLICATION
TO
COMMON
MODELS
117
9
RELATED
WORK
123
9.1
NEURAL
SIMULATORS
.......................................................................................
123
9.1.1
BRIAN
..................................................................................................
123
9.1.2
NMODL
..........................................................................................
124
9.2
SOFTWARE
FOR
SYMBOLIC
COMPUTATION
AND
SCIENTIFIC
COMPUTING
..............
125
9.2.1
CONCEPTUAL
ABILITIES
........................................................................
125
9.2.2
TECHNOLOGY
....................................................................................
130
9.3
ORDINARY
DIFFERENTIAL
EQUATIONS
IN
OTHER
APPLICATIONS
.............................
130
9.3.1
MOLECULAR
SIMULATION
.....................................................................
130
9.3.2
CONTROL
ENGINEERING
........................................................................
132
10
EVALUATION
OF
NESTML
135
11
DISCUSSION
141
11.1
RESTRICTIONS
OF
THE
FRAMEWORK
..................................................................
141
11.1.1
STOCHASTIC
NEURON
MODELS
............................................................
141
11.1.2
ANALYZING
SHAPE
FUNCTIONS
THAT
DO
NOT
OBEY
A
LINEAR
HOMOGE
NEOUS
ODE)
....................................................................................
144
11.2
ALTERNATIVE
METHODS
.................................................................................
144
11.2.1
ODE
SYSTEMS
THAT
CAN
BE
SOLVED
PARTLY
ANALYTICALLY
.................
145
11.3
FUTURE
WORK
........................................................................................
147
REFERENCES
149
APPENDIX:
IMPLEMENTATION
OF
AN
INTEGRATE-AND-FIRE
NEURON
MODEL
WITH
ALPHA-SHAPED
POST
SYNAPTIC
CURRENTS
IN
NEST
159
APPENDIX:
NESTML
IMPLEMENTATIONS
OF
COMMONLY
USED
NEURON
MOD
ELS
176
.1
THE
ADAPTIVE
EXPONENTIAL
INTEGRATE-AND-FIRE
NEURON
WITH
ALPHA-SHAPED
CONDUCTANCES:
AEIF_COND*ALPHA
..................................................................
176
.2
THE
HODGKIN
ITUXLEY
NEURON
MODEL:
HH_PSC_ALPHA
...................................
179
.3
THE
CONDUCTANCE-BASED
INTEGRATE-AND-FIRE
NEURON
WITH
ALPHA-SHAPED
CONDUCTANCES:
IAF_COND_ALPHA
..................................................................
182
.4
THE
CURRENT-BASED
INTEGRATE-AND-FIRE
NEURON
WITH
ALPHA-SHAPED
POST-
SYNAPTIC
CURRENTS:
IAF*PSC_AIPHA
...............................................................
184
.5
THE
IZHIKEVICH
MODEL:
IZHIKEVICH
............................................................
187
LIST
OF
FIGURES
209
|
| adam_txt |
CONTENTS
1
INTRODUCTION
7
1.1
NEURONS
.
7
1.2
BRAIN
REGIONS
.
12
1.3
DECODING
THE
BRAIN
USING
COMPUTER
SIMULATIONS
.
13
1.4
NEURONAL
MODELLING
LANGUAGES
.
.
.
.
16
1.5
MAIN
RESULTS
OF
THIS
THESIS
.
17
1.6
STRUCTURE
OF
THE
THESIS
.
18
2
MATHEMATICAL
MODELLING
OF
BIOLOGICAL
NEURONS
21
2.1
BIOLOGICAL
NEURONS
.
21
2.2
MATHEMATICAL
MODELS
OF
NEURONS
.
24
2.2.1
THE
INTEGRATE-AND-FIRE
MODEL
.
26
2.2.2
CURRENT-BASED
AND
CONDUCTANCE-BASED
INTEGRATE-AND-FIRE
NEU
RONS
.
27
2.2.3
THE
ADAPTIVE
EXPONENTIAL
INTEGRATE-AND-FIRE
MODEL
.
28
2.2.4
THE
HODGKIN-HUXLEY
MODEL
.
29
2.2.5
THE
IZHIKEVICH
MODEL
.
31
2.2.6
MULTI-COMPARTMENT
MODELS
.
31
3
NEURAL
SIMULATIONS
33
3.1
NEURAL
SIMULATION
.
33
3.2
NEURAL
SIMULATORS
.
34
3.2.1
NEST:
A
NEURAL
SIMULATION
TOOL
.
34
3.3
MODELLING
LANGUAGES
FOR
NEURAL
SIMULATORS
.
36
4
THE
NESTML
LANGUAGE
39
4.1
BASIC
ELEMENTS
OF
THE
LANGUAGE
.
41
4.1.1
DECLARATIONS
.
42
4.1.2
EXPRESSIONS
AND
THEIR
OPERATORS
.
42
4.1.3
ASSIGNMENTS
.
42
4.1.4
FUNCTIONS
.
43
V
4.1.5
LOOPS
.
44
4.1.6
CONDITIONALS
.
45
4.2
DATA
TYPES
AND
PHYSICAL
UNITS
.
45
4.2.1
DATA
TYPES
.
45
4.2.2
PHYSICAL
UNITS
.
46
4.3
NEURON
MODELLING
WITH
NESTML
.
47
4.3.1
COMMENTS
.
53
5
SOLVING
DIFFERENTIAL
EQUATIONS
IN
NEURON
MODELS
OPTIMALLY
55
5.1
SOLVING
LINEAR
CONSTANT
COEFFICIENT
(DDES
ANALYTICALLY
.
55
5.1.1
CHECKING
LINEARITY
.
56
5.1.2
AN
ANALYTIC
EVOLUTION
SCHEME
.
68
5.1.3
ADDING
A
CONSTANT
EXTERNAL
INPUT
CURRENT
.
71
5.1.4
HANDLING
SUMS
.
73
5.2
CHOICE
OF
A
SUITABLE
NUMERIC
INTEGRATION
SCHEME
.
74
5.2.1
COMPARISON
OF
AVERAGE
STEP
SIZES
.
79
5.3
ALTERNATIVE
APPROACHES
.
82
5.4
EVALUATION
OF
SOLVER
APPROACHES
.
82
5.4.1
SOLVING
LINEAR
CONSTANT
COEFFICIENT
ODES
ANALYTICALLY
.
82
5.4.2
CHOICE
OF
A
SUITABLE
NUMERIC
INTEGRATION
SCHEME
.
83
6
REFERENCE
IMPLEMENTATION
85
6.1
ANALYSIS
OF
POSTSYNAPTIC
SHAPES
.
88
6.2
GENERATION
OF
AN
ANALYTICAL
EVOLUTION
SCHEME
.
90
6.3
FINDING
AN
APPROPRIATE
NUMERICAL
SOLVER
.
93
6.4
EXAMPLE
.
93
7
THE
INTEGRATE-AND-FIRE
NEURON
MODEL
WITH
ALPHA-SHAPED
POSTSYNAP
TIC
CURRENTS:
A
CASE
STUDY
97
7.1
THE
BIOPHYSICAL
MODEL
.
97
7.2
THE
NEST-IMPLEMENTATION
.
101
7.3
THE
NESTML-IMPLEMENTATION
.
104
7.4
CODE-GENERATION
.
107
7.5
ADVANTAGES
OF
THE
NEW
APPROACH
.
114
8
APPLICATION
TO
COMMON
MODELS
117
9
RELATED
WORK
123
9.1
NEURAL
SIMULATORS
.
123
9.1.1
BRIAN
.
123
9.1.2
NMODL
.
124
9.2
SOFTWARE
FOR
SYMBOLIC
COMPUTATION
AND
SCIENTIFIC
COMPUTING
.
125
9.2.1
CONCEPTUAL
ABILITIES
.
125
9.2.2
TECHNOLOGY
.
130
9.3
ORDINARY
DIFFERENTIAL
EQUATIONS
IN
OTHER
APPLICATIONS
.
130
9.3.1
MOLECULAR
SIMULATION
.
130
9.3.2
CONTROL
ENGINEERING
.
132
10
EVALUATION
OF
NESTML
135
11
DISCUSSION
141
11.1
RESTRICTIONS
OF
THE
FRAMEWORK
.
141
11.1.1
STOCHASTIC
NEURON
MODELS
.
141
11.1.2
ANALYZING
SHAPE
FUNCTIONS
THAT
DO
NOT
OBEY
A
LINEAR
HOMOGE
NEOUS
ODE)
.
144
11.2
ALTERNATIVE
METHODS
.
144
11.2.1
ODE
SYSTEMS
THAT
CAN
BE
SOLVED
PARTLY
ANALYTICALLY
.
145
11.3
FUTURE
WORK
.
147
REFERENCES
149
APPENDIX:
IMPLEMENTATION
OF
AN
INTEGRATE-AND-FIRE
NEURON
MODEL
WITH
ALPHA-SHAPED
POST
SYNAPTIC
CURRENTS
IN
NEST
159
APPENDIX:
NESTML
IMPLEMENTATIONS
OF
COMMONLY
USED
NEURON
MOD
ELS
176
.1
THE
ADAPTIVE
EXPONENTIAL
INTEGRATE-AND-FIRE
NEURON
WITH
ALPHA-SHAPED
CONDUCTANCES:
AEIF_COND*ALPHA
.
176
.2
THE
HODGKIN
ITUXLEY
NEURON
MODEL:
HH_PSC_ALPHA
.
179
.3
THE
CONDUCTANCE-BASED
INTEGRATE-AND-FIRE
NEURON
WITH
ALPHA-SHAPED
CONDUCTANCES:
IAF_COND_ALPHA
.
182
.4
THE
CURRENT-BASED
INTEGRATE-AND-FIRE
NEURON
WITH
ALPHA-SHAPED
POST-
SYNAPTIC
CURRENTS:
IAF*PSC_AIPHA
.
184
.5
THE
IZHIKEVICH
MODEL:
IZHIKEVICH
.
187
LIST
OF
FIGURES
209 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Blundell, Inga |
| author_GND | (DE-588)1187866652 |
| author_facet | Blundell, Inga |
| author_role | aut |
| author_sort | Blundell, Inga |
| author_variant | i b ib |
| building | Verbundindex |
| bvnumber | BV047089006 |
| ctrlnum | (OCoLC)1090340849 (DE-599)DNB1180518713 |
| dewey-full | 006.32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.32 |
| dewey-search | 006.32 |
| dewey-sort | 16.32 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Biologie Informatik Medizin |
| discipline_str_mv | Biologie Informatik Medizin |
| edition | [1. Auflage] |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03513nam a2200829 cb4500</leader><controlfield tag="001">BV047089006</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">210115s2019 gw a||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">19,N12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">19,A40</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">19,H10</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1180518713</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783844066326</subfield><subfield code="c">Broschur : EUR 35.80 (DE), EUR 35.80 (AT), CHF 44.80 (freier Preis)</subfield><subfield code="9">978-3-8440-6632-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3844066322</subfield><subfield code="9">3-8440-6632-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783844066326</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1090340849</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1180518713</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.32</subfield><subfield code="2">23/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">570</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">610</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blundell, Inga</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1187866652</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML</subfield><subfield code="c">Inga Blundell</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[1. Auflage]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düren</subfield><subfield code="b">Shaker Verlag</subfield><subfield code="c">2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 209 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">24 cm, 320 g</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Aachener Informatik-Berichte, Software-Engineering</subfield><subfield code="v">39</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">RWTH Aachen University</subfield><subfield code="d">2018</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Differentialgleichungssystem</subfield><subfield code="0">(DE-588)4121137-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Elektrophysiologie</subfield><subfield code="0">(DE-588)4138132-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ionenkanal</subfield><subfield code="0">(DE-588)4138699-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Membranpotenzial</subfield><subfield code="0">(DE-588)4128755-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nervenzelle</subfield><subfield code="0">(DE-588)4041649-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hirnfunktion</subfield><subfield code="0">(DE-588)4159930-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Pulsverarbeitendes neuronales Netz</subfield><subfield code="0">(DE-588)4529621-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Fachpublikum/ Wissenschaft</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">)Unsewn / adhesive bound</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">NESTML</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">ODE</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">brain</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computational neuroscience</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">neural simulation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">neuron</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">1632: Hardcover, Softcover / Informatik, EDV/Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hirnfunktion</subfield><subfield code="0">(DE-588)4159930-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Nervenzelle</subfield><subfield code="0">(DE-588)4041649-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Pulsverarbeitendes neuronales Netz</subfield><subfield code="0">(DE-588)4529621-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Membranpotenzial</subfield><subfield code="0">(DE-588)4128755-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Ionenkanal</subfield><subfield code="0">(DE-588)4138699-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Elektrophysiologie</subfield><subfield code="0">(DE-588)4138132-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">Differentialgleichungssystem</subfield><subfield code="0">(DE-588)4121137-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Shaker Verlag</subfield><subfield code="0">(DE-588)1064118135</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Aachener Informatik-Berichte, Software-Engineering</subfield><subfield code="v">39</subfield><subfield code="w">(DE-604)BV040516036</subfield><subfield code="9">39</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://d-nb.info/1180518713/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032495609&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032495609</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV047089006 |
| illustrated | Illustrated |
| index_date | 2024-07-03T16:18:52Z |
| indexdate | 2024-07-10T09:02:16Z |
| institution | BVB |
| institution_GND | (DE-588)1064118135 |
| isbn | 9783844066326 3844066322 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032495609 |
| oclc_num | 1090340849 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | V, 209 Seiten Illustrationen 24 cm, 320 g |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Shaker Verlag |
| record_format | marc |
| series | Aachener Informatik-Berichte, Software-Engineering |
| series2 | Aachener Informatik-Berichte, Software-Engineering |
| spelling | Blundell, Inga Verfasser (DE-588)1187866652 aut Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML Inga Blundell [1. Auflage] Düren Shaker Verlag 2019 V, 209 Seiten Illustrationen 24 cm, 320 g txt rdacontent n rdamedia nc rdacarrier Aachener Informatik-Berichte, Software-Engineering 39 Dissertation RWTH Aachen University 2018 Differentialgleichungssystem (DE-588)4121137-6 gnd rswk-swf Computersimulation (DE-588)4148259-1 gnd rswk-swf Elektrophysiologie (DE-588)4138132-4 gnd rswk-swf Ionenkanal (DE-588)4138699-1 gnd rswk-swf Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd rswk-swf Membranpotenzial (DE-588)4128755-1 gnd rswk-swf Nervenzelle (DE-588)4041649-5 gnd rswk-swf Hirnfunktion (DE-588)4159930-5 gnd rswk-swf Pulsverarbeitendes neuronales Netz (DE-588)4529621-2 gnd rswk-swf Paperback / softback Fachpublikum/ Wissenschaft )Unsewn / adhesive bound NESTML ODE brain computational neuroscience neural simulation neuron 1632: Hardcover, Softcover / Informatik, EDV/Informatik (DE-588)4113937-9 Hochschulschrift gnd-content Hirnfunktion (DE-588)4159930-5 s Nervenzelle (DE-588)4041649-5 s Pulsverarbeitendes neuronales Netz (DE-588)4529621-2 s Membranpotenzial (DE-588)4128755-1 s Ionenkanal (DE-588)4138699-1 s Elektrophysiologie (DE-588)4138132-4 s Computersimulation (DE-588)4148259-1 s Domänenspezifische Programmiersprache (DE-588)7585264-0 s Differentialgleichungssystem (DE-588)4121137-6 s DE-604 Shaker Verlag (DE-588)1064118135 pbl Aachener Informatik-Berichte, Software-Engineering 39 (DE-604)BV040516036 39 B:DE-101 application/pdf http://d-nb.info/1180518713/04 Inhaltsverzeichnis DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032495609&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Blundell, Inga Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML Aachener Informatik-Berichte, Software-Engineering Differentialgleichungssystem (DE-588)4121137-6 gnd Computersimulation (DE-588)4148259-1 gnd Elektrophysiologie (DE-588)4138132-4 gnd Ionenkanal (DE-588)4138699-1 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Membranpotenzial (DE-588)4128755-1 gnd Nervenzelle (DE-588)4041649-5 gnd Hirnfunktion (DE-588)4159930-5 gnd Pulsverarbeitendes neuronales Netz (DE-588)4529621-2 gnd |
| subject_GND | (DE-588)4121137-6 (DE-588)4148259-1 (DE-588)4138132-4 (DE-588)4138699-1 (DE-588)7585264-0 (DE-588)4128755-1 (DE-588)4041649-5 (DE-588)4159930-5 (DE-588)4529621-2 (DE-588)4113937-9 |
| title | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML |
| title_auth | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML |
| title_exact_search | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML |
| title_exact_search_txtP | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML |
| title_full | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML Inga Blundell |
| title_fullStr | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML Inga Blundell |
| title_full_unstemmed | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML Inga Blundell |
| title_short | Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML |
| title_sort | algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language nestml |
| topic | Differentialgleichungssystem (DE-588)4121137-6 gnd Computersimulation (DE-588)4148259-1 gnd Elektrophysiologie (DE-588)4138132-4 gnd Ionenkanal (DE-588)4138699-1 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Membranpotenzial (DE-588)4128755-1 gnd Nervenzelle (DE-588)4041649-5 gnd Hirnfunktion (DE-588)4159930-5 gnd Pulsverarbeitendes neuronales Netz (DE-588)4529621-2 gnd |
| topic_facet | Differentialgleichungssystem Computersimulation Elektrophysiologie Ionenkanal Domänenspezifische Programmiersprache Membranpotenzial Nervenzelle Hirnfunktion Pulsverarbeitendes neuronales Netz Hochschulschrift |
| url | http://d-nb.info/1180518713/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032495609&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV040516036 |
| work_keys_str_mv | AT blundellinga algorithmicsolverselectionforsystemsofdifferentialequationsinhumanbraincellmodelsforthedomainspecifclanguagenestml AT shakerverlag algorithmicsolverselectionforsystemsofdifferentialequationsinhumanbraincellmodelsforthedomainspecifclanguagenestml |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis