Showing 1 - 3 results of 3 for search 'Corina Cirstea', query time: 0.02s Refine Results
  1. 1
    Linear-time logics -- a coalgebraic perspective

    Linear-time logics -- a coalgebraic perspective by Corina Cirstea

    Published 2024-06-01
    Get full text
    Article
  2. 2
    EXPTIME Tableaux for the Coalgebraic mu-Calculus

    EXPTIME Tableaux for the Coalgebraic mu-Calculus by Corina Cirstea, Clemens Kupke, Dirk Pattinson

    Published 2011-08-01
    Get full text
    Article
  3. 3
    Using Kan Extensions to Motivate the Design of a Surprisingly Effective Unsupervised Linear SVM on the Occupancy Dataset

    Using Kan Extensions to Motivate the Design of a Surprisingly Effective Unsupervised Linear SVM on the Occupancy Dataset by Matthew Pugh, Jo Grundy, Corina Cirstea, Nick Harris

    Published 2024-09-01
    Get full text
    Article

Search Tools: