{"id":"W4243137359","doi":"10.7873/date2014.164","title":"Towards the formal analysis of microresonators based photonic systems","year":2014,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Photonics; Computer science; Mathematical proof; Electronic engineering; Engineering; Physics; Optics; Mathematics","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001777511,0.0004200914,0.0006672848,0.0006570733,0.0001420886,0.0002284782,0.0005573822,0.000207877,0.0007587716],"category_scores_gemma":[0.0006741947,0.0003440782,0.0001695027,0.001683583,0.0001697782,0.0004753385,0.00006671383,0.0003415821,0.0009978233],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008565764,"about_ca_system_score_gemma":0.000142418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002079303,"about_ca_topic_score_gemma":0.0004854744,"domain_scores_codex":[0.996869,0.000522203,0.001056226,0.0004447712,0.0005503825,0.0005573913],"domain_scores_gemma":[0.9973661,0.000796393,0.0003307384,0.0008486203,0.0004980479,0.0001601294],"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.0001523737,0.0007482363,0.007344334,0.001519229,0.0008941547,0.000007052222,0.002799519,0.7197055,0.2104721,0.03391461,0.0147428,0.007700009],"study_design_scores_gemma":[0.0006686244,0.00005156375,0.02571162,0.0002460304,0.0003118502,0.000006362331,0.0000322147,0.8756162,0.004330211,0.0001139288,0.09234618,0.0005652177],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2652425,0.0002401788,0.7220888,0.0001307155,0.0003293796,0.0007398057,0.0001706801,0.0005883856,0.01046959],"genre_scores_gemma":[0.9924627,0.0001383476,0.005948079,0.0001629632,0.00004369683,0.0001114815,0.0007966312,0.00005749098,0.0002786178],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7272202,"threshold_uncertainty_score":0.9999011,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03487237518012839,"score_gpt":0.2453415527417077,"score_spread":0.2104691775615793,"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."}}