{"id":"W2175707891","doi":"10.1017/s1471068401001193","title":"High-level networking with mobile code and first order AND-continuations","year":2001,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Mobile Agent-Based Network Management","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Code (set theory); Programming language; Scheme (mathematics); Unification; Hierarchy; Server; Set (abstract data type); Redundant code; Code generation; Operating system","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002325618,0.0001406732,0.0001709553,0.00005672891,0.0002676915,0.000190366,0.0001871095,0.00004115126,0.000009052228],"category_scores_gemma":[0.0001673238,0.0001126433,0.00001236126,0.0003425501,0.0001611828,0.0006572531,0.0002522206,0.0001257652,0.000001200596],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001138811,"about_ca_system_score_gemma":0.0000175237,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003641219,"about_ca_topic_score_gemma":0.00004108735,"domain_scores_codex":[0.9987384,0.0003201661,0.0001947441,0.0003414788,0.0001503659,0.0002548479],"domain_scores_gemma":[0.9974229,0.001906624,0.0002332186,0.0002814695,0.00008059647,0.00007520063],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002238533,0.00009734075,0.0006439121,0.0000442225,0.00007238274,0.00005349977,0.0009745325,0.001254553,0.00001222568,0.2599085,0.00003682505,0.7366782],"study_design_scores_gemma":[0.005358027,0.00445162,0.003415589,0.0007352299,0.0008542787,0.001628074,0.006823136,0.04393387,0.0001312386,0.09667278,0.8341884,0.001807729],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02626835,0.003172728,0.9663916,0.001242838,0.00009902334,0.0007103803,9.999494e-7,0.0001163266,0.001997788],"genre_scores_gemma":[0.7784219,0.001016551,0.2198493,0.0003923209,0.00006498626,0.0001047508,0.00000250274,0.000009114169,0.0001385931],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8341516,"threshold_uncertainty_score":0.4593459,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02759578243579439,"score_gpt":0.2700335425156901,"score_spread":0.2424377600798957,"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."}}