{"id":"W2101721476","doi":"10.1145/2039239.2039248","title":"Using declarative invariants for protecting file-system integrity","year":2011,"lang":"en","type":"article","venue":"","topic":"Advanced Data Storage Technologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; File system; Commit; Database transaction; Consistency (knowledge bases); Metadata; Database; Data integrity; Transaction processing system; Distributed transaction; Operating system; Transaction processing; Programming language","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.01189469,0.001052431,0.001119721,0.001656736,0.001150709,0.005279603,0.005530563,0.001254478,0.001776403],"category_scores_gemma":[0.02066614,0.001154001,0.001782247,0.0009871922,0.005777123,0.01071666,0.003997969,0.003498074,0.0007128688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001755356,"about_ca_system_score_gemma":0.003970427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003721525,"about_ca_topic_score_gemma":0.003320051,"domain_scores_codex":[0.9891132,0.002015095,0.001246102,0.001323493,0.00476278,0.001539274],"domain_scores_gemma":[0.9661846,0.01286454,0.004187776,0.0120994,0.004085874,0.000577856],"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.0006290063,0.0004991879,0.008143639,0.0008415827,0.0002737628,0.0009088707,0.001791661,0.1136239,0.05236306,0.6589015,0.008086435,0.1539375],"study_design_scores_gemma":[0.0001894225,0.000483531,0.001187347,0.000234414,0.0003692509,0.0006144451,0.0002909935,0.4518615,0.2723377,0.2316954,0.04045416,0.0002818269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01963913,0.0002969191,0.966096,0.0003225677,0.00009789634,0.00009761005,0.0002024156,0.01070577,0.002541634],"genre_scores_gemma":[0.4262209,0.0005286738,0.566191,0.0004934188,0.0001991865,0.0002228827,0.001030595,0.002152812,0.002960572],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01189469,"threshold_uncertainty_score":0.06290585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2447260177733924,"score_gpt":0.322151297844076,"score_spread":0.07742528007068361,"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."}}