{"id":"W2050180686","doi":"10.1007/s10703-013-0204-6","title":"Verifying global start-up for a Möbius ring-oscillator","year":2013,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Soundness; Generalization; Ring (chemistry); Computer science; Lock (firearm); Differential (mechanical device); Set (abstract data type); Ring oscillator; Theoretical computer science; Algorithm; Mathematics; Electronic engineering; Programming language; Engineering; Mathematical analysis","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"],"consensus_categories":[],"category_scores_codex":[0.008859158,0.0003516931,0.0005524725,0.0002153887,0.0002674493,0.0003801601,0.001558404,0.0002532188,0.00001054911],"category_scores_gemma":[0.000810493,0.0003284425,0.0001626013,0.0009737785,0.0000606617,0.002564686,0.0003331872,0.0002116871,0.0001132013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007088752,"about_ca_system_score_gemma":0.0001631029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009857525,"about_ca_topic_score_gemma":0.000001879979,"domain_scores_codex":[0.9951307,0.001755729,0.0009905886,0.000704055,0.00042045,0.000998495],"domain_scores_gemma":[0.9972745,0.0007566212,0.000388819,0.001096446,0.0002652005,0.0002184425],"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.0001132199,0.00006284169,0.0005813104,0.0007457272,0.00005189728,0.000006247611,0.001527331,0.001683598,0.004444828,0.5341447,0.0006651102,0.4559732],"study_design_scores_gemma":[0.001229552,0.0004137655,0.002308637,0.0002295332,0.00001575559,0.000106033,0.000474254,0.966803,0.01605048,0.008514093,0.003227452,0.0006274759],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001591044,0.0002142883,0.9896699,0.00003901115,0.003364574,0.00234673,0.00000724955,0.0004750843,0.002292109],"genre_scores_gemma":[0.05360765,0.000003271026,0.9448812,0.00008078491,0.0001317676,0.001185941,0.000001326814,0.00002630845,0.00008177826],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9651194,"threshold_uncertainty_score":0.9999168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1033211246887338,"score_gpt":0.382787888189207,"score_spread":0.2794667635004732,"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."}}