{"id":"W1992839726","doi":"10.1016/s1389-1286(00)00009-8","title":"Feature interaction detection: a LOTOS-based approach","year":2000,"lang":"en","type":"article","venue":"Computer Networks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Feature (linguistics); TRACE (psycholinguistics); State (computer science); Transition (genetics); Sequence (biology); Space (punctuation); Feature vector; State space; Transition system; Theoretical computer science; Programming language; Data mining; Artificial intelligence","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.001746687,0.0013121,0.001525509,0.003645686,0.001140027,0.001884478,0.002920825,0.001576213,0.004870767],"category_scores_gemma":[0.006101707,0.0007524209,0.001800044,0.001278683,0.001816689,0.004020229,0.002181711,0.001370231,0.001217285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008103077,"about_ca_system_score_gemma":0.001031033,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001162225,"about_ca_topic_score_gemma":0.002042658,"domain_scores_codex":[0.9974353,0.0005119182,0.0001703179,0.0005373326,0.001112265,0.0002329524],"domain_scores_gemma":[0.9942842,0.00259623,0.00057401,0.001250806,0.001100696,0.0001940915],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002242316,0.000831946,0.01867006,0.001022952,0.0004417621,0.001194957,0.0007634176,0.1070207,0.1162693,0.1400718,0.006843986,0.6046269],"study_design_scores_gemma":[0.00006401502,0.0002548891,0.001800302,0.00005162504,0.0001030322,0.0004606085,0.0001237549,0.8856217,0.04528297,0.06306972,0.003088456,0.00007896813],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01758317,0.00006802863,0.9778782,0.00008546351,0.00002917805,0.0001767499,0.0001170126,0.002078668,0.00198346],"genre_scores_gemma":[0.490681,0.0001060469,0.5040833,0.0002004876,0.00005431981,0.0003816933,0.0003738712,0.0003754643,0.00374367],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004870767,"threshold_uncertainty_score":0.01629436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0169784077909192,"score_gpt":0.2535766569219098,"score_spread":0.2365982491309906,"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."}}