{"id":"W2007291179","doi":"10.1016/j.jcss.2013.05.002","title":"An approach for lifetime reliability analysis using theorem proving","year":2013,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Reliability (semiconductor); Computer science; Calculus (dental); Mathematics; Automated theorem proving; Reliability engineering; Discrete mathematics; Algorithm; Engineering; Medicine; Physics; Thermodynamics","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.009020761,0.002245462,0.001570811,0.003529384,0.001586502,0.00323636,0.005071905,0.001885289,0.00491751],"category_scores_gemma":[0.01985775,0.001313038,0.004718376,0.001663958,0.003450126,0.0057236,0.003296643,0.004615792,0.001641699],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001659881,"about_ca_system_score_gemma":0.002860384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001656354,"about_ca_topic_score_gemma":0.001282139,"domain_scores_codex":[0.9928285,0.002559951,0.0005011667,0.0009025191,0.002736533,0.0004712445],"domain_scores_gemma":[0.9839417,0.01035531,0.000686638,0.003306699,0.001555979,0.0001535627],"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.00009136475,0.0002306904,0.0008274282,0.0007463135,0.0002883554,0.0004447757,0.0004022175,0.108021,0.01071748,0.7306484,0.003237057,0.1443449],"study_design_scores_gemma":[0.00004756319,0.0001002308,0.0001515611,0.000123773,0.0001823661,0.0003304929,0.0000526461,0.3622091,0.009998305,0.616641,0.01010293,0.00005991001],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004104197,0.00005617072,0.9985365,0.00005948617,0.00001747178,0.00003876295,0.00001714235,0.0002202527,0.0006438043],"genre_scores_gemma":[0.05120382,0.0003439003,0.946288,0.0001455789,0.00008518577,0.0002790892,0.00009642122,0.0001866304,0.001371204],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009020761,"threshold_uncertainty_score":0.0477069,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03516264959797084,"score_gpt":0.3086370281794011,"score_spread":0.2734743785814303,"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."}}