乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:24:57Z","timestamp":1730319897101,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T00:00:00Z","timestamp":1512604800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,7]]},"DOI":"10.1145\/3156346.3156350","type":"proceedings-article","created":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T14:50:46Z","timestamp":1513176646000},"page":"15-22","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal Validation of Neural Networks as Timed Automata"],"prefix":"10.1145","author":[{"given":"Elisabetta","family":"De Maria","sequence":"first","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, France"}]},{"given":"Cinzia","family":"Di Giusto","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, France"}]},{"given":"Giovanni","family":"Ciatto","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna, Italy"}]}],"member":"320","published-online":{"date-parts":[[2017,12,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.11.005"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer--Verlag, 232--243","author":"Bengtsson Johan","year":"1995","unstructured":"Johan Bengtsson , Kim G. Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi . 1995 . Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems . In Proceedings of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer--Verlag, 232--243 . Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems. In Proceedings of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer--Verlag, 232--243."},{"key":"e_1_3_2_1_4_1","volume-title":"Elisabetta De Maria, and Cinzia Di Giusto","author":"Ciatto Giovanni","year":"2016","unstructured":"Giovanni Ciatto , Elisabetta De Maria, and Cinzia Di Giusto . 2016 . Additional material. https:\/\/github.com\/gciatto\/snn_as_ta. (2016). Giovanni Ciatto, Elisabetta De Maria, and Cinzia Di Giusto. 2016. Additional material. https:\/\/github.com\/gciatto\/snn_as_ta. (2016)."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of Advances in Systems and Synthetic Biology. 55--68","author":"Ciatto Giovanni","year":"2017","unstructured":"Giovanni Ciatto , Elisabetta De Maria , and Cinzia Di Giusto . 2017 . Spiking Neural Networks as Timed Automata . In Proceedings of Advances in Systems and Synthetic Biology. 55--68 . Giovanni Ciatto, Elisabetta De Maria, and Cinzia Di Giusto. 2017. Spiking Neural Networks as Timed Automata. In Proceedings of Advances in Systems and Synthetic Biology. 55--68."},{"key":"e_1_3_2_1_6_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Jr., Orna Grumberg , and Doron A . Peled . 1999 . Model checking. MIT Press , Cambridge, MA, USA. Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999. Model checking. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551274"},{"key":"e_1_3_2_1_8_1","volume-title":"Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. In Fifth International Workshop on Hybrid Systems Biology","author":"Maria Elisabetta De","year":"2016","unstructured":"Elisabetta De Maria , Alexandre Muzy , Daniel Gaff\u00e9 , Annie Ressouche , and Franck Grammont . 2016 . Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. In Fifth International Workshop on Hybrid Systems Biology . Grenoble, France. Elisabetta De Maria, Alexandre Muzy, Daniel Gaff\u00e9, Annie Ressouche, and Franck Grammont. 2016. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. In Fifth International Workshop on Hybrid Systems Biology. Grenoble, France."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/0146017"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007662407062"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1952.sp004764"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2003.820440"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2004.832719"},{"key":"e_1_3_2_1_14_1","first-page":"620","article-title":"Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization","volume":"9","author":"Lapicque L.","year":"1907","unstructured":"L. Lapicque . 1907 . Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization . J Physiol Pathol Gen 9 (1907), 620 -- 635 . L. Lapicque. 1907. Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization. J Physiol Pathol Gen 9 (1907), 620--635.","journal-title":"J Physiol Pathol Gen"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(97)00011-7"},{"key":"e_1_3_2_1_16_1","volume-title":"McCulloch and Walter Pitts","author":"Warren","year":"1943","unstructured":"Warren S. McCulloch and Walter Pitts . 1943 . A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics 5, 4 (1943), 115--133. Warren S. McCulloch and Walter Pitts. 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics 5, 4 (1943), 115--133."},{"volume-title":"Computing with Spiking Neuron Networks","author":"Paugam-Moisy H\u00e9l\u00e8ne","key":"e_1_3_2_1_17_1","unstructured":"H\u00e9l\u00e8ne Paugam-Moisy and Sander Bohte . 2012. Computing with Spiking Neuron Networks . Springer Berlin Heidelberg , Berlin, Heidelberg , 335--376. H\u00e9l\u00e8ne Paugam-Moisy and Sander Bohte. 2012. Computing with Spiking Neuron Networks. Springer Berlin Heidelberg, Berlin, Heidelberg, 335--376."}],"event":{"name":"CSBio '17: 8th International Conference on Computational Systems-Biology and Bioinformatics","sponsor":["SOICT School of Information and Communication Technology - HUST","NAFOSTED The National Foundation for Science and Technology Development","KMUTT King Mongkut's University of Technology Thonburi"],"location":"Nha Trang City Viet Nam","acronym":"CSBio '17"},"container-title":["Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3156346.3156350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T18:16:21Z","timestamp":1673720181000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3156346.3156350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,7]]},"references-count":17,"alternative-id":["10.1145\/3156346.3156350","10.1145\/3156346"],"URL":"https:\/\/doi.org\/10.1145\/3156346.3156350","relation":{},"subject":[],"published":{"date-parts":[[2017,12,7]]},"assertion":[{"value":"2017-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}