The paper deals with bonus-malus systems with different claim types and varying deductibles. The premium relativities are softened for the policyholders who are in the malus zone and these policyholders are subject to per claim deductibles depending...
Wikidata and Wikipedia have been proven useful for reason-ing in natural language applications, like question answering or entitylinking. Yet, no existing work has studied the potential of Wikidata for commonsense reasoning. This paper investigates w...
Wikidata is the largest general-interest knowledge base that is openly available. It is collaboratively edited by thousands of volunteer editors and has thus evolved considerably since its inception in 2012. In this paper, we present Wikidated 1.0, a...
The Pytorch implement of the paper "Convolutional Neural Network Assisted Transformer for Automatic Modulation Recognition under Large CFOs and SROs" (⭐ 44)
In this paper we present the statement of the Firoozbakht's conjecture, some of its consequences if it is proved and we show a consequence of Zhang's theorem concerning the Firoozbakht's conjecture....
In this paper, we investigate the algebras of consequence operators and finite consequence operators on a fixed language. Significant new collections of consequence operators are defined and shown to be complete and distributive sublattices. Further,...
This paper investigates logical consequence defined in terms of probability distributions, for a classical propositional language using a standard notion of probability. We examine three distinct probabilistic consequence notions, which we call mater...
This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. Th...
In this paper, we study the phenomenology of right-handed neutrino isosinglets. We consider the general situation where the neutrino masses are not necessarily given by $m_D^2/M$, where $m_D$ and $M$ are the Dirac and Majorana mass terms respective...
This paper addresses the critical problem of co-optimizing the optimal locations for orbital depots and the sequence of in-space servicing for a satellite constellation. While most traditional studies used network optimization for this problem, assum...
ScaredKrow is a game made for the third year "ID737001 Game Development" paper at Otago Polytechnic (⭐ 2)
In this paper, we deal with the problem of temporal action localization for a large-scale untrimmed cricket videos dataset. Our action of interest for cricket videos is a cricket stroke played by a batsman, which is, usually, covered by cameras place...
The increased adoption of the Model Context Protocol (MCP) for AI Agents necessitates robust security for Enterprise integrations. This paper introduces the MCP Gateway to simplify self-hosted MCP server integration. The proposed architecture integra...
Spring security is tremendously popular among practitioners for its ease of use to secure enterprise applications. In this paper, we study the application framework misconfiguration vulnerabilities in the light of Spring security, which is relatively...
In this paper, we propose a new type of bulk-boundary correspondence as a generic approach to theoretically and experimentally detect fragile topological states. When the fragile phase can be written as a difference of a trivial atomic insulator and...
This paper presents a summary of the VQualA 2025 Challenge on Visual Quality Comparison for Large Multimodal Models (LMMs), hosted as part of the ICCV 2025 Workshop on Visual Quality Assessment. The challenge aims to evaluate and enhance the ability...
Papers of Color - research published by Black, Indigenous, and underrepresented people of color scientists in the fields of Ecology, Evolution, & Behavior (⭐ 5)
The Damped and sub-Damped Lyman-alpha (DLA and sub-DLA) systems seen in the spectra of QSOs offer a unique way to study the interstellar medium of high redshift galaxies. In this paper we report on new abundance determinations in a sample of 10 new...
In this paper an algebraic proof of Christoph's theorem is provided. This theorem from algebraic-geometry is about the existence of a finite automaton for computing coefficient of a series for an algebraic function....
This paper argues that Tycho Brahe's "principal argument against Copernicus" (as the astronomer Christiaan Huygens called it) likely derived from a much older argument regarding the sizes of the "two great lights" described in the first chapter of th...