{"id":"W2068157922","doi":"10.1016/j.scico.2006.11.002","title":"Using semi-formal methods for detecting interactions among smart homes policies","year":2007,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Domain (mathematical analysis); Novelty; Feature (linguistics); Pairwise comparison; Formal methods; Iris recognition; Representation (politics); Taxonomy (biology); Human–computer interaction; Artificial intelligence; Computer security; Software engineering; Biometrics","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.00679027,0.0009898971,0.0009359577,0.002861107,0.0008860699,0.002701264,0.001522633,0.001125728,0.001423591],"category_scores_gemma":[0.02976553,0.0007987726,0.0014459,0.001013493,0.002098646,0.003825445,0.002201131,0.00183786,0.0003588791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00118546,"about_ca_system_score_gemma":0.003121379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004392407,"about_ca_topic_score_gemma":0.006139506,"domain_scores_codex":[0.9878834,0.004615981,0.0009694205,0.001550674,0.004323404,0.0006571708],"domain_scores_gemma":[0.9458267,0.03881527,0.005868331,0.004729697,0.003998226,0.0007616273],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001536083,0.001078952,0.06702548,0.001856419,0.0008740728,0.001871023,0.005354624,0.2103128,0.07166305,0.2069352,0.004053526,0.4274387],"study_design_scores_gemma":[0.000104428,0.0002402634,0.002980056,0.0001518796,0.0001192108,0.0003687112,0.0006029243,0.8707983,0.02731859,0.09248418,0.004733956,0.0000974424],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04502132,0.0001261827,0.9503284,0.0001454191,0.00003543195,0.0002130166,0.0002010161,0.003049692,0.0008794285],"genre_scores_gemma":[0.5193364,0.0001112809,0.478277,0.0001032711,0.00002707097,0.0003981398,0.0004683915,0.0002548223,0.001023533],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00679027,"threshold_uncertainty_score":0.03591079,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03111184549035671,"score_gpt":0.3676450353410482,"score_spread":0.3365331898506915,"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."}}