{"id":"W1982958309","doi":"10.1016/j.jlap.2014.02.006","title":"Discrete dualities for some algebras with relations","year":2014,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Binary relation; Representation (politics); Scope (computer science); Syllogism; Existentialism; Algebra over a field; Mathematics; Field (mathematics); Binary number; Pure mathematics; Computer science; Discrete mathematics; Epistemology; Arithmetic; Programming language; Philosophy","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.002127945,0.0006497155,0.0009360629,0.002203545,0.003277106,0.005811746,0.001428727,0.001146375,0.01066666],"category_scores_gemma":[0.003931146,0.0007947239,0.001723276,0.001968205,0.004220311,0.008446733,0.003330518,0.005440743,0.0009485006],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002281995,"about_ca_system_score_gemma":0.001258494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001180828,"about_ca_topic_score_gemma":0.001386544,"domain_scores_codex":[0.9983317,0.0004205538,0.0001354102,0.0003168143,0.0005075006,0.0002880433],"domain_scores_gemma":[0.9976577,0.0009872467,0.0002200471,0.0002031496,0.0004231176,0.0005087133],"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.00001098696,0.00001403847,0.00003912179,0.000009029449,0.000003665759,0.00001864213,0.00006716407,0.0001127931,0.0001251388,0.9985769,0.0002100626,0.0008124324],"study_design_scores_gemma":[0.00001576485,0.000005936079,0.00003779037,0.000005225339,0.000005621818,0.00004773062,0.00005507693,0.001594901,0.00022075,0.9965255,0.001478274,0.000007357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2445962,0.001662265,0.5652032,0.005731234,0.0008117607,0.0002265609,0.001024766,0.0003359238,0.1804081],"genre_scores_gemma":[0.8709585,0.000665755,0.08497465,0.000850195,0.0005936028,0.0001912702,0.0006297497,0.0001232663,0.04101308],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01066666,"threshold_uncertainty_score":0.03568357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03290005820379674,"score_gpt":0.3406227897451933,"score_spread":0.3077227315413966,"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."}}