BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-255357,
    author = {Islam, Ariful and Wang, Qinsi and M. Hasani, Ramin and Bal{\'u}n, Ondrej and Clarke, Edmund and Grosu, Radu and Smolka, Scott A.},
    title = {Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans},
    booktitle = {18th IEEE International High-Level Design Validation and Test Workshop},
    year = {2016},
    pages = {170--177},
    publisher = {IEEE},
    issn = {2471-7827},
    doi = {10.1109/HLDVT.2016.7748272},
    keywords = {We present a probabilistic reachability analysis of a (nonlinear ODE) model of a neural circuit in Caeorhabditis elegans (C. elegans), the common roundworm. In particular, we consider Tap Withdrawal (TW)},
    note = {talk: 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A.; 2016-10-07 -- 2016-10-08}
}


1 Datensatz ausgegeben