The system AProVE (Automated Program Verification Environment) offers a variety of techniques for automated (innermost) termination proofs of (possibly conditional) TRSs, logic programs, and first-order functional programs. Besides efficient implementations of classical simplification orders (Sect. 2), it offers the dependency pair technique [2,11] which allows the application of classical orde...

the present study attempts to define the meaning of faith according to the views of morjeeh since this definition distinguishes this sect from the other sects of the era and the belief in this definition of faith is the common point among all the branches of morjeeh. finally, this study criticizes their view on the basis of the quran and the traditions (hadiths) of the shiite imams (peace be up...

The eponymous theorem of P.L. Wantzel [Wan] presents a necessary and sufficient criterion for angle trisectability in terms of the third Chebyshev polynomial T3, thus making it easy to prove that there exist non-trisectable angles. We generalize this theorem to the case of all Chebyshev polynomials Tm (Corollary 1.4.1). We also study the set m-Sect consisting of all cosines of m-sectable angles...

UNLABELLED PREMISE OF THE STUDY Microsatellite markers were characterized in Tricyrtis macrantha (sect. Brachycyrtis, Convallariaceae), a vulnerable species endemic to Japan, to investigate its genetic diversity and population structure. • METHODS AND RESULTS Eleven microsatellite markers were developed. The number of alleles per locus ranged from one to seven, and genetic diversity per lo...

Morphological differences among Korean Allium subgenus Rhizirideum sect. Sacculiferum and some related species are minor, making species delimitation difficult. Inter-simple sequence repeat (ISSR) was employed to assess genetic diversity and relationships. Thirty-four accessions, representing six taxa of A. thunbergii, A. sacculiferum, A. deltoides-fistulosum, A. cyaneum var. cyaneum, A. cyaneu...

The study of high-velocity clouds has progressed much since the appearance of the review article by Wakker & van Woerden (1997), less than two years ago. Much of this progress is described in these workshop proceedings. Here we update the review article, summarizing the topics discussed at the workshop as well as covering the recent literature. We follow the outline of the review, describing HI...

Phylogenetic analysis of amplified fragment length polymorphisms (AFLP) was used to infer patterns of morphologic and chromosomal evolution in an eastern North American group of sedges (ENA clade I of Carex sect. Ovales). Distance analyses of AFLP data recover a tree that is topologically congruent with previous phylogenetic estimates based on nuclear ribosomal DNA (nrDNA) sequences and provide...

Phylogenetic analysis of amplified fragment length polymorphisms (AFLP) was used to infer patterns of morphologic and chromosomal evolution in an eastern North American group of sedges (ENA clade I of Carex sect. Ovales). Distance analyses of AFLP data recover a tree that is topologically congruent with previous phylogenetic estimates based on nuclear ribosomal DNA (nrDNA) sequences and provide...

PREMISE OF THE STUDY Eleven nuclear and four plastid microsatellite markers were screened for two gypsum endemic species, Oenothera gayleana and O. hartwegii subsp. filifolia, and tested for cross-amplification in the remaining 11 taxa within Oenothera sect. Calylophus (Onagraceae). METHODS AND RESULTS Microsatellite markers were tested in two to three populations spanning the ranges of both ...