{"id":"W2114163208","doi":"10.1109/icecs.2007.4511232","title":"Communication Structure Refinement using Temporal Constraints Analysis","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Université de Montréal","funders":"","keywords":"Computer science; Consistency (knowledge bases); Property (philosophy); Temporal logic; Local consistency; Communications protocol; Protocol (science); Distributed computing; SIGNAL (programming language); Theoretical computer science; Data structure; Programming language; Artificial intelligence; Constraint satisfaction; 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.004391353,0.00110524,0.0007125353,0.001438046,0.001047862,0.001336779,0.001377775,0.0007245771,0.003226549],"category_scores_gemma":[0.009864623,0.0007934629,0.001703462,0.001083113,0.001821642,0.003083509,0.002077385,0.002123615,0.000480802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009356433,"about_ca_system_score_gemma":0.002384162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003954098,"about_ca_topic_score_gemma":0.004351113,"domain_scores_codex":[0.9937243,0.002120873,0.0003988479,0.0005998195,0.002752436,0.000403745],"domain_scores_gemma":[0.9914028,0.00547832,0.0006048327,0.001210182,0.001187108,0.0001167276],"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.0003833208,0.0001508797,0.001708169,0.0008288997,0.0001916146,0.000793301,0.001581297,0.3002533,0.05598208,0.3741463,0.002074472,0.2619065],"study_design_scores_gemma":[0.0001234205,0.0001699574,0.0003110772,0.000162495,0.0001789242,0.0002881802,0.0001928092,0.7506778,0.07915464,0.1495507,0.01910261,0.00008742378],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002741051,0.00006016046,0.9959876,0.00005238953,0.000009816402,0.00006925477,0.00001873567,0.0002006588,0.0008602812],"genre_scores_gemma":[0.1603749,0.0003374629,0.8362789,0.00008026905,0.00003504034,0.0004420363,0.000158589,0.0002741247,0.002018611],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004391353,"threshold_uncertainty_score":0.023224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04587027417220486,"score_gpt":0.3493936062537659,"score_spread":0.3035233320815611,"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."}}