{"id":"W1508431062","doi":"10.1002/9780470072646.ch8","title":"Detecting Stable Properties","year":2006,"lang":"en","type":"other","venue":"","topic":"Infrastructure Resilience and Vulnerability Analysis","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Deadlock prevention algorithms; Property (philosophy); Computer science; Bibliography; Deadlock; Programming language; Philosophy; Epistemology; Library science","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00003715943,0.0001558372,0.0001896507,0.0001370321,0.00002505085,0.00002997994,0.00009308156,0.0001603996,0.00212284],"category_scores_gemma":[0.000005915448,0.0001189835,0.000059396,0.0001203159,0.00001732849,0.00002691479,0.00001093915,0.0001452887,0.00008733683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003221793,"about_ca_system_score_gemma":0.00000806313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009360189,"about_ca_topic_score_gemma":0.003068826,"domain_scores_codex":[0.9994738,0.000007542229,0.000110024,0.0001237454,0.00009942373,0.0001855286],"domain_scores_gemma":[0.9997561,0.000004465039,0.00001636172,0.0001948886,0.000007612503,0.00002055228],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[5.446219e-7,0.000004427945,0.00008514729,0.0003881129,0.0001042069,0.000002230003,0.00001726539,0.09675108,0.001035633,0.00004216291,0.8924264,0.009142733],"study_design_scores_gemma":[0.00005374362,0.000005336338,0.00001426292,0.00009157473,0.00004558231,0.000001861264,0.00004119859,0.0234459,0.007090542,0.00005709376,0.9687715,0.0003813943],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0001360545,0.0009957344,0.01079374,0.000002607733,0.0001240827,0.00007321696,0.000003681441,0.0009299842,0.9869409],"genre_scores_gemma":[0.05008099,0.00004090391,0.001411611,0.000010779,0.0003538909,0.0000118791,0.000007832246,0.0003366455,0.9477454],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.07634505,"threshold_uncertainty_score":0.9987894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006031829299429919,"score_gpt":0.1780343029986282,"score_spread":0.1720024736991982,"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."}}