Cirstea, Corina

1. Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
   2015/11/02 by Hasuo, Ichiro, Shimizu, Shunsuke, Cirstea, Corina · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
   2023/12/27 by Matthew Pugh, Jo Grundy, Pugh, Matthew +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