{"id":"W1569102943","doi":"10.1109/iceccs.1996.558410","title":"Animating real-time reactive systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Debugging; Computer science; Animation; Graphical user interface; Process (computing); Programming language; Computer animation; Generator (circuit theory); Interpreter; Human–computer interaction; Software engineering; Computer graphics (images)","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.0008972723,0.0005206763,0.0003424255,0.0003645461,0.0003318843,0.0009487972,0.0008796946,0.0009435258,0.005278422],"category_scores_gemma":[0.001930318,0.0004068852,0.0005297412,0.0002003994,0.000998244,0.001257277,0.001252144,0.0008130245,0.0008068755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002783737,"about_ca_system_score_gemma":0.0002613353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004318929,"about_ca_topic_score_gemma":0.0006075389,"domain_scores_codex":[0.999543,0.0001773278,0.00002365904,0.00007282648,0.0001538513,0.00002942776],"domain_scores_gemma":[0.9993122,0.0004733502,0.00005108885,0.00008579255,0.00004629291,0.00003120671],"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.0002728952,0.0001347311,0.0009687611,0.0005222838,0.00007014521,0.0008158646,0.002009592,0.300268,0.1029696,0.4424434,0.003013675,0.146511],"study_design_scores_gemma":[0.0001850331,0.000210222,0.0003288335,0.0001069466,0.00006226511,0.0005176865,0.0001652235,0.7463227,0.03619715,0.09697673,0.1188718,0.00005541609],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01302701,0.0001975106,0.9784089,0.0001018991,0.00006007795,0.00005064873,0.00002832782,0.001776163,0.006349419],"genre_scores_gemma":[0.2095492,0.0009155337,0.7797549,0.00009587874,0.00004914973,0.0002136576,0.0001795948,0.0005186019,0.008723512],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005278422,"threshold_uncertainty_score":0.01765805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04179526750596901,"score_gpt":0.270374243853254,"score_spread":0.228578976347285,"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."}}