A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Coalgebraic operations whose result type is structured as a coproduct of basic types are considered, and notions of coterm, covariable and coequation, dual to the algebraic notions of term, variable and equation, are used to specify structure...

Recent studies have proposed different methods for mining frequent episodes. In this work, we study the problem of mining closed episodes based on minimal occurrences. We study the properties of minimal occurrences and design effective pruning techniques to prune non-closed episodes. An efficient mining algorithm Clo_episode is proposed to mine all closed episodes following a breadth-first sear...

Background:  Parts of the implants placed over the meniscus during meniscal repair can wear down the cartilage in the contact zones and cause chronic synovitis. Placing horizontal sutures under the meniscus may overcome this potential hazard. The purpose of this prospective study was to evaluate the midterm results of arthroscopic meniscal repair using submeniscally placed out-in horizontal sut...