{"meta":{"query_hash":"46769651bdf0","filters":{"venue":"2008 Design, Automation and Test in Europe"},"cohort_total":5,"direct_labels_cover":0,"predictions_cover":5,"exported":5,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/46769651bdf0","api":"https://metacan.xera.ac/api/v1/cohort?venue=2008+Design%2C+Automation+and+Test+in+Europe"},"results":[{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.02200322319615253,"score_gpt":0.22513572548830021,"score_spread":0.2031325022921477,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3143632367","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.13606982,0.00022722763,0.8610949,0.00002495534,0.00013576259,0.0008854983,0.000019414958,0.0002870927,0.0012553488],"genre_scores_gemma":[0.99676645,0.000040187515,0.0028365543,0.000013396874,0.000027489004,0.000041030613,0.000030626004,0.000030519113,0.00021374166],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9991313,0.000063603766,0.00042512608,0.00012016661,0.00012933419,0.00013047253],"domain_scores_gemma":[0.9992796,0.0002860942,0.00009855555,0.00013037736,0.0001638885,0.000041495427],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00025596982,0.00012103683,0.00023136978,0.00014329769,0.000047385813,0.00003073896,0.000055864457,0.000060478797,0.000003882441],"category_scores_gemma":[0.00016108033,0.00011923854,0.000026963402,0.0002114715,0.000024564255,0.00014670858,0.0000037189957,0.000042020645,0.000008479415],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000009767514,0.000022073706,0.0016929163,0.00014457006,0.000006572738,0.000001742655,0.000187902,0.9900336,0.00692957,0.00026471526,0.00040124822,0.00030526653],"study_design_scores_gemma":[0.0010148797,0.000051280702,0.0027363517,0.00006770978,0.000009797992,0.000006567625,0.000010748067,0.9931781,0.002306892,0.000013529395,0.0004796296,0.00012448065],"about_ca_topic_score_codex":0.000008671314,"about_ca_topic_score_gemma":6.1725564e-7,"teacher_disagreement_score":0.8606966,"about_ca_system_score_codex":0.00001944165,"about_ca_system_score_gemma":0.000032207845,"threshold_uncertainty_score":0.48624063},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.029666124859444615,"score_gpt":0.2310510608777906,"score_spread":0.20138493601834598,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3147898783","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.31310567,0.00039309336,0.6820236,0.0011174692,0.00023068779,0.00030571275,0.000003744941,0.00044897298,0.0023710788],"genre_scores_gemma":[0.8446455,0.00012512378,0.15488224,0.0001589794,0.000017523122,0.0000031436532,7.196537e-7,0.0000078221055,0.0001589699],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99906904,0.00014756485,0.00024244454,0.00023750955,0.00015134849,0.00015208873],"domain_scores_gemma":[0.99882555,0.00070566917,0.00010881468,0.00023821888,0.00007764586,0.000044071945],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00031331068,0.00010245525,0.00016245621,0.00017538808,0.000104697734,0.000026899306,0.0002731031,0.00003622921,0.000007018246],"category_scores_gemma":[0.0005691934,0.000088748275,0.00002136712,0.00072095264,0.00006455554,0.00013992039,0.00007743409,0.000085133426,0.000025530584],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008986821,0.00333001,0.0579687,0.00072294334,0.000097678916,0.0019275864,0.020424519,0.09357469,0.056347158,0.08493327,0.031049138,0.64953446],"study_design_scores_gemma":[0.00023822869,0.00011688435,0.08041419,0.000074132695,0.0000029007215,0.00015293436,0.0000047983294,0.912142,0.005212877,0.0005009009,0.0009726047,0.00016754789],"about_ca_topic_score_codex":0.000017870478,"about_ca_topic_score_gemma":7.1872967e-7,"teacher_disagreement_score":0.81856734,"about_ca_system_score_codex":0.000007354608,"about_ca_system_score_gemma":0.000055034096,"threshold_uncertainty_score":0.36190498},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.055628923657138375,"score_gpt":0.2591049581642449,"score_spread":0.20347603450710652,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3150902856","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.330317,0.00085641944,0.66393954,0.00047554888,0.00023056594,0.0008889982,0.0000054588077,0.0013674911,0.001919],"genre_scores_gemma":[0.98472553,0.000075773896,0.014769099,0.00020371223,0.000041597814,0.00002085605,0.0000023441426,0.000012710988,0.00014835865],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9989188,0.000103377206,0.00030653182,0.000338171,0.00012251081,0.00021065352],"domain_scores_gemma":[0.9988868,0.0006732633,0.00008475689,0.00021138003,0.00007662646,0.00006715147],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004449581,0.00012803393,0.00017139455,0.00018384636,0.00014390152,0.000053089254,0.00016476629,0.000043699994,8.517761e-7],"category_scores_gemma":[0.0006517562,0.000118557306,0.00001986542,0.00050296355,0.000032219665,0.00022037135,0.000040832496,0.00008280021,0.000014627864],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000023633424,0.001676555,0.39736763,0.0016900272,0.000045886078,0.0024166654,0.009067728,0.012089092,0.007955911,0.083813034,0.009597472,0.47425637],"study_design_scores_gemma":[0.00082423596,0.00027648252,0.11526168,0.00021600584,0.000002904965,0.0002741446,0.0000096148615,0.8815144,0.00034572298,0.00014029896,0.0009348454,0.00019967271],"about_ca_topic_score_codex":0.000029571282,"about_ca_topic_score_gemma":0.000010143514,"teacher_disagreement_score":0.8694253,"about_ca_system_score_codex":0.00002947158,"about_ca_system_score_gemma":0.00005907514,"threshold_uncertainty_score":0.48346266},"labels":[],"label_agreement":null},{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04872749868183594,"score_gpt":0.2643035914894865,"score_spread":0.21557609280765055,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4237135760","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.74621624,0.0001112153,0.25243682,0.00022158754,0.000050172628,0.0005483072,0.0000048396164,0.00039480103,0.00001605386],"genre_scores_gemma":[0.99276274,0.0000387257,0.0069891997,0.0000695906,0.000013736775,0.000043602504,0.000024533529,0.00001221869,0.000045629466],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9983933,0.0002673924,0.0005359594,0.00043494656,0.00016221277,0.00020616839],"domain_scores_gemma":[0.9985097,0.0006988358,0.00023811348,0.0002118926,0.0002839272,0.00005754381],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0012259796,0.00014100276,0.00016062845,0.00024183429,0.00019504142,0.00018238624,0.00015498848,0.000056966473,0.0000012766156],"category_scores_gemma":[0.0018577647,0.00014946767,0.0000149642965,0.0007139035,0.000046630998,0.0013271184,0.000032765383,0.00008905768,0.000005478298],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00001007327,0.0004259372,0.1102993,0.00025731424,0.0000062169074,0.00003715452,0.008233161,0.007974382,0.58261806,0.0005927917,0.00014204731,0.28940353],"study_design_scores_gemma":[0.00032084764,0.00007287083,0.4477596,0.000019976724,0.0000020833145,0.000018784543,0.0000102925105,0.54691386,0.0045953835,0.00016732766,0.000011944488,0.000107067826],"about_ca_topic_score_codex":0.00010004768,"about_ca_topic_score_gemma":0.00003361707,"teacher_disagreement_score":0.5780227,"about_ca_system_score_codex":0.000056740017,"about_ca_system_score_gemma":0.0001198955,"threshold_uncertainty_score":0.6095115},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04077090791037222,"score_gpt":0.2540600839340904,"score_spread":0.2132891760237182,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4252048528","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9251234,0.00008363582,0.07255262,0.00041183917,0.00012647128,0.0003512076,0.0000016684033,0.0007093431,0.00063982524],"genre_scores_gemma":[0.9977059,0.000053430715,0.0016578303,0.00038062237,0.000033677392,0.000015838914,0.00002565887,0.000012148947,0.000114934184],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99855566,0.00026728035,0.0003920504,0.00035122028,0.00022389423,0.00020987132],"domain_scores_gemma":[0.99915045,0.00033163172,0.00012307779,0.00021081028,0.0001271813,0.000056857232],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004872506,0.0001477538,0.00014809777,0.00037714475,0.0001366299,0.000090187306,0.00017754262,0.000061031173,0.000012552845],"category_scores_gemma":[0.00088730245,0.00014326833,0.000018348523,0.0009496252,0.00002476969,0.0005408856,0.000029516417,0.000118684635,0.00009395761],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000013351777,0.0030315698,0.080265895,0.00010991235,0.000027533471,0.0012463662,0.01305382,0.15252502,0.255669,0.016682211,0.0111104855,0.46626484],"study_design_scores_gemma":[0.0005036315,0.0001416163,0.20412973,0.0000324351,0.0000013936008,0.00006750806,0.000002691163,0.7915611,0.0032728533,0.000063214735,0.00007347635,0.00015030733],"about_ca_topic_score_codex":0.000041107913,"about_ca_topic_score_gemma":0.000009994499,"teacher_disagreement_score":0.6390361,"about_ca_system_score_codex":0.000059172555,"about_ca_system_score_gemma":0.000104660096,"threshold_uncertainty_score":0.5842313},"labels":[],"label_agreement":null}]}