{"id":"W2053121849","doi":"10.1016/j.knosys.2007.05.002","title":"Forensic analysis of logs: Modeling and verification","year":2007,"lang":"en","type":"article","venue":"Knowledge-Based Systems","topic":"Digital and Cyber Forensics","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Temporal logic; Computer forensics; Signature (topology); Modal logic; Model checking; Theoretical computer science; Term (time); Set (abstract data type); Data mining; Programming language; Modal; Digital forensics; Mathematics; Computer security","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.0006016111,0.0001122445,0.00027614,0.0003834926,0.0000504985,0.00009178161,0.0002734285,0.00006002067,6.431424e-7],"category_scores_gemma":[0.00002320644,0.00009925167,0.0001000034,0.001271971,0.00005483935,0.0002058801,0.0000502746,0.00004822258,0.000010602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003551272,"about_ca_system_score_gemma":0.00005189282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006677132,"about_ca_topic_score_gemma":0.00009752863,"domain_scores_codex":[0.9989272,0.00003067623,0.0003785426,0.0002852997,0.0001828518,0.0001954094],"domain_scores_gemma":[0.9989883,0.00009535981,0.0001169281,0.0004563637,0.0002534178,0.00008958753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006483064,0.0006077387,0.01875695,0.0006427247,0.001227728,0.00001883931,0.004328774,0.1082921,0.002716791,0.5976618,0.0004975596,0.2651841],"study_design_scores_gemma":[0.000174767,0.00003895265,0.00107723,0.00004175727,0.00009158862,0.000001887328,0.00008305894,0.9964727,0.001219438,0.0003743248,0.0003018433,0.0001224682],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2296069,0.0008189388,0.7633988,0.00001531284,0.0003017693,0.00009787259,0.000004316735,0.00006702823,0.00568903],"genre_scores_gemma":[0.9983478,0.000001642021,0.001457561,0.00001376169,0.0000355828,0.000004708824,0.00001256412,0.00000609071,0.0001203542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8881806,"threshold_uncertainty_score":0.4047365,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02160393899244371,"score_gpt":0.2493711539823439,"score_spread":0.2277672149899002,"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."}}