{"id":"W6999680838","doi":"","title":"Dataflow analysis of the [pi]-calculus","year":2004,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Dataflow; Context (archaeology); Computation; Abstract interpretation; Data-flow analysis; Information flow; Data flow diagram; Order (exchange)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002688953,0.0005640069,0.0006104407,0.002001054,0.001602735,0.003234295,0.001472591,0.000615512,0.008741702],"category_scores_gemma":[0.007626249,0.0005053318,0.001901641,0.001540784,0.001615045,0.005427674,0.001701126,0.001496223,0.0009483601],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002759275,"about_ca_system_score_gemma":0.003547636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00996531,"about_ca_topic_score_gemma":0.007744836,"domain_scores_codex":[0.9979604,0.0003265982,0.0001510496,0.0003247632,0.0009460323,0.000291125],"domain_scores_gemma":[0.9971969,0.001228514,0.0001745714,0.0004882629,0.0007859493,0.0001256206],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002102466,0.00009021533,0.002662989,0.0001846556,0.00005463233,0.0003291416,0.0004212033,0.04219663,0.005064605,0.8561888,0.005161743,0.08743505],"study_design_scores_gemma":[0.00004605952,0.00004101708,0.0009392146,0.0001054873,0.00007142231,0.0001579331,0.00009343991,0.3694137,0.01101264,0.5868394,0.03123666,0.00004307179],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03812721,0.0004956994,0.9319419,0.0006696415,0.0001642399,0.0001621523,0.000614439,0.003229338,0.02459539],"genre_scores_gemma":[0.6435516,0.0007892507,0.3343755,0.000351488,0.000201495,0.0001794797,0.001273217,0.0007857809,0.01849233],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00996531,"threshold_uncertainty_score":0.02924395,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02056238575199611,"score_gpt":0.2563550576323386,"score_spread":0.2357926718803425,"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."}}