{"id":"W2066238078","doi":"10.1016/j.jlap.2014.02.011","title":"Relational properties of sequential composition of coalgebras","year":2014,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Composition (language); Bisimulation; Dedekind cut; Mathematics; Algebraic number; Process (computing); Algebra over a field; Process calculus; Iterative and incremental development; Computer science; Pure mathematics; Theoretical computer science; Discrete mathematics; Programming language; Mathematical analysis","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.003804156,0.0003993016,0.0007396886,0.001626925,0.001909312,0.004424432,0.001087988,0.0007527557,0.00652769],"category_scores_gemma":[0.01141855,0.0008944984,0.001545581,0.001455988,0.003326318,0.007658674,0.00180127,0.001356655,0.0006944702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001012569,"about_ca_system_score_gemma":0.001305002,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001727062,"about_ca_topic_score_gemma":0.001613981,"domain_scores_codex":[0.9964783,0.0007688596,0.0004875689,0.0008116718,0.001105647,0.0003480568],"domain_scores_gemma":[0.9871767,0.006949753,0.00144558,0.00194619,0.001918374,0.0005633808],"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.0002583598,0.00009268925,0.003373848,0.0001075771,0.00006799428,0.0004604876,0.001216399,0.004071592,0.007939874,0.9656937,0.0005241822,0.01619329],"study_design_scores_gemma":[0.00005786784,0.0001041694,0.001639996,0.00003078621,0.0001373935,0.000559248,0.0003550643,0.02209325,0.01359972,0.9558355,0.005548266,0.00003887724],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3483467,0.0005574831,0.6271674,0.000459018,0.0001503063,0.0001856591,0.000541592,0.000900573,0.02169129],"genre_scores_gemma":[0.9161264,0.0002389073,0.07643257,0.0001171372,0.0001628913,0.000125612,0.0005869589,0.0002217839,0.005987651],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00652769,"threshold_uncertainty_score":0.02183729,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0893667256257699,"score_gpt":0.3298400920710254,"score_spread":0.2404733664452555,"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."}}