{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":5,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":5,"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":"46769651bdf0","filters":{"venue":"2008 Design, Automation and Test in Europe"}},"results":[{"id":"W4237135760","doi":"10.1109/date.2008.4484858","title":"Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Observability; TRACE (psycholinguistics); Computer science; Identification (biology); Chip; Set (abstract data type); State (computer science); Software bug; Embedded system; Real-time computing; Software; Computer hardware; Algorithm; Operating system; Mathematics","authors":[{"name":"Ho Fai Ko","is_ca":true},{"name":"Nicola Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04872749868183594,"gpt":0.2643035914894865,"spread":0.2155760928076506,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001383673,0.0006582042,0.0007463743,0.001538821,0.0004146063,0.0007298256,0.001246555,0.0005323216,0.001447961],"category_scores_gemma":[0.007453529,0.0002858955,0.0003931161,0.0008415699,0.0008817267,0.001588232,0.0009390921,0.0008724502,0.0002302541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005192811,"about_ca_system_score_gemma":0.001343173,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001210441,"about_ca_topic_score_gemma":0.0017419,"domain_scores_codex":[0.9977643,0.0007614476,0.0001166047,0.0003353448,0.0008553995,0.000166855],"domain_scores_gemma":[0.9937174,0.003112135,0.000968808,0.001575255,0.0005313086,0.00009503282],"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.0008846018,0.0004895171,0.006067407,0.000156616,0.00005432521,0.0002799572,0.0004647446,0.1539394,0.14477,0.01588313,0.001095386,0.6759149],"study_design_scores_gemma":[0.0000674901,0.0003913061,0.002843961,0.00002018876,0.00002756793,0.0002784698,0.0000591409,0.8368331,0.1457698,0.01191916,0.001747285,0.00004256742],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1106012,0.0001401388,0.8843368,0.00008697889,0.00001431433,0.00007360944,0.00006946881,0.004116531,0.0005609011],"genre_scores_gemma":[0.7506198,0.00005673425,0.2484343,0.00003571789,0.00001206726,0.00008140351,0.0001457204,0.0001107829,0.0005033759],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001538821,"threshold_uncertainty_score":0.007317662,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3147898783","doi":"10.1109/date.2008.4484814","title":"Quantified Synthesis of Reversible Logic","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of New Brunswick","funders":"","keywords":"Toffoli gate; Boolean function; Boolean satisfiability problem; Reversible computing; Computer science; Satisfiability; And-inverter graph; Binary decision diagram; Generalization; Logic synthesis; Logic gate; Boolean circuit; Boolean algebra; True quantified Boolean formula; Quantum computer; Theoretical computer science; Quantum; Algorithm; Mathematics; Quantum gate","authors":[{"name":"Robert Wille","is_ca":false},{"name":"Hoang M. Le","is_ca":false},{"name":"Gerhard W. Dueck","is_ca":true},{"name":"Daniel GroBe","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02966612485944461,"gpt":0.2310510608777906,"spread":0.201384936018346,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009002386,0.000506799,0.0005349998,0.000673237,0.0004348819,0.001114459,0.0007277264,0.0005969461,0.004847148],"category_scores_gemma":[0.002459907,0.0003872442,0.000749204,0.0005451724,0.001028645,0.001588205,0.0007919344,0.0008490045,0.0004654686],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001071496,"about_ca_system_score_gemma":0.00110111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005855416,"about_ca_topic_score_gemma":0.001167535,"domain_scores_codex":[0.9988838,0.0002827535,0.00007350093,0.0001912756,0.0004888722,0.00007983763],"domain_scores_gemma":[0.9992975,0.0003662705,0.00006846417,0.000138122,0.0001097271,0.0000198518],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009183971,0.00004842309,0.0001214159,0.000468708,0.00005297098,0.00012455,0.000100611,0.1676978,0.04193024,0.688952,0.001126286,0.0992851],"study_design_scores_gemma":[0.00006259252,0.0001481827,0.0001398213,0.000102312,0.00005316021,0.0001443133,0.00003715139,0.5282344,0.06560131,0.38032,0.02511413,0.00004257836],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02003041,0.0006937511,0.9669964,0.0002311879,0.000124511,0.00007129449,0.0001382511,0.0006399393,0.01107427],"genre_scores_gemma":[0.5062162,0.0009561736,0.4864276,0.0001712499,0.00005122814,0.0001803671,0.0003052056,0.0002222138,0.005469768],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004847148,"threshold_uncertainty_score":0.01621532,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4252048528","doi":"10.1109/date.2008.4484892","title":"On Automated Trigger Event Generation in Post-Silicon Validation","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Debugging; Event (particle physics); Computer science; Set (abstract data type); State (computer science); Software bug; Embedded system; Real-time computing; Chip; Instruction set; Computer hardware; Software; Programming language","authors":[{"name":"Ho Fai Ko","is_ca":true},{"name":"Nicola Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04077090791037222,"gpt":0.2540600839340904,"spread":0.2132891760237182,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004823256,0.0009330586,0.000751417,0.001230541,0.0005440711,0.001414203,0.001528551,0.001247147,0.003658296],"category_scores_gemma":[0.01916031,0.0005160049,0.0007635269,0.0007008634,0.001503078,0.001988041,0.00118854,0.001178762,0.0008303904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007141652,"about_ca_system_score_gemma":0.0008932758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008897146,"about_ca_topic_score_gemma":0.0009333663,"domain_scores_codex":[0.9913839,0.004959193,0.0002777312,0.0005860669,0.002310378,0.0004826845],"domain_scores_gemma":[0.9682543,0.0253605,0.001335378,0.00358823,0.001319271,0.0001423153],"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.001381081,0.0005208474,0.008141428,0.0005091184,0.00009509229,0.001397813,0.0008834787,0.2962335,0.07089584,0.1017262,0.004172802,0.5140429],"study_design_scores_gemma":[0.0001183226,0.0003564745,0.0009388506,0.00007881073,0.00003053757,0.0005419111,0.00005820162,0.871071,0.08591467,0.03605597,0.004794089,0.00004114192],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05751982,0.0002904908,0.933593,0.000190995,0.00003040706,0.0002086574,0.0001075793,0.004965957,0.003092999],"genre_scores_gemma":[0.7064438,0.0001798799,0.2904946,0.0001565833,0.00003617609,0.0001851789,0.0004074956,0.0006082209,0.001488107],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004823256,"threshold_uncertainty_score":0.02550811,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3143632367","doi":"10.1109/date.2008.4484730","title":"Semantics for Model-Based Validation of Continuous/Discrete Systems","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Semantics (computer science); Representation (politics); Discrete modelling; Theoretical computer science; Programming language; Discrete system","authors":[{"name":"L. Gheorghe","is_ca":true},{"name":"F. Bouchhima","is_ca":true},{"name":"Gabriela Nicolescu","is_ca":true},{"name":"Hanifa Boucheneb","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02200322319615253,"gpt":0.2251357254883002,"spread":0.2031325022921477,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0117078,0.001328516,0.001263644,0.001648276,0.001164208,0.005535062,0.002684794,0.002349549,0.002363269],"category_scores_gemma":[0.0189006,0.0008374111,0.002662648,0.0009371391,0.004919566,0.006034944,0.003669253,0.004077741,0.0006608838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001949765,"about_ca_system_score_gemma":0.003131032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001874213,"about_ca_topic_score_gemma":0.001141366,"domain_scores_codex":[0.9871677,0.004980448,0.001993151,0.001058324,0.004189109,0.0006112737],"domain_scores_gemma":[0.9875712,0.006409875,0.0007770426,0.002750573,0.002189862,0.0003014222],"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.0001150989,0.00007387058,0.0003251087,0.0002961713,0.00006960842,0.000277481,0.0008735287,0.04283601,0.004377222,0.9322121,0.0009850839,0.01755878],"study_design_scores_gemma":[0.0001113687,0.0001367968,0.0001697343,0.0002793357,0.0001060825,0.0002686575,0.0002540724,0.1964945,0.01365693,0.759936,0.0285143,0.00007209325],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003697379,0.0001732391,0.9930221,0.0002576319,0.00006674188,0.0001110356,0.000102897,0.0005205862,0.002048428],"genre_scores_gemma":[0.3466417,0.0007829783,0.6471269,0.0005339733,0.0002239594,0.0009667098,0.0009559928,0.0006634291,0.00210446],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0117078,"threshold_uncertainty_score":0.06191748,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3150902856","doi":"10.1109/date.2008.4484890","title":"Built-in Clock Skew System for On-line Debug and Repair","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"VLSI and Analog Circuit Testing","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":"McGill University","funders":"","keywords":"Skew; Timing failure; Clock skew; Debugging; Digital clock manager; Computer science; Overhead (engineering); Clock domain crossing; Embedded system; Margin (machine learning); Electronic engineering; Engineering; Clock signal; Synchronous circuit; Telecommunications","authors":[{"name":"Atanu Chattopadhyay","is_ca":true},{"name":"Željko Žilić","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05562892365713838,"gpt":0.2591049581642449,"spread":0.2034760345071065,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007514009,0.0007810367,0.0006057416,0.00170739,0.0005606269,0.0007557051,0.001758614,0.0006042548,0.01233778],"category_scores_gemma":[0.001654409,0.0003222214,0.0001998594,0.0006640941,0.0003382626,0.0008467424,0.001032817,0.0009283636,0.0035342],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005190787,"about_ca_system_score_gemma":0.000972208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005689321,"about_ca_topic_score_gemma":0.001175414,"domain_scores_codex":[0.9989656,0.0001926265,0.00004162576,0.0001106815,0.0005926269,0.00009683284],"domain_scores_gemma":[0.9981048,0.0002717511,0.0002231853,0.000562129,0.0006362252,0.0002018245],"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.001434676,0.0006072959,0.009171002,0.000418982,0.00008568922,0.0004444864,0.0003123746,0.008681,0.235885,0.009796446,0.03048058,0.7026825],"study_design_scores_gemma":[0.00074605,0.00504434,0.01679772,0.0002004523,0.0003329833,0.004496256,0.0001691977,0.1979094,0.5636884,0.005201359,0.2050695,0.0003444642],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06766751,0.0006485106,0.8933744,0.0002696826,0.0003972967,0.0005430272,0.0004960165,0.0272558,0.009347841],"genre_scores_gemma":[0.5718254,0.0002622664,0.4134045,0.0003784512,0.0002979416,0.000374522,0.001142777,0.0009105369,0.01140362],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01233778,"threshold_uncertainty_score":0.04127395,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}