Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Yury Chebiryak"'
Publikováno v:
IEEE Transactions on Information Theory. 56:805-820
Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-dimensional binary hypercubes. In this paper, we report a broad range of results a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbf35bb1b4afe5cade5b1fd798236997
https://doi.org/10.1109/tit.2009.2037078
https://doi.org/10.1109/tit.2009.2037078
Publikováno v:
IEEE Transactions on Information Theory, 54 (4)
IEEE Transactions on Information Theory, 54 (4)
ISSN:0018-9448
ISSN:1557-9654
ISSN:0018-9448
ISSN:1557-9654
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d972e5a0bf90001c0f29fa248d4348da
https://doi.org/10.1109/tit.2008.917695
https://doi.org/10.1109/tit.2008.917695
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642027765
SAT
SAT
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are, however, unable to perform a complete search. In this paper, we propo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d197412c26e3e061a3471e1d976118b
Autor:
Daniel Kroening, Yury Chebiryak
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 601
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representation, and presented it for dimension 4. We classify cycles in two further
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::590eac0e8a70b9e2a819144b0bfe3c59
https://hdl.handle.net/20.500.11850/68638
https://hdl.handle.net/20.500.11850/68638
Publikováno v:
Algebraic Biology ISBN: 9783540734321
AB
Technical Report / ETH Zurich, Department of Computer Science, 557
Scopus-Elsevier
AB
Technical Report / ETH Zurich, Department of Computer Science, 557
Scopus-Elsevier
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 identific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d44fe94e8a8d6732ef3c53da2bea0afa