{"id":"W1486810819","doi":"10.1007/978-3-642-05441-9_11","title":"Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study","year":2009,"lang":"en","type":"book-chapter","venue":"Studies in computational intelligence","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Obstacle; Formal methods; Categorical variable; Formal description; Artificial intelligence; Software engineering; Risk analysis (engineering); Machine learning; 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.0007795616,0.000637799,0.0009887128,0.0004746549,0.0001711961,0.0001088074,0.0008897828,0.0001586224,0.000001267611],"category_scores_gemma":[0.0002673625,0.000554649,0.00009347853,0.0002693299,0.0002926367,0.0003132321,0.0005804498,0.000860673,0.00001575282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001052521,"about_ca_system_score_gemma":0.0002576438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006955663,"about_ca_topic_score_gemma":0.00001756417,"domain_scores_codex":[0.9968925,0.0001375268,0.0007806001,0.00119432,0.0006006433,0.0003944336],"domain_scores_gemma":[0.9963256,0.002175912,0.0003713305,0.0006023911,0.0004428081,0.00008203125],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001499602,0.00007585143,0.000005493515,0.00005433117,0.0002243516,0.005463134,0.005490883,0.8150907,4.485415e-8,0.1504235,0.00001927629,0.02313747],"study_design_scores_gemma":[0.0005312237,0.001939311,0.00009506537,0.0007528745,0.0001272646,0.01675249,0.01737119,0.2929566,0.000005616883,0.6660065,0.0008795824,0.002582337],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000726472,0.003026183,0.9836961,0.00003907191,0.000705143,0.0009877639,0.00000505333,0.0003828045,0.01108521],"genre_scores_gemma":[0.2232152,0.0001827524,0.7713567,0.00004152274,0.000241393,0.0001659805,0.000007078521,0.00006581706,0.004723553],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5221341,"threshold_uncertainty_score":0.9996905,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2445517168749204,"score_gpt":0.3884429605473924,"score_spread":0.143891243672472,"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."}}