{"id":"W4366160575","doi":"10.1007/978-3-031-20002-1_4","title":"Problem Formulation","year":2023,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on distributed computing theory","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Correctness; Computer science; Scalability; Mutual exclusion; Theoretical computer science; Semantics (computer science); Programming language; Distributed computing; Formal description; Measure (data warehouse); Data mining; Database","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.001226774,0.0009542793,0.001143978,0.0007686166,0.0007484273,0.003465714,0.002442362,0.003729262,0.09407325],"category_scores_gemma":[0.005699948,0.0004498451,0.0007568215,0.0008417106,0.001056034,0.002661772,0.002296961,0.002569657,0.009640984],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001053011,"about_ca_system_score_gemma":0.001885432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002691643,"about_ca_topic_score_gemma":0.001996747,"domain_scores_codex":[0.9988476,0.0003819726,0.00003560396,0.0003901534,0.0001952342,0.0001493587],"domain_scores_gemma":[0.9986773,0.0008734253,0.00006706105,0.00009201017,0.0002168927,0.00007324799],"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.0001842012,0.0002244134,0.0007317805,0.0009408569,0.00004348445,0.0004695985,0.0001898638,0.1506232,0.0006144373,0.5673866,0.1595204,0.1190711],"study_design_scores_gemma":[0.0001199656,0.0001213641,0.0002329643,0.0002470351,0.00003220423,0.0002386673,0.0004034722,0.373408,0.0007054267,0.4865347,0.1379272,0.0000289239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008355463,0.001748691,0.7118503,0.01606928,0.001599645,0.001014615,0.005244493,0.0005125654,0.253605],"genre_scores_gemma":[0.3157932,0.00321992,0.3362488,0.005467712,0.002539923,0.003280538,0.008199474,0.0005656588,0.3246849],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.09407325,"threshold_uncertainty_score":0.3147064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01693060431566782,"score_gpt":0.2322325904871304,"score_spread":0.2153019861714626,"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."}}