{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004070892,0.0001154404,0.0003992026,0.00007202036,0.0002570291,0.0002401264,0.0005320741,0.00008529008,0.000003163574],"category_scores_gemma":[0.004232632,0.0000617602,0.0000845797,0.00008185828,0.0005199262,0.0003441812,0.0002472845,0.0003148254,1.805516e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001028537,"about_ca_system_score_gemma":0.00002381189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001010601,"about_ca_topic_score_gemma":0.000001519184,"domain_scores_codex":[0.9983271,0.0005212644,0.0005723903,0.0001775187,0.0002336411,0.0001680485],"domain_scores_gemma":[0.9952468,0.003719131,0.0007076763,0.0002074191,0.0000791891,0.00003978388],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000531511,0.00004462626,0.003853289,0.00002882033,0.0000262959,0.00001544776,0.0005929618,0.0001005619,0.00008093045,0.2127194,0.00003016365,0.7824544],"study_design_scores_gemma":[0.00230613,0.0006887052,0.07492477,0.0003703859,0.00004241677,0.0001688748,0.0004063469,0.02987275,0.0004694732,0.8889725,0.001550923,0.0002267063],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08682987,0.00353785,0.9032499,0.005650378,0.0002334494,0.0001602008,4.317609e-7,0.00001547824,0.0003224568],"genre_scores_gemma":[0.4551189,0.0003059607,0.544388,0.0001465917,0.00002458221,0.000002635534,1.726535e-7,0.000002092658,0.0000111046],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7822276,"threshold_uncertainty_score":0.5067161,"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."}}