The leaves of Polygonum minus were fractionated using an eluting solvent to evaluate the pharmacological mechanisms underlying the anti-ulcerogenic activity of P. minus. Different P. minus fractions were obtained and evaluated for their ulcer preventing capabilities using the ethanol induction method. In this study, Sprague Dawley rats weighing 150-200 g were used. Different parameters were est...

This chapter introduces the first basic concepts of co-modelling and co-simulation, including notions of system, model and co-model, simulation and co-simulation, etc. It also describes the ways in which co-modelling and co-simulation can be integrated with established development processes such as IEEE 15288 (Systems and Software Engineering—System Life Cycle Processes, [45]) and IEEE 12207 (S...

Results from phylogenetic analysis of nuclear rDNA internal transcribed spacer (ITS) sequences from a worldwide sample of Sanicula indicate that Hawaiian sanicles (Sanicula sect. Sandwicenses) constitute a monophyletic group that descended from a western North American ancestor in Sanicula sect. Sanicoria, a paraphyletic assemblage of mostly Californian species. A monophyletic group comprising ...

Preface Designing Screening Experiments (DSE) is a class of information-theoretical models for multiple-access channels (MAC). In Sect. 2-4, we discuss the combinatorial model of DSE called a disjunct channel model. This model is the most important for applications and closely connected with the superimposed code concept. In Sect. 2, we give a detailed survey of lower and upper bounds on the ra...

Pad6 approximants are a frequently used tool for the solution of mathematical problems. One of the main drawbacks of their use for multivariate functions is the calculation of the derivatives of f ( x 1 .... ,xp). Therefore multivariate Newton-Pad6 approximants are introduced; their computation will only use the value of f at some points. In Sect. 1 we shall repeat the univariate Newton-Pad6 ap...

We describe an implementation of the Maximally Stable Extremal Region ([3], Sect. 2, MSER) feature detector and an immediate multi-dimensional generalization ([1], Sect. 2). We propose an algorithm (Sect. 3) that is essentially uniontree with path-compression and union-by-rank (see for instance [4]). However we do not use the N-tree graph of [4] as for the purpose of fitting ellipses to the MSE...

The ability to succeed in diverse conditions is a key factor allowing introduced species to successfully invade and spread across new areas. Two non-exclusive factors have been suggested to promote this ability: adaptive phenotypic plasticity of individuals, and the evolution of locally adapted populations in the new range. We investigated these individual and population-level factors in Polygo...

The system AProVE (Automated Program Verification Environment) can be used for automated termination and innermost termination proofs of (conditional) term rewrite systems (TRSs). AProVE currently offers the techniques of recursive path orders possibly with status [3] (Sect. 2), dependency pairs including recent refinements such as narrowing, rewriting, and instantiation of dependency pairs [1,...