This work deals with the specification and the verification of concurrent systems. Our goal is to exploit an implementable model, namely the maximality -based labelled transition system, which permits expressing true-concurrency in a natural way without splitting actions on their start and end events. To do this, we give an operational semantics to build maximality-based labelled transition sys...

Abstract: This paper studies the approximate controllability issue of an abstract semilinear stochastic control system with nonlocal conditions. Sufficient conditions are formulated and proved for the approximate controllability of such systems by splitting the given semilinear system into two systems, namely a semilinear deterministic system and a linear stochastic system. To prove the approxi...

pathogenicity of wheat stem rust was investigated during two cropping seasons of the years 2010 and 2011. towards this end, 47 isogenic lines of wheat stem rust along with 43 cultivars/lines of the crop were tested in field conditions (natural infection) and also in the greenhouse conditions. the results showed, similarity of pathogenicity for plants carring gene/s sr7b, sr8a, sr8b, sr9b, sr9d,...

Background: Recent clinical studies of treating traumatic brain injury (TBI) with autologous adult stem cells led us to compare effect of intravenous injection of bone marrow mesenchymal stem cells (BMSC) and bone marrow hematopoietic stem cell mobilization, induced by granulocyte colony stimulating factor (G-CSF), in rats with a cortical compact device. Methods: Forty adult male Wistar rats w...

abstract in order to determine the time of maximum demand of winter wheat (triticum aestivum l.) to phosphorous fertilizers and p and zinc (zn) distribution in different parts of wheat at various growth stages and study their relation to the contents of these elements in soil p and zn under field conditions, samples were collected from different parts of the plants at seven growth stages (i.e.,...

this study was conducted to evaluate the effect of preservative solutions on vase life, number of bacteria in the end of stem and in vase solution of cut gerbera 'double dutch' and 'red explotion'. cut flowers were pulse-treated with nano-silver (2, 4, 6, 8 or 10 mg l-1) and thymol (12.5, 25, 50, 75 or 100 mg l-1) +5 % sucrose. experiment was conducted in completely randomized design with 5 rep...

1Department of Thoracic Surgery, Medical Faculty of Kırıkkale University, Kırıkkale, Turkey 2Department of Biology, Hacettepe University, Faculty of Science, Ankara, Turkey 3Department of Pathology, Medical Faculty of Başkent University, Ankara, Turkey 4Department of Internal Medicine, Kırıkkale University, Faculty of Veterinary Medicine, Kırıkkale, Turkey 5Department of Cardiovascular Surgery,...

Planarians have high regenerative ability, which is dependent on pluripotent adult somatic stem cells called neoblasts. Recently, canonical Wnt/β-catenin signaling was shown to be required for posterior specification, and Hedgehog signaling was shown to control anterior-posterior polarity via activation of the Djwnt1/P-1 gene at the posterior end of planarians. Thus, various signaling molecules...