{"id":"W2121367871","doi":"10.1109/ipdps.2001.925119","title":"Real-time computation: a formal definition and its applications","year":2005,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Formalism (music); Computation; Expressive power; Formal description; Theoretical computer science; Distributed computing; Algorithm; Programming language","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.004048908,0.001311757,0.001061481,0.002944543,0.00187513,0.005197552,0.002385241,0.002296951,0.004933655],"category_scores_gemma":[0.005759242,0.0009124624,0.001908353,0.005705023,0.01109847,0.01146859,0.003272205,0.006072985,0.00140637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002641565,"about_ca_system_score_gemma":0.001703386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002301723,"about_ca_topic_score_gemma":0.001180072,"domain_scores_codex":[0.9976865,0.0007910588,0.0002704242,0.0005504165,0.000528586,0.0001730263],"domain_scores_gemma":[0.9966978,0.001921848,0.0002755881,0.0005006653,0.0004293428,0.0001747541],"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.000003921559,0.000007517551,0.00003229691,0.00004945376,0.000002842124,0.00003864944,0.000186586,0.0009416446,0.0001779311,0.9931809,0.001005102,0.004373287],"study_design_scores_gemma":[0.000008438162,0.00001611987,0.00006007788,0.0001007951,0.000006658871,0.0002273523,0.0001116228,0.00783514,0.0002226343,0.9120286,0.07936551,0.00001712556],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00303794,0.0161245,0.9478536,0.005210481,0.0008151957,0.00009929497,0.0003088574,0.0002199731,0.02633023],"genre_scores_gemma":[0.2585046,0.02624536,0.6887709,0.004086304,0.003863279,0.001219683,0.000906756,0.0004534383,0.0159497],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005197552,"threshold_uncertainty_score":0.02141297,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01692411615409687,"score_gpt":0.247159268661079,"score_spread":0.2302351525069821,"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."}}