{"id":"W7043173380","doi":"","title":"An SCL-Based Constraint Representation Language for Intrusion Detection","year":2017,"lang":"en","type":"dissertation","venue":"QSpace (Queen's University Library)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"U.S. Department of Defense","keywords":"Constraint (computer-aided design); Digital subscriber line; Constraint programming; Focus (optics); Representation (politics); Constraint graph; Context (archaeology); Constraint logic programming; Java; Domain (mathematical analysis)","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001845622,0.0003076415,0.0003109526,0.0005485672,0.0006528798,0.0004332614,0.001576846,0.0004422341,0.00005168312],"category_scores_gemma":[0.0001452142,0.0003713847,0.0001839775,0.0003371112,0.00008599327,0.004241032,0.00007897343,0.0003346232,0.00001833994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001499756,"about_ca_system_score_gemma":0.0003698505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001323862,"about_ca_topic_score_gemma":0.0001149849,"domain_scores_codex":[0.998035,0.0002985364,0.0002074512,0.00082772,0.0003266604,0.0003046313],"domain_scores_gemma":[0.9974717,0.0001226436,0.0006568434,0.001432308,0.0001453238,0.0001711827],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.003382729,0.0007262043,0.0007797574,0.001459073,0.000240928,0.0002412514,0.01164649,0.001404842,0.0131904,0.1054653,0.01863432,0.8428288],"study_design_scores_gemma":[0.002855672,0.001411432,0.01467108,0.0005324388,0.0002279694,0.000001905716,0.006968821,0.04193219,0.873205,0.002793399,0.05329537,0.002104728],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06026482,0.00001490896,0.9219492,0.00354421,0.002110563,0.001605306,0.00008703903,0.001168343,0.00925558],"genre_scores_gemma":[0.2988626,0.00005238329,0.652195,0.0001184737,0.0002587729,0.00001917209,0.002286785,0.00008211831,0.04612466],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8600146,"threshold_uncertainty_score":0.9998738,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01437398323047326,"score_gpt":0.2690332464868546,"score_spread":0.2546592632563813,"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."}}