{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003467263,0.00022035,0.0002758179,0.0007832212,0.0008418596,0.0004821222,0.001768953,0.00005144635,0.000001155094],"category_scores_gemma":[0.00003862936,0.0001972746,0.0001544224,0.00241012,0.0003638642,0.002367654,0.0009092407,0.000196762,8.419522e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007327658,"about_ca_system_score_gemma":0.0001519634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000336026,"about_ca_topic_score_gemma":0.0001468888,"domain_scores_codex":[0.9974303,0.00005558069,0.0005296813,0.0005659654,0.0004116922,0.001006823],"domain_scores_gemma":[0.9979711,0.000492009,0.0003575448,0.0005432046,0.0004313569,0.0002047963],"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.000008263834,0.00004865825,0.002262502,0.00007243283,0.00001898448,0.00000131198,0.005905224,0.001422078,0.01921472,0.005284652,0.000001141618,0.9657601],"study_design_scores_gemma":[0.0003651157,0.0002767016,0.007708108,0.0002082682,0.00002394457,0.00008405059,0.001152684,0.808287,0.1760335,0.001580688,0.003823878,0.0004560107],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2951598,0.00004728384,0.703165,0.00006413957,0.001003739,0.0002786359,4.06826e-7,0.0001519736,0.0001290202],"genre_scores_gemma":[0.4260147,4.5176e-7,0.5737345,0.00009207048,0.0001399427,0.000006777732,5.1673e-7,0.000007555213,0.0000035577],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.965304,"threshold_uncertainty_score":0.8044623,"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."}}