{"id":"W2790776996","doi":"10.1016/j.jlamp.2018.02.001","title":"Convergence: Integrating termination and abort-freedom","year":2018,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"National Science Foundation","keywords":"Abort; Heuristics; Convergence (economics); Computation; Computer science; Property (philosophy); Outcome (game theory); Mathematical optimization; Mathematics; Mathematical economics; Algorithm; 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.03163921,0.001361975,0.003651064,0.003586476,0.004091544,0.01064724,0.005477815,0.004073295,0.007838114],"category_scores_gemma":[0.1308224,0.002280474,0.003576372,0.002681319,0.01664601,0.03038467,0.01906552,0.01266524,0.001700867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002944782,"about_ca_system_score_gemma":0.00537542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003041575,"about_ca_topic_score_gemma":0.00235952,"domain_scores_codex":[0.9664885,0.01553654,0.002300038,0.003777657,0.008684793,0.003212517],"domain_scores_gemma":[0.8383982,0.1046211,0.005876531,0.03017394,0.01669027,0.004239916],"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.0003524775,0.0001145718,0.00270755,0.0001518064,0.00003982923,0.0002120964,0.001982789,0.009161662,0.0008670188,0.955832,0.002430799,0.02614737],"study_design_scores_gemma":[0.00005575406,0.00004279568,0.0002306195,0.00008036873,0.00005942374,0.0001183807,0.0003059834,0.05934775,0.001695201,0.9350978,0.002917092,0.00004884531],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.027887,0.0003522492,0.9501442,0.001377282,0.0002138884,0.0001515359,0.000138637,0.001726467,0.01800883],"genre_scores_gemma":[0.6685851,0.0005125698,0.3120881,0.0008803587,0.000538565,0.0004132933,0.0004808613,0.004179427,0.01232166],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03163921,"threshold_uncertainty_score":0.1673261,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04241309915636295,"score_gpt":0.3617428168297641,"score_spread":0.3193297176734012,"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."}}