{"id":"W7098375205","doi":"","title":"White-box verification techniques in Networking ASIC Design”, Thesis Dissertation","year":2001,"lang":"en","type":"article","venue":"","topic":"Linguistic and Cultural Studies","field":"Agricultural and Biological Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Application-specific integrated circuit; Automation; Supervisor; Advice (programming); Work (physics)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007087312,0.0007432264,0.0004018892,0.0009887674,0.001028544,0.003157596,0.001680591,0.001022558,0.007957496],"category_scores_gemma":[0.01090929,0.0008325021,0.0008763628,0.0007411951,0.002248456,0.005962284,0.001622076,0.002157096,0.001846243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001273599,"about_ca_system_score_gemma":0.001873699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001038146,"about_ca_topic_score_gemma":0.001401763,"domain_scores_codex":[0.9938405,0.0029398,0.0003730537,0.0006639596,0.001889187,0.00029344],"domain_scores_gemma":[0.993148,0.003123757,0.0004334608,0.001760863,0.001444915,0.00008900669],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002404926,0.00009935512,0.0007193107,0.0008958171,0.00009346216,0.0004195806,0.001636944,0.02698123,0.01980518,0.492793,0.01315655,0.4431591],"study_design_scores_gemma":[0.0001495187,0.0004532064,0.0005777822,0.0009746826,0.0001648629,0.001461852,0.0009096701,0.2121605,0.1312668,0.30147,0.3502915,0.0001196318],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.005112601,0.0008760478,0.9827421,0.0005425568,0.0001650807,0.0001260175,0.00003326804,0.000820219,0.009582111],"genre_scores_gemma":[0.1674533,0.002360204,0.8129458,0.000511224,0.0001214988,0.0003040253,0.0001751337,0.0005303291,0.01559853],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007957496,"threshold_uncertainty_score":0.03748173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03930959646342133,"score_gpt":0.2524952479536573,"score_spread":0.213185651490236,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}