{"id":"W2027958489","doi":"10.1109/ares.2014.54","title":"Analysis of Algorithms for Computation of Direct Partial Logic Derivatives in Multiple-Valued Decision Diagrams","year":2014,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Ministère de la Santé et des Services sociaux","keywords":"Computer science; Reliability (semiconductor); Algorithm; Dimension (graph theory); Representation (politics); Component (thermodynamics); Binary decision diagram; Theoretical computer science; Influence diagram; Mathematics; Data mining; Decision tree","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00282429,0.001864111,0.001370381,0.001742142,0.0008620355,0.002474592,0.00190379,0.001186627,0.008034803],"category_scores_gemma":[0.01602101,0.0006882246,0.002237018,0.001625977,0.001085121,0.002900281,0.001940596,0.002434678,0.001212385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002766378,"about_ca_system_score_gemma":0.003265349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004727315,"about_ca_topic_score_gemma":0.005728427,"domain_scores_codex":[0.9974057,0.0008180846,0.0002079148,0.0004741565,0.0007894941,0.0003046024],"domain_scores_gemma":[0.9788083,0.01844105,0.0005561117,0.0007888611,0.001207895,0.0001978461],"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.0003480179,0.0001974839,0.002140096,0.0006454808,0.0001344698,0.000144445,0.0002607471,0.5516942,0.003173047,0.08500375,0.003058266,0.3532001],"study_design_scores_gemma":[0.00006860974,0.00004757899,0.000198167,0.00004865697,0.00003696836,0.00005871659,0.00003982698,0.9282403,0.002455288,0.06729367,0.00149614,0.0000160359],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01070099,0.0003195259,0.9857286,0.0001384047,0.00002771104,0.0001099676,0.0001300226,0.0009974225,0.001847349],"genre_scores_gemma":[0.1633662,0.0003592872,0.8327449,0.0001324521,0.00004891916,0.0004188048,0.0007749564,0.0003467046,0.001807842],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008034803,"threshold_uncertainty_score":0.02687907,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05542317432465817,"score_gpt":0.3523291786181512,"score_spread":0.2969060042934931,"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."}}