{"id":"W2144253208","doi":"10.1109/emwrts.1994.336863","title":"A resynchronization method for real-time supervision","year":2002,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Supervisor; Formalism (music); Computer science; Reliability (semiconductor); Software; Reliability engineering; Real-time computing; Programming language; Engineering","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.0004728688,0.00007481482,0.0001121947,0.00005014277,0.0001151871,0.00006092287,0.0003324435,0.00006228738,0.0001946184],"category_scores_gemma":[0.00006390121,0.00005458314,0.00005545374,0.00025746,0.00000921948,0.0004080097,0.00007034927,0.00002833756,0.0003038519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003709224,"about_ca_system_score_gemma":0.00001228902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004329146,"about_ca_topic_score_gemma":0.000001894021,"domain_scores_codex":[0.9991778,0.00005047782,0.0001802058,0.0002763333,0.0001444854,0.0001706804],"domain_scores_gemma":[0.999173,0.0001640548,0.00003250353,0.0004708217,0.0001123945,0.00004718003],"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.00001437173,0.0002621996,0.002815837,0.000243672,0.00003083721,0.00000264525,0.002631702,0.0006483378,0.007420725,0.02921739,0.1087321,0.8479802],"study_design_scores_gemma":[0.0002644851,0.000098941,0.0004974952,0.00001219304,0.000002468813,0.000006063631,0.000005788911,0.9877291,0.001815576,0.0009999853,0.008463713,0.0001041812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003009623,0.00003963081,0.9896854,0.0008409752,0.0001895448,0.0002789054,8.171257e-7,0.0003662513,0.005588894],"genre_scores_gemma":[0.06560959,0.00006119713,0.929053,0.0002084866,0.00011558,0.00004583309,0.00000396856,0.00000957223,0.004892758],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9870808,"threshold_uncertainty_score":0.3905503,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01753212565294923,"score_gpt":0.2706924748488153,"score_spread":0.2531603491958661,"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."}}