{"id":"W7053387562","doi":"","title":"Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003","year":2003,"lang":"en","type":"other","venue":"ARCA (Università Ca' Foscari Venezia)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Office of Naval Research; Ames Research Center; Università Ca' Foscari di Venezia; Università di Pisa; Technische Universität München; University of Warwick; Università Ca' Foscari Venezia; Microsoft Research; State University of New York; York University; National Aeronautics and Space Administration; University of Pennsylvania; University of Wisconsin-Madison; National Science Foundation","keywords":"Government (linguistics); Work (physics); Set (abstract data type); Context (archaeology); Focus (optics)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"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.006740468,0.002658517,0.002747729,0.001820031,0.001512421,0.008284626,0.003672607,0.001530329,0.02027594],"category_scores_gemma":[0.01572991,0.002074824,0.002958278,0.002165938,0.003961109,0.007743657,0.003791746,0.005335375,0.004815718],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003403036,"about_ca_system_score_gemma":0.004467076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0117071,"about_ca_topic_score_gemma":0.01137664,"domain_scores_codex":[0.9932232,0.00237552,0.0006228776,0.001194417,0.002086349,0.0004976711],"domain_scores_gemma":[0.9893812,0.005704,0.0003507204,0.003146399,0.00119355,0.0002240407],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001220302,0.0008539459,0.001513313,0.001169763,0.0003601662,0.0004592423,0.0009103463,0.07345302,0.01221218,0.2122607,0.1139427,0.5816443],"study_design_scores_gemma":[0.0004454289,0.0002195949,0.0008735628,0.0003910967,0.0003097403,0.0004153038,0.0001602196,0.4235223,0.01841452,0.4499608,0.105182,0.0001054715],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006369321,0.003710191,0.9605569,0.00241952,0.0009292725,0.000201901,0.000540683,0.01155941,0.01371272],"genre_scores_gemma":[0.1692327,0.006813823,0.7625887,0.0008754872,0.001160646,0.0008058051,0.004957179,0.003930774,0.04963493],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02027594,"threshold_uncertainty_score":0.06782979,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01742412211109621,"score_gpt":0.2557009267502347,"score_spread":0.2382768046391385,"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."}}