{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004160482,0.001348651,0.000703736,0.001856758,0.001148036,0.003389265,0.002396626,0.001163009,0.009280285],"category_scores_gemma":[0.009044681,0.000924986,0.002387498,0.001861194,0.002161555,0.004174617,0.001963285,0.004083892,0.002742851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002531027,"about_ca_system_score_gemma":0.004601194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009782962,"about_ca_topic_score_gemma":0.01180524,"domain_scores_codex":[0.9956008,0.001419294,0.0007924834,0.0005219762,0.001430014,0.0002354189],"domain_scores_gemma":[0.9931864,0.003340697,0.0004476613,0.000818938,0.002070227,0.0001361279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009110921,0.00008980214,0.0004109982,0.0008716469,0.00005961325,0.0004903379,0.001058887,0.04529941,0.008427527,0.8030062,0.0304237,0.1097708],"study_design_scores_gemma":[0.0001247251,0.0001122251,0.0001747856,0.0005166014,0.00009132994,0.0006835878,0.000310286,0.3791249,0.01931952,0.2131878,0.3862119,0.0001424477],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009019186,0.00009929424,0.9907643,0.0004426519,0.00009323482,0.0002471986,0.0008658595,0.00298487,0.003600709],"genre_scores_gemma":[0.02581563,0.0003151627,0.9644555,0.0005051466,0.00007002564,0.0006425583,0.002195027,0.0009813895,0.005019515],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009782962,"threshold_uncertainty_score":0.03104568,"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."}}