{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:36:58Z","timestamp":1730216218511,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/ecctd.2015.7300054","type":"proceedings-article","created":{"date-parts":[[2015,10,20]],"date-time":"2015-10-20T11:49:49Z","timestamp":1445341789000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["Adaptive sparse matrix indexing technique for simulation of electronic circuits based on λ-calculus"],"prefix":"10.1109","author":[{"given":"David","family":"Cerny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josef","family":"Dobes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"A Tutorial Introduction to the Lambda Calculus","year":"0","author":"rojas","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/286385.286387"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISoC.2011.6081619"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0017-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1967.6011"},{"journal-title":"AI Algorithms Data Structures and Idioms in Prolog Lisp and Java","year":"2008","author":"luger","key":"ref5"},{"key":"ref12","article-title":"Sparse matrices","author":"tewarson","year":"1973","journal-title":"Mathematics in Science and Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EDMO.2000.919061"},{"journal-title":"The SPICE Book","year":"1994","author":"vladimirescu","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI.2014.46"},{"journal-title":"Computer Aided Analysis of Electronic Circuits Algorithms and Computational Techniques","year":"1975","author":"chua","key":"ref9"},{"key":"ref1","first-page":"880","article-title":"Common lisp as simulation program (clasp) of electronics circuits","volume":"20","author":"cerny","year":"2011","journal-title":"Radioengineering"}],"event":{"name":"2015 European Conference on Circuit Theory and Design (ECCTD)","start":{"date-parts":[[2015,8,24]]},"location":"Trondheim, Norway","end":{"date-parts":[[2015,8,26]]}},"container-title":["2015 European Conference on Circuit Theory and Design (ECCTD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7287453\/7299995\/07300054.pdf?arnumber=7300054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T04:28:19Z","timestamp":1490416099000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7300054\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ecctd.2015.7300054","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}