{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001044982,0.00007482312,0.0001070089,0.0002133151,0.0001166987,0.00007023848,0.0006363293,0.00005099063,0.0001167016],"category_scores_gemma":[0.00004770813,0.00006675194,0.00004327857,0.001361792,0.00007959975,0.0003092824,0.0001448887,0.00009060257,0.000004546025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007669181,"about_ca_system_score_gemma":0.00003018518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001106432,"about_ca_topic_score_gemma":0.0001015479,"domain_scores_codex":[0.9991018,0.00008241614,0.000266566,0.0001842618,0.0002066466,0.0001583118],"domain_scores_gemma":[0.9987831,0.00004151528,0.0001315667,0.0008680102,0.000124082,0.00005168649],"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.000008746584,0.00006851568,0.02402697,0.000009885632,0.0002464158,0.00000325204,0.0009212647,0.001741276,0.01132602,0.7857024,0.0001046507,0.1758406],"study_design_scores_gemma":[0.0003678844,0.00004479224,0.1049592,0.00001188116,0.0001440136,0.00002226286,0.0003059886,0.8430496,0.0425088,0.006144106,0.002018759,0.0004227482],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06292428,0.00002156387,0.9322882,0.00007905965,0.0000747239,0.00007185216,0.000001321501,0.00008539655,0.004453649],"genre_scores_gemma":[0.4865904,8.510764e-7,0.5132898,0.00008262419,0.000005970358,3.191929e-7,0.000005480327,0.00000141285,0.00002311979],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8413083,"threshold_uncertainty_score":0.2722065,"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."}}