{"id":"W1548747954","doi":"10.3233/fun-2005-67402","title":"Tabular Expressions and Their Relational Semantics","year":2005,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Semantics (computer science); Computer science; Programming language; Theoretical computer science; Algebra over a field; 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.0002813876,0.000110635,0.0001170771,0.00006180076,0.000197206,0.0002167968,0.0002947459,0.00005152619,0.00005396348],"category_scores_gemma":[0.00002933803,0.00007790409,0.00003463033,0.0001124839,0.00004857796,0.001046313,0.0002397204,0.00009748134,0.0002664327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003727726,"about_ca_system_score_gemma":0.00003565168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004989333,"about_ca_topic_score_gemma":0.000003763462,"domain_scores_codex":[0.9991367,0.00002064183,0.0002855086,0.0001142132,0.0002334421,0.0002094491],"domain_scores_gemma":[0.999376,0.00006466388,0.00009888909,0.0003114671,0.0000471093,0.0001018617],"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.000001968711,0.00005385701,0.001770953,0.00004137574,0.00002890585,0.000001201762,0.00853741,0.00006589603,0.0001061822,0.9349294,0.005659759,0.04880306],"study_design_scores_gemma":[0.0004393907,0.00006756771,0.001305656,0.00001384727,0.000004970226,0.00004148934,0.0007415172,0.07727617,0.0005536609,0.009817199,0.9095099,0.000228654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01434746,0.0002547599,0.9547266,0.001722444,0.0002958195,0.0003023972,0.000002846486,0.0002187272,0.02812894],"genre_scores_gemma":[0.9729052,0.00001544344,0.02587605,0.0005882421,0.00008801746,0.00001627235,0.000007059225,0.00000429224,0.000499427],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9585577,"threshold_uncertainty_score":0.3424542,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02463984822771006,"score_gpt":0.2386764449150869,"score_spread":0.2140365966873768,"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."}}