{"id":"W7070655296","doi":"","title":"Protocol modeling and recasting for handshaking circuits","year":2005,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Handshaking; Asynchronous communication; Protocol (science); Focus (optics); Handshake; Synchronization (alternating current); Data transmission; Asynchronous system","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.002490279,0.0007040082,0.0006428319,0.0004782359,0.001626332,0.0004252097,0.001398629,0.0007373274,0.00001108006],"category_scores_gemma":[0.001786148,0.0007797508,0.0002259602,0.0005812151,0.0000290152,0.002384127,0.0002402178,0.001089994,0.00002472779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004689896,"about_ca_system_score_gemma":0.0000833357,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002530969,"about_ca_topic_score_gemma":0.0001044684,"domain_scores_codex":[0.995491,0.00029245,0.001129921,0.001564707,0.0006983925,0.0008235794],"domain_scores_gemma":[0.9969174,0.0002720334,0.0008944215,0.001012992,0.0006388116,0.0002643381],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005264126,0.00005357104,0.000002050343,0.0007207431,0.0000408662,0.000004288179,0.0000280063,0.0006090817,0.009275059,0.1930851,6.422102e-7,0.7961279],"study_design_scores_gemma":[0.003303003,0.0005457054,0.0001302206,0.003078222,0.0001792696,0.0001329113,0.0002607619,0.7313097,0.1205713,0.0876318,0.04948482,0.003372313],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"protocol","genre_gemma":"methods","genre_scores_codex":[0.317766,0.0005227442,0.04919293,0.0000829417,0.008270041,0.3501034,0.000862394,0.004762057,0.2684375],"genre_scores_gemma":[0.1940463,0.00002429144,0.6881021,0.0002151665,0.0002546276,0.1148949,0.0001986153,0.0002883396,0.001975691],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7927556,"threshold_uncertainty_score":0.9996734,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06689107615937671,"score_gpt":0.3279760361467416,"score_spread":0.2610849599873649,"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."}}