{"id":"W174859251","doi":"","title":"A Formal Approach for the Forensic Analysis of Logs","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Digital and Cyber Forensics","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer forensics; Computer science; Digital forensics; Relevance (law); Audit; Digital evidence; Forensic science; Context (archaeology); Data science; Data mining; Information retrieval; 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.001051703,0.0001839902,0.0004728799,0.0003955703,0.00007298432,0.0001379695,0.0006613031,0.0001267975,0.0000021809],"category_scores_gemma":[0.0002616579,0.0001172381,0.0002386276,0.001556303,0.0001809619,0.0005301365,0.0003477692,0.0001181323,4.940961e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002111302,"about_ca_system_score_gemma":0.00002922747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003641895,"about_ca_topic_score_gemma":0.0001118719,"domain_scores_codex":[0.998673,0.00007915081,0.0003827351,0.000368891,0.000168256,0.0003279665],"domain_scores_gemma":[0.9976915,0.001542609,0.0001609151,0.0005098313,0.00006279963,0.00003239839],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001487959,0.00002487374,0.001745279,0.000009668656,0.00007078904,8.542063e-7,0.00006509061,0.00008166434,0.00001793518,0.08602748,0.001746644,0.9101949],"study_design_scores_gemma":[0.0009456691,0.000859581,0.1184309,0.00004062434,0.0007564472,0.00002851174,0.0001356161,0.01320426,0.02591452,0.8137282,0.02501112,0.0009445818],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007392283,0.0006489277,0.9955788,0.0001805349,0.00004669949,0.0001733785,0.00004583678,0.0003457304,0.002240902],"genre_scores_gemma":[0.02572738,0.00004097,0.973543,0.000105031,0.00003697444,0.00007873886,0.00005493416,0.000008252873,0.0004047515],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9092503,"threshold_uncertainty_score":0.4780831,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1050099227994212,"score_gpt":0.3301998263517844,"score_spread":0.2251899035523632,"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."}}