{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009584944,0.001037979,0.0005313293,0.001555461,0.002035068,0.004213817,0.001435778,0.001199174,0.06232528],"category_scores_gemma":[0.00177598,0.0004919129,0.0009275533,0.002280564,0.001781019,0.005491631,0.003085579,0.00248306,0.02564955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00185919,"about_ca_system_score_gemma":0.0009027098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00132584,"about_ca_topic_score_gemma":0.001698583,"domain_scores_codex":[0.9992809,0.0001342407,0.00006296173,0.0002307472,0.0001761132,0.0001150345],"domain_scores_gemma":[0.999599,0.0001231158,0.00002944982,0.000104978,0.0001110876,0.00003243582],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003277579,0.00001064482,0.00007015975,0.0000857811,0.000004792117,0.0000453074,0.0001926114,0.0001191539,0.0007483899,0.9285746,0.03465291,0.03546303],"study_design_scores_gemma":[0.00001064233,0.000007947564,0.00005458321,0.00005048439,0.000009795866,0.0001560737,0.0001188182,0.0005466919,0.002177664,0.2530714,0.7437795,0.00001652994],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.004533786,0.002378981,0.2867842,0.003332467,0.002546907,0.0001499002,0.003554665,0.003528822,0.6931903],"genre_scores_gemma":[0.1816552,0.004486199,0.22024,0.002612996,0.0008977528,0.0005899866,0.007428479,0.004606695,0.5774827],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.06232528,"threshold_uncertainty_score":0.2084988,"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."}}