{"id":"W2397801177","doi":"","title":"Reasoning About an ACME Printer Case Investigation with Forensic Lucid","year":2009,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Lucid dream; Computer science; USable; Programming language; Automaton; State (computer science); Event (particle physics); Natural language processing; Artificial intelligence; World Wide Web","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.009795825,0.001333367,0.001006476,0.003412212,0.003797658,0.008511147,0.003955122,0.003530655,0.005416003],"category_scores_gemma":[0.02308563,0.001549863,0.003449851,0.001468371,0.006498159,0.01377686,0.008691547,0.004447628,0.0007609574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004180669,"about_ca_system_score_gemma":0.00366267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01684344,"about_ca_topic_score_gemma":0.01403047,"domain_scores_codex":[0.9895076,0.004308345,0.0007621768,0.00140728,0.003038909,0.0009756899],"domain_scores_gemma":[0.9862103,0.00929703,0.001390313,0.001622119,0.001161958,0.0003182748],"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.0003095501,0.0002061136,0.005900159,0.0004696471,0.0001698137,0.007796925,0.006115127,0.1357941,0.003033657,0.797749,0.006026045,0.03642981],"study_design_scores_gemma":[0.0001244331,0.00009261697,0.0007428132,0.0003858143,0.0002315073,0.002326134,0.004262228,0.4610753,0.01633001,0.4655823,0.04870392,0.0001429282],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04260375,0.0002182737,0.9323089,0.004448564,0.0001027421,0.0003987758,0.0006396226,0.001523224,0.01775622],"genre_scores_gemma":[0.5269364,0.0004722874,0.4614387,0.0009604481,0.0001434295,0.0003150439,0.001474281,0.0002705752,0.007988967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01684344,"threshold_uncertainty_score":0.05180591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02216118733948557,"score_gpt":0.2597466741107953,"score_spread":0.2375854867713097,"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."}}