Search results for "computer and information sciences"
showing 8 items of 1328 documents
Diversity begets diversity: A global perspective on gender equality in scientific society leadership.
2018
Research shows that gender inequality is still a major issue in academic science, yet academic societies may serve as underappreciated and effective avenues for promoting female leadership. That is, society membership is often self-selective, and board positions are elected (with a high turnover compared to institutions)—these characteristics, among others, may thus create an environment conducive to gender equality. We therefore investigate this potential using an information-theoretic approach to quantify gender equality (male:female ratios) in zoology society boards around the world. We compare alternative models to analyze how society characteristics might predict or correlate with the …
Building and Testing a Comparative Interface on Northwest European Historical Parliamentary Debates : Relative Term Frequency Analysis of British Rep…
2022
Tensions between the people and parliament over representation are a normal feature of representative democracies. In this paper, we demonstrate how digital humanities analysis tools help in answering questions about the timing of debates on popular representation, tensions over its realization, and representatives’ changing perceptions on their parliamentary role. Our long-term approach to the conceptual history of political representation is based on the analysis of digitized parliamentary debates as nexuses of multi-sited political discourse. We combine computer-assisted distant and context-sensitive close reading to consider diachronic trends and synchronic political struggles surroundi…
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
Gender and Toxic Meritocracy in Competitive Overwatch: Case “Ellie”
2022
AbstractThis chapter examines toxic meritocracy in relation to gender in competitive Overwatch, asking how gender affects a player’s opportunities for engagement in that scene. It analyzes online news stories and community discussions concerning “Ellie” – a fabricated competitive woman gamer created as a “social experiment” by a man player. The confluences between gender and toxic meritocracy become visible in the assumption there must be an experienced man gamer behind the battletag, the gender-based harassment targeted at Ellie, and the reflections on the importance of setting an example as the first team taking a woman player for Contenders. The analysis shows that despite a strong belie…
AI Ethics in Industry: A Research Framework
2019
Artificial Intelligence (AI) systems exert a growing influence on our society. As they become more ubiquitous, their potential negative impacts also become evident through various real-world incidents. Following such early incidents, academic and public discussion on AI ethics has highlighted the need for implementing ethics in AI system development. However, little currently exists in the way of frameworks for understanding the practical implementation of AI ethics. In this paper, we discuss a research framework for implementing AI ethics in industrial settings. The framework presents a starting point for empirical studies into AI ethics but is still being developed further based on its pr…
Husserl's Transcendentalization of Mathematical Naturalism
2020
Abstract The paper aims to capture a form of naturalism that can be found “built-in” in phenomenology, namely the idea to take science or mathematics on its own, without postulating extraneous normative “molds” on it. The paper offers a detailed comparison of Penelope Maddy’s naturalism about mathematics and Husserl’s approach to mathematics in Formal and Transcendental Logic (1929). It argues that Maddy’s naturalized methodology is similar to the approach in the first part of the book. However, in the second part Husserl enters into a transcendental clarification of the evidences and presuppositions of the mathematicians’ work, thus “transcendentalizing” his otherwise naturalist approach t…
StartCards — A method for early-stage software startups
2023
Publisher Copyright: © 2023 The Author(s) Context: Software startups are important drivers of economy on a global scale, and have become associated with innovation and high growth. However, the overwhelming majority of startups ends in failure. Many of these startup failures ultimately stem from software engineering issues, and requirements engineering (RE) ones in particular. Despite the emphasis placed on the importance of RE activities in the startup context, many startups continue to develop software without a clear market or customer, having never had meaningful contact with their would-be customer. Objective: We develop a method aimed at early-stage startups that is intended to help s…
Working the fields of big data : Using big-data-augmented online ethnography to study candidate–candidate interaction at election time
2017
The paper proposes big-data-augmented ethnography as a novel mixed-methods approach to studying political discussions in a hybrid media system. Using such empirical setup, the authors examined candidate–candidate online interaction during election campaigning. Candidate–candidate interaction crossing party boundaries is scarce and occurs in the form of negative campaigning via social media, with the shaming of rival candidates and engaging in battles with them. The authors posit that ethnographic observations can be used to contextualize the computational analysis of large data sets, while computational analysis can be applied to validate and generalize the findings made through ethnography…