{"id":"W4396938619","doi":"10.1007/s10703-024-00448-z","title":"Dynamic dependability analysis of shuffle-exchange networks","year":2024,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Dependability; Soundness; Computer science; Reliability block diagram; Reliability (semiconductor); Distributed computing; HOL; Multiprocessing; Interconnection; Theoretical computer science; Fault tree analysis; Reliability engineering; Parallel computing; Programming language; Computer network","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.002197842,0.0005585329,0.0005396202,0.001248581,0.0005296241,0.001095053,0.001309326,0.000565492,0.003666235],"category_scores_gemma":[0.009258303,0.0003744394,0.0007467666,0.000601191,0.001419802,0.002888843,0.001150007,0.001369252,0.0002458156],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001377289,"about_ca_system_score_gemma":0.0008287457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002241189,"about_ca_topic_score_gemma":0.001405054,"domain_scores_codex":[0.9987934,0.0003122728,0.00005575155,0.0002154675,0.0004312452,0.0001919211],"domain_scores_gemma":[0.9906988,0.006598594,0.0006456753,0.0009270128,0.0009131893,0.0002168251],"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.0001918777,0.00008780347,0.001519549,0.0001071178,0.00006398014,0.0002038024,0.0002112125,0.6167516,0.006776119,0.3483646,0.0007359257,0.02498623],"study_design_scores_gemma":[0.00001075861,0.0000291581,0.0002780974,0.00001172538,0.00001578542,0.00002868712,0.00002339858,0.8896416,0.002318197,0.1070334,0.0006011512,0.000007950921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1072778,0.0001772301,0.8868215,0.0002553603,0.00002582121,0.00005552948,0.0001533351,0.0002920913,0.004941377],"genre_scores_gemma":[0.9688456,0.0002107211,0.02665307,0.00005815543,0.00003008588,0.0001087749,0.000221115,0.0001082546,0.003764393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003666235,"threshold_uncertainty_score":0.01226473,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01669935114813512,"score_gpt":0.3264332798356983,"score_spread":0.3097339286875632,"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."}}