{"id":"W7070158880","doi":"","title":"Concurrency in C∀","year":2018,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Clay minerals and soil interactions","field":"Materials Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Concurrency; Semantics (computer science); Synchronization (alternating current); Non-lock concurrency control; Concurrent computing; Concurrent object-oriented programming; Isolation (microbiology); Extension (predicate logic); Concurrency control; Multiversion concurrency control","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.0001071586,0.0001455746,0.0002927379,0.0002095232,0.00009230702,0.00001863889,0.0002983845,0.0001882799,0.004357391],"category_scores_gemma":[0.00001531811,0.0001672257,0.00009833297,0.0001282877,0.00008178832,0.0001922877,0.00003627657,0.0001521783,0.0005894969],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005943995,"about_ca_system_score_gemma":0.00007298698,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.07602587,"about_ca_topic_score_gemma":0.3248697,"domain_scores_codex":[0.9991891,0.00003868481,0.0001271399,0.000282193,0.0001644022,0.0001984545],"domain_scores_gemma":[0.9993795,0.00002287296,0.0001815594,0.000218743,0.0001447322,0.00005264484],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"qualitative","study_design_scores_codex":[0.000412572,0.0003065241,0.0008133879,0.0004249502,0.00004067614,0.00009980742,0.2901049,0.00002087164,0.6711631,0.0007844125,0.0330457,0.002783128],"study_design_scores_gemma":[0.003590715,0.0008540006,0.03602864,0.002440087,0.0003491257,0.00001547372,0.6948268,0.0007296618,0.2210589,0.001520131,0.03641715,0.002169279],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.9940563,0.00006087895,0.000001274623,0.0001541875,0.001115329,0.0001103215,0.00005224247,0.00002917079,0.004420273],"genre_scores_gemma":[0.3193918,0.0000763994,0.0005384648,0.000008008764,0.00006945946,4.159014e-7,0.0002507412,0.00001472101,0.6796499],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6752297,"threshold_uncertainty_score":0.9965528,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01432316592226887,"score_gpt":0.2390548152789945,"score_spread":0.2247316493567256,"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."}}