{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:28Z","timestamp":1750307008094,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,3]],"date-time":"2012-06-03T00:00:00Z","timestamp":1338681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,3]]},"DOI":"10.1145\/2228360.2228490","type":"proceedings-article","created":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T12:10:51Z","timestamp":1338466251000},"page":"717-722","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Design tools for artificial nervous systems"],"prefix":"10.1145","author":[{"given":"Louis K.","family":"Scheffer","sequence":"first","affiliation":[{"name":"Howard Hughes Medical Institute, Ashburn, VA"}]}],"member":"320","published-online":{"date-parts":[[2012,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274761"},{"key":"e_1_3_2_1_2_1","unstructured":"W. Gibson. Neuromancer. Ace Trade 2000.  W. Gibson. Neuromancer. Ace Trade 2000."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/nn.2326"},{"key":"e_1_3_2_1_4_1","volume-title":"Sensory, Neural, and Behavioral Physiology, 191(8):675--693","author":"Wiltschko W.","year":"2005","unstructured":"W. Wiltschko and R. Wiltschko . Magnetic orientation and magnetoreception in birds and other animals. Journal of Comparative Physiology A: Neuroethology , Sensory, Neural, and Behavioral Physiology, 191(8):675--693 , 2005 . W. Wiltschko and R. Wiltschko. Magnetic orientation and magnetoreception in birds and other animals. Journal of Comparative Physiology A: Neuroethology, Sensory, Neural, and Behavioral Physiology, 191(8):675--693, 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"T. H. Bullock. Electroreception volume 21. Springer Verlag 2005.  T. H. Bullock. Electroreception volume 21. Springer Verlag 2005.","DOI":"10.1007\/0-387-28275-0"},{"key":"e_1_3_2_1_6_1","volume-title":"The cell biology of neuronal navigation. Nature cell biology, 3(3):E81--E88","author":"Song H.","year":"2001","unstructured":"H. Song and M. Poo . The cell biology of neuronal navigation. Nature cell biology, 3(3):E81--E88 , 2001 . H. Song and M. Poo. The cell biology of neuronal navigation. Nature cell biology, 3(3):E81--E88, 2001."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican1284-58"},{"issue":"6","key":"e_1_3_2_1_8_1","first-page":"R201","article-title":"Neural development: The semantics of axon guidance. Current biology","volume":"9","author":"Van Vactor DV","year":"1999","unstructured":"DV Van Vactor and L. J. Lorenz . Neural development: The semantics of axon guidance. Current biology : CB , 9 ( 6 ): R201 , 1999 . DV Van Vactor and L. J. Lorenz. Neural development: The semantics of axon guidance. Current biology: CB, 9(6):R201, 1999.","journal-title":"CB"},{"issue":"5600","key":"e_1_3_2_1_9_1","first-page":"2002","article-title":"Molecular mechanisms of axon guidance","volume":"298","author":"Dickson B. J.","year":"1959","unstructured":"B. J. Dickson . Molecular mechanisms of axon guidance . Science , 298 ( 5600 ): 1959 , 2002 . B. J. Dickson. Molecular mechanisms of axon guidance. Science, 298(5600):1959, 2002.","journal-title":"Science"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1038\/nn753"},{"issue":"978","key":"e_1_3_2_1_11_1","first-page":"6","article-title":"Effects of visual deprivation on morphology and physiology of cells in the cat's lateral geniculate body","volume":"26","author":"Wiesel T. N.","year":"1963","unstructured":"T. N. Wiesel , D. H. Hubel , Effects of visual deprivation on morphology and physiology of cells in the cat's lateral geniculate body . J Neurophysiol , 26 ( 978 ): 6 , 1963 . T. N. Wiesel, D. H. Hubel, et al. Effects of visual deprivation on morphology and physiology of cells in the cat's lateral geniculate body. J Neurophysiol, 26(978):6, 1963.","journal-title":"J Neurophysiol"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cub.2006.07.047"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0960-9822(01)00581-4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1038\/367069a0"},{"key":"e_1_3_2_1_15_1","volume-title":"A modern approach","author":"Russell S.","year":"1995","unstructured":"S. Russell and P. Norvig . Artifical Intelligence , A modern approach . Prentice-Hall , 1995 . S. Russell and P. Norvig. Artifical Intelligence, A modern approach. Prentice-Hall, 1995."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-ED.1983.21322"},{"key":"e_1_3_2_1_17_1","volume-title":"SPICE: simulation program with integrated circuit emphasis","author":"Nagel L. W.","year":"1973","unstructured":"L. W. Nagel and D. O. Pederson . SPICE: simulation program with integrated circuit emphasis . 1973 . L. W. Nagel and D. O. Pederson. SPICE: simulation program with integrated circuit emphasis. 1973."},{"key":"e_1_3_2_1_18_1","volume-title":"Telos New York","author":"Bower J. M.","year":"1995","unstructured":"J. M. Bower , D. Beeman , and A. M. Wylde . The book of GENESIS: exploring realistic neural models with the GEneral NEural SImulation System . Telos New York , 1995 . J. M. Bower, D. Beeman, and A. M. Wylde. The book of GENESIS: exploring realistic neural models with the GEneral NEural SImulation System. Telos New York, 1995."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.6.1179"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/616382"},{"key":"e_1_3_2_1_21_1","volume-title":"Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. BMC systems biology, 3(1):42","author":"Li C.","year":"2009","unstructured":"C. Li , M. Nagasaki , K. Ueno , and S. Miyano . Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. BMC systems biology, 3(1):42 , 2009 . C. Li, M. Nagasaki, K. Ueno, and S. Miyano. Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. BMC systems biology, 3(1):42, 2009."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12021-009-9052-3"},{"key":"e_1_3_2_1_23_1","volume-title":"A framework for modeling the growth and development of neurons and networks. Frontiers in computational neuroscience, 3","author":"Zubler F.","year":"2009","unstructured":"F. Zubler and R. Douglas . A framework for modeling the growth and development of neurons and networks. Frontiers in computational neuroscience, 3 , 2009 . F. Zubler and R. Douglas. A framework for modeling the growth and development of neurons and networks. Frontiers in computational neuroscience, 3, 2009."},{"key":"e_1_3_2_1_24_1","volume-title":"Simulation of networks of spiking neurons: a review of tools and strategies. Journal of computational neuroscience, 23(3):349--398","author":"Brette R.","year":"2007","unstructured":"R. Brette , M. Rudolph , T. Carnevale , M. Hines , D. Beeman , J. M. Bower , M. Diesmann , A. Morrison , P. H. Goodman , F. C. Harris , Simulation of networks of spiking neurons: a review of tools and strategies. Journal of computational neuroscience, 23(3):349--398 , 2007 . R. Brette, M. Rudolph, T. Carnevale, M. Hines, D. Beeman, J. M. Bower, M. Diesmann, A. Morrison, P. H. Goodman, F. C. Harris, et al. Simulation of networks of spiking neurons: a review of tools and strategies. Journal of computational neuroscience, 23(3):349--398, 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1038\/81444"},{"key":"e_1_3_2_1_26_1","volume-title":"Dendritic processing. Current opinion in neurobiology, 11(4):415--422","author":"Euler T.","year":"2001","unstructured":"T. Euler and W. Denk . Dendritic processing. Current opinion in neurobiology, 11(4):415--422 , 2001 . T. Euler and W. Denk. Dendritic processing. Current opinion in neurobiology, 11(4):415--422, 2001."},{"key":"e_1_3_2_1_27_1","article-title":"Synthesis of minimal threshold logic networks. Electronic Computers","author":"Hopcroft JE","year":"1965","unstructured":"JE Hopcroft and RL Mattson . Synthesis of minimal threshold logic networks. Electronic Computers , IEEE Transactions on, (4):552--560 , 1965 . JE Hopcroft and RL Mattson. Synthesis of minimal threshold logic networks. Electronic Computers, IEEE Transactions on, (4):552--560, 1965.","journal-title":"IEEE Transactions on, (4):552--560"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018419.1019651"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/968879.969128"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537130"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480191218496"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.256501"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.106225"},{"key":"e_1_3_2_1_34_1","volume-title":"Los Alamos National Lab.","author":"Beiu V.","year":"1997","unstructured":"V. Beiu . When constants are important. Technical report , Los Alamos National Lab. , NM (United States) , 1997 . V. Beiu. When constants are important. Technical report, Los Alamos National Lab., NM (United States), 1997."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539792282965"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.neuro.28.061604.135703"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-2236(79)90031-6"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.281.5375.419"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007260070032"},{"key":"e_1_3_2_1_40_1","volume-title":"Corelease of two functionally opposite neurotransmitters by retinal amacrine cells: experimental evidence and functional significance. Journal of neuroscience research, 58(4):475--479","author":"Duarte C. B.","year":"1999","unstructured":"C. B. Duarte , P. F. Santos , and A. P. Carvalho . Corelease of two functionally opposite neurotransmitters by retinal amacrine cells: experimental evidence and functional significance. Journal of neuroscience research, 58(4):475--479 , 1999 . C. B. Duarte, P. F. Santos, and A. P. Carvalho. Corelease of two functionally opposite neurotransmitters by retinal amacrine cells: experimental evidence and functional significance. Journal of neuroscience research, 58(4):475--479, 1999."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0703183104"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cub.2011.10.022"},{"key":"e_1_3_2_1_43_1","first-page":"471","volume-title":"Automation and Test in Europe, 1998.","author":"Kahng A. B.","year":"1998","unstructured":"A. B. Kahng , S. Muddu , E. Sarto , and R. Sharma . Interconnect tuning strategies for high-performance ICs. In Design , Automation and Test in Europe, 1998. , Proceedings , pages 471 -- 478 . IEEE, 1998 . A. B. Kahng, S. Muddu, E. Sarto, and R. Sharma. Interconnect tuning strategies for high-performance ICs. In Design, Automation and Test in Europe, 1998., Proceedings, pages 471--478. IEEE, 1998."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1949.sp004335"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358084"},{"key":"e_1_3_2_1_46_1","first-page":"358","article-title":"In vivo calcium imaging of neural network function. Physiology (Bethesda","volume":"22","author":"G\u00f6bel W.","year":"2007","unstructured":"W. G\u00f6bel and F. Helmchen . In vivo calcium imaging of neural network function. Physiology (Bethesda , Md.) , 22 : 358 , 2007 . W. G\u00f6bel and F. Helmchen. In vivo calcium imaging of neural network function. Physiology (Bethesda, Md.), 22:358, 2007.","journal-title":"Md.)"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuron.2010.12.010"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/neu.1018"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuron.2005.11.015"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0000299"}],"event":{"name":"DAC '12: The 49th Annual Design Automation Conference 2012","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco California","acronym":"DAC '12"},"container-title":["Proceedings of the 49th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2228360.2228490","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2228360.2228490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:58Z","timestamp":1750236538000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2228360.2228490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,3]]},"references-count":50,"alternative-id":["10.1145\/2228360.2228490","10.1145\/2228360"],"URL":"https:\/\/doi.org\/10.1145\/2228360.2228490","relation":{},"subject":[],"published":{"date-parts":[[2012,6,3]]},"assertion":[{"value":"2012-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}