This cumulative habilitation thesis is based on five papers related to resolution decision procedures. Resolution is a well-known technique for first-order theorem proving. It is complete, but it does not terminate in general, when there exists no proof. In many cases, resolution can be modified in such a way that it becomes a decision procedure for certain subclasses of first-order logic. We h...

Metagenomic approaches provide access to the genetic diversity of environment for biotechnological applications, allowing discovery new enzymes and pathways numerous catalytic processes. Five putative type II CRISPR-Cas9 DNA endonucleases were identified from compost community using DELTA-BLAST algorithm. It was determined phylogenetic UPGMA analysis that four these potential are similar those ...

The DNA polymorphism among 92 selected tef genotypes belonging to eight origin groups was assessed using eight inter simple sequence repeat (ISSR) primers. The objectives were to examine the possibility of using ISSR markers for unravelling genetic diversity in tef, and to assess the extent and pattern of genetic diversity in the test germplasm with respect to origin groups. The eight primers w...

Paris polyphylla Sm. is a vulnerable medicinal plant distributed in the Himalayan countries. This has numerous pharmacological benefits, including anticancer, anti-inflammatory, analgesic, and antipyretic properties. The distribution, conservation status, traditional usage of this species are fairly known Nepal. However, its diversity population structure at molecular level unexplored. study an...

a r t i c l e i n f o Keywords: 2-norm Cophenetic correlation coefficient Beta diversity Dendrogram UPGMA Ward's algorithm Investigation of patterns in beta diversity has received increased attention over the last years particularly in light of new ecological theories such as the metapopulation paradigm and metacommunity theory. Traditionally , beta diversity patterns can be described by cluste...

In Egypt, the seed and pollen grain morphology of genus Tephrosia Pers. were studied using light scanning electron microscopy. Qualitative quantitative characters seeds grains are presented. The data suggest that several morphological can distinguish taxa Tephrosia. Based on UPGMA clustering analysis PCA, three main clades recognized: Clade A comprising T. kassasii, clade B apollinea, purpurea,...

A 78-year-old woman with burn-induced cervico-mento-sternal scar contracture was scheduled for laparoscopic cholecystectomy. During inhalational induction of sevoflurane, her airway patency deteriorated. The right lateral position and assist ventilation using a breathing bag dramatically improved her airway patency.

the genetic diversity of 89 flue-cured tobacco varieties was examined using 12 issr primers. these cultivarswere evaluated at the guilan tobacco research center, rasht, iran, using a 7×7 simple lattice design with two replications, and 12 morphological traits. the total number of pcr amplified products was 143 bands ranging from 450 to 3000 bp, of which 108 bands (74.28%) were polymorphic. prim...