{"id":"W1874195712","doi":"10.1007/3-540-44798-9_12","title":"Temporal Properties of Self-Timed Rings","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Abstraction; Automaton; Simple (philosophy); Key (lock); Theoretical computer science; Interval (graph theory); Event (particle physics); Algorithm; Mathematics","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.00149123,0.0003071322,0.0003610085,0.0009011371,0.0006415604,0.001890673,0.0007860209,0.0004034779,0.002836512],"category_scores_gemma":[0.003199987,0.0004304678,0.0006484854,0.0006750321,0.001852468,0.003828831,0.0006121335,0.0009532466,0.0002968501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007534196,"about_ca_system_score_gemma":0.0004096676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004594646,"about_ca_topic_score_gemma":0.0003682204,"domain_scores_codex":[0.9991601,0.0001857988,0.0000769656,0.0002046564,0.0002715796,0.0001009453],"domain_scores_gemma":[0.9969103,0.001783618,0.0004041835,0.0004131502,0.000340481,0.0001483517],"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.00008015655,0.00001719887,0.0001692957,0.00005593135,0.00001056094,0.00009926618,0.0002720655,0.002944205,0.004919369,0.9847248,0.0003435272,0.00636349],"study_design_scores_gemma":[0.00005386624,0.00008103333,0.0004722055,0.00002447843,0.00004188179,0.0002642526,0.0001201263,0.02498808,0.01087168,0.9529659,0.0100946,0.00002205431],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2802086,0.001547151,0.6492897,0.0003913881,0.0002365342,0.0001499506,0.0004506464,0.0007035692,0.06702247],"genre_scores_gemma":[0.9414735,0.0006287332,0.04560243,0.00006952344,0.0002162304,0.0001192417,0.0002278701,0.0001203749,0.01154201],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002836512,"threshold_uncertainty_score":0.009489119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03178153337522161,"score_gpt":0.2561397302930787,"score_spread":0.2243581969178571,"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."}}