{"id":"W2172439251","doi":"10.4018/jcini.2008010102","title":"On the Big-R Notation for Describing Interative and Recursive Behaviors","year":2008,"lang":"en","type":"article","venue":"International Journal of Cognitive Informatics and Natural Intelligence","topic":"Cognitive Science and Mapping","field":"Computer Science","cited_by":57,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"University of Nottingham; University of Oxford; Nottingham Trent University","keywords":"Notation; Computer science; Mathematical notation; Programming language; Theoretical computer science; Process (computing); Software; Process calculus; Iterative and incremental development; Software engineering; 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.0004082677,0.0001079607,0.0001163778,0.0002237577,0.0001989631,0.0001929156,0.0004078295,0.00002719613,0.000002740884],"category_scores_gemma":[0.001018503,0.00006940524,0.00006299056,0.0001414929,0.0002080036,0.001026014,0.0001090977,0.0002283679,0.00000242811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003149753,"about_ca_system_score_gemma":0.00006950965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003306267,"about_ca_topic_score_gemma":0.000002559309,"domain_scores_codex":[0.9989812,0.00002962832,0.000414532,0.00008763424,0.0003643877,0.0001226129],"domain_scores_gemma":[0.9961365,0.001559749,0.0003812326,0.00004567838,0.001821688,0.00005516001],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002247567,0.00006644318,0.0002939405,0.000008853282,0.0001402576,0.00003162877,0.04564769,0.00003507985,0.0004273767,0.09677924,0.0002159049,0.8561288],"study_design_scores_gemma":[0.004936462,0.007631966,0.0229667,0.008944868,0.0002379681,0.008794507,0.09890085,0.3738332,0.199411,0.26947,0.002444694,0.00242776],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4426871,0.0001422509,0.5554593,0.000784658,0.0005893604,0.000151196,0.000006129038,0.000005124703,0.0001748424],"genre_scores_gemma":[0.992413,0.0004145521,0.005503242,0.001566584,0.00007019896,0.000006412724,0.000001981915,0.000002552455,0.00002143525],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8537011,"threshold_uncertainty_score":0.2830263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06506044823866182,"score_gpt":0.3095437354107073,"score_spread":0.2444832871720455,"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."}}