{"id":"W2007622263","doi":"10.4018/jssci.2010100106","title":"The Formal Design Models of a Set of Abstract Data Types (ADTs)","year":2010,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Abstract data type; Programming language; Set (abstract data type); Architectural pattern; Data type; Process (computing); Software; Theoretical computer science; Software design; Software development","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.01112307,0.001315319,0.001166868,0.002927755,0.001820502,0.007827542,0.004305314,0.003044342,0.003564805],"category_scores_gemma":[0.01919728,0.001965775,0.00389813,0.003258084,0.009671956,0.01379065,0.003276421,0.006680006,0.001439462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003036619,"about_ca_system_score_gemma":0.005572133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003189117,"about_ca_topic_score_gemma":0.002479821,"domain_scores_codex":[0.9878862,0.003544012,0.002002741,0.001775439,0.004244878,0.0005468293],"domain_scores_gemma":[0.9824156,0.008136417,0.001657134,0.004801798,0.002634694,0.0003543022],"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.00001114192,0.00001708588,0.0002014155,0.0001237412,0.00001534883,0.00007079134,0.000336445,0.005454,0.0007206675,0.9828368,0.0006617542,0.009550741],"study_design_scores_gemma":[0.00004902881,0.00006750436,0.0001486644,0.0002540429,0.00007018869,0.0003482974,0.0002044115,0.05746515,0.004027375,0.8505908,0.0867136,0.00006088644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00200588,0.0003242098,0.9939254,0.0004049891,0.00007982362,0.0001255582,0.0001940568,0.0002469261,0.002693217],"genre_scores_gemma":[0.04583246,0.001040727,0.9473935,0.0003541695,0.0001835309,0.001052433,0.0006087556,0.0002016497,0.003332766],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01112307,"threshold_uncertainty_score":0.05882508,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0807480552929192,"score_gpt":0.3401398017177968,"score_spread":0.2593917464248776,"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."}}