{"id":"W2322933176","doi":"10.3182/20120523-3-ro-2023.00312","title":"Algorithms for Generating Minimal Cutsets in R-networks","year":2012,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Correctness; Binary decision diagram; Benchmark (surveying); Set (abstract data type); Reliability (semiconductor); Computer science; Reduction (mathematics); Process (computing); Algorithm; Computation; Binary number; Theoretical computer science; Mathematics; Arithmetic","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.002965099,0.002194852,0.001899249,0.003671846,0.001165936,0.002371752,0.003911456,0.002789163,0.0136724],"category_scores_gemma":[0.0167501,0.001944911,0.003046644,0.003283378,0.001294164,0.00388086,0.003070227,0.003094053,0.002899262],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001761992,"about_ca_system_score_gemma":0.00184805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002601981,"about_ca_topic_score_gemma":0.005815894,"domain_scores_codex":[0.99791,0.0006110427,0.0001759494,0.0005448691,0.0005622696,0.0001958054],"domain_scores_gemma":[0.9858482,0.01076934,0.0006899441,0.00118514,0.001177903,0.0003293784],"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.0006394394,0.0004294281,0.001617648,0.001321823,0.0002242637,0.0003016266,0.0005005564,0.4195506,0.007892541,0.07904957,0.02013945,0.468333],"study_design_scores_gemma":[0.0001533651,0.0001284825,0.0003635673,0.000151417,0.00009468676,0.0001765387,0.0001930842,0.8287826,0.003804197,0.1620806,0.004039209,0.00003219181],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01110851,0.0002257115,0.9826773,0.0002968857,0.00004280897,0.0003746623,0.000690361,0.00138927,0.00319454],"genre_scores_gemma":[0.05470452,0.0002473615,0.9389574,0.0001271602,0.00004827736,0.0004314012,0.002340351,0.0004512504,0.002692171],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0136724,"threshold_uncertainty_score":0.04573876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03098229390699895,"score_gpt":0.3029031044848208,"score_spread":0.2719208105778219,"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."}}