{"id":"W1498330459","doi":"10.1007/978-3-642-03359-9_17","title":"Formal Analysis of Optical Waveguides in HOL","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; HOL; Piecewise; Automated theorem proving; Planar; Waveguide; Theoretical computer science; Electronic engineering; Mathematics; Programming language; Optics; Physics","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.000298879,0.0002249414,0.0005116538,0.000910569,0.00002484916,0.00004069985,0.0005482715,0.0002229913,0.00003817735],"category_scores_gemma":[0.00003035739,0.0001977202,0.0001248674,0.0006862953,0.0002792221,0.0001521247,0.0001183479,0.0004325495,0.000004273757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001159346,"about_ca_system_score_gemma":0.00004855692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001254005,"about_ca_topic_score_gemma":0.0001958813,"domain_scores_codex":[0.9985488,0.000004118648,0.0003870076,0.0003391865,0.0003568518,0.000364015],"domain_scores_gemma":[0.9993247,0.0001907174,0.00004186895,0.0003242969,0.00004555236,0.0000728888],"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":[0.000002941372,0.000009326966,0.00007305774,0.00003303897,0.00004208876,0.00002644856,0.0001343595,0.5959995,0.0001432818,0.005791726,7.544161e-7,0.3977434],"study_design_scores_gemma":[0.00007332877,0.00004379202,0.002563525,0.0001308857,0.00005827855,0.000003099284,1.007527e-7,0.9882936,0.001487529,0.006957361,0.0001549919,0.0002334541],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006415807,0.0005599582,0.949021,0.00004376008,0.0002110585,0.0001312159,0.000006130291,0.00005894671,0.04355212],"genre_scores_gemma":[0.9542811,0.00005879688,0.04543212,0.000119758,0.00005414702,0.000001358809,0.00000452817,0.00001210341,0.00003607731],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9478653,"threshold_uncertainty_score":0.8062796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01087086313877493,"score_gpt":0.2296731061151651,"score_spread":0.2188022429763901,"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."}}