{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004538104,0.0009534762,0.0004361003,0.001651095,0.0009250957,0.003745705,0.001904694,0.001237093,0.002224503],"category_scores_gemma":[0.005036254,0.0006664637,0.00230581,0.0009434525,0.00437189,0.004433763,0.00199888,0.003495767,0.0005279374],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002239825,"about_ca_system_score_gemma":0.002236526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002963446,"about_ca_topic_score_gemma":0.001756462,"domain_scores_codex":[0.997191,0.0009773175,0.000218147,0.0002867247,0.001000875,0.0003258662],"domain_scores_gemma":[0.9965112,0.002233301,0.0002628789,0.0002919494,0.0005985159,0.0001022332],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002087248,0.00005936249,0.0002730607,0.0001598477,0.00001503987,0.0002365405,0.0005440472,0.02627778,0.004475176,0.9560502,0.0006108974,0.0112772],"study_design_scores_gemma":[0.00002775137,0.00005882246,0.0002219954,0.0001239304,0.00002724099,0.0001939786,0.0002067165,0.1645638,0.005598902,0.8110816,0.01786278,0.00003256863],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01280836,0.000664752,0.9795851,0.0008709066,0.00007368706,0.00009890537,0.0001227243,0.000299847,0.005475774],"genre_scores_gemma":[0.3127746,0.001961583,0.6786689,0.0007054995,0.0003266448,0.0003352179,0.0003607887,0.0001677051,0.004699058],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004538104,"threshold_uncertainty_score":0.02400005,"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."}}