{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":14,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":14,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"71a7f4b4f9f6","filters":{"venue":"Proceedings - ACM IEEE Design Automation Conference"}},"results":[{"id":"W2143208164","doi":"10.1145/1278480.1278498","title":"An effective guidance strategy for abstraction-guided simulation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Assertion; Abstraction; Formal verification; Model checking; Functional verification; State (computer science); Formal methods; Theoretical computer science; Distributed computing; Computer engineering; Programming language","authors":[{"name":"Flavio M. De Paula","is_ca":true},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1434452489782713,"gpt":0.4035506928856112,"spread":0.2601054439073399,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001148236,0.0009960149,0.0007353006,0.0007808647,0.0007335243,0.001267432,0.001345262,0.001369698,0.004638767],"category_scores_gemma":[0.006724562,0.0004665547,0.0005771217,0.0004330666,0.001301827,0.001671022,0.002880488,0.00191008,0.001215864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007304337,"about_ca_system_score_gemma":0.001583619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002098265,"about_ca_topic_score_gemma":0.002305102,"domain_scores_codex":[0.9985852,0.0004313914,0.00007045509,0.0001966928,0.0005693232,0.0001469143],"domain_scores_gemma":[0.9979352,0.0009238962,0.0001477989,0.0005342466,0.0003159193,0.0001430216],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003911451,0.0001588417,0.001135267,0.0001816335,0.00004631571,0.0003942437,0.0008628041,0.3756145,0.04377215,0.3704057,0.005358734,0.2016788],"study_design_scores_gemma":[0.00005200725,0.0001082839,0.000102951,0.00003474445,0.0000178791,0.00008079029,0.00007156312,0.8931796,0.009153578,0.0865659,0.01060926,0.00002339014],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006522391,0.00006482717,0.9880632,0.0002246852,0.00003867535,0.00006662833,0.00001674163,0.001215049,0.003787882],"genre_scores_gemma":[0.4365346,0.0002145571,0.5572732,0.0002602425,0.0000430225,0.0002864017,0.0001065849,0.0003974755,0.004883906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004638767,"threshold_uncertainty_score":0.01551819,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2117883771","doi":"10.1145/513918.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Interface (matter); Operating system; Embedded system","authors":[{"name":"Marcio T. Oliveira","is_ca":true},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2551343654171854,"gpt":0.3125416873462459,"spread":0.05740732192906051,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00115609,0.0004654086,0.0002778129,0.0004493859,0.0002295332,0.001115955,0.001045051,0.0006890824,0.003301906],"category_scores_gemma":[0.005082385,0.0005075952,0.0004127377,0.0002683915,0.0006535312,0.001147569,0.0006338584,0.001187482,0.001055454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004322498,"about_ca_system_score_gemma":0.0008587214,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004651138,"about_ca_topic_score_gemma":0.0005443186,"domain_scores_codex":[0.9985027,0.000398746,0.0001233732,0.0001717414,0.0007008663,0.0001026632],"domain_scores_gemma":[0.9972481,0.00142071,0.0002590913,0.0005617338,0.0004663804,0.00004399273],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004995514,0.0002481496,0.004761373,0.0007498822,0.00005745355,0.001218567,0.0008868446,0.1162546,0.4055237,0.1788255,0.009466303,0.2815082],"study_design_scores_gemma":[0.0001532851,0.0002316999,0.000663391,0.00005555469,0.00003920124,0.000464623,0.0000638413,0.6558366,0.2965834,0.02262202,0.02325593,0.00003054956],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01469847,0.00002604136,0.9777334,0.00006428012,0.00001656939,0.0001113105,0.0001348631,0.005449383,0.001765737],"genre_scores_gemma":[0.2839577,0.00008929618,0.7108337,0.0001211,0.00002001101,0.0004067227,0.0004996149,0.001116678,0.002955214],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003301906,"threshold_uncertainty_score":0.01104599,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2148575734","doi":"10.1145/1278480.1278504","title":"Modeling and estimation of full-chip leakage current considering within-die correlation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":27,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Chip; Die (integrated circuit); Computer science; Electronic engineering; Engineering; Telecommunications","authors":[{"name":"Khaled R. Heloue","is_ca":true},{"name":"Navid Azizi","is_ca":true},{"name":"Farid N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04633693129847801,"gpt":0.2614161609531105,"spread":0.2150792296546325,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000584022,0.0006376636,0.0005882414,0.0005649162,0.00016015,0.0006582359,0.001002771,0.0005976511,0.0006340974],"category_scores_gemma":[0.002326206,0.0004837457,0.0006454527,0.0005694111,0.0004421494,0.001266832,0.0003899297,0.0004691495,0.0002673023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006404955,"about_ca_system_score_gemma":0.0007416211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001288009,"about_ca_topic_score_gemma":0.001945446,"domain_scores_codex":[0.9995549,0.0001175417,0.0000200973,0.0001028295,0.0001545183,0.00005002554],"domain_scores_gemma":[0.9990087,0.0005019975,0.0001720972,0.0001717087,0.0001255454,0.00002004191],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002036547,0.00001300569,0.0007803704,0.00001950507,0.00001714176,0.00004382402,0.00001288163,0.980928,0.007166906,0.001951044,0.00007624902,0.008970585],"study_design_scores_gemma":[8.158829e-7,0.000009605033,0.000224104,8.867675e-7,0.000003789071,0.00002041093,0.000001266336,0.9981253,0.001133999,0.0004107401,0.0000666965,0.000002500917],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05932721,0.0002064877,0.9392391,0.00003959353,0.000007454786,0.00001505119,0.00005692026,0.0003234176,0.0007847841],"genre_scores_gemma":[0.904267,0.000248412,0.09388877,0.00003280145,0.00002096801,0.00007256542,0.0001094303,0.00008725191,0.001272775],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001288009,"threshold_uncertainty_score":0.004647136,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2128264388","doi":"10.1145/1278480.1278563","title":"Using negative edge triggered ffs to reduce glitching power in FPGA circuits","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":24,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Lookup table; Field-programmable gate array; Computer science; Electronic circuit; Dissipation; Signal edge; Routing (electronic design automation); Enhanced Data Rates for GSM Evolution; Logic gate; Power (physics); Electronic engineering; Macrocell array; Electrical engineering; Logic synthesis; Computer hardware; Engineering; Embedded system; Algorithm; Logic family; Physics; Telecommunications","authors":[{"name":"Tomasz Czajkowski","is_ca":true},{"name":"Stephen D. Brown","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07454332034314884,"gpt":0.2971368018272829,"spread":0.222593481484134,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001951191,0.0005971373,0.0003025084,0.0005438122,0.000292434,0.0003800535,0.0009393154,0.0002865774,0.001591636],"category_scores_gemma":[0.001053873,0.0002429184,0.0002693256,0.0002804093,0.0002210742,0.0007099535,0.0002561783,0.0003111704,0.0002394726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003145939,"about_ca_system_score_gemma":0.0003570525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001117515,"about_ca_topic_score_gemma":0.002540797,"domain_scores_codex":[0.9998285,0.0000235217,0.00001283542,0.00003654248,0.00007619876,0.00002245801],"domain_scores_gemma":[0.9994323,0.0002472764,0.00009857726,0.00009654216,0.0001078485,0.00001751563],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0006240515,0.0001624818,0.003637674,0.0001673806,0.00006599226,0.000396618,0.0001378247,0.2479381,0.1642468,0.007348039,0.001893174,0.573382],"study_design_scores_gemma":[0.00006346956,0.0006431907,0.002072846,0.00002749395,0.00007072018,0.0005468062,0.00003155162,0.84861,0.1381668,0.004886879,0.004843028,0.00003721173],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1359479,0.0003792376,0.8590826,0.00008885361,0.00005573856,0.00004998826,0.00004211582,0.002224348,0.002129313],"genre_scores_gemma":[0.7574157,0.0001748303,0.2395694,0.000118947,0.00002921392,0.00003678718,0.00007561554,0.0001326582,0.002446762],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001591636,"threshold_uncertainty_score":0.005324483,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2102749815","doi":"10.1145/1278480.1278518","title":"Simulating improbable events","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Metastability; Waveform; Computer science; Electronic circuit; FLOPS; Amplifier; Electronic engineering; Spice; Electrical engineering; Parallel computing; Physics; Engineering; Telecommunications","authors":[{"name":"Suwen Yang","is_ca":true},{"name":"Mark R. Greenstreet","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04252859085392036,"gpt":0.2677438906964303,"spread":0.2252152998425099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000773887,0.0004602675,0.0004144336,0.0004492827,0.0004639711,0.0008869987,0.00158624,0.001146144,0.005288052],"category_scores_gemma":[0.006367962,0.0003772567,0.0004502581,0.0003830339,0.001160512,0.00155918,0.0007988174,0.001188724,0.0003356957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007659598,"about_ca_system_score_gemma":0.0008916415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001924416,"about_ca_topic_score_gemma":0.002342154,"domain_scores_codex":[0.9994465,0.0001689232,0.00002924431,0.00008047059,0.000190941,0.00008393225],"domain_scores_gemma":[0.9938672,0.004837231,0.0002928177,0.0006479928,0.0002585927,0.00009610977],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009804463,0.00007357427,0.001389506,0.00008323234,0.00002707844,0.0002311443,0.0001838963,0.9358922,0.004796728,0.04981186,0.0004202737,0.006992512],"study_design_scores_gemma":[0.00001156962,0.00001471893,0.00004810482,0.00000313921,0.000004096336,0.00001977987,0.00001407386,0.987158,0.002539393,0.009746927,0.0004370978,0.000003147331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3383274,0.0001176248,0.6428476,0.0004142069,0.0001158505,0.0001453606,0.0003529679,0.001745525,0.01593357],"genre_scores_gemma":[0.9215164,0.0000844364,0.07478491,0.00007843693,0.00001867762,0.0001676549,0.0001925143,0.0001391301,0.00301791],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005288052,"threshold_uncertainty_score":0.01769036,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2148567424","doi":"10.1145/513918.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Software engineering; Software; Downstream (manufacturing); Interface (matter); De facto; Architecture; Set (abstract data type); Programming language; Software architecture; Simple (philosophy); Operating system; Engineering","authors":[{"name":"Maghsoud Abbaspour","is_ca":true},{"name":"Jianwen Zhu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08883617484457842,"gpt":0.2630983132992856,"spread":0.1742621384547072,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005793361,0.0008892005,0.0005182002,0.0009982892,0.00039171,0.0009596216,0.001513314,0.0007469844,0.01271777],"category_scores_gemma":[0.004014535,0.0005938726,0.0005958331,0.0005810476,0.0004879687,0.001731111,0.002045896,0.001353065,0.006688494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000470843,"about_ca_system_score_gemma":0.0004786309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007499265,"about_ca_topic_score_gemma":0.001329825,"domain_scores_codex":[0.9991897,0.0001125785,0.00006209767,0.0001877924,0.0003221559,0.0001256891],"domain_scores_gemma":[0.9979924,0.0006391327,0.000164423,0.0008448645,0.0003129271,0.0000462581],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006567616,0.0002004952,0.003307232,0.0006613,0.00006276478,0.001386283,0.00106882,0.01270522,0.1251118,0.04681317,0.05096556,0.7570605],"study_design_scores_gemma":[0.0002044986,0.00030908,0.005674192,0.0003268142,0.0001991295,0.003055949,0.0002767617,0.1280397,0.3535485,0.05773078,0.4504043,0.0002302142],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04550711,0.0007945623,0.7944757,0.0002490782,0.0003284936,0.000336859,0.001047565,0.1298626,0.02739801],"genre_scores_gemma":[0.3714497,0.0009978039,0.517238,0.0008144907,0.0001607835,0.0005660108,0.004296866,0.03514992,0.06932647],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01271777,"threshold_uncertainty_score":0.0425452,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2163880998","doi":"10.1145/1278480.1278591","title":"Modeling simultaneous switching noise-induced jitter for system-on-chip phase-locked loops","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Advancements in PLL and VCO Technologies","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Jitter; Phase noise; Phase-locked loop; Noise (video); Electronic engineering; Chip; Computer science; System on a chip; Telecommunications; Engineering; Embedded system","authors":[{"name":"H.H.Y. Chan","is_ca":true},{"name":"Željko Žilić","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06938438734817476,"gpt":0.305194699514199,"spread":0.2358103121660243,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000669674,0.0004329853,0.0003436204,0.0004437266,0.0003400009,0.0004849274,0.0006705354,0.0004304666,0.000440942],"category_scores_gemma":[0.002818889,0.0002404949,0.0004010692,0.0004573085,0.0003771927,0.000702867,0.0003316076,0.0003425551,0.00009545423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007669255,"about_ca_system_score_gemma":0.0007879031,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003830252,"about_ca_topic_score_gemma":0.00341698,"domain_scores_codex":[0.9996767,0.00007450846,0.00001430108,0.0000474459,0.0001476964,0.00003941484],"domain_scores_gemma":[0.999368,0.0004295154,0.000068425,0.00005166134,0.00006597322,0.00001643958],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000295364,0.00001830204,0.001021518,0.00001627122,0.00001435675,0.00003147518,0.0000288768,0.9790481,0.00553674,0.00564446,0.00005809447,0.00855235],"study_design_scores_gemma":[0.0000011589,0.000007257883,0.00009452212,8.114142e-7,0.000002515861,0.000004180574,0.000001710113,0.9985642,0.0007023179,0.00056951,0.00005057359,0.000001286527],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08884699,0.0001525284,0.9097282,0.00003406519,0.00001835409,0.00002755806,0.00002405987,0.0002132446,0.0009550271],"genre_scores_gemma":[0.9593762,0.0001306736,0.03983748,0.00001688228,0.00001973123,0.00004765671,0.00003706938,0.00004735118,0.0004868268],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003830252,"threshold_uncertainty_score":0.007615924,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3150716070","doi":"10.1109/dac.2006.229229","title":"A family of cells to reduce the soft-error-rate in ternary-CAM","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Soft error; Computer science; Reduction (mathematics); Error detection and correction; Word error rate; Content-addressable memory; Ternary operation; Word (group theory); Computer hardware; Embedded system; Arithmetic; Electronic engineering; Algorithm; Engineering; Speech recognition; Artificial intelligence; Mathematics; Programming language","authors":[{"name":"Navid Azizi","is_ca":true},{"name":"Farid N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02575501377618488,"gpt":0.2447089313890232,"spread":0.2189539176128384,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001787199,0.0004337193,0.0003896016,0.000635501,0.0004420211,0.0005224255,0.0010198,0.0006755019,0.001667671],"category_scores_gemma":[0.0009708447,0.000124526,0.0003913825,0.0005967692,0.0002179906,0.0004260202,0.0002525339,0.000360356,0.0007880882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004607361,"about_ca_system_score_gemma":0.0003992654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006020646,"about_ca_topic_score_gemma":0.0009219495,"domain_scores_codex":[0.9998567,0.00001944639,0.00001866802,0.00003209322,0.00005302131,0.00001999732],"domain_scores_gemma":[0.9994245,0.00008873919,0.000128754,0.000123204,0.0002087561,0.00002605976],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003615837,0.0001585395,0.003113914,0.0008274138,0.0001076313,0.0008596147,0.000243771,0.02742845,0.5599062,0.03218893,0.009552759,0.3652513],"study_design_scores_gemma":[0.0001453004,0.002170478,0.003460582,0.0001929057,0.0003024634,0.007060083,0.00009599838,0.1864364,0.6577588,0.00782958,0.1344196,0.0001278648],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3335787,0.01001795,0.6162171,0.001147882,0.001352475,0.0004881621,0.001311031,0.004403367,0.03148336],"genre_scores_gemma":[0.7442446,0.001465402,0.2449631,0.0005782936,0.000123961,0.0003201083,0.0003621975,0.0001184549,0.007823954],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001667671,"threshold_uncertainty_score":0.005578935,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4251683102","doi":"10.1109/dac.2006.229439","title":"Early outpoint insertion for high-level software vs. RTL formal combinational equivalence verification","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Formal equivalence checking; Equivalence (formal languages); Formal verification; High-level synthesis; Combinational logic; Software; Theoretical computer science; Model checking; Parallel computing; Algorithm; Programming language; Embedded system; Mathematics; Field-programmable gate array; Logic gate; Discrete mathematics","authors":[{"name":"Xiushan Feng","is_ca":true},{"name":"A.J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0981762457468505,"gpt":0.2938394154449512,"spread":0.1956631696981007,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002674065,0.0008788451,0.0005958856,0.001192446,0.0006305026,0.001403999,0.00154908,0.001005782,0.003612642],"category_scores_gemma":[0.0123457,0.0007081743,0.001098717,0.0005337608,0.002013366,0.003009366,0.002490982,0.00208816,0.0006832171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001202311,"about_ca_system_score_gemma":0.001196812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009804766,"about_ca_topic_score_gemma":0.001422493,"domain_scores_codex":[0.9961284,0.001192836,0.0001780984,0.0004170393,0.001707789,0.0003757001],"domain_scores_gemma":[0.9908166,0.006100844,0.0004285714,0.001841144,0.0007168558,0.00009611376],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001032673,0.0003122396,0.00356522,0.0004959161,0.00008650399,0.001030338,0.001116465,0.1194026,0.1041706,0.4273777,0.002392321,0.3390175],"study_design_scores_gemma":[0.0001469695,0.0003576243,0.0005513786,0.0001225137,0.00009333888,0.0003978311,0.000110046,0.5082012,0.2434764,0.2339083,0.01255201,0.00008228985],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01823816,0.000043084,0.9776261,0.00007743709,0.00002368704,0.00006737547,0.00003283806,0.002124117,0.001767206],"genre_scores_gemma":[0.5097597,0.0001155166,0.4864669,0.0001666715,0.00002222511,0.0001995761,0.0001621243,0.0007607625,0.002346553],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003612642,"threshold_uncertainty_score":0.01414192,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4235191568","doi":"10.1145/513950.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Verilog; VHDL; Embedded system; Block (permutation group theory); Interface (matter); Protocol (science); Hardware description language; Formal verification; System on a chip; Computer architecture; Programming language; Operating system; Field-programmable gate array","authors":[{"name":"Marcio T. Oliveira","is_ca":true},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2003871389227613,"gpt":0.2919260151815011,"spread":0.09153887625873977,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00102762,0.0004650929,0.0002605586,0.0004291091,0.0002147161,0.001062552,0.001031258,0.0006507002,0.003317029],"category_scores_gemma":[0.004798042,0.0004869964,0.0003785805,0.0002589866,0.0005794267,0.001101527,0.0005894661,0.001145511,0.001065863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004036156,"about_ca_system_score_gemma":0.0007859872,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004603178,"about_ca_topic_score_gemma":0.0005275842,"domain_scores_codex":[0.9986204,0.0003628282,0.0001149039,0.0001626101,0.0006435515,0.00009572273],"domain_scores_gemma":[0.9973912,0.001314333,0.0002464055,0.0005380681,0.0004689411,0.00004101216],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005146691,0.0002295092,0.00449781,0.0007216747,0.00005373375,0.001178102,0.0008172504,0.1082242,0.427888,0.1490832,0.0101216,0.2966704],"study_design_scores_gemma":[0.0001462684,0.0002402513,0.0006649846,0.00005264402,0.000037678,0.0004591433,0.00005963643,0.6387022,0.3170491,0.01903247,0.02352581,0.0000298401],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01597635,0.00002851134,0.9752632,0.00006696692,0.00001846069,0.0001067913,0.0001502418,0.00647581,0.001913615],"genre_scores_gemma":[0.3012206,0.00009017448,0.6931916,0.0001298274,0.00002159029,0.0003685324,0.000552421,0.001297133,0.003128156],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003317029,"threshold_uncertainty_score":0.01109654,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2171356936","doi":"10.1145/1278480.1278663","title":"Automatic cache tuning for energy-efficiency using local regression modeling","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Western Canada Research Grid","keywords":"Speedup; Computer science; Benchmark (surveying); Cache; Design space exploration; Parallel computing; Cache-oblivious algorithm; Inference; Set (abstract data type); Algorithm; CPU cache; Power (physics); Space (punctuation); Instruction set; Energy (signal processing); Computer engineering; Cache algorithms; Artificial intelligence; Embedded system; Mathematics; Statistics","authors":[{"name":"Peter Hallschmid","is_ca":true},{"name":"Resve Saleh","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1001793674728277,"gpt":0.3184390823109033,"spread":0.2182597148380756,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001691071,0.001040418,0.001062809,0.0008065485,0.0002853,0.0007310254,0.001235014,0.0006247891,0.001797874],"category_scores_gemma":[0.007823495,0.0007003533,0.0008504426,0.0007554624,0.0003953594,0.001145089,0.0005046992,0.001301028,0.0005392133],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006977814,"about_ca_system_score_gemma":0.001132074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003727438,"about_ca_topic_score_gemma":0.00565304,"domain_scores_codex":[0.998937,0.0005354661,0.00003665303,0.0001734658,0.0002393362,0.00007807063],"domain_scores_gemma":[0.9969054,0.002263562,0.0003287007,0.000251617,0.0002140484,0.00003671903],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004446293,0.00004242019,0.001193741,0.0000253588,0.00003291411,0.00001373981,0.00002149421,0.9773162,0.00236186,0.0008964273,0.000224531,0.01782683],"study_design_scores_gemma":[0.000002889185,0.00001033125,0.00007030152,0.000001135052,0.000002722548,0.000002727282,0.000001319989,0.9990692,0.0004363356,0.0003519628,0.00004947354,0.000001593467],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09185643,0.0001924165,0.9034075,0.0001654505,0.000008369302,0.00006491398,0.0001115215,0.002579054,0.001614321],"genre_scores_gemma":[0.880501,0.00009565278,0.1173213,0.00007684826,0.00001205208,0.0002105129,0.0002052473,0.0003464093,0.001230988],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003727438,"threshold_uncertainty_score":0.008943379,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3148230205","doi":"10.1109/dac.2006.229309","title":"Solution-processed infrared photovoltaic devices","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Quantum Dots Synthesis And Properties","field":"Materials Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Photovoltaic system; Quantum dot; Optoelectronics; Materials science; Absorption (acoustics); Infrared; Nanoparticle; Nanotechnology; Optics; Physics; Electrical engineering; Engineering","authors":[{"name":"Dean D. MacNeil","is_ca":true},{"name":"Edward H. Sargent","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05606914744723391,"gpt":0.2544088085907839,"spread":0.19833966114355,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001342257,0.0003198439,0.0003686898,0.0002719702,0.0002984253,0.0008046006,0.000705878,0.0007386805,0.009744903],"category_scores_gemma":[0.0001933282,0.0002421391,0.0003156658,0.0003412191,0.0002197666,0.0007815731,0.0003608585,0.0009471705,0.004996974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003449308,"about_ca_system_score_gemma":0.0002052257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000182149,"about_ca_topic_score_gemma":0.00039544,"domain_scores_codex":[0.9997891,0.00001213365,0.00001310053,0.00007248019,0.00009029558,0.00002283539],"domain_scores_gemma":[0.9999361,0.00001070205,0.00000976256,0.000009099021,0.00002631313,0.000007918987],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003735537,0.00004241938,0.00007640055,0.000253613,0.00001353601,0.00008229198,0.00003261984,0.0002671315,0.973402,0.003597311,0.002298922,0.01989639],"study_design_scores_gemma":[0.00002920802,0.0001451452,0.0002901785,0.00003062356,0.0000161647,0.0003300006,0.00003284169,0.002168843,0.944291,0.001071196,0.05157528,0.0000194631],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4722039,0.04074727,0.2688886,0.002718849,0.003349525,0.0007900357,0.005662645,0.004665231,0.200974],"genre_scores_gemma":[0.725848,0.01067065,0.1633221,0.0015525,0.0003214635,0.0003921154,0.002719688,0.0002822164,0.09489125],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009744903,"threshold_uncertainty_score":0.03259999,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4241336885","doi":"10.1145/514001.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Binary number; Arithmetic; Mathematics","authors":[{"name":"Maghsoud Abbaspour","is_ca":true},{"name":"Jianwen Zhu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1252185535176678,"gpt":0.2674677957404117,"spread":0.1422492422227439,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000557002,0.000824723,0.0005694019,0.0008931788,0.0004078036,0.0008953251,0.001410909,0.0007358582,0.01054526],"category_scores_gemma":[0.003721588,0.0004805044,0.0006180704,0.0006285908,0.0005405868,0.001508542,0.002013643,0.001190781,0.00477121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000454484,"about_ca_system_score_gemma":0.0004518117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000736768,"about_ca_topic_score_gemma":0.001517248,"domain_scores_codex":[0.9992591,0.0001272057,0.00005029277,0.0001604673,0.0002788191,0.0001241055],"domain_scores_gemma":[0.9984152,0.0006022482,0.000125436,0.0006175128,0.0002049654,0.00003454915],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003964847,0.0001728575,0.001963803,0.0004944984,0.00005009735,0.0009356958,0.0005628417,0.03448661,0.07609803,0.05950396,0.03226202,0.7930732],"study_design_scores_gemma":[0.0002455694,0.0003537974,0.003901521,0.0002728006,0.0001940867,0.00260829,0.0002852215,0.3594384,0.1992319,0.1276271,0.3056642,0.0001770389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0433723,0.0006504232,0.8881118,0.0002321915,0.0001772221,0.0002629569,0.0005855894,0.04432504,0.02228247],"genre_scores_gemma":[0.3771878,0.0008136854,0.5642189,0.0004840305,0.00009846617,0.0004418979,0.002288014,0.01098937,0.0434778],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01054526,"threshold_uncertainty_score":0.03527737,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2162126949","doi":"10.1145/513918.513977","title":"Multifunctional photonic integration for the agile optical internet","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Photonic Crystals and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Nortel (Canada)","funders":"","keywords":"Agile software development; Photonics; The Internet; Computer science; Optoelectronics; Materials science; Software engineering; World Wide Web","authors":[{"name":"Edward H. Sargent","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08116384696044174,"gpt":0.280693746233602,"spread":0.1995298992731603,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000144605,0.0002223513,0.0001129149,0.0002652389,0.0003592577,0.0005559644,0.0002288396,0.0004430917,0.001476872],"category_scores_gemma":[0.0001867722,0.0001287697,0.0001330721,0.0001867806,0.0002274702,0.0007229845,0.0003776406,0.000441355,0.000392061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003058285,"about_ca_system_score_gemma":0.0002215013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001329238,"about_ca_topic_score_gemma":0.0003683538,"domain_scores_codex":[0.9998356,0.00001878979,0.000004804036,0.00002606754,0.00008636193,0.00002827668],"domain_scores_gemma":[0.9999328,0.00001738316,0.00001245566,0.00001009546,0.00001916166,0.00000815031],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00007751313,0.00009261425,0.0005713563,0.0001164727,0.000014061,0.0002866571,0.000104408,0.004890954,0.7912779,0.08716171,0.002233047,0.1131734],"study_design_scores_gemma":[0.00004883808,0.0006887622,0.002413392,0.00006374822,0.00006980717,0.001471635,0.0001579382,0.1472082,0.6169282,0.042569,0.1883285,0.0000519347],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4818968,0.01191242,0.3939022,0.002080643,0.0006011449,0.0001036964,0.0001124926,0.001538157,0.1078524],"genre_scores_gemma":[0.8892967,0.002372219,0.09895999,0.0002796216,0.0001343949,0.0000499571,0.00007393509,0.00005912793,0.008774042],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.001476872,"threshold_uncertainty_score":0.004940689,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}