{"id":"W599040499","doi":"","title":"Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid","year":2012,"lang":"en","type":"article","venue":"Spectrum Research Repository (Concordia University)","topic":"Digital and Cyber Forensics","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Concordia University","keywords":"Computer science; Programming language; Principle of compositionality; Lucid dream; Artificial intelligence; Natural language processing","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007368748,0.0002170676,0.000233431,0.0007891796,0.0004658005,0.0002701787,0.0006887508,0.0001092408,0.000003118252],"category_scores_gemma":[0.00004225523,0.0002058543,0.00007864252,0.002230472,0.000507021,0.004351082,0.0006239302,0.0006077671,0.00003146102],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005412722,"about_ca_system_score_gemma":0.0004283322,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007589412,"about_ca_topic_score_gemma":0.004849359,"domain_scores_codex":[0.997112,0.0002547386,0.0002080208,0.0004923191,0.0006530908,0.001279792],"domain_scores_gemma":[0.9984348,0.0001433255,0.00009386367,0.0006263011,0.0001697624,0.0005319899],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0002010358,0.0001602964,0.5477386,0.00006206635,0.00008100806,0.02021935,0.004030831,0.00008548882,0.0004038693,0.412667,0.0006722835,0.01367815],"study_design_scores_gemma":[0.007508852,0.003900773,0.714597,0.0007700655,0.0001070534,0.03468738,0.0118051,0.01748263,0.1635221,0.01887398,0.02326061,0.003484499],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9239038,0.00005427527,0.003243695,0.0003902258,0.0003029022,0.0002654692,0.000001673747,0.000138385,0.07169953],"genre_scores_gemma":[0.9968586,0.000006396417,0.001208457,0.00002902188,0.0001714279,0.000002959042,0.000004316078,0.00001789902,0.001700924],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.393793,"threshold_uncertainty_score":0.9990191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03177129078470612,"score_gpt":0.2388443653653691,"score_spread":0.207073074580663,"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."}}