{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003663066,0.0004456927,0.0003318618,0.0005584158,0.001360237,0.003986433,0.00183185,0.001783298,0.003184726],"category_scores_gemma":[0.007528827,0.0004095727,0.000644133,0.001046872,0.00281031,0.003325425,0.002360742,0.002715549,0.0005793883],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001929874,"about_ca_system_score_gemma":0.001875824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005804196,"about_ca_topic_score_gemma":0.01267193,"domain_scores_codex":[0.997313,0.001363443,0.0001850825,0.0002127769,0.0007359809,0.0001898065],"domain_scores_gemma":[0.9924009,0.005289841,0.0003605367,0.000798735,0.000809367,0.0003406376],"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.0001253983,0.0001476145,0.002031668,0.0003084089,0.00001927368,0.001690812,0.006182299,0.03913916,0.01055553,0.8948374,0.003735516,0.04122689],"study_design_scores_gemma":[0.0001202085,0.0002300497,0.001095385,0.0002682453,0.00006691853,0.002076599,0.006877467,0.3942336,0.01817077,0.4162956,0.1604461,0.0001190121],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04629386,0.0002961675,0.9219453,0.00121077,0.00008153249,0.0002034286,0.0002062612,0.001071013,0.02869163],"genre_scores_gemma":[0.4251422,0.0003500406,0.565222,0.0002428311,0.00003054143,0.0002444496,0.0002894699,0.000335436,0.008142943],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005804196,"threshold_uncertainty_score":0.01937234,"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."}}