{"id":"W1480424271","doi":"","title":"Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers","year":2006,"lang":"en","type":"book","venue":"Springer eBooks","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Kleene algebra; Relational algebra; Algebra over a field; Kripke semantics; Relational calculus; Duality (order theory); Mathematics; Universal algebra; Codd's theorem; Two-element Boolean algebra; Subalgebra; Relational database; Computer science; Relational model; Theoretical computer science; Discrete mathematics; Pure mathematics; Algebra representation; Intermediate logic; Description logic","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002674847,0.0005400786,0.0006861328,0.00191213,0.0002631143,0.000101286,0.001388415,0.0002523981,0.00003081009],"category_scores_gemma":[0.0002322337,0.0005575683,0.0000982994,0.0009122426,0.0008777059,0.0006022608,0.0007981971,0.0009975082,0.000002564032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002118656,"about_ca_system_score_gemma":0.003518817,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003393737,"about_ca_topic_score_gemma":0.008079361,"domain_scores_codex":[0.9945138,0.0002517279,0.001342883,0.001580616,0.001768392,0.000542608],"domain_scores_gemma":[0.9956025,0.00140733,0.001076022,0.0009468926,0.0007711771,0.000196013],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002404385,0.0003388546,0.001744905,0.0001501343,0.0001348438,0.00003183333,0.0004784154,0.05151623,0.003168505,0.3832131,0.00352262,0.5554601],"study_design_scores_gemma":[0.004718401,0.0004317373,0.2369481,0.008961204,0.00009233554,0.0001372016,0.00005818574,0.3434802,0.00823891,0.00951692,0.3838212,0.003595561],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008221607,0.00009708873,0.9841042,0.0003895174,0.001328764,0.001103979,0.0001730412,0.00007318245,0.01190809],"genre_scores_gemma":[0.005561663,0.00003540512,0.9822867,0.0003463292,0.0005474083,0.0002056921,0.0003134844,0.00006484049,0.01063851],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5518645,"threshold_uncertainty_score":0.9996876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02789891293622702,"score_gpt":0.3208834719272247,"score_spread":0.2929845589909976,"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."}}