{"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":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0036973788,0.00017323912,0.99302214,0.00025763194,0.00006674188,0.00011103556,0.00010289697,0.0005205862,0.0020484284],"genre_scores_gemma":[0.3466417,0.00078297826,0.64712685,0.0005339733,0.00022395945,0.0009667098,0.00095599284,0.0006634291,0.0021044603],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.98716766,0.0049804477,0.0019931511,0.0010583245,0.004189109,0.00061127375],"domain_scores_gemma":[0.98757124,0.0064098747,0.0007770426,0.0027505734,0.0021898618,0.00030142217],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.011707803,0.0013285157,0.0012636436,0.0016482758,0.0011642084,0.0055350624,0.0026847944,0.0023495494,0.002363269],"category_scores_gemma":[0.018900605,0.0008374111,0.0026626482,0.00093713915,0.004919566,0.0060349437,0.003669253,0.004077741,0.00066088384],"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.000115098854,0.00007387058,0.0003251087,0.0002961713,0.00006960842,0.00027748098,0.0008735287,0.042836007,0.0043772217,0.93221205,0.0009850839,0.017558776],"study_design_scores_gemma":[0.0001113687,0.00013679682,0.00016973425,0.0002793357,0.00010608245,0.0002686575,0.00025407237,0.19649448,0.013656929,0.75993603,0.028514303,0.00007209325],"about_ca_topic_score_codex":0.0018742131,"about_ca_topic_score_gemma":0.0011413655,"teacher_disagreement_score":0.011707803,"about_ca_system_score_codex":0.001949765,"about_ca_system_score_gemma":0.0031310322,"threshold_uncertainty_score":0.061917484},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.02003041,0.00069375115,0.96699643,0.00023118786,0.00012451102,0.00007129449,0.00013825108,0.0006399393,0.011074266],"genre_scores_gemma":[0.5062162,0.00095617364,0.4864276,0.00017124988,0.000051228144,0.0001803671,0.00030520558,0.0002222138,0.005469768],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988838,0.00028275355,0.00007350093,0.00019127557,0.00048887223,0.00007983763],"domain_scores_gemma":[0.9992975,0.00036627048,0.00006846417,0.00013812204,0.00010972705,0.000019851796],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009002386,0.00050679897,0.00053499977,0.000673237,0.00043488186,0.0011144594,0.00072772644,0.0005969461,0.0048471484],"category_scores_gemma":[0.0024599067,0.00038724425,0.000749204,0.0005451724,0.0010286454,0.0015882055,0.00079193444,0.0008490045,0.00046546856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","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.00009183971,0.000048423088,0.000121415855,0.00046870802,0.000052970976,0.00012455002,0.00010061102,0.16769785,0.041930236,0.688952,0.0011262856,0.099285096],"study_design_scores_gemma":[0.000062592524,0.00014818272,0.00013982135,0.00010231197,0.00005316021,0.00014431326,0.000037151392,0.5282344,0.06560131,0.38032004,0.02511413,0.000042578362],"about_ca_topic_score_codex":0.0005855416,"about_ca_topic_score_gemma":0.0011675345,"teacher_disagreement_score":0.0048471484,"about_ca_system_score_codex":0.001071496,"about_ca_system_score_gemma":0.0011011095,"threshold_uncertainty_score":0.016215324},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.06766751,0.0006485106,0.89337444,0.00026968255,0.00039729668,0.00054302724,0.00049601647,0.027255798,0.009347841],"genre_scores_gemma":[0.5718254,0.00026226637,0.4134045,0.00037845116,0.00029794156,0.00037452197,0.0011427768,0.00091053685,0.011403616],"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9989656,0.00019262652,0.00004162576,0.000110681525,0.00059262686,0.00009683284],"domain_scores_gemma":[0.9981048,0.0002717511,0.00022318531,0.000562129,0.0006362252,0.00020182447],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007514009,0.0007810367,0.00060574163,0.0017073902,0.0005606269,0.0007557051,0.0017586144,0.0006042548,0.012337779],"category_scores_gemma":[0.0016544092,0.0003222214,0.00019985944,0.00066409406,0.00033826262,0.0008467424,0.0010328168,0.0009283636,0.0035341997],"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.0014346762,0.0006072959,0.009171002,0.000418982,0.00008568922,0.00044448642,0.0003123746,0.008681,0.23588501,0.009796446,0.030480577,0.7026825],"study_design_scores_gemma":[0.00074605,0.00504434,0.01679772,0.00020045233,0.00033298327,0.004496256,0.00016919771,0.19790936,0.5636884,0.005201359,0.20506951,0.0003444642],"about_ca_topic_score_codex":0.0005689321,"about_ca_topic_score_gemma":0.0011754144,"teacher_disagreement_score":0.012337779,"about_ca_system_score_codex":0.0005190787,"about_ca_system_score_gemma":0.00097220804,"threshold_uncertainty_score":0.04127395},"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":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.110601194,0.00014013879,0.8843368,0.00008697889,0.00001431433,0.000073609444,0.000069468806,0.0041165305,0.0005609011],"genre_scores_gemma":[0.7506198,0.000056734254,0.24843432,0.000035717887,0.00001206726,0.00008140351,0.00014572042,0.000110782894,0.0005033759],"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.99776435,0.00076144765,0.00011660473,0.00033534478,0.00085539947,0.00016685502],"domain_scores_gemma":[0.99371743,0.003112135,0.00096880796,0.0015752547,0.00053130864,0.00009503282],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013836728,0.0006582042,0.00074637425,0.001538821,0.00041460633,0.00072982564,0.0012465549,0.00053232163,0.0014479609],"category_scores_gemma":[0.0074535287,0.00028589548,0.00039311606,0.00084156985,0.0008817267,0.0015882319,0.00093909213,0.00087245024,0.00023025411],"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.0008846018,0.0004895171,0.006067407,0.00015661596,0.00005432521,0.00027995722,0.00046474463,0.15393938,0.14477,0.015883135,0.0010953861,0.6759149],"study_design_scores_gemma":[0.0000674901,0.00039130612,0.0028439607,0.000020188763,0.000027567934,0.00027846984,0.000059140904,0.83683306,0.14576985,0.011919156,0.0017472852,0.000042567422],"about_ca_topic_score_codex":0.0012104415,"about_ca_topic_score_gemma":0.0017418996,"teacher_disagreement_score":0.001538821,"about_ca_system_score_codex":0.0005192811,"about_ca_system_score_gemma":0.0013431725,"threshold_uncertainty_score":0.0073176622},"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":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.057519816,0.0002904908,0.93359303,0.00019099496,0.000030407062,0.0002086574,0.000107579326,0.0049659573,0.0030929989],"genre_scores_gemma":[0.7064438,0.00017987995,0.2904946,0.00015658332,0.000036176087,0.00018517891,0.0004074956,0.0006082209,0.0014881068],"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9913839,0.004959193,0.00027773116,0.0005860669,0.0023103785,0.0004826845],"domain_scores_gemma":[0.9682543,0.025360497,0.0013353778,0.0035882303,0.001319271,0.00014231532],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004823256,0.0009330586,0.000751417,0.001230541,0.00054407114,0.0014142031,0.0015285509,0.0012471474,0.0036582958],"category_scores_gemma":[0.019160314,0.00051600486,0.0007635269,0.0007008634,0.0015030783,0.001988041,0.0011885398,0.0011787624,0.00083039043],"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.0013810807,0.0005208474,0.008141428,0.00050911837,0.00009509229,0.0013978129,0.0008834787,0.29623348,0.070895836,0.10172615,0.004172802,0.51404285],"study_design_scores_gemma":[0.00011832256,0.00035647445,0.0009388506,0.00007881073,0.000030537565,0.0005419111,0.00005820162,0.871071,0.08591467,0.03605597,0.004794089,0.00004114192],"about_ca_topic_score_codex":0.0008897146,"about_ca_topic_score_gemma":0.0009333663,"teacher_disagreement_score":0.004823256,"about_ca_system_score_codex":0.00071416516,"about_ca_system_score_gemma":0.0008932758,"threshold_uncertainty_score":0.025508106},"labels":[],"label_agreement":null}]}