{"id":"W2614329595","doi":"10.1016/j.jcss.2017.05.004","title":"Formal verification of stability and chaos in periodic optical systems","year":2017,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Semiconductor Lasers and Optical Devices","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Chaotic; CHAOS (operating system); Focus (optics); Viewpoints; Stability (learning theory); Resonator; Formal verification; Formal methods; Ring (chemistry); Theoretical computer science; Optics; Physics; Artificial intelligence; Programming language; Acoustics","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.002942898,0.0004533609,0.0004081077,0.0006662402,0.0008750553,0.001997622,0.001491087,0.0008055726,0.002859529],"category_scores_gemma":[0.01293985,0.0005627839,0.001259442,0.0002469367,0.003392547,0.002204735,0.001855047,0.001544009,0.0002952615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001186068,"about_ca_system_score_gemma":0.002071365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003016631,"about_ca_topic_score_gemma":0.002381995,"domain_scores_codex":[0.9973292,0.0008225854,0.0001827709,0.000271098,0.001040473,0.000353955],"domain_scores_gemma":[0.9886187,0.008518788,0.0005781089,0.001004536,0.001128057,0.0001517517],"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":[0.0002573503,0.0001693114,0.001550407,0.0003346505,0.00008546525,0.0006737059,0.0009201503,0.143715,0.02252851,0.7988058,0.001225481,0.02973417],"study_design_scores_gemma":[0.0001441381,0.00009548933,0.000320789,0.0000795029,0.00005411461,0.0001271634,0.0001424603,0.5297188,0.02820327,0.4372897,0.003783461,0.00004117993],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.106244,0.0001084282,0.8813901,0.0006690822,0.0001205499,0.0001533322,0.0001521761,0.001365745,0.009796673],"genre_scores_gemma":[0.9309595,0.00008282888,0.06676661,0.0000903886,0.00004130209,0.00008842198,0.0001257523,0.0001036998,0.001741519],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003016631,"threshold_uncertainty_score":0.01556373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02738647410152415,"score_gpt":0.2407187663117248,"score_spread":0.2133322922102006,"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."}}