{"id":"W2573726090","doi":"10.1016/j.jlamp.2016.12.002","title":"Solving computational tasks on finite topologies by means of relation algebra and the RelView tool","year":2017,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Network topology; Relation (database); Algebra over a field; Computer science; Algebraic number; Algebraic operation; Translation (biology); Simple (philosophy); Theoretical computer science; Mathematics; Pure 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.002974041,0.0008808857,0.001792576,0.00122829,0.001382256,0.003763357,0.003308219,0.001078543,0.008045093],"category_scores_gemma":[0.00848471,0.001073249,0.003988278,0.001618693,0.00261036,0.01081787,0.004902793,0.003252045,0.001262817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008036033,"about_ca_system_score_gemma":0.001717368,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002340881,"about_ca_topic_score_gemma":0.00578361,"domain_scores_codex":[0.9972149,0.001162982,0.0002236146,0.0005968101,0.0005986638,0.0002029504],"domain_scores_gemma":[0.9957063,0.003159223,0.0001330606,0.0006881671,0.000181924,0.0001313964],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002629775,0.0002679084,0.00101494,0.0007223607,0.0002453802,0.0003003856,0.0009411284,0.09382986,0.00373416,0.67988,0.00454132,0.2142595],"study_design_scores_gemma":[0.00005860199,0.00004445824,0.0001229185,0.00005388063,0.00004991738,0.0001061291,0.0001928325,0.2786829,0.002306303,0.7117062,0.006647113,0.000028803],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007142209,0.0001056507,0.9895935,0.0001430532,0.00001992698,0.00004710236,0.00009555149,0.000865343,0.001987677],"genre_scores_gemma":[0.1081598,0.0002123021,0.8893337,0.00006602155,0.00003798823,0.000166375,0.0004120278,0.0002599513,0.001351902],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008045093,"threshold_uncertainty_score":0.02691358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05562391857438079,"score_gpt":0.3652962391740452,"score_spread":0.3096723205996644,"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."}}