{"id":"W2618857207","doi":"","title":"Relaxing Synchronous Composition with Clock Abstraction","year":2009,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Abstraction; Computer science; Composition (language); Clock synchronization; Simple (philosophy); Binary number; Programming language; Bounded function; Theoretical computer science; Synchronization (alternating current); Arithmetic; Mathematics; 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.004281318,0.001129508,0.001132215,0.0007152389,0.001263341,0.001694056,0.002080566,0.0008713299,0.01095512],"category_scores_gemma":[0.01072786,0.001285585,0.001851821,0.0009597734,0.002115243,0.003952956,0.006562583,0.004020591,0.002008579],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008643595,"about_ca_system_score_gemma":0.001771181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001302238,"about_ca_topic_score_gemma":0.00264641,"domain_scores_codex":[0.9955692,0.001442079,0.000342884,0.0008676872,0.00119777,0.0005804549],"domain_scores_gemma":[0.9920269,0.003710144,0.0004351069,0.002558666,0.0008238858,0.0004453194],"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.001525413,0.0002614998,0.001127004,0.0009248842,0.0001785604,0.000667115,0.001348813,0.0989773,0.0672036,0.6248151,0.004987756,0.197983],"study_design_scores_gemma":[0.0003455087,0.0003019485,0.0002987266,0.0001265238,0.0002898706,0.0002900705,0.0002837034,0.3007942,0.05203104,0.6040578,0.04110662,0.00007399108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01630803,0.0001149629,0.9751059,0.0002473023,0.000185074,0.00007030393,0.00005828822,0.001962603,0.005947557],"genre_scores_gemma":[0.3855553,0.0003230808,0.5954185,0.0004780176,0.0003640329,0.0002610675,0.0003972577,0.002059268,0.01514342],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01095512,"threshold_uncertainty_score":0.03664857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0107270520016446,"score_gpt":0.2236429420759258,"score_spread":0.2129158900742812,"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."}}