{"id":"W2138178581","doi":"10.1007/978-3-642-29344-3_31","title":"Decidability Classes for Mobile Agents Computing","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Decidability; Computer science; Certificate; Decision problem; Focus (optics); Protocol (science); Mobile agent; Existential quantification; Theoretical computer science; Artificial intelligence; Algorithm; Distributed computing; Mathematics; Discrete mathematics","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.002114557,0.001108384,0.001001205,0.001115572,0.002225636,0.00499347,0.003076338,0.002185662,0.009392852],"category_scores_gemma":[0.008638226,0.001034666,0.00270039,0.00128644,0.003461717,0.01048555,0.002761784,0.00818779,0.00115609],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003912054,"about_ca_system_score_gemma":0.001913314,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003696537,"about_ca_topic_score_gemma":0.003642118,"domain_scores_codex":[0.9979506,0.0004960572,0.0001674878,0.0005277408,0.0005510817,0.0003071105],"domain_scores_gemma":[0.9932433,0.005624638,0.0001578371,0.0005660767,0.00024383,0.0001643553],"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.00004458862,0.00006783493,0.0002160229,0.00019601,0.00002301137,0.00006323442,0.0003920464,0.005957787,0.0005601979,0.9580796,0.007115505,0.02728405],"study_design_scores_gemma":[0.00002062755,0.000005246089,0.00007330109,0.00003137667,0.00001267753,0.00003365898,0.00005233999,0.01535352,0.0004616625,0.9770979,0.006849983,0.000007702351],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04760732,0.006250636,0.8086048,0.01098391,0.0006625011,0.0003570059,0.001555932,0.001912213,0.1220656],"genre_scores_gemma":[0.641069,0.00417748,0.2925222,0.002158071,0.001670007,0.001373055,0.004255563,0.001156828,0.05161785],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009392852,"threshold_uncertainty_score":0.03142226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03967317163642082,"score_gpt":0.3066049741150857,"score_spread":0.2669318024786649,"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."}}