1,721,034 research outputs found
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
Théorie des jeux pour la synthèse temps-réel: décision, approximation et aléatoire
No full textSoftware systems are ubiquitous, and their reliability is often crucial, especially for theones operating in embedded hardware, where the energetic sobriety moreover matters.To bring reliable guarantees, formal methods have been used for many years, with greatsuccess, among them automata based techniques and the renowned model checkingapproach. Instead of manually building a model, and verify it afterwards, anotherparadigm consists in automatically synthesising such correct by construction software,using game theory. Two players, the controller and an environment, are fighting oneagainst the other in a zero-sum game played on a graph of all possible configurations ofthe system. Energy, or other quantitative metrics of interest, are then modelled by theaddition of weights in the games. While some results have been obtained in the presenceof non-negative weights only, my objective has been to incorporate negative weights inthe picture, to model richer quantitative behaviours. This manuscript aims at studyinga combination of reachability objective with the total-payoff metrics, i.e. shortest-pathgames where one player wants to reach a target of the graph while minimising thecumulated weight. Our study starts with the case of finite graph games, with the searchfor efficient algorithms to compute optimal values and strategies. We then continue byadding clocks and time constraints in the games, in order to design efficient programssatisfying some real-time specifications. This leads to a notoriously difficult class ofgames where undecidability emerges very quickly. Our work consists into the search forfragments with decidable results, either by limiting the number of clocks, or the cyclicbehaviours in the game. A last chapter also studies the use of stochasticity in strategiesin order to limit the amount of memory needed for players to play optimally.Les systèmes logiciels sont omniprésents et leur fiabilité est souvent cruciale, en parti-culier pour ceux qui fonctionnent dans du matériel embarqué, où la sobriété énergétiqueest aussi un paramètre crucial. Pour apporter des garanties sûres, les méthodes formellessont utilisées depuis de nombreuses années, avec beaucoup de succès, avec entre autresdes techniques basées sur les automates et le célèbre model checking. Au lieu de créermanuellement un logiciel, son modèle et de vérifier celui-ci dans un deuxième temps, unautre paradigme consiste à synthétiser automatiquement un logiciel correct par construc-tion, en utilisant la théorie des jeux. Deux joueurs, le contrôleur et un environnement,s’affrontent dans un jeu à somme nulle joué sur un graphe de toutes les configurations dusystème. L’énergie, ou d’autres mesures quantitatives selon le problème envisagé, sontensuite modélisées par l’ajout de poids dans les jeux. Certains résultats préliminairesavaient été obtenus en présence de pondérations positives uniquement, mon objectif a étéd’autoriser l’usage de poids négatifs permettant de modéliser des données quantitativesplus riches. Ce manuscrit résume mes contributions dans l’étude d’une combinaison d’unobjectif d’accessibilité avec une métrique de gain total : on s’intéresse donc à des jeux deplus court chemin où un joueur veut atteindre une cible du graphe tout en minimisantle poids accumulé. Notre étude commence par le cas des jeux sur graphes finis, avec larecherche d’algorithmes efficaces pour calculer les valeurs et stratégies optimales. Nouscontinuons ensuite en ajoutant des horloges et des contraintes de temps dans les jeux,afin de concevoir des programmes efficaces satisfaisant certaines spécifications temps-réel.Cela conduit à une classe de jeux notoirement difficiles où l’indécidabilité émerge trèsrapidement. Notre travail consiste en la recherche de fragments possédant des résultatsdécidables, soit en limitant le nombre d’horloges, soit les comportements cycliques du jeu.Un dernier chapitre étudie également l’utilisation de randomisation dans les stratégiesafin de limiter la quantité de mémoire nécessaire pour que les joueurs jouent de manièreoptimale
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
Spécification et vérification de propriétés quantitatives : expressions, logiques et automates
No full textAutomatic verification has nowadays become a central domain of investigation in computer science. Over 25 years, a rich theory has been developed leading to numerous tools, both in academics and industry, allowing the verification of Boolean properties - those that can be either true or false. Current needs evolve to a finer analysis, a more quantitative one. Extension of verification techniques to quantitative domains has begun 15 years ago with probabilistic systems. However, many other quantitative properties are of interest, such as the lifespan of an equipment, energy consumption of an application, the reliability of a program, or the number of results matching a database query. Expressing these properties requires new specification languages, as well as algorithms checking these properties over a given structure. This thesis aims at investigating several formalisms, equipped with weights, able to specify such properties: denotational ones - like regular expressions, first-order logic with transitive closure, or temporal logics - or more operational ones, like navigating automata, possibly extended with pebbles. A first objective of this thesis is to study expressiveness results comparing these formalisms. In particular, we give efficient translations from denotational formalisms to the operational one. These objects, and the associated results, are presented in a unified framework of graph structures. This permits to handle finite words and trees, nested words, pictures or Mazurkiewicz traces, as special cases. Therefore, possible applications are the verification of quantitative properties of traces of programs (possibly recursive, or concurrent), querying of XML documents (modeling databases for example), or natural language processing. Second, we tackle some of the algorithmic questions that naturally arise in this context, like evaluation, satisfiability and model checking. In particular, we study some decidability and complexity results of these problems depending on the underlying semiring and the structures under consideration (words, trees...). Finally, we consider some interesting restrictions of the previous formalisms. Some permit to extend the class of semirings on which we may specify quantitative properties. Another is dedicated to the special case of probabilistic specifications: in particular, we study syntactic fragments of our generic specification formalisms generating only probabilistic behaviors.La vérification automatique est aujourd'hui devenue un domaine central de recherche en informatique. Depuis plus de 25 ans, une riche théorie a été développée menant à de nombreux outils, à la fois académiques et industriels, permettant la vérification de propriétés booléennes - celles qui peuvent être soit vraies soit fausses. Les besoins actuels évoluent vers une analyse plus fine, c'est-à-dire plus quantitative. L'extension des techniques de vérification aux domaines quantitatifs a débuté depuis 15 ans avec les systèmes probabilistes. Cependant, de nombreuses autres propriétés quantitatives existent, telles que la durée de vie d'un équipement, la consommation énergétique d'une application, la fiabilité d'un programme, ou le nombre de résultats d'une requête dans une base de données. Exprimer ces propriétés requiert de nouveaux langages de spécification, ainsi que des algorithmes vérifiant ces propriétés sur une structure donnée. Cette thèse a pour objectif l'étude de plusieurs formalismes permettant de spécifier de telles propriétés, qu'ils soient dénotationnels - expressions régulières, logiques monadiques ou logiques temporelles - ou davantage opérationnels, comme des automates pondérés, éventuellement étendus avec des jetons. Un premier objectif de ce manuscript est l'étude de résultats d'expressivité comparant ces formalismes. En particulier, on donne des traductions efficaces des formalismes dénotationnels vers celui opérationnel. Ces objets, ainsi que les résultats associés, sont présentés dans un cadre unifié de structures de graphes. Ils peuvent, entre autres, s'appliquer aux mots et arbres finis, aux mots emboîtés (nested words), aux images ou aux traces de Mazurkiewicz. Par conséquent, la vérification de propriétés quantitatives de traces de programmes (potentiellement récursifs, ou concurrents), les requêtes sur des documents XML (modélisant par exemple des bases de données), ou le traitement des langues naturelles sont des applications possibles. On s'intéresse ensuite aux questions algorithmiques que soulèvent naturellement ces résultats, tels que l'évaluation, la satisfaction et le model checking. En particulier, on étudie la décidabilité et la complexité de certains de ces problèmes, en fonction du semi-anneau sous-jacent et des structures considérées (mots, arbres...). Finalement, on considère des restrictions intéressantes des formalismes précédents. Certaines permettent d'étendre l'ensemble des semi-anneau sur lesquels on peut spécifier des propriétés quantitatives. Une autre est dédiée à l'étude du cas spécial de spécifications probabilistes : on étudie en particulier des fragments syntaxiques de nos formalismes génériques de spécification générant uniquement des comportements probabilistes
Les jeux à la rescousse de la vérification
No full textInternational audienceLes bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouver de manière rigoureuse que les programmes vont s’exécuter correctement. Encore mieux, on utilise désormais la théorie des jeux pour produire automatiquement des programmes corrects, à la manière de l’écriture d’un joueur artificiel dans un jeu de société
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
- …
