{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003133573,0.0001786599,0.0001545798,0.00008874618,0.0001704521,0.0002668708,0.0007630072,0.0001592728,0.00003168831],"category_scores_gemma":[0.000004392403,0.0001728038,0.00009302569,0.0005993724,0.00003719334,0.0005868379,0.00008063404,0.0004039654,0.00007336323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007401507,"about_ca_system_score_gemma":0.00001936115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003434885,"about_ca_topic_score_gemma":9.089758e-7,"domain_scores_codex":[0.9986724,0.0001895815,0.0001739796,0.000481964,0.000192956,0.0002891395],"domain_scores_gemma":[0.9989496,0.0000587275,0.00008410157,0.0007540024,0.00006118156,0.0000923737],"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.00001759147,0.00004582397,0.00001800094,0.000006612162,0.000007672564,0.000002316758,0.00005459107,0.2750215,0.000008254986,0.001031609,0.001820231,0.7219658],"study_design_scores_gemma":[0.0002211464,0.00008980213,0.0008125028,0.00001847529,0.000004141524,0.00005140064,0.000001290848,0.9510481,0.000261739,0.00009299676,0.0472158,0.0001826295],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001040669,0.00009434474,0.9935478,0.0001909476,0.001466316,0.0002173543,2.377534e-7,0.0004937713,0.002948566],"genre_scores_gemma":[0.2145123,0.0000088484,0.783545,0.0008135941,0.0008277546,0.00003961532,0.000007453049,0.0000140646,0.0002313593],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7217832,"threshold_uncertainty_score":0.7046735,"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."}}