11,633 research outputs found
Verification of Liveness Properties in Distributed Systems
No full textThis paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement. In this paper we outline how enabledness preservation and non-divergence are related to the liveness properties of the B models of the distributed systems. We address the liveness issues related to our model of distributed transactions and outline the construction of proof obligations that need to be discharged to ensure liveness
The Beautiful Buds by R. B. Yadav
No full textThe Beautiful Buds by R. B. Yadav, New Delhi: Value Publications, ISBN 978-81-950577-8-8, 2021, Price: 650/-, Pages-134
Eriocaulon goaense Kolte, I. Yadav & Janarth. 2022, sp. nov.
No full text<p> <i>Eriocaulon goaense</i> Kolte, I.Yadav & Janarth., <i>sp. nov</i>. (Fig 1 & 2)</p> <p> Allied to <i>Eriocaulon cuspidatum</i> Dalzell, but differs in its broadly cuneate floral bracts that are densely hoary dorsally towards apex (vs. oblanceolate, sparsely hoary dorsally towards apex), narrowly keeled sepals of male flowers (vs. not keeled), obovate, conduplicate, broadly keeled sepals of female flowers that are smooth along margin, densely hairy along keel and on dorsal side (vs. oblanceolate, conduplicate, acuminate, keeled, scarious, glabrous), and unequal, linear to lanceolate petals of female flowers that are hoary at apex in odd petal (vs. subequal, spathulate, sparsely hoary at apex in all the petals).</p> <p> <b>Type</b>:— INDIA. <b>Goa</b>: North Goa, Goa University Campus, 15027 ’43.09”N 73049 ’ 59.77” E, 53m, 14 September 2019, <i>R. R. Kolte RRK 1890</i> (holo BSI!; iso SUK!).</p> <p>Acaulescent herb. Rootstock absent. Leaves 6–10 × 0.7–1 cm, rosulate, glabrous, entire along margin, cuspidate at apex. Sheaths up to 10 cm long, glabrous; limb ovate, acute, entire. Peduncles many, up to 35 cm high, 9–11 ridged. Heads ca. 7 mm across, hemispherical, straw coloured. Receptacles convex, glabrous. Involucral bracts 1.6–1.8 × 1.4–1.5 mm, chartaceous, oblong, spreading, obtuse, straw coloured. Floral bracts 1.4–1.5 × 1.1–1.2 mm, hyaline, broadly cuneate, obtuse, densely hoary dorsally towards apex. Male flowers: Sessile, sepals 2, ca. 2 mm long, hyaline, free, spathulate, narrowly keeled, densely hairy along keel and on dorsal side. Stipe of corolla 1.2–1.5 mm long. Petals 3, subequal, pubescent, dotted with black glands; odd one ca. 1 mm long, remaining 2 of same size, smaller than odd petal; anthers black. Female flowers: Shortly pedicelled. Sepals 2, free, similar, 1.4–1.5 × ca. 1 mm, obovate, conduplicate, broadly keeled, smooth along margin, hoary outside towards apex. Petals 3, unequal; odd one ca. 2 × 0.4 mm, lanceolate, hoary towards apex, black gland dotted; 2 petals similar, ca. 1.5 mm long, linear to narrow lanceolate, glabrous, black gland dotted. Ovary sessile, ellipsoid; style 3-fid. Seeds ca. 1 × 0.5 mm, ovoid, apiculate; cells of seed coat transversely elongated, arranged in vertical rows, appendage 1 from transverse radial walls.</p> <p> <b>Distribution</b>:—Scattered in distribution at low level lateritic plateaus of Goa.</p> <p> <b>Habitat</b>:—Shallow seasonal ponds of lateritic plateaus in association with <i>Eriocaulon fysonii</i> R.Ansari & N.P.Balakr. (1994: 89), <i>Oryza rufipogon</i> Griff. (1851: 5) and <i>Wiesneria triandra</i> (Dalzell 1850: 144) Micheli (1881: 82).</p> <p> <b>Flowering & Fruiting</b>:—July to November.</p> <p> <b>Etymology</b>:—Specific epithet ‘ <i>goaense</i> ’ refers to the state of Goa, wherein it is distributed.</p> <p> <b>Additional specimens examined (Paratypes)</b>:— INDIA. <b>Goa</b>: North Goa, Goa University Campus, 16 July 2010, <i>I. Yadav 1</i>; 24 July, 2010, <i>I. Yadav 2</i>; 31 July 2010, <i>I. Yadav 5</i>; 17 August 2010, <i>I. Yadav 8</i>; Succoro (Sukor) plateau, 18 September 2010, <i>I. yadav & M. K. Janarthanam 64</i>; South Goa, Farmagudi (Ponda), IIT Campus, 28 August 2010, <i>I. Yadav & M. K. Janarthanam 32</i>; 18 September, 2010, <i>I. Yadav & M. K. Janarthanam 35</i>; Loliem, 5 September 2010, <i>M. K. Janarthanam & I. Yadav 47</i>; 1 September 2018, <i>R. R. Kolte RRK 1710</i> (All at BSI!)</p> <p> <b>Note</b>:—This species is closely allied to <i>E. cuspidatum</i> which is occasionally found in wet or marshy places from sea level to 250 m altitude in Western Peninsular India, especially in Karnataka, Kerala and Maharashtra (Ansari & Balakrishnan, 2009). <i>Eriocaulon goaense</i> is so far known from shallow seasonal ponds of low level lateritic plateaus of Goa.</p>Published as part of <i>Kolte, Rutuja R., Yadav, Indu & Janarthanam, Malapati K., 2022, Eriocaulon goaense (Eriocaulaceae), a new species from lateritic plateaus of Goa, India, pp. 188-191 in Phytotaxa 532 (2)</i> on pages 189-190, DOI: 10.11646/phytotaxa.532.2.8, <a href="http://zenodo.org/record/5912666">http://zenodo.org/record/5912666</a>
Ng2 r/e data
No full textAnalysis of broken arc roughness for Nusselt number and friction factor with two symmetrical gaps with staggered element of r/e as 1.5-4.5
Not Available
No full textR Arora, DK Yadav and HS Yadav (2013) SNP analysis of Growth differentiation factor 8 (GDF8) gene in Indian sheep. Indian Journal of Animal Sciences 83 (3) : 304 - 306.Not AvailableNot Availabl
The hired farm labor market: some recent evidence from Oregon
No full textT.M. Hammonds, R. Yadav, and C. Vathana.This archived document is maintained by the State Library of Oregon as part of the Oregon Documents Depository Program. It is for informational purposes and may not be suitable for legal purposes.Includes bibliographical references (pages 22-23).Mode of access: Internet from the Oregon Government Publications Collection.Text in English
First person – Shweta Yadav
No full textABSTRACT
First Person is a series of interviews with the first authors of a selection of papers published in Journal of Cell Science, helping early-career researchers promote themselves alongside their papers. Shweta Yadav is the first author on ‘RDGBα localization and function at membrane contact sites is regulated by FFAT–VAP interactions’, published in Journal of Cell Science. Shweta is a post-doctoral associate in the laboratory of Prof. Juan Botas at Baylor College of Medicine, Texas, USA, investigating neurodegenerative diseases.</jats:p
Maintaining legal requirements of digital signature through public key cryptographic system
No full textTwo new species of Brachystelma Sims (Apocynaceae: Asclepiadoideae-Ceropegieae) from the Western Ghats of India
No full textTwo new species of Brachystelma: B. mahajanii Kambale & S. R. Yadav from Ebbanad, Nilgiri District, Tamil Nadu and B. vartakii Kambale & S. R. Yadav from Periya, Kasargod District, Kerala are described and illustrated
Ng2 r/e 1.5-4.5 p/e=10 p'/p=0.4 e=2 mm
No full textNusselt number and friction factor determination using artificial roughness using broken arc rib with staggered element. Values of parameters are e=2 mm, p/e=10, p'/p=0.4, r/e=1.5-4.5, Number of gaps=2, Reynolds number range 3000-14000
- …
