{"id":"W172667635","doi":"","title":"An Algebraic Query Method for Static Program Analysis and Measurement.","year":2008,"lang":"en","type":"article","venue":"Software Engineering and Data Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Query optimization; Query language; Algebraic number; Programming language; Theoretical computer science; Information retrieval; Mathematics","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.005149507,0.001377604,0.001783252,0.003626576,0.001336015,0.004310476,0.003926167,0.001346624,0.01416794],"category_scores_gemma":[0.02683864,0.001217102,0.001981825,0.004778246,0.002336168,0.00838291,0.005469682,0.002888051,0.005399907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001252682,"about_ca_system_score_gemma":0.003055699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003914206,"about_ca_topic_score_gemma":0.003935471,"domain_scores_codex":[0.9892083,0.002246923,0.00118821,0.001652719,0.005218364,0.0004854985],"domain_scores_gemma":[0.9896731,0.004096199,0.0006044764,0.003016702,0.002332317,0.0002771459],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000418758,0.0001563046,0.001667758,0.0007498387,0.0001739374,0.0002124715,0.0007203282,0.005957249,0.01172371,0.4420871,0.03018271,0.5059499],"study_design_scores_gemma":[0.0002712445,0.0002868435,0.001386923,0.0002402305,0.0003227004,0.001171658,0.000453095,0.2695809,0.0307067,0.5485303,0.1468581,0.0001911645],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006982406,0.0001025869,0.991905,0.00009363148,0.00003715435,0.00007090913,0.0001897884,0.005576592,0.001326096],"genre_scores_gemma":[0.05656659,0.0003151655,0.9350242,0.0002196057,0.0001723797,0.0004673676,0.001088185,0.001848057,0.004298406],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01416794,"threshold_uncertainty_score":0.04739648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04551195105983421,"score_gpt":0.3039288780590528,"score_spread":0.2584169269992186,"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."}}