1,721,875 research outputs found
Definite Reference Mutability
Get PDFReference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mutable due to approximation.
In this paper, we present ReM (for definite Re[ference] M[utability]). It separates mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. In addition, we propose a CFL-reachability system for reference immutability, and prove that it is equivalent to ReIm/ReM, thus building a novel framework for reasoning about correctness of reference immutability type systems. We have implemented ReM and applied it on a large benchmark suite. Our results show that approximately 86.5% of all mutable references are definitely mutable
Definite Reference Mutability (Artifact)
Get PDFRelated paper "Definite Reference Mutability" presents
ReM (Re[ference] M[utability]), a type system
that separates mutable references into (1) definitely mutable,
and (2) maybe mutable, i.e., references whose mutability is due to inherent
approximation. We have implemented ReM and applied it on a large benchmark
suite. Results show that ~ 86\% of mutable references
are definitely mutable.
This article describes the tool artifact from the related paper. The purpose of
the article and artifact is to allow researchers to reproduce our results, as well as build new type systems upon our code
Women and gender in the Middle Ages : Poetry Expo 24
No full textThe traditional narratives describing women in the Middle Ages in the Low Countries reveal images of strong, intelligent, and opinionated women who were ready to fight for their place under the sun. Two particularly memorable and popular stories are those of the princess who defeats the Blue Beard and of Mariken van Nieumeghen. The first is a medieval ballad - "Lied van heer Halewijn", while the second is a folk tale recounting Mariken van Nieumeghen 's apprenticeship with the Devil. These two tales have inspired poems originally written in Bulgarian by Miglena Dikova-Milanova and translated into Dutch by Hellen Kooijman. The poems aim to reinterpret medieval women characters in the contemporary context of political correctness, gender equality, and social justice.
The project features readings of the poems and listening to medieval texts and songs as part of an interactive workshop on Medieval Women from the Low Countries
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
Smart sensor systems for environmental monitoring: implications and applications
No full textQuella del cambiamento climatico è una delle più grandi sfide che l'umanità dovrà affrontare nei prossimi decenni. Per questo, negli ultimi anni, gli sforzi della ricerca si sono focalizzati sullo sviluppo ed implementazione di sistemi distribuiti di monitoraggio ambientale. Questi sistemi sono in grado di produrre grandi quantità di dati, che possono essere usati per descrivere i cambiamenti climatici e, sperabilmente, indirizzare le future decisioni politiche allo scopo di mitigarne gli effetti. Ad ogni modo, per rendere questi sistemi effettivamente intelligenti, è necessario tenere in considerazione diversi aspetti, inclusi i due su cui si è focalizzato questo lavoro di tesi. Il primo, spesso sottovalutato, riguarda la progettazione dell'esperimento di acquisizione dei dati: infatti, un setting sperimentale poco consono porta a dati in qualche modo affetti da un bias, e, di conseguenza, a risultati non significativi. Il secondo aspetto invece riguarda l'algoritmo usato per modellare i dati, che dovrebbe essere scelto per riflettere la natura degli stessi. Questo lavoro prova quindi a dare un (primo) contributo ad entrambi questi aspetti, descrivendo i risultati di due specifici scenari di utilizzo, e mostrando come gli esperimenti possano beneficiare da alcune semplici linee guida. L'obiettivo finale a cui tende questo lavoro è quindi quello di definire una pipeline di elaborazione dei dati ambientali, che possa, a lungo andare, diventare abbastanza flessibile da essere adattata a scenari eterogenei e relativi ad una varietà di fenomeni ambientali.Climate change is one of the biggest challenges that humanity will face in the upcoming decades. Hence, over the last few years, the environmental engineering research community has focused its effort on the development and deployment of (often distributed) smart sensor systems, specifically designed for environmental monitoring. These sensors produce large amounts of data, which can be used to describe climate changes and, hopefully, suggest future actions to prevent further damages to the environment. However, to enable the ’smart’ capabilities in such systems, researchers must pay attention to several aspects, including two on which this thesis work is focused. The first one, which is often underestimated, is the design of the data acquisition phase: a poor experimental setting will lead to biased data, and therefore ineffective results. The second one concerns the algorithm used to model data, which should be chosen to reflect their intrinsic nature. This work tries to give a first contribution to both these aspect, describing the results of two specific use case scenarios, and highlighting how experiments can greatly benefit from some simple, yet effective, design guidelines. The final goal is to define an initial working pipeline for environmental data processing, which can be both flexible to be adapted to different scenarios, and accurate enough to give an effective description of the observed phenomena
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
- …
