Corina Ĉırstea

1. Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
   2015/11/02 by Ichiro Hasuo, Shunsuke Shimizu, Hasuo, Ichiro +4 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.LO #cs.PL
2. Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
   2023/12/27 by Matthew Pugh, Pugh, Matthew, Jo Grundy +5 · 1 citation
   Computer Science · #Category Theory (math.CT) #Digital Image Processing Techniques #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Rough Sets and Fuzzy Logic #Topological and Geometric Data Analysis