{"id":"W1993168690","doi":"10.1109/itcc.2005.286","title":"Using formal concept analysis to establish model dependencies","year":2005,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Abstraction; Consistency (knowledge bases); Synchronization (alternating current); Process (computing); Formal specification; Identification (biology); Formal methods; Programming language; Data mining; Software engineering; Theoretical computer science; 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.0001472976,0.0001514798,0.0001929801,0.0003749559,0.0001780332,0.0002588926,0.001083808,0.00004880263,0.00005821629],"category_scores_gemma":[0.000003332406,0.0001254303,0.0001206537,0.001803862,0.00001249714,0.001530762,0.0005239458,0.00008909534,0.00003533128],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000035265,"about_ca_system_score_gemma":0.00006229403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004650317,"about_ca_topic_score_gemma":0.002873108,"domain_scores_codex":[0.9985682,0.00002190895,0.0002201523,0.0003909854,0.0003599207,0.0004388031],"domain_scores_gemma":[0.9990358,0.00003547469,0.00005016691,0.000574507,0.0001168026,0.0001871978],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003609857,0.00002808314,0.0003748568,0.000002880878,0.0001054062,0.000002117217,0.005496038,0.9510134,0.000728991,0.02790227,0.00009182082,0.01425052],"study_design_scores_gemma":[0.0001137921,0.00001821538,0.0002704818,0.000002804619,0.00006548398,0.000004627425,0.0002144838,0.9920175,0.005177309,0.0004774332,0.001448002,0.0001898471],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1263939,0.00004579042,0.8651527,0.0009416907,0.00005769545,0.00008125207,0.00000308098,0.0001808826,0.007142961],"genre_scores_gemma":[0.6489556,8.681985e-7,0.3455144,0.005273008,0.00006406522,0.000002987896,0.000002452612,0.000004417309,0.0001821568],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5225617,"threshold_uncertainty_score":0.5114899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02438006488641713,"score_gpt":0.2750730820301114,"score_spread":0.2506930171436943,"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."}}