{"id":"W7038362917","doi":"","title":"High Level Concurrency in C∀","year":2023,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Mollusks and Parasites Studies","field":"Agricultural and Biological Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Concurrency; Semaphore; Suite; Concurrent object-oriented programming; Lock (firearm); Concurrent computing; Java","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.003274241,0.001194291,0.0006666296,0.0009312397,0.001781477,0.005204415,0.001892138,0.001374516,0.0135616],"category_scores_gemma":[0.01136527,0.001273208,0.001468141,0.001416039,0.003140453,0.004579523,0.003028156,0.005656329,0.00569619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001528367,"about_ca_system_score_gemma":0.004397593,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004251576,"about_ca_topic_score_gemma":0.003696302,"domain_scores_codex":[0.9958812,0.0008280198,0.0003349276,0.0008695218,0.001684599,0.0004017034],"domain_scores_gemma":[0.9940671,0.003108053,0.0003730272,0.001147859,0.001056131,0.0002479007],"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.0001830766,0.00008616341,0.0008632482,0.0007277416,0.00004957957,0.0004692887,0.001595228,0.012735,0.01179061,0.8061534,0.03393608,0.1314106],"study_design_scores_gemma":[0.0001154754,0.0001050028,0.0005158159,0.0004652176,0.000055297,0.000709929,0.000130374,0.0314339,0.02059516,0.3141177,0.6316069,0.0001492303],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005486041,0.001054294,0.9409157,0.001089248,0.0004321583,0.0002637182,0.000374548,0.006066035,0.04431822],"genre_scores_gemma":[0.1134064,0.002518191,0.8329464,0.001856516,0.0005866097,0.001265753,0.001119223,0.006403216,0.03989767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0135616,"threshold_uncertainty_score":0.04536808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03415142741102676,"score_gpt":0.218261317809601,"score_spread":0.1841098903985743,"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."}}