141,665 research outputs found
C. C. Mehta
No full textOn the life and works of Chandravadan Chimanlal Mehta, b. 1901, Gujarati author
Mehta Aban B. — The Domestic Servant Class
No full textH. J. Mehta Aban B. — The Domestic Servant Class. In: Population, 17ᵉ année, n°2, 1962. p. 358
Mehta Aban B. — The Domestic Servant Class
No full textH. J. Mehta Aban B. — The Domestic Servant Class. In: Population, 17ᵉ année, n°2, 1962. p. 358
Rodin: an open toolset for modelling and reasoning in Event-B
No full textEvent-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. In this article we present the Rodin modelling tool that seamlessly integrates modelling and proving. We outline how the Event-B language was designed to facilitate proof and how the tool has been designed to support changes to models while minimising the impact of changes on existing proofs. We outline the important features of the prover architecture and explain how well-definedness is treated. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Dispelling the Myths Behind First-author Citation Counts
No full textWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
Mehta Rama — The Western Educated Hindu Woman
No full textB H. Mehta Rama — The Western Educated Hindu Woman. In: Population, 27ᵉ année, n°3, 1972. pp. 552-553
wfschneidergroup/SI-mehta-plasma-N2-vibrations: v0.4
No full text<p>supporting dataset for our paper</p>
wfschneidergroup/SI-mehta-beyond-eq: Version 1
No full textSupplementary Dataset: Plasma-Catalytic Ammonia Synthesis Yields Beyond the Equilibrium Limi
- …
