We study the state complexity of regular tree languages for tree matching problem. Given a tree t and a set of pattern trees L, we can decide whether or not there exists a subtree occurrence of trees in L from the tree t by considering the new language L′ which accepts all trees containing trees in L as subtrees. We consider the case when we are given a set of pattern trees as a regular tree la...

Regions in an image graph can be described by their spanning tree. A graph pyramid is a stack of image graphs at different granularities. Integral features capture important properties of these regions and the associated trees. We compute the depth of a rooted tree, its diameter and the center which becomes the root in the top-down decomposition of a region. The integral tree is an intermediate...

Our work aims to build a bridge between constructive (top-down) and analytical (bottom-up) approaches to software verification. This paper presents a tool-supported method for linking two existing verification methods: Event-B (constructive) and Dafny (analytical). This method combines Event-B abstraction and refinement with the code-level verification features of Dafny. The link transforms Eve...

a novel rice-husk-silica supported n-propyl bipyridinium chloride (rhprbpcl) has been prepared. due to the basicity of rhprbpcl, it was decided to evaluate its catalytic activity in the one-pot preparation of tetrahydrobenzo[b]pyran, dihydropyrano[3,2-c]chromene and dihydropyrano[4,3-b]pyran derivatives. the catalyst was characterized by ft-ir, sem and tga analyses. this methodology offers seve...

In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...

Recurrent cholestasis is not described as a feature of nonalcoholic steato-hepatitis (NASH). We describe a lean patient with recurrent jaundice and pruritus whose liver biopsy showed feature of NASH. His laboratory work up failed to establish any other etiology. His symptoms proved on balanced nutrition.

In this paper we sketch an approach for Natural Language parsing. Our approach is an example-based approach, which relies mainly on examples that already parsed to their representation structure, and on the knowledge that we can get from these examples the required information to parse a new input s e n t e n c e . In our approach, examples are annotated with the Structured String Tree Correspo...

The Marine Microbial Food Web (MMFW) includes heterotrophic microbes and their protist and viral predators. These microbes consume dissolved organic matter thereby making the MMFW a major component of global biogeochemical and energy cycles. However, quantification of the MMFW contribution to these cycles is dependent on a handful of techniques, all of which require laboratory-derived conversio...

LC tries were introduced by Andersson and Nilsson in 1993. They are compacted versions of tries or patricia tries in which, from the top down, maximal height complete subtrees are level compressed. Andersson and Nilsson (1993) showed that for i.i.d. uniformly distributed input strings, the expected depth of the LC patricia trie is (log n). In this paper, we reene and extend this result. We anal...