{"id":"W1966279811","doi":"10.5555/2616606.2616792","title":"Towards the formal analysis of microresonators based photonic systems","year":2014,"lang":"en","type":"article","venue":"Design, Automation, and Test in Europe","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Photonics; Computer science; Mathematical proof; Electronic engineering; Computer 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.004478724,0.0009196842,0.0004265733,0.001667593,0.0009207955,0.00360236,0.001793461,0.001186472,0.002158757],"category_scores_gemma":[0.004917088,0.0006310001,0.002283093,0.0009404603,0.004383009,0.00418645,0.001908091,0.003308606,0.0004841748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002181408,"about_ca_system_score_gemma":0.002211633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003064669,"about_ca_topic_score_gemma":0.00179537,"domain_scores_codex":[0.9972653,0.0009602091,0.0002116528,0.0002789574,0.000966653,0.0003172774],"domain_scores_gemma":[0.9965532,0.002222144,0.0002620057,0.0002847978,0.0005800618,0.00009781096],"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.00002025807,0.00005883272,0.0002943688,0.0001573162,0.00001552513,0.0002358474,0.0005213885,0.02722268,0.004206739,0.9557441,0.0005815821,0.01094144],"study_design_scores_gemma":[0.00002761998,0.00005814714,0.0002454246,0.0001240133,0.00002862289,0.0001949665,0.0002031031,0.1637472,0.00550661,0.8124239,0.01740829,0.00003219429],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01417639,0.0006812268,0.9780542,0.0008863381,0.00007268447,0.00009910326,0.0001264885,0.0002818753,0.005621805],"genre_scores_gemma":[0.3295509,0.001938452,0.6619669,0.0006777576,0.0003187997,0.0003266798,0.0003602674,0.0001622588,0.004698071],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004478724,"threshold_uncertainty_score":0.02368605,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01113864844007253,"score_gpt":0.2018763005816306,"score_spread":0.1907376521415581,"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."}}