{"id":"W2911701225","doi":"","title":"Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems","year":2011,"lang":"en","type":"article","venue":"","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Joint (building); Computer science; Formal methods; Library science; Engineering; Software engineering; Civil engineering","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.0005605227,0.0001840543,0.0002506234,0.00007248559,0.000137937,0.0002316316,0.001069879,0.00008908858,0.000005991988],"category_scores_gemma":[0.00004884966,0.000119822,0.00008656839,0.000188221,0.00008555229,0.0003799338,0.0003515235,0.0001171614,0.000002726548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004167659,"about_ca_system_score_gemma":0.00005741969,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001221939,"about_ca_topic_score_gemma":0.000002652055,"domain_scores_codex":[0.9985821,0.0000197912,0.000435795,0.000354635,0.0003142886,0.0002933844],"domain_scores_gemma":[0.9988444,0.00004158069,0.0003169273,0.0002508951,0.0004702511,0.00007589631],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002963209,0.00009631237,0.001530584,0.0001315784,0.00004423546,6.43721e-7,0.0007694593,0.00001168339,0.001008551,0.9877896,0.007108019,0.001479712],"study_design_scores_gemma":[0.002864856,0.002299442,0.03381644,0.002398121,0.00007053708,0.0003118277,0.00192367,0.8175101,0.06303436,0.02669469,0.04733964,0.001736283],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03054806,0.00002459755,0.9205075,0.0006212456,0.001003216,0.001170298,0.0001582414,0.0003655558,0.0456013],"genre_scores_gemma":[0.9938939,0.000004157961,0.005424796,0.00005649817,0.00008171608,0.0000663321,0.00001374925,0.000007814716,0.0004510686],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9633458,"threshold_uncertainty_score":0.4886201,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06180519633094489,"score_gpt":0.2465791659189785,"score_spread":0.1847739695880336,"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."}}