乐胖代购免代理版

{"id":"https://openalex.org/W2062781323","doi":"https://doi.org/10.1145/954587.954592","title":"Evaluation of boolean expressions on one's complement machines","display_name":"Evaluation of boolean expressions on one's complement machines","publication_year":1978,"publication_date":"1978-12-01","ids":{"openalex":"https://openalex.org/W2062781323","doi":"https://doi.org/10.1145/954587.954592","mag":"2062781323"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/954587.954592","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/954587.954592","source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/954587.954592","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053924378","display_name":"Peter L. Montgomery","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095054","display_name":"System Dynamics International (United States)","ror":"https://ror.org/00rbnp372","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095054"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Peter L. Montgomery","raw_affiliation_strings":["System Development Corporation, N. W. Huntsville, Alabama"],"affiliations":[{"raw_affiliation_string":"System Development Corporation, N. W. Huntsville, Alabama","institution_ids":["https://openalex.org/I4210095054"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053924378"],"corresponding_institution_ids":["https://openalex.org/I4210095054"],"apc_list":null,"apc_paid":null,"fwci":0.621,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.552102,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":63,"max":68},"biblio":{"volume":"13","issue":"12","first_page":"60","last_page":"72"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9928,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9928,"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/T10743","display_name":"Automated Software Testing Techniques","score":0.9869,"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/T11975","display_name":"Application of Genetic Programming in Machine Learning","score":0.9778,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.77131486},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.5914105},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.5135541},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model Checking","score":0.494031},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.46539056},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.4495826},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4359362}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.79882634},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.77131486},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.7672829},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.5914105},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5321198},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.5205756},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.5135541},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5052336},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48164454},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.47969028},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.46539056},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.4495826},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4359362},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3939284},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3611645},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.22552553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18688026},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/954587.954592","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/954587.954592","source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/954587.954592","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/954587.954592","source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":3,"referenced_works":["https://openalex.org/W1568250395","https://openalex.org/W2001323460","https://openalex.org/W3089515198"],"related_works":["https://openalex.org/W83935621","https://openalex.org/W8052147","https://openalex.org/W46480492","https://openalex.org/W2379749946","https://openalex.org/W2143645888","https://openalex.org/W2062781323","https://openalex.org/W1752076080","https://openalex.org/W1534775143","https://openalex.org/W1499470128","https://openalex.org/W1493967655"],"abstract_inverted_index":{"An":[0],"algorithm":[1,31],"is":[2,52,57],"presented":[3],"which":[4,18],"evaluates":[5],"an":[6],"arbitrary":[7],"boolean":[8,39,45],"expression":[9,51],"in":[10],"terms":[11],"of":[12],"a":[13,38,41,44,49],"small":[14],"instruction":[15],"set":[16],"and":[17],"often":[19],"generates":[20],"fewer":[21],"instructions":[22],"than":[23],"other":[24],"methods":[25],"the":[26],"author":[27],"has":[28],"seen.":[29],"The":[30],"tells":[32],"what":[33],"code":[34],"to":[35],"generate":[36],"whenever":[37],"operator,":[40],"branch":[42],"test,":[43],"assignment":[46],"statement,":[47],"or":[48],"conditional":[50],"encountered.":[53],"One's":[54],"complement":[55],"arithmetic":[56],"assumed":[58],"throughout.":[59]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2062781323","counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2024-11-23T19:16:38.430152","created_date":"2016-06-24"}