{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001303628,0.00007349274,0.00008068804,0.000004839986,0.0001361358,0.00003432888,0.00008450549,0.00004231875,0.0001583622],"category_scores_gemma":[0.00003698074,0.00002326493,0.00002533303,0.000262348,0.00001561089,0.00005677256,0.00001243547,0.00003841653,0.00001604442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001881704,"about_ca_system_score_gemma":0.00000103348,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002583203,"about_ca_topic_score_gemma":0.0008706417,"domain_scores_codex":[0.9994751,0.00003644676,0.0001264146,0.0001448933,0.00007885703,0.0001382864],"domain_scores_gemma":[0.9998012,0.0000811548,0.0000372677,0.00002122482,0.00003806786,0.00002105552],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00004907171,0.00007644952,0.1980896,0.000002427926,0.000007931846,0.00000448743,0.000512585,0.00001042697,0.03407914,0.0009210274,0.0007101413,0.7655367],"study_design_scores_gemma":[0.00005076667,0.0001026592,0.9741151,0.0000320164,0.000008165788,0.000002258257,0.002083053,0.0001793792,0.006531996,0.002291338,0.01439241,0.0002108304],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9778056,0.0001997556,0.0004847351,0.001368258,0.00008348788,0.0002752226,5.285966e-7,0.000179572,0.01960283],"genre_scores_gemma":[0.9977807,0.0001946138,0.0008224195,0.0001075029,0.0002394931,0.0000342684,0.00001230576,3.897887e-7,0.0008083371],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7760255,"threshold_uncertainty_score":0.1733955,"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."}}