{"id":"W2139371904","doi":"10.1007/s11786-014-0175-z","title":"Formal Analysis of Optical Systems","year":2014,"lang":"en","type":"article","venue":"Mathematics in Computer Science","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Abstraction; Complement (music); Pencil (optics); Theoretical computer science; Automated theorem proving; Computer engineering; Physics; Optics","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.0006763658,0.00005730987,0.000210116,0.0002385456,0.00001905383,0.00004245831,0.0003319307,0.00002210028,0.000003370895],"category_scores_gemma":[0.00002385229,0.00004699458,0.00003375751,0.001021166,0.0001191969,0.0001398179,0.00007784052,0.00005182025,0.000006803163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002303362,"about_ca_system_score_gemma":0.000008082935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002127683,"about_ca_topic_score_gemma":0.000002967554,"domain_scores_codex":[0.9992463,0.000004265717,0.0002318015,0.00009504384,0.0002302947,0.000192272],"domain_scores_gemma":[0.9995456,0.0001358703,0.00002112113,0.0002204941,0.00002826019,0.00004863774],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[3.077192e-7,0.00004099214,0.0002445049,0.0002026265,0.00003713755,9.454743e-7,0.0005649797,0.7424003,0.0005071221,0.2519282,0.000003778193,0.004069054],"study_design_scores_gemma":[0.00003936142,0.00001215988,0.001590826,0.00003010753,0.0000221579,0.000001198174,0.000008953311,0.9969539,0.000620276,0.0006513849,0.00001375827,0.00005592313],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3032907,0.0000126713,0.6902348,0.000002616812,0.0001254476,0.00003150458,4.484139e-7,0.0000277591,0.006274001],"genre_scores_gemma":[0.9124077,0.000001785536,0.0875652,0.000006387844,0.0000117824,0.000002159748,2.047133e-7,0.000002769147,0.000002024226],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.609117,"threshold_uncertainty_score":0.1916384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01262243156106682,"score_gpt":0.2334254782053058,"score_spread":0.220803046644239,"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."}}