DLOG
2011
13 years 4 months ago
2011
We introduce an algorithm for MinA extraction in EL based on bidirectional reachability. We obtain a significant reduction in the size of modules extracted at almost no additional...
SIAMIS
2010
13 years 10 months ago
2010
We consider the inverse problem of reconstructing thin tubular inclusions inside some three-dimensional body from measurements of electrostatic currents and potentials on its bound...
IGPL
2007
14 years 11 days ago
2007
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...