{"id":"W2126293901","doi":"10.1017/s0960129513000388","title":"Multidimensional infinite data in the language Lucid","year":2014,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Lucid dream; Sequence (biology); Programmer; Theoretical computer science; Value (mathematics); Loop (graph theory); Programming language; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002770749,0.0001467864,0.0001796603,0.0002338439,0.0001458174,0.0003161273,0.005285575,0.00003931073,0.000006977026],"category_scores_gemma":[0.0003835088,0.00009438248,0.00002244302,0.001124558,0.0002857311,0.0005057461,0.001933784,0.0002393215,0.00001478361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002851158,"about_ca_system_score_gemma":0.00005783601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001926992,"about_ca_topic_score_gemma":0.000005545549,"domain_scores_codex":[0.9977991,0.000184139,0.0003437145,0.0006202036,0.0006810124,0.0003718481],"domain_scores_gemma":[0.9974437,0.0006162251,0.00007656908,0.00175923,0.00004116469,0.00006308057],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003362509,0.0001453969,0.001219682,0.00003303319,0.000002247662,0.00003922576,0.005173572,0.01962655,0.0001416045,0.8222563,0.0006985305,0.1506605],"study_design_scores_gemma":[0.0001472811,0.00001859584,0.005725149,0.00002933673,5.793991e-7,0.00004021572,0.000007842094,0.9214156,0.0001453312,0.07214975,0.0001969329,0.0001234329],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01963603,0.00002591642,0.9783899,0.0006997613,0.0001587277,0.0001517254,8.340884e-7,0.000123573,0.0008134898],"genre_scores_gemma":[0.516142,7.561594e-7,0.4828402,0.0009698903,0.0000382014,0.000002914853,0.000001462956,0.000002546377,0.000002031434],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.901789,"threshold_uncertainty_score":0.9822001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02387836568796189,"score_gpt":0.303900635172346,"score_spread":0.2800222694843841,"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."}}