{"id":"W3037660916","doi":"10.1017/s0960129513000637","title":"Quantifying opacity","year":2014,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":44,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Opacity; Predicate (mathematical logic); Probabilistic logic; Random variable; Observable; Computer science; Computation; Theoretical computer science; Algorithm; Mathematics; Discrete mathematics; Artificial intelligence; Statistics","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.001757784,0.0001637787,0.0002189801,0.0002426536,0.0003291373,0.0006402568,0.002757514,0.00004615717,0.000019263],"category_scores_gemma":[0.0003346682,0.0001396201,0.00004932423,0.001255673,0.0003947848,0.000662913,0.0008656189,0.0002280917,0.0000453668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000714999,"about_ca_system_score_gemma":0.00006587472,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005726842,"about_ca_topic_score_gemma":0.000001992988,"domain_scores_codex":[0.9976758,0.00009697289,0.0003918337,0.00069072,0.000649655,0.0004950088],"domain_scores_gemma":[0.9983058,0.0004299772,0.0001014579,0.000919621,0.00008781463,0.0001553371],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[6.377597e-7,0.00002495832,0.0006473273,0.00002077529,7.879929e-7,0.000002318038,0.0006111838,0.001058294,0.0001729647,0.9004303,0.00002394297,0.09700651],"study_design_scores_gemma":[0.0001076325,0.00001486555,0.006516864,0.00002438925,5.037992e-7,0.00003622162,0.000003057551,0.6918923,0.0009102458,0.3001873,0.0001702024,0.0001363737],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05634893,0.00001332277,0.9410437,0.0004158521,0.0006664817,0.0001042213,1.713275e-7,0.0001860082,0.001221286],"genre_scores_gemma":[0.615448,4.024462e-7,0.3841208,0.0003433494,0.00008007384,0.000002679253,1.158784e-7,0.000003210796,0.000001350017],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.690834,"threshold_uncertainty_score":0.6174011,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0460157913763329,"score_gpt":0.3060719185987094,"score_spread":0.2600561272223765,"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."}}