{"id":"W2952836081","doi":"10.48550/arxiv.1604.06781","title":"Long-Term Average Cost in Featured Transition Systems","year":2016,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Software; Limit (mathematics); Product (mathematics); Computer science; Software product line; Term (time); Quality (philosophy); Set (abstract data type); Line (geometry); Algorithm; Software development; Mathematics; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003840333,0.0003415456,0.0004241774,0.0003852643,0.0000588951,0.00009042177,0.00148415,0.0004077828,0.000004101442],"category_scores_gemma":[0.00009435469,0.0003548826,0.0001402024,0.0004305583,0.00006945409,0.0005062972,0.0007144807,0.0006275286,0.00003096768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004967764,"about_ca_system_score_gemma":0.00009477339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002210101,"about_ca_topic_score_gemma":0.00001378895,"domain_scores_codex":[0.9979405,0.0003147136,0.0002068401,0.001030978,0.00009436651,0.0004125612],"domain_scores_gemma":[0.9980875,0.000403212,0.0001608375,0.001149128,0.00008680372,0.0001124872],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002242893,0.00002916024,0.001016682,0.0001551392,0.00003093138,0.0009286085,0.0002206531,0.9753895,0.00009634435,0.02114972,0.00002192127,0.0009389612],"study_design_scores_gemma":[0.005989206,0.0002570499,0.07694028,0.005000672,0.0001536876,0.0001456021,0.0001093013,0.6996202,0.001682372,0.2045596,0.0003617152,0.005180314],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0447263,0.0001897134,0.952122,0.00005610132,0.001583676,0.0004807436,0.00002046045,0.0006326416,0.0001883054],"genre_scores_gemma":[0.9901737,0.000205469,0.008865572,0.0000223186,0.00007989395,0.000004440818,0.00001357019,0.00002357316,0.0006114458],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9454474,"threshold_uncertainty_score":0.9998903,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08986952755519662,"score_gpt":0.2183937262553301,"score_spread":0.1285241987001335,"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."}}