output
20012022
most citedAutomated polyp detection in colon capsule endoscopy

306 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2016 · math.GRShow all

4 papers · 2 filters

math.GR2016

A note on the finite basis and finite rank properties for pseudovarieties of semigroups

J. Almeida, M. H. Shahzamanian

The finite basis property is often connected with the finite rank property, which it entails. Many examples have been produced of finite rank varieties which are not finitely based…

math.GR2016★ 2 cited

Reducibility versus definability for pseudovarieties of semigroups

J. Almeida, O. Klíma

It is easy to show that a pseudovariety which is reducible with respect to an implicit signature for the equation can also be defined by -identities. We present severa…

math.GR2016★ 1 cited

The semaphore codes attached to a Turing machine via resets and their various limits

John Rhodes, Anne Schilling, Pedro V. Silva

We introduce semaphore codes associated to a Turing machine via resets. Semaphore codes provide an approximation theory for resets. In this paper we generalize the set-up of our pr…

math.GR2016★ 3 cited

The omega-inequality problem for concatenation hierarchies of star-free languages

J. Almeida, O. Klíma, M. Kunc

The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows th…