{"id":"W2278270578","doi":"10.1080/1206212x.2003.11441712","title":"Real-Time Computation: A Formal Definition And Its Applications","year":2003,"lang":"en","type":"article","venue":"International Journal of Computers and Applications","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Bishop's University","funders":"Natural Sciences and Engineering Research Council of Canada; RMIT University","keywords":"Computer science; Computation; Formalism (music); Expressive power; Formal description; Theoretical computer science; Distributed computing; Algorithm; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.0002523155,0.0001014807,0.0001513082,0.0001291015,0.0001408438,0.0002365387,0.0003747291,0.00004005648,0.000003830867],"category_scores_gemma":[0.000009531103,0.00009637028,0.00005116278,0.0001719989,0.00003432056,0.0006134363,0.00007052564,0.00009242508,0.00001272998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003037731,"about_ca_system_score_gemma":0.00005929533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001855336,"about_ca_topic_score_gemma":2.947062e-7,"domain_scores_codex":[0.998991,0.00003664323,0.0004115666,0.0001716398,0.0002679357,0.0001212877],"domain_scores_gemma":[0.9988112,0.000133857,0.000324534,0.0001048909,0.0005078382,0.0001176668],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00000538854,0.0001042267,0.00008077206,0.00001432771,0.00006662081,0.000006164564,0.0001344489,0.0003489662,0.0007589799,0.9335105,0.0006224865,0.06434707],"study_design_scores_gemma":[0.005029356,0.0004031327,0.007372787,0.0003643885,0.00008794476,0.005762611,0.0002174451,0.1903727,0.001071418,0.1528573,0.6353947,0.001066188],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004318632,0.0005155838,0.9914297,0.0007703131,0.0001521001,0.0002053676,0.00001746709,0.00003000956,0.002560791],"genre_scores_gemma":[0.9125373,0.0006434136,0.0862219,0.0001843935,0.0002731496,0.00006890511,0.00001383885,0.000008404627,0.00004864877],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9082187,"threshold_uncertainty_score":0.3929866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01320302649479793,"score_gpt":0.2612471870187785,"score_spread":0.2480441605239805,"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."}}