188,144 research outputs found
Semigroups with if-then-else and halting programs
No full textThe "if–then–else" construction is one of the most elementary programming commands, and its abstract laws have been widely studied, starting with McCarthy. Possibly, the most obvious extension of this is to include the operation of composition of programs, which gives a semigroup of functions (total, partial, or possibly general binary relations) that can be recombined using if–then–else. We show that this particular extension admits no finite complete axiomatization and instead focus on the case where composition of functions with predicates is also allowed (and we argue there is good reason to take this approach). In the case of total functions — modeling halting programs — we give a complete axiomatization for the theory in terms of a finite system of equations. We obtain a similar result when an operation of equality test and/or fixed point test is included
Else, R C, VX113027
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/383905Surname: ELSE. Given Name(s) or Initials: R C. Military Service Number or Last Known Location: VX113027. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 48898.228154
Item: [2016.0049.16198] "Else, R C, VX113027
Appropriate Similarity Measures for Author Cocitation Analysis
No full textWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Robert Schwinner (1878 - 1953), ein Vorkämpfer der Plattentektonik : Ausstellungskatalog ; Universitätsbibliothek Graz, 17. November 2003 - 2. Jänner 2004
No full textBernhard Hubmann & Else FritschlBibliogr. R. Schwinner S. 25 - 32. - Literaturverz. S. 44 - 4
Randomised, placebo-controlled, trial comparing low dose versus standard dose Lenograstim (L) following myeloablative chemotherapy (HDT) and peripheral blood progenitor cell rescue [PBPCR) for lymphoma
No full text"Closing the R&D Gap, Evaluating the Sources of R&D Spending"
No full textBoth spending and tax policies have been implemented in the United States with the goal of stimulating private sector research and development (R&D). Karier questions whether current R&D policy, especially the research and experimentation tax credit, can contribute to closing the gap between nondefense expenditures on R&D in the United States and such expenditures in other countries, such as Japan and Germany. He also explores possible changes to our current R&D policy to make it more effective.
Figure 3 from: Noyes JS, Else GR (2020) Michael Charles Day (1942–2020). Journal of Hymenoptera Research 80: 193-202. https://doi.org/10.3897/jhr.80.60742
No full textFigure 3 Mick outside his home in Pen y Cae, April 2015 (Photo George Else)
Chloranthales R. BR. ex SIMS 1821
No full textOrderChloranthales R.BR. ex SIMS, 1821 R e m a r k s. Chloranthoid fossils are the most diverse group of angiosperms in the Catefica mesofossil flora. Eighteen taxa are recognized based on inflorescences and flowers as well as isolated fruits, seeds and stamens (Textfigs 2–16, Tab. 1).Published as part of Friis, Else Marie, Crane, Peter R., Pedersen, Kaj Raunsgaard, Mendes, Mário Miguel & Kvaček, Jiří, 2022, The Early Cretaceous Mesofossil Flora Of Catefica, Portugal: Angiosperms, pp. 341-424 in Fossil Imprint 78 (2) on page 345, DOI: 10.37520/fi.2022.016, http://zenodo.org/record/752280
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
- …
