{"id":"https://openalex.org/W2149974175","doi":"https://doi.org/10.1109/ase.2002.1114998","title":"Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation","display_name":"Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2149974175","doi":"https://doi.org/10.1109/ase.2002.1114998","mag":"2149974175"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2002.1114998","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1114998","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-article"},"type":"article","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/A5012667254","display_name":"Thomas Ellman","orcid":null},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"T. Ellman","raw_affiliation_strings":["Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA","Department of Computer Science, Vassar College, Poughkeepsie, NY, USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA","institution_ids":["https://openalex.org/I126820664"]},{"raw_affiliation_string":"Department of Computer Science, Vassar College, Poughkeepsie, NY, USA","institution_ids":["https://openalex.org/I126820664"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016881129","display_name":"Ryan Deak","orcid":null},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Deak","raw_affiliation_strings":["Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA","Department of Computer Science, Vassar College, Poughkeepsie, NY, USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA","institution_ids":["https://openalex.org/I126820664"]},{"raw_affiliation_string":"Department of Computer Science, Vassar College, Poughkeepsie, NY, USA","institution_ids":["https://openalex.org/I126820664"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066791138","display_name":"Jason Fotinatos","orcid":null},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Fotinatos","raw_affiliation_strings":["Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA","Department of Computer Science, Vassar College, Poughkeepsie, NY, USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Vassar Coll., Poughkeepsie, NY, USA","institution_ids":["https://openalex.org/I126820664"]},{"raw_affiliation_string":"Department of Computer Science, Vassar College, Poughkeepsie, NY, USA","institution_ids":["https://openalex.org/I126820664"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5012667254"],"corresponding_institution_ids":["https://openalex.org/I126820664"],"apc_list":null,"apc_paid":null,"fwci":4.4619,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.95451118,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/animation","display_name":"Animation","score":0.7660270929336548},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7478575706481934},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.683411180973053},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.6340305209159851},{"id":"https://openalex.org/keywords/computer-animation","display_name":"Computer animation","score":0.5585551261901855},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4955967664718628},{"id":"https://openalex.org/keywords/rigid-body","display_name":"Rigid body","score":0.47082334756851196},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.46917492151260376},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4339793622493744},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.4170273244380951},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4038841426372528},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3391927182674408},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.2617960274219513},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14950504899024963}],"concepts":[{"id":"https://openalex.org/C502989409","wikidata":"https://www.wikidata.org/wiki/Q11425","display_name":"Animation","level":2,"score":0.7660270929336548},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7478575706481934},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.683411180973053},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.6340305209159851},{"id":"https://openalex.org/C69369342","wikidata":"https://www.wikidata.org/wiki/Q1401416","display_name":"Computer animation","level":3,"score":0.5585551261901855},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4955967664718628},{"id":"https://openalex.org/C145980571","wikidata":"https://www.wikidata.org/wiki/Q192788","display_name":"Rigid body","level":2,"score":0.47082334756851196},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.46917492151260376},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4339793622493744},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.4170273244380951},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4038841426372528},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3391927182674408},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.2617960274219513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14950504899024963},{"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},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2002.1114998","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1114998","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320312877","display_name":"Vassar College","ror":"https://ror.org/022x6qg61"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1495382013","https://openalex.org/W1505660892","https://openalex.org/W1907344964","https://openalex.org/W2011898986","https://openalex.org/W2021842840","https://openalex.org/W2078739175","https://openalex.org/W2081969857","https://openalex.org/W2082249096","https://openalex.org/W2114025528","https://openalex.org/W2116873900","https://openalex.org/W2132433573","https://openalex.org/W2161696511","https://openalex.org/W2341283081","https://openalex.org/W6630318154","https://openalex.org/W6670700125"],"related_works":["https://openalex.org/W2121378366","https://openalex.org/W3112102641","https://openalex.org/W2013184069","https://openalex.org/W2535923857","https://openalex.org/W2989004599","https://openalex.org/W1976926596","https://openalex.org/W126583968","https://openalex.org/W2532377291","https://openalex.org/W2359575859","https://openalex.org/W4313289090"],"abstract_inverted_index":{"Physics-based":[0],"animation":[1,39,127],"programs":[2,21,40],"are":[3],"important":[4],"in":[5,88,94,106,150,183],"a":[6,33,42,61,66,79,119,125,151,155],"variety":[7],"of":[8,19,45,49,128,154,164,167,171,179],"contexts,":[9],"including":[10,69],"education,":[11],"science":[12],"and":[13,26,55,74,85,139],"entertainment":[14],"among":[15],"others.":[16],"Manual":[17],"construction":[18],"such":[20],"is":[22],"expensive,":[23],"time":[24],"consuming":[25],"prone":[27],"to":[28,53,117,147],"error.":[29],"We":[30,110,190],"have":[31,191],"developed":[32],"system":[34,59,116,195],"for":[35,41,64,82,103],"automatically":[36],"synthesizing":[37],"physics-based":[38],"significant":[43],"class":[44,146],"problems:":[46],"constrained":[47],"systems":[48],"rigid":[50],"bodies,":[51],"subject":[52],"driving":[54],"dissipative":[56],"forces.":[57],"Our":[58,160],"includes":[60],"graphical":[62,96],"interface":[63,81,97],"specifying":[65,83],"physical":[67],"scenario,":[68],"objects,":[70],"geometry,":[71],"dynamical":[72],"variables":[73,141],"coordinate":[75],"systems,":[76],"along":[77],"with":[78,185],"symbolic":[80,108],"forces":[84],"constraints":[86,138],"operating":[87],"the":[89,95,100,107,129,137,165,176],"scenario.":[90,131],"The":[91,132],"entities":[92],"defined":[93],"serve":[98],"as":[99],"underlying":[101],"vocabulary":[102],"specifications":[104],"constructed":[105],"interface.":[109],"use":[111],"an":[112],"algorithmically":[113],"controlled":[114],"rewrite":[115],"construct":[118],"numerical":[120],"simulation":[121,157],"program":[122,158,172,180,187],"that":[123],"drives":[124],"real-time":[126],"specified":[130],"algorithm":[133],"operates":[134],"by":[135],"partitioning":[136],"dynamic":[140],"into":[142],"classes,":[143],"assigning":[144],"each":[145],"be":[148],"implemented":[149],"different":[152],"component":[153],"general":[156],"scheme.":[159],"approach":[161],"provides":[162],"many":[163],"benefits":[166],"formal":[168],"deductive":[169],"methods":[170],"synthesis,":[173],"while":[174],"keeping":[175],"computational":[177],"costs":[178],"synthesis":[181],"more":[182],"line":[184],"conventional":[186],"generator":[188],"technology.":[189],"successfully":[192],"tested":[193],"our":[194],"on":[196],"numerous":[197],"examples.":[198]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}