{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004731458,0.001058601,0.001126391,0.001284365,0.001528961,0.00531436,0.004520917,0.001539838,0.007837354],"category_scores_gemma":[0.01143444,0.001867503,0.00247055,0.001662405,0.005172472,0.01131922,0.007667289,0.00558019,0.003667405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003741183,"about_ca_system_score_gemma":0.003766124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003727895,"about_ca_topic_score_gemma":0.005274292,"domain_scores_codex":[0.996393,0.0009583738,0.0004192333,0.0005166993,0.00136243,0.0003502099],"domain_scores_gemma":[0.9955993,0.001925319,0.0002361171,0.001350595,0.0006977182,0.0001910328],"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.0002267169,0.00002592433,0.0005708327,0.0003902517,0.00002763452,0.0001350673,0.00143915,0.006121674,0.002661152,0.9256491,0.01859103,0.04416148],"study_design_scores_gemma":[0.0001422306,0.00007718223,0.0002221771,0.0004311987,0.00007314745,0.0004173073,0.0002135778,0.06239491,0.01505821,0.452945,0.4678563,0.0001687893],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003830734,0.000485868,0.9683614,0.001027611,0.0001752937,0.00007719875,0.0006472102,0.01620087,0.009193727],"genre_scores_gemma":[0.09084854,0.0007023857,0.8821827,0.001410721,0.0001733489,0.0006609265,0.001580394,0.007780928,0.01466011],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007837354,"threshold_uncertainty_score":0.02714437,"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."}}