{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005748263,0.0001900248,0.0005376359,0.0007206667,0.0000254952,0.00003400691,0.0002169307,0.0001881994,0.00003200791],"category_scores_gemma":[0.00008542492,0.0001830101,0.000196805,0.002413456,0.00002412004,0.0002503654,0.00002550725,0.0002935538,0.00000573046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007238562,"about_ca_system_score_gemma":0.00003329763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002177273,"about_ca_topic_score_gemma":0.00003667179,"domain_scores_codex":[0.9976826,0.0008820172,0.0005966742,0.000235325,0.000174101,0.0004292471],"domain_scores_gemma":[0.9981408,0.001346742,0.00005216571,0.0003781378,0.00002786166,0.00005428554],"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.000009397349,0.000006389193,0.00007599869,0.0008077631,0.0004743017,0.000005603385,0.0002630324,0.9397227,0.0003442867,0.0008753329,0.00001955658,0.0573957],"study_design_scores_gemma":[0.00007992136,0.00004716866,0.001115673,0.00009796651,0.0003340676,0.000005907256,0.0000477438,0.9970458,0.0008610853,0.00006453852,0.0001399297,0.0001602259],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008730377,0.006133961,0.9823755,0.000002342081,0.0009121295,0.0004136352,0.00001049728,0.0004445016,0.0009770268],"genre_scores_gemma":[0.8018412,0.00003817314,0.1979429,0.000002239368,0.00002565327,0.00009020521,0.00000706416,0.00003503357,0.00001750067],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7931108,"threshold_uncertainty_score":0.7462934,"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."}}