1,721,141 research outputs found
Place names in legal texts. Vagueness and ambiguity in the Italian Medieval Lombard kingdoms
No full textThis paper considers the role played by vagueness and ambiguity when applied to geographic referents. Through a corpus of Latin purchase and gift contracts, dating to the 8th-10th centuries and written in the Bergamo and Salerno areas during the Lombard kingdoms, the study focuses on the formula locus ubi dicitur lit. ‘place where it is called’, particularly productive and characteristic in the texts, with the aim of confronting strategies employed by Northern and Southern notaries. The analysis shows that notaries use the trigger phrase locus ubi dicitur as a strategy to highlight a difficulty in the attribution of a name to a place and, as such, can be described as a case of intentional vagueness. Relevant in the vague use of the phrase is the ambiguity of locus itself which in the documents is highly polysemous and whose meaning is characterised by an interpretative indeterminacy which is context-dependent. The analysis shows that vagueness, when applied to geographic referents, is semantic, rather than ontic, as it lies in the representation system and, thus in the representation process, not in its product
Electron scattering by spatially correlated DX charges
No full textElectron scattering by a spatially correlated system of DX charges has been described using the formalsim of composition waves. The matrix element for the scattering rate is given through an I(Q) interference function (Q=scattering vector) containing pair correlation functions ɛ(p) defined at the p lattice vectors. The ɛ(p) are able to describe long-range as well as short-range order and they are simply related to short-range order correlation functions given in the literature. The method is developed for scattering centers having equal charges; the case of positively and negatively charged impurities present together is briefly discussed. A comparison between the two extreme cases of randomly distributed scattering centers and of centers arranged in a superlattice suggests, for intermediate cases, an I(Q) given by an array of Gaussian shaped functions with common dispersion σ, centered on the reciprocal nodes of a virtual superlattice. On this basis, experimental mobility data for Si-doped Al0.25Ga0.75As samples prepared by molecular beam epitaxy have been analyzed and discussed. Data refer to isothermal electron capture transients into DX centers, as well as to steady-state measurements taken for different free electron densities under a persistent photoconductivity regime. It has been confirmed that the initial stage of the capture process takes place together with increasing order in the scattering center distribution (decreasing σ), whereas the contrary happens during the final stage (increasing σ)
COVER: Change-based goal verifier and reasoner
No full textCOVER is a unified framework that supports the interplay between requirements analysts and software developers. It contracts a bridge between the requirements analyst's and the software developer's artifacts by enabling goal model analysis during software design. The goal model produced by the requirements analyst is kept alive and updated while the system is designed. Whenever the design of the system changes, COVER verifies the new design against the requirements of interest. The verification results are used to trigger a goal model analysis procedure. The results of this analysis can be used by the requirements analyst and the software developer to update the goal model or the design of the system. In this paper, we present the tool support developed for COVER
A model checking approach to verify BPEL4WS workflows
No full textThe increasing diffusion of service oriented computing in critical business transactions demands reliability and correctness of the workflow logic representing web service orchestrations.
We present an approach for the formal verification of workflow-based compositions of web services, described in BPEL4WS. Workflow processes can be verified in isola- tion, assuming that the external services invoked are known only through their interface. It is also possible to verify that the actual composition of two or more processes behaves correctly. We can verify deadlock freedom, properties expressed as data-bound assertions written in WS-CoL, a specification language for web services, and LTL temporal properties. Our approach is based on the software model checker Bogor, whose language supports the modeling of all BPEL4WS constructs.
We provide an empirical evaluation of our approach and we compare the results with other BPEL4WS model checking tools
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe 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
Full text link“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
Appropriate Similarity Measures for Author Cocitation Analysis
Full text linkWe 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
- …
