{"id":"W4239372240","doi":"10.32920/ryerson.14658105.v1","title":"Concurrent Transaction Logic with Priority and Timing Constraints","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Computer science; Database transaction; Programming language; Parallel computing","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":[],"consensus_categories":[],"category_scores_codex":[0.0002828632,0.0002291124,0.0003225611,0.00005189086,0.00009111257,0.0005641263,0.0003335959,0.0001905107,0.00004100038],"category_scores_gemma":[0.000008627965,0.0001679902,0.00006414855,0.00009402757,0.0001440042,0.0001607012,0.0002485685,0.000394387,0.000006168627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004562494,"about_ca_system_score_gemma":0.0002140952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001529631,"about_ca_topic_score_gemma":0.00007884652,"domain_scores_codex":[0.9985005,0.00009540212,0.000226115,0.0006908363,0.0002515728,0.0002355289],"domain_scores_gemma":[0.999177,0.00004072698,0.0001403012,0.0004077891,0.0001245039,0.0001096878],"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.000003598825,0.0001548901,0.001592347,0.0006913774,0.0001625783,0.0002051224,0.003415079,0.00009827788,0.00008618523,0.2362163,0.00004081188,0.7573335],"study_design_scores_gemma":[0.02459342,0.007027976,0.0522395,0.003244814,0.001988258,0.01861669,0.01832931,0.5524955,0.02620551,0.208828,0.06088785,0.0255432],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003304773,0.0005474114,0.9870209,0.0001746804,0.001057082,0.0003743654,7.659099e-7,0.0002234465,0.007296602],"genre_scores_gemma":[0.9857393,0.00006026954,0.01385746,0.0000690223,0.00006075335,0.00002489595,0.000008746621,0.000006682638,0.0001728802],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9824345,"threshold_uncertainty_score":0.6850443,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04764478550691269,"score_gpt":0.2750786693567707,"score_spread":0.227433883849858,"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."}}