1,355,421 research outputs found
A First Order Theory of Diagram Chasing
No full textThis paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order theory, and we study the models and decidability of this theory. The longer-term motivation of this work is the design of a computer-aided instrument for writing reliable proofs in homological algebra, based on interactive theorem provers
Detection of Wet Riparian Areas using Very High Resolution Multispectral UAS Imagery Based on a Feature-based Machine Learning Algorithm
No full textUnmanned Aerial System (UAS) imagery has
enabled very high-resolution multispectral image
acquisition. Detection of wet areas and classification of
land cover based on these images using the Machine
Learning (ML) algorithm named Random Forest (RF) is
our main purpose in this paper. Very high-resolution UAS
images have been used as inputs for a machine learner to
access the capability of different spectral bands and
spectral vegetation indices, elevation, and texture features
in the classification of land cover and detection of the wet
riparian area in the case study in two different epochs.
There are many existing methods for the classification of
land cover based on UAS images, but very high-resolution
centimeter-level data are of main importance in this
analysis. Outstanding results have been produced in both
epochs considering three extremely accurate performance
analysers. Additionally, in this research, the most decisive
and effective features have been discovered to
compromise accuracy and the number of effectual
features
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
Variations on the Author
No full text“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Gardening with the Pythia A Model of Continuity in a Dependent Setting
No full textWe generalize to a rich dependent type theory a proof originally developed by Escardó that all System functionals are continuous. It relies on the definition of a syntactic model of Baclofen Type Theory, a type theory where dependent elimination must be strict, into the Calculus of Inductive Constructions. The model is given by three translations: the axiom translation, that adds an oracle to the context; the branching translation, based on the dialogue monad, turning every type into a tree; and finally, a layer of algebraic binary parametricity, binding together the two translations. In the resulting type theory, every function f : (ℕ → ℕ) → ℕ is externally continuous
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
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
Provenance of the Oligo-Miocene Zivah Formation, NW Iran, assessed using heavy mineral assemblage, detrital clinopyroxene and detrital apatite geochemistry
No full textHeavy mineral analysis and geochemical analysis of detrital clinopyroxene and apatite have been used to determine provenance and tectonic setting of the Oligocene-Miocene Zivah Formation, in three outcrop sections from the Moghan area in northwest Iran. The composition of assemblages from the Zivah sandstones have a majority of clinopyroxene, apatite, biotite and opaque minerals with
minor amounts of hornblende, zircon, garnet and epidote. The abundance of a mafic heavy-mineral suite such as clinopyroxene relative to metamorphic and felsic heavy mineral suites such as epidote, garnet and zircon indicates a convergent tectonic setting. Geochemistry of detrital clinopyroxenes from the Zivah Formation also indicates that these detrital grains probably crystallized from calk-alkaline magmas. They also show orogenic tectonic setting at the time of Zivah deposition. This is consistent with the derivation of these sediments from areas with
calc-alkaline volcanic rocks like Talysh and Lesser Caucasus as a result of Caucasus orogeny. Compositions of detrital apatites of the Zivah Formation are also consistent with the widespread distribution of unfractionated (mafic / intermediate) volcanic rocks of both alkaline and calc-alkaline composition in the Lesser Caucasus and Talysh
Author, publisher and bookseller : a tripartite synergy in Nigerian book industry
No full textThis work is about the roles of Author, Publisher and Bookseller in Book development in
Nigeria. The paper started by delving into the history of Book Publishing in Nigeria after
which it proceeded by defining who an author, a publisher, and a bookseller is and
expatiated on the indispensable roles of these key actors in Nigerian Book Industry and in
the emerging Information Society. Furthermore, the various constraints to book
development were identified while the paper advised on how the Book Industry can be
further promoted in Nigeria. However, the paper concluded and made recommendations
on how the Book sector can help in enhancing scholarship in the country
The Thursday Murder Club: Launching a megabrand author - a publishing case study
No full textIn 2020, the Christmas book charts in the UK made headlines: Barack Obama’s eagerly awaited autobiography, The Promised Land, was beaten to the top spot by The Thursday Murder Club by Richard Osman, a debut cosy crime novel set in a retirement village. Not only did Osman’s book beat the former US president’s expected bestseller, it also broke records, becoming the fastest-selling debut crime novel of all time. Although Osman has a certain level of fame in the UK from his TV appearances on shows such as Pointless, his celebrity status does not entirely explain the novel’s huge sales. This article tracks the acquisition, publication, and promotion journey of The Thursday Murder Club in order to understand the industry and cultural context of its success and to interrogate the role of celebrity in the creation of author brands. The findings suggest that the unexpected scale of the success of the book owed to a number of factors, including in-depth editing by the novel’s agent, editor, and author to tighten up the plot, an extensive and strategic promotional campaign, the pandemic (which drove interest in the book’s genre and themes), and the quality of the writing. We find that the book’s success was accentuated by Osman’s celebrity status rather than being entirely reliant on it. This research adds to the growing scholarship on celebrity authorship by means of an in-depth case study and provides insight into the processes behind publishing a ‘celebrity’ book and launching a megabrand author
- …
