{"id":"W2962953962","doi":"","title":"Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid.","year":2009,"lang":"en","type":"article","venue":"","topic":"Digital and Cyber Forensics","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Programming language; Context (archaeology); Focus (optics); Event (particle physics); Process (computing); State (computer science); Finite-state machine; Theoretical computer science; Natural language processing; Artificial intelligence","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.006540566,0.0006177385,0.0004949678,0.003494369,0.001319887,0.005307193,0.002384838,0.0009485133,0.004276956],"category_scores_gemma":[0.02009622,0.0007938058,0.002088607,0.001086835,0.004129622,0.005931168,0.004997926,0.001997479,0.0007716873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002116787,"about_ca_system_score_gemma":0.002658338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003635888,"about_ca_topic_score_gemma":0.005104325,"domain_scores_codex":[0.9946693,0.002429591,0.0003346508,0.0007145834,0.001562167,0.0002896832],"domain_scores_gemma":[0.9915531,0.005410204,0.0006610407,0.001288254,0.0009249022,0.0001625011],"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.0001840871,0.0002368699,0.005719814,0.0007133122,0.0001233093,0.002022025,0.004141373,0.04885887,0.009198589,0.6821007,0.003961302,0.2427398],"study_design_scores_gemma":[0.00005333307,0.00007229148,0.001138842,0.0003155241,0.0001013734,0.0009184189,0.00166065,0.4181145,0.02212664,0.528798,0.02664186,0.00005852612],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01777645,0.0001244315,0.9742691,0.0005287754,0.0000238349,0.0003210028,0.0001508275,0.001644339,0.005161245],"genre_scores_gemma":[0.1743011,0.0001383232,0.8227527,0.0001687684,0.00002760089,0.0001828313,0.0002914239,0.0001515978,0.001985651],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006540566,"threshold_uncertainty_score":0.03459024,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007325505482660768,"score_gpt":0.2256114202104475,"score_spread":0.2182859147277867,"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."}}