{"id":"W2008102628","doi":"10.1016/s1389-1286(02)00356-0","title":"Graphic visualization and animation of LOTOS execution traces","year":2002,"lang":"en","type":"article","venue":"Computer Networks","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Animation; Computer graphics (images); Visualization; Programming language; Computer animation; Human–computer interaction; Artificial intelligence","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.0001883415,0.00009601293,0.0001360255,0.00009921867,0.00004662919,0.00004210085,0.0002162931,0.0000643386,0.000001860638],"category_scores_gemma":[0.00002809446,0.0000958467,0.00002543649,0.0003479736,0.00004016166,0.0004136369,0.0001055118,0.00007032329,9.915696e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009726231,"about_ca_system_score_gemma":0.000001775839,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.036689e-7,"about_ca_topic_score_gemma":2.741266e-7,"domain_scores_codex":[0.9992876,0.00008324038,0.0001828417,0.0002111464,0.0001020152,0.0001331674],"domain_scores_gemma":[0.9993755,0.0002325951,0.00009454019,0.0002145105,0.00005070968,0.00003213898],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000022557,0.00003636102,0.0004824097,0.00004188552,0.00001429184,0.000002697526,0.0008397964,0.6795415,0.000133504,0.04600231,0.0005198968,0.2723831],"study_design_scores_gemma":[0.0001142049,0.00007330262,0.003403496,0.00003091436,0.000003000909,0.000009237981,0.000002885108,0.9935876,0.0001728093,0.002370761,0.0001335741,0.0000982247],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007775838,0.001103551,0.9902918,0.00003070268,0.0003763186,0.00009851024,1.930965e-7,0.00029682,0.0000262566],"genre_scores_gemma":[0.5835012,0.000221737,0.4161386,0.00003485958,0.0000823907,0.000004671258,0.000001527511,0.000006254952,0.000008764192],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5757253,"threshold_uncertainty_score":0.3908515,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02900402952473717,"score_gpt":0.247902336509187,"score_spread":0.2188983069844498,"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."}}