Show simple item record

dc.contributor.author
Zinovik, Igor
dc.contributor.author
Kröning, Daniel
dc.contributor.author
Chebiryak, Yuri
dc.contributor.editor
Eidgenössische Technische Hochschule Zürich Departement Informatik, /
dc.date.accessioned
2017-10-27T11:36:17Z
dc.date.available
2017-06-10T21:21:10Z
dc.date.available
2017-10-27T11:36:17Z
dc.date.issued
2007-03
dc.identifier.uri
http://hdl.handle.net/20.500.11850/71707
dc.identifier.doi
10.3929/ethz-a-005684186
dc.description.abstract
Glass piecewise linear ODE models are frequently used for simulation of neural and gene regulatory networks. Efficient computational tools for automatic synthesis of such models are highly desirable. However, the existing algorithms for the identification of desired models are limited to four-dimensional networks, and rely on numerical solutions of eigenvalue problems. We suggest a novel algebraic criterion to detect the type of the phase flow along network cyclic attractors that is based on a corollary of the Perron-Frobenius theorem. We show an application of the criterion to the analysis of bifurcations in the networks. We propose to encode the identification of models with periodic orbits along cyclic attractors as a propositional formula, and solving it using state-of-the-art SAT-based tools for real linear arithmetic. New lower bounds for the number of equivalence classes are calculated for cyclic attractors in six-dimensional networks. Experimental results indicate that the runtime of our algorithm increases slower than the size of the search space of the problem.
en_US
dc.language.iso
en
en_US
dc.publisher
Swiss Federal Institute of Technology Zurich, Department of Computer Science, Computer Systems Institute
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
NEURAL NETWORKS + CONNECTIONISM (ARTIFICIAL INTELLIGENCE)
en_US
dc.subject
PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
en_US
dc.subject
NEURONALE NETZWERKE + KONNEKTIONISMUS (KÜNSTLICHE INTELLIGENZ)
en_US
dc.subject
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
en_US
dc.title
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.journal.title
Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science
ethz.journal.volume
557
en_US
ethz.size
19 p.
en_US
ethz.code.ddc
0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.event
2nd International Workshop on Algebraic Biology
ethz.event.location
Hagenberg, Austria
ethz.event.date
July 02-04, 2007
ethz.identifier.nebis
005684186
ethz.publication.place
Zürich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.date.deposited
2017-06-10T21:24:33Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp593650fd4e6b682085
ethz.identifier.importid
imp59366ac5d9a9482277
ethz.ecolpid
eth:30835
ethz.ecitpid
pub:113609
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-26T15:48:03Z
ethz.rosetta.lastUpdated
2017-10-27T11:36:20Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=An%20Algebraic%20Algorithm%20for%20the%20Identification%20of%20Glass%20Networks%20with%20Periodic%20Orbits%20along%20Cyclic%20Attractors&rft.jtitle=Technical%20report%20/%20Swiss%20Federal%20Institute%20of%20Technology%20Zurich,%20Department%20of%20Computer%20Science&rft.date=2007-03&rft.volume=557&rft.au=Zinovik,%20Igor&Kr%C3%B6ning,%20Daniel&Chebiryak,%20Yuri&rft.genre=report&
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record