{"id":"W2482918048","doi":"10.1117/3.853623.ch52","title":"Expressions for D*","year":2010,"lang":"en","type":"book-chapter","venue":"SPIE eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Lockheed Martin (Canada)","funders":"","keywords":"Psychology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001869615,0.0002760732,0.000301635,0.00009652151,0.000202431,0.0001671414,0.001029591,0.0004721278,0.00003997161],"category_scores_gemma":[0.0000164657,0.0002234338,0.0002404871,0.000006474439,0.00008263359,0.00005126174,0.0002835866,0.0003788194,0.0002473795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001950621,"about_ca_system_score_gemma":0.0001180526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009417056,"about_ca_topic_score_gemma":0.00002787696,"domain_scores_codex":[0.9987077,0.000004001689,0.0002629949,0.0005108563,0.0002282275,0.0002862116],"domain_scores_gemma":[0.9985161,0.00006411805,0.0002068714,0.0009717789,0.000104608,0.0001365329],"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.00000150408,0.000003789336,4.781419e-7,0.0000278987,0.00001838056,0.000008991363,0.0001056368,3.358469e-8,0.000458695,0.9649798,0.001614769,0.03278],"study_design_scores_gemma":[0.0001054318,0.00005218698,5.708824e-7,0.00001169199,0.000008901572,0.000007425907,0.000001013837,0.00001703089,0.000398786,0.3947791,0.6044315,0.0001863728],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000002044116,0.0001396892,0.1561015,0.00005388216,0.002233448,0.0005940205,0.000004766395,0.0002642668,0.8406063],"genre_scores_gemma":[0.006313512,0.00000198357,0.01413676,0.000142708,0.000881542,0.0001120849,0.000009665269,0.00004719808,0.9783546],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6028167,"threshold_uncertainty_score":0.9111364,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03939025138968353,"score_gpt":0.2582734261833961,"score_spread":0.2188831747937126,"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."}}