{"id":"https://openalex.org/W1602349495","doi":"https://doi.org/10.12794/metadc103323","title":"Arithmetic Computations and Memory Management Using a Binary Tree Encoding af Natural Numbers","display_name":"Arithmetic Computations and Memory Management Using a Binary Tree Encoding af Natural Numbers","publication_year":2011,"publication_date":"2011-12-01","ids":{"openalex":"https://openalex.org/W1602349495","doi":"https://doi.org/10.12794/metadc103323","mag":"1602349495"},"language":"en","primary_location":{"id":"doi:10.12794/metadc103323","doi":"https://doi.org/10.12794/metadc103323","is_oa":true,"landing_page_url":"https://doi.org/10.12794/metadc103323","pdf_url":"https://digital.library.unt.edu/ark:/67531/metadc103323/m2/1/high_res_d/thesis.pdf","source":{"id":"https://openalex.org/S4306400792","display_name":"University of North Texas Digital Library (University of North Texas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I123534392","host_organization_name":"University of North Texas","host_organization_lineage":["https://openalex.org/I123534392"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of North Texas","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://digital.library.unt.edu/ark:/67531/metadc103323/m2/1/high_res_d/thesis.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017486760","display_name":"David Haraburda","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Haraburda","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5017486760"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.001500000013038516,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pairing-functions","display_name":"pairing functions","score":0.7620000243186951},{"id":"https://openalex.org/keywords/natural-numbers","display_name":"natural numbers","score":0.9459999799728394},{"id":"https://openalex.org/keywords/arithmetic-algorithms","display_name":"arithmetic algorithms","score":0.7649999856948853},{"id":"https://openalex.org/keywords/formal-correctness-proof","display_name":"formal correctness proof","score":0.6970000267028809},{"id":"https://openalex.org/keywords/memory-management","display_name":"memory management","score":0.718999981880188},{"id":"https://openalex.org/keywords/space-saving","display_name":"space saving","score":0.5979999899864197},{"id":"https://openalex.org/keywords/runtime-complexity","display_name":"runtime complexity","score":0.906000018119812},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7049999833106995}],"concepts":[{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6878186464309692},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6109250783920288},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.6077772974967957},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.6076492667198181},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5154715180397034},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.49028685688972473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.479292094707489},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.436001181602478},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.41701528429985046},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36724698543548584},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36527931690216064},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2696874141693115},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.20060187578201294},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14088088274002075},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10844045877456665},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.058420032262802124},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.12794/metadc103323","doi":"https://doi.org/10.12794/metadc103323","is_oa":true,"landing_page_url":"https://doi.org/10.12794/metadc103323","pdf_url":"https://digital.library.unt.edu/ark:/67531/metadc103323/m2/1/high_res_d/thesis.pdf","source":{"id":"https://openalex.org/S4306400792","display_name":"University of North Texas Digital Library (University of North Texas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I123534392","host_organization_name":"University of North Texas","host_organization_lineage":["https://openalex.org/I123534392"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of North Texas","raw_type":"dissertation"},{"id":"pmh:info:ark/67531/metadc103323","doi":null,"is_oa":false,"landing_page_url":"https://digital.library.unt.edu/ark:/67531/metadc103323/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400792","display_name":"University of North Texas Digital Library (University of North Texas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I123534392","host_organization_name":"University of North Texas","host_organization_lineage":["https://openalex.org/I123534392"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},{"id":"mag:1602349495","doi":null,"is_oa":false,"landing_page_url":"https://digital.library.unt.edu/ark:/67531/metadc103323/m2/1/high_res_d/thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.12794/metadc103323","doi":"https://doi.org/10.12794/metadc103323","is_oa":true,"landing_page_url":"https://doi.org/10.12794/metadc103323","pdf_url":"https://digital.library.unt.edu/ark:/67531/metadc103323/m2/1/high_res_d/thesis.pdf","source":{"id":"https://openalex.org/S4306400792","display_name":"University of North Texas Digital Library (University of North Texas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I123534392","host_organization_name":"University of North Texas","host_organization_lineage":["https://openalex.org/I123534392"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University of North Texas","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1602349495.pdf","grobid_xml":"https://content.openalex.org/works/W1602349495.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W9785351","https://openalex.org/W83033814","https://openalex.org/W1499142330","https://openalex.org/W1525064220","https://openalex.org/W1553992341","https://openalex.org/W1564528735","https://openalex.org/W1601383237","https://openalex.org/W1603433922","https://openalex.org/W2014470854","https://openalex.org/W2017944894","https://openalex.org/W2057871730","https://openalex.org/W2060108852","https://openalex.org/W2070236869","https://openalex.org/W2100827887","https://openalex.org/W2114980032","https://openalex.org/W2123640792","https://openalex.org/W2124764481","https://openalex.org/W2132699442","https://openalex.org/W2136232971","https://openalex.org/W2149243190","https://openalex.org/W2153405166","https://openalex.org/W2153951241","https://openalex.org/W2620736084","https://openalex.org/W4232783544","https://openalex.org/W4244488020","https://openalex.org/W4255333414","https://openalex.org/W4255653861","https://openalex.org/W4293200472","https://openalex.org/W6600789647","https://openalex.org/W6820142077","https://openalex.org/W6828669229"],"related_works":["https://openalex.org/W7100209487","https://openalex.org/W2006002823","https://openalex.org/W1987041205","https://openalex.org/W1992638772","https://openalex.org/W961931113","https://openalex.org/W2955019672","https://openalex.org/W1944647127","https://openalex.org/W2057871730","https://openalex.org/W1676288067","https://openalex.org/W7096270613"],"abstract_inverted_index":{"Two":[0],"applications":[1,117],"of":[2,21,48,69,98,112,118],"a":[3,10,57,83,110],"binary":[4,120],"tree":[5,28,121],"data":[6,67],"type":[7],"based":[8],"on":[9],"simple":[11],"pairing":[12],"function":[13],"(a":[14],"bijection":[15],"between":[16],"natural":[17,22,33],"numbers":[18],"and":[19,35,63,89,103],"pairs":[20],"numbers)":[23],"are":[24,42,76,106],"explored.":[25],"First,":[26],"the":[27,119,124],"is":[29,87],"used":[30],"to":[31,82],"encode":[32],"numbers,":[34],"algorithms":[36,60],"that":[37],"perform":[38],"basic":[39],"arithmetic":[40],"computations":[41],"presented":[43],"along":[44,108],"with":[45,109],"formal":[46],"proofs":[47],"their":[49],"correctness.":[50],"Second,":[51],"using":[52,91],"this":[53,99],"\"canonical\"":[54],"representation":[55],"as":[56],"base":[58],"type,":[59,122],"for":[61,115],"encoding":[62],"decoding":[64],"additional":[65],"isomorphic":[66,93],"types":[68],"other":[70],"mathematical":[71],"constructs":[72],"(sets,":[73],"sequences,":[74],"etc.)":[75],"also":[77],"developed.":[78],"An":[79],"experimental":[80],"application":[81],"memory":[84],"management":[85],"system":[86],"constructed":[88],"explored":[90],"these":[92],"types.":[94],"A":[95],"practical":[96],"analysis":[97],"system's":[100],"runtime":[101],"complexity":[102],"space":[104],"savings":[105],"provided,":[107],"proof":[111],"concept":[113],"framework":[114],"both":[116],"in":[123],"Java":[125],"programming":[126],"language.":[127]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}