{"id":"W2187985312","doi":"","title":"Parametric polymorphism for software component architectures and related optimizations","year":2006,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Programming language; Concurrency; Compiler; Symbolic computation; Code refactoring; Parameterized complexity; Parametric statistics; Theoretical computer science; Software; 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.0001150812,0.00009610583,0.0001187691,0.0001535885,0.0001610395,0.0001409885,0.0002286562,0.00005603492,0.000008472632],"category_scores_gemma":[0.00003702897,0.00007317915,0.00004732948,0.0003585153,0.0000389196,0.00006079398,0.00007493499,0.00004919574,0.000008750706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001264148,"about_ca_system_score_gemma":0.0000178115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002678027,"about_ca_topic_score_gemma":0.00001644134,"domain_scores_codex":[0.9992305,0.00002682107,0.0001824168,0.0002532265,0.0001086165,0.0001984096],"domain_scores_gemma":[0.9994681,0.0001496096,0.00006126277,0.0002249239,0.00004394547,0.00005217122],"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.000003521227,0.0001079487,0.002485891,0.00002490308,0.00002665366,0.000006796299,0.000175252,0.007501396,0.00004783798,0.9560778,0.002215371,0.03132665],"study_design_scores_gemma":[0.002604151,0.0004754487,0.03356818,0.000009634131,0.00004781529,0.000334167,0.00003200913,0.3574831,0.001145477,0.5726427,0.03067331,0.0009839089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002625933,0.0005590195,0.9933097,0.0004747428,0.0002157428,0.0003323618,0.000001065401,0.0003290549,0.00215239],"genre_scores_gemma":[0.8640567,0.000002407132,0.1341372,0.00006117134,0.00003286271,0.00002939044,0.00001015813,0.000006417134,0.00166369],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8614308,"threshold_uncertainty_score":0.2984159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01349172734098877,"score_gpt":0.2236453552023237,"score_spread":0.2101536278613349,"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."}}