{"id":"W2620280838","doi":"10.1016/j.jpdc.2017.04.003","title":"Decidability classes for mobile agents computing","year":2017,"lang":"en","type":"article","venue":"Journal of Parallel and Distributed Computing","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"Natural Sciences and Engineering Research Council of Canada; Université Paris Diderot; Agence Nationale de la Recherche; Université du Québec en Outaouais","keywords":"Decidability; Class (philosophy); Decision problem; Certificate; Computer science; Verifiable secret sharing; Protocol (science); Focus (optics); Reduction (mathematics); Theoretical computer science; Artificial intelligence; Mathematics; Algorithm; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.004420036,0.001100686,0.001427651,0.00174274,0.003617883,0.007347088,0.003852874,0.003315067,0.01020795],"category_scores_gemma":[0.02197492,0.001314651,0.004106196,0.001654667,0.004557569,0.01479176,0.004826933,0.009271705,0.0007859227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004215308,"about_ca_system_score_gemma":0.003101743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005257046,"about_ca_topic_score_gemma":0.005509088,"domain_scores_codex":[0.9953998,0.001150531,0.0003675801,0.00120071,0.001040723,0.000840643],"domain_scores_gemma":[0.9676403,0.02834628,0.0008093109,0.001640981,0.0007743321,0.0007887927],"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.0001203731,0.0001432154,0.000914952,0.0002379747,0.00006994834,0.0001830328,0.0008806773,0.01206528,0.0007243794,0.9631861,0.006152828,0.0153212],"study_design_scores_gemma":[0.00005281669,0.00000991352,0.0001343457,0.00002641012,0.00003327091,0.00005483515,0.0001252111,0.03846601,0.0005495502,0.9575086,0.003025303,0.00001382902],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.125363,0.002039572,0.7859628,0.01582856,0.0005120714,0.0004402454,0.002215367,0.001963816,0.06567457],"genre_scores_gemma":[0.8288357,0.001068181,0.1426793,0.002126742,0.0008393573,0.0008402624,0.0031009,0.000678175,0.01983132],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01020795,"threshold_uncertainty_score":0.03414899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04602957870674327,"score_gpt":0.3446050114997421,"score_spread":0.2985754327929988,"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."}}