{"id":"W2221612124","doi":"10.1007/978-3-319-11164-3_8","title":"Robust Consistency Checking for Modern Filesystems","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Consistency (knowledge bases); File system; Metadata; Model checking; Programming language; Weak consistency; Operating system; Data consistency; Database; Strong consistency; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001680183,0.0005437247,0.0006711845,0.0006506009,0.000587464,0.000857778,0.003895941,0.0004127803,0.00001003469],"category_scores_gemma":[0.0002284499,0.0005451525,0.0002281326,0.0004231623,0.0005037186,0.0003656798,0.0009144273,0.0006306095,0.00002980497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002953004,"about_ca_system_score_gemma":0.0005745327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001400353,"about_ca_topic_score_gemma":0.00002467558,"domain_scores_codex":[0.9956813,0.00004435226,0.0007952724,0.001893141,0.0008305045,0.0007554156],"domain_scores_gemma":[0.9958329,0.001205115,0.0005431554,0.001753223,0.0004838562,0.0001818025],"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.000004926416,0.00002390925,0.00002546599,0.0002064237,0.00001768202,0.00001174449,0.001361351,0.1120416,0.00008003866,0.2426696,0.0001001132,0.6434571],"study_design_scores_gemma":[0.0002389387,0.0001009785,0.00001310235,0.0005062063,0.000006865846,0.00005315304,1.787623e-7,0.8649258,0.0003258473,0.1290527,0.004199161,0.0005770517],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001970094,0.0005906534,0.9910001,0.0005741776,0.003307775,0.0006624697,0.000007592152,0.0002819657,0.003555611],"genre_scores_gemma":[0.2271527,0.00002061036,0.7689702,0.001747448,0.001473815,0.00004294487,0.00001370943,0.00006008926,0.0005185312],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7528842,"threshold_uncertainty_score":0.9997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05017956267078889,"score_gpt":0.2545792941610283,"score_spread":0.2043997314902394,"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."}}