1,720,971 research outputs found
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications
Get PDFStrategy Logic (SL) has recently come to the fore as a useful
specification language to reason about multi-agent systems.
Its one-goal fragment, or SL[1G], is of particular interest as
it strictly subsumes widely used logics such as ATL*, while
maintaining attractive complexity features. In this paper we
put forward an automata-based methodology for verifying
and synthesising multi-agent systems against specifications
given in SL[1G]. We show that the algorithm is sound and
optimal from a computational point of view. A key feature
of the approach is that all data structures and operations on
them can be performed on BDDs. We report on a BDD-based
model checker implementing the algorithm and evaluate its
performance against a number of scalable scenarios
Practical verification of multi-agent systems against Slk specifications
Get PDFWe introduce Strategy Logic with Knowledge, a novel formalism to reason about knowledge and strategic ability in memoryless multi-agent systems with incomplete information. We exemplify its expressive power; we define the model checking problem for the logic and show that it is PSPACE-COMPLETE. We propose a labelling algorithm for solving the verification problem that we show is amenable to symbolic implementation. We introduce [Figure presented], an extension of the open-source model checker MCMAS, implementing the proposed algorithm. We report the benchmarks obtained on a number of scenarios from the literature, including the dining cryptographers protocol. © 201
Going Beyond Counting First Authors in Author Co-citation Analysis
Get PDFThe 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
Get PDF“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
Get PDFWe 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
Get PDFWe 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
koamabayili/VECTRON-author-checklist: VECTRON author checklist
No full textWe have done our best to complete the author checklist relating to the use of animals in the hut study. Note that the objective for the hut study was to evaluate the IRS treatment applications for residual efficacy against Anopheles mosquitoes, including the local An. coluzzii mosquito population. Cows were only used to attract mosquitoes into the huts and no tests were carried out directly on the cows. The author checklist is intended for use with studies where experiments are carried out on animals, which is why we have had such difficulty in completing this for the hut study, as many of the questions do not relate to how the cows were used
La traducción como proceso de decisiones: su reflejo en los corpus paralelos
No full textiří Levý’s idea to conceive translation as a decision-making process is of great interest to both linguists and specialists in translation and. The interest in analyses of translations, in comparing expressions of the same content in various languages, led to the origin of the so-called parallel corpus, a type of linguistic corpus in which each text has a corresponding version in one or several other languages. Based on linguistic material obtained from the InterCorp parallel corpus (corpus created by the Faculty of Arts, Charles University in Prague, www.korpus.cz/intercorp), the article analyzes the possibilities offered by parallel corpora to researchers who aim to describe translation processes. The author of the study focuses on various factors which influence the translation as a decision-making process (e.g. the context, the role of a translator, etc.). Besides, he concentrates on the problem of equivalence/correspondence of the translated with the original. There are some deficiencies regarding this methodology, but it presents an important contribution to the theory of translation.La conception de Jiří Levý de la traduction comme un processus de prise de décision représente un sujet d’intérêt autant pour les spécialistes de la traduction que pour les linguistes. Les « corpus parallèles », type de corpus linguistique où chaque texte possède un équivalent dans une ou plusieurs langues différentes, apparaissent grâce à l’intérêt pour l’analyse des traductions et pour la comparaison des expressions d’un même contenu entre plusieurs langues. En tentant compte du matériel linguistique obtenu du corpus parallèle InterCorp (corpus développé au sein de la Faculté de Lettres de l’Université Charles de Prague), cet article analyse les multiples usages des corpus parallèles pour les chercheurs qui visent à décrire le processus de traduction. On s’occupe des divers facteurs intervenant dans la traduction comme un processus de prise de décision tels que : le contexte et le rôle du traducteur. De plus, on attire l’attention sur le problème de l’équivalence/correspondance entre le texte traduit et le texte original. Bien que cette nouvelle méthodologie ait quelques faiblesses, les corpus parallèles constituent une contribution significative à la théorie de la traduction.Resumen:La idea de Jiří Levý de concebir la traducción como un proceso de decisiones es muy interesante tanto para los especialistas en traducción como para los lingüistas. El interés por analizar las traducciones, por comparar la expresión de un mismo contenido en varias lenguas dio lugar a los llamados corpus paralelos, un tipo de corpus lingüístico en el que cada texto tiene su versión correspondiente en otro u otros idiomas. Sirviéndose del material lingüístico extraído del corpus paralelo InterCorp (corpus creado en la Facultad de Letras de la Universidad Carolina de Praga, www.korpus.cz/intercorp), el artículo ilustra las posibilidades que los corpus paralelos ofrecen a los investigadores que pretenden describir el proceso de la traducción. Partiendo del análisis de traducciones que forman parte del corpus, el autor del artículo comenta diferentes factores que influyen en la traducción, en “el proceso de toma de decisiones” (el contexto, el papel del propio traductor, etc.). Además, presta atención al problema de la equivalencia/correspondencia del texto traducido con el texto original. El artículo muestra que, aunque esta nueva metodología presenta también algunas insuficiencias, los corpus paralelos constituyen en nuestro tiempo una aportación relevante a la teoría de la traducción
- …
