{"id":"https://openalex.org/W2015207398","doi":"https://doi.org/10.1145/1111542.1111546","title":"On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations","display_name":"On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations","publication_year":2006,"publication_date":"2006-01-09","ids":{"openalex":"https://openalex.org/W2015207398","doi":"https://doi.org/10.1145/1111542.1111546","mag":"2015207398"},"language":"en","primary_location":{"id":"doi:10.1145/1111542.1111546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111542.1111546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027917052","display_name":"Jonathan Cooper","orcid":"https://orcid.org/0000-0001-6009-3542"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jonathan Cooper","raw_affiliation_strings":["Oxford University, Oxford, UK","Oxford University, Oxford, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University, Oxford, UK#TAB#","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027129096","display_name":"Steve McKeever","orcid":"https://orcid.org/0000-0002-1970-2884"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Steve McKeever","raw_affiliation_strings":["Oxford University, Oxford, UK","Oxford University, Oxford, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University, Oxford, UK#TAB#","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073607042","display_name":"Alan Garny","orcid":"https://orcid.org/0000-0001-7606-5888"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alan Garny","raw_affiliation_strings":["University of Oxford, Oxford, UK","University of Oxford , Oxford , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford , Oxford , UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":8.885,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.98686537,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"12","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10217","display_name":"Cardiac electrophysiology and arrhythmias","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9866999983787537,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.9476902484893799},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8350014686584473},{"id":"https://openalex.org/keywords/lookup-table","display_name":"Lookup table","score":0.6715351343154907},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.6125745177268982},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5649642944335938},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.42040136456489563},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40372341871261597},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33275365829467773},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.302396297454834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13507044315338135}],"concepts":[{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.9476902484893799},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8350014686584473},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.6715351343154907},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.6125745177268982},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5649642944335938},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.42040136456489563},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40372341871261597},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33275365829467773},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.302396297454834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13507044315338135},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1111542.1111546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111542.1111546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1530407","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1530407/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"In: (pp. pp. 12-20). (2006)","raw_type":"Proceedings paper"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:4470bff3-9497-45de-9c05-ef66cca1508a","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:4470bff3-9497-45de-9c05-ef66cca1508a","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Computer Science","raw_type":"Conference item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W9124626","https://openalex.org/W280536263","https://openalex.org/W1488264918","https://openalex.org/W1537346681","https://openalex.org/W1556604985","https://openalex.org/W1561360105","https://openalex.org/W1823598093","https://openalex.org/W1965784613","https://openalex.org/W1978867026","https://openalex.org/W1985940938","https://openalex.org/W1987632834","https://openalex.org/W2037613535","https://openalex.org/W2040890820","https://openalex.org/W2042388195","https://openalex.org/W2064138295","https://openalex.org/W2065735566","https://openalex.org/W2068401793","https://openalex.org/W2070047551","https://openalex.org/W2077915166","https://openalex.org/W2089562567","https://openalex.org/W2094786703","https://openalex.org/W2102456200","https://openalex.org/W2114067856","https://openalex.org/W2132561989","https://openalex.org/W2164319287"],"related_works":["https://openalex.org/W2317245370","https://openalex.org/W4249323025","https://openalex.org/W198851386","https://openalex.org/W1980160788","https://openalex.org/W2030310580","https://openalex.org/W947442053","https://openalex.org/W2148915962","https://openalex.org/W4313433561","https://openalex.org/W2283866686","https://openalex.org/W2948365806"],"abstract_inverted_index":{"Simulating":[0],"the":[1,69,167,184,193],"human":[2],"heart":[3,42],"is":[4,26,45,66,110,138],"a":[5,33,86,139,151,173,204,209],"challenging":[6],"problem,":[7],"with":[8,32,71,150,208],"simulations":[9,38,44],"being":[10],"very":[11],"time":[12],"consuming---some":[13],"can":[14],"take":[15],"days":[16],"to":[17,35,126,183],"compute":[18],"even":[19],"on":[20],"high":[21],"performance":[22],"computing":[23],"resources.":[24],"There":[25],"considerable":[27],"interest":[28],"in":[29,112,157,189],"optimisation":[30,187],"techniques,":[31],"view":[34],"making":[36],"whole-heart":[37],"tractable.":[39],"Reliability":[40],"of":[41,47,122,169,175,211],"model":[43],"also":[46],"great":[48],"concern,":[49],"particularly":[50],"considering":[51],"clinical":[52],"applications.":[53],"Simulation":[54],"software":[55],"should":[56],"be":[57],"easily":[58],"testable":[59],"(against":[60],"empirical":[61],"data)":[62],"and":[63,109,118,145],"maintainable,":[64],"which":[65,160],"often":[67],"not":[68],"case":[70],"extensively":[72],"hand-optimised":[73],"software.":[74],"Automating":[75],"any":[76],"optimisations":[77,198],"will":[78],"greatly":[79],"improve":[80],"this":[81,116,143],"situation.":[82],"This":[83],"paper":[84],"presents":[85],"framework":[87],"for":[88,98,142],"automatically":[89],"optimising":[90],"cardiac":[91,158],"ionic":[92],"cell":[93],"models.":[94],"An":[95],"abstract":[96],"format":[97,117],"such":[99,180],"models,":[100],"CellML":[101],"[9],":[102],"has":[103],"been":[104],"developed":[105],"at":[106],"Auckland":[107],"University":[108],"gaining":[111],"popularity.":[113],"We":[114],"utilise":[115],"investigate":[119],"robust":[120],"transformations":[121,181],"models":[123],"that":[124,134,146],"lead":[125],"reduced":[127],"simulation":[128],"times.":[129,177],"In":[130,164],"particular,":[131],"we":[132,161,201],"demonstrate":[133],"partial":[135,170],"evaluation":[136,171],"[13]":[137],"promising":[140],"technique":[141,168],"purpose,":[144],"it":[147],"combines":[148],"well":[149],"lookup":[152,185,215],"table":[153,186],"technique,":[154],"commonly":[155],"used":[156,200],"modelling,":[159],"have":[162],"automated.":[163],"our":[165],"tests,":[166],"gives":[172],"speedup":[174,210],"1.2":[176],"Further,":[178],"applying":[179],"prior":[182],"results":[188],"additional":[190],"speedups":[191],"from":[192],"latter":[194],"technique.":[195],"When":[196],"both":[197],"are":[199,218],"obtain":[202],"nearly":[203],"5-fold":[205],"speedup,":[206],"compared":[207],"1.7":[212],"times":[213],"when":[214],"tables":[216],"alone":[217],"used.":[219]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}