{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003039717,0.001861403,0.001591933,0.004794138,0.001468981,0.004491528,0.002790545,0.002076126,0.02588565],"category_scores_gemma":[0.02222171,0.0009680825,0.00200675,0.002356943,0.002315744,0.009332059,0.005413343,0.003117073,0.007001202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001792846,"about_ca_system_score_gemma":0.001587521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00174654,"about_ca_topic_score_gemma":0.001931548,"domain_scores_codex":[0.9929541,0.001039816,0.0003891663,0.001563391,0.003390623,0.0006629314],"domain_scores_gemma":[0.9858469,0.007051169,0.0008717355,0.002949735,0.003070095,0.0002102117],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003272975,0.0002586086,0.01137462,0.001257579,0.0001571686,0.000837917,0.001396106,0.0156375,0.02325819,0.3198448,0.04893262,0.5767176],"study_design_scores_gemma":[0.00006050368,0.0001862497,0.003671917,0.000738481,0.000199026,0.00129237,0.001166805,0.2003427,0.07620902,0.599992,0.1159983,0.0001426218],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02584879,0.001075865,0.8856124,0.001544739,0.0006298278,0.0005066065,0.001628324,0.008765375,0.07438808],"genre_scores_gemma":[0.4242651,0.002197033,0.4756997,0.001389592,0.0006292081,0.0008230086,0.007842512,0.004134392,0.08301938],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02588565,"threshold_uncertainty_score":0.08659607,"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."}}