{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009235083,0.0005679438,0.0004360421,0.001090119,0.001051492,0.002608215,0.0009314402,0.0005695994,0.005519159],"category_scores_gemma":[0.001343784,0.0004293562,0.000944484,0.0007445719,0.003164702,0.003808038,0.001310796,0.002319981,0.0006655983],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001552061,"about_ca_system_score_gemma":0.0007391403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001013676,"about_ca_topic_score_gemma":0.001333976,"domain_scores_codex":[0.9994351,0.000143252,0.00003368822,0.00006802294,0.00023397,0.00008585205],"domain_scores_gemma":[0.999413,0.0003019834,0.00005542966,0.00009832767,0.0001012782,0.00003005731],"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.000006804537,0.000008051641,0.0000326615,0.00002035751,0.000002430283,0.00001986442,0.00008777927,0.001405481,0.0004509714,0.9941357,0.0004975622,0.003332269],"study_design_scores_gemma":[0.000004029716,0.000005161336,0.00006494336,0.00001947348,0.000003414445,0.00002475037,0.00004991008,0.00780762,0.0006392476,0.9848095,0.006566301,0.000005590621],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03687166,0.002326224,0.8199687,0.001831556,0.0004178138,0.00007150992,0.0002840525,0.0004504654,0.137778],"genre_scores_gemma":[0.7487777,0.00287407,0.1798381,0.0006522741,0.0008101333,0.0002044014,0.0004913196,0.0005667132,0.06578518],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005519159,"threshold_uncertainty_score":0.01846337,"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."}}