201,142 research outputs found
Semigroups with if-then-else and halting programs
The "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
Your Diamond Dreams Cut Open My Arteries: Poems by Else Lasker-Schüler
Critics have called Else Lasker-Schüler the greatest of all German women poets and one of the finest Jewish poets. This large and representative selection of translations by Robert P. Newton, supplemented by a biographical and critical introduction and a selected bibliography, was the first substantial presentation of her works in English at its original publication in 1982
Author-wise bibliometric analysis based on entropy.
Author-wise bibliometric analysis based on entropy.</p
Going Beyond Counting First Authors in Author Co-citation Analysis
The 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
Appropriate Similarity Measures for Author Cocitation Analysis
We 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
Everything Is Fine or Else
Everything Is Fine Or Else is a creative work submitted to the graduate school by JP Mayer in partial fulfillment of the requirements for the English Department’s MFA degree in creative writing. The thesis is a comedic novel about grief and isolation, written in the form of a Greek play. It takes place in Providence, Rhode Island.</p
Everything Is Fine or Else
Everything Is Fine Or Else is a creative work submitted to the graduate school by JP Mayer in partial fulfillment of the requirements for the English Department’s MFA degree in creative writing. The thesis is a comedic novel about grief and isolation, written in the form of a Greek play. It takes place in Providence, Rhode Island.</p
- …
