Results for Paper · 0.328s

Sponsored
Sponsored Partners
openreview.net/pdf?id=BddNTCq65yq

Counterfactual Debiasing for Fact Verification

579 In this paper, we have proposed a novel counter- factual framework CLEVER for debiasing fact- checking models. Unlike existing works, CLEVER is augmentation-free and mitigates biases on infer- …

arxiv.org/abs/2002.09827v3

A Formal Treatment of Contract Signature

The paper develops a logical understanding of processes for signature of legal contracts, motivated by applications to legal recognition of smart contracts on blockchain platforms. A number of axioms and rules of inference are developed that can be u...

entertainment.ha.com/itm/music-memorabilia/posters/grateful-dead-1971-columbus-oh-mouse-and-kelley-album-artwork-halloween-concert-poster/a/7420-26153.s

Grateful Dead 1971 Columbus, OH Mouse & Kelley Album-Artwork

Jul 4, 2025 · An original glossy-paper concert poster advertising the Grateful Dead, using their very popular 1971 live-album artwork designed by Stanley Mouse and Alton Kelley, performing with the …

currency.ha.com/itm/national-bank-notes/ohio/columbus-oh-20-1875-fr-434-the-fourth-national-bank-ch-2423-pcgs-banknote-choice-unc-64-ppq/a/3599-20714.s

Columbus, OH - $20 1875 Fr. 434 The Fourth National Bank Ch.

Sep 30, 2025 · This piece traces its pedigree to a June 1975 auction by pioneer paper money dealer William Donlon of Utica, New York where it was one of the few lots in that sale deemed worthy …

arxiv.org/abs/1808.03810v1

The Boyer-Moore Waterfall Model Revisited

In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts and methodology underlying this 30-year-old model and implement a new...

arxiv.org/abs/1910.05966v2

Graphical Designs and Extremal Combinatorics

A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on whic...

arxiv.org/abs/1805.09280v3

Dungeons and Dragons: Combinatorics for the $dP_3$ Quiver

In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second autho...

arxiv.org/abs/1610.07418v1

Statistical Machine Translation for Indian Languages: Mission Hindi

This paper discusses Centre for Development of Advanced Computing Mumbai's (CDACM) submission to the NLP Tools Contest on Statistical Machine Translation in Indian Languages (ILSMT) 2014 (collocated with ICON 2014). The objective of the contest was t...

arxiv.org/abs/1610.08000v1

Statistical Machine Translation for Indian Languages: Mission Hindi 2

This paper presents Centre for Development of Advanced Computing Mumbai's (CDACM) submission to NLP Tools Contest on Statistical Machine Translation in Indian Languages (ILSMT) 2015 (collocated with ICON 2015). The aim of the contest was to collectiv...

arxiv.org/abs/2510.14520v1

Decidability of Being a Union-splitting

Many logical properties are known to be undecidable for normal modal logics, with few exceptions such as consistency and coincidence with $\mathsf{K}$. This paper shows that the property of being a union-splitting in $\mathsf{NExt}\mathsf{K}$, the la...

arxiv.org/abs/2006.08731v1

Exact and Metaheuristic Approaches for the Production Leveling Problem

In this paper we introduce a new problem in the field of production planning which we call the Production Leveling Problem. The task is to assign orders to production periods such that the load in each period and on each production resource is balanc...

arxiv.org/abs/2112.12858v1

Chance and the Continuum Hypothesis

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods st...

arxiv.org/abs/1506.03938v1

Notes on W-direction curves in Euclidean 3-space

In this paper, we study the spherical indicatrices of W-direction curves in three dimensional Euclidean space which were defined by using the unit Darboux vector field W of a Frenet curve, in [11]. We obtain the Frenet apparatus of these spherical in...

arxiv.org/abs/2210.10649v7

Definition of the Tetrel Bond

This paper proposes a definition of the term "tetrel bond" based on the evidence documented in the current literature. It lists the donors, acceptors, as well as related characteristic features of tetrel bonds that are commonly observed in the crysta...

arxiv.org/abs/1202.5189v1

On exponentially shaped Josephson junctions

The paper deals with a third order semilinear equation which char- acterizes exponentially shaped Josephson junctions in superconductivity. The initial-boundary problem with Dirichlet conditions is analyzed. When the source term F is a linear functio...

arxiv.org/abs/2212.05696v1

Ensembling Transformers for Cross-domain Automatic Term Extraction

Automatic term extraction plays an essential role in domain language understanding and several natural language processing downstream tasks. In this paper, we propose a comparative study on the predictive power of Transformers-based pretrained langua...

arxiv.org/abs/1812.07870v1

Removing rain streaks by a linear model

Removing rain streaks from a single image continues to draw attentions today in outdoor vision systems. In this paper, we present an efficient method to remove rain streaks. First, the location map of rain pixels needs to be known as precisely as pos...

arxiv.org/abs/2101.11104v1

Four Ways to Scale Up: Smart, Dumb, Forced, and Fumbled

Scale-up is the process of growing a venture in size. The paper identifies modularity and speed as keys to successful scale-up. On that basis four types of scale-up are identified: Smart, dumb, forced, and fumbled. Smart scale-up combines modularity...

arxiv.org/abs/2007.04067v1

Dumb Hole Associated with an Oscillating Bubbles Cluster

In this paper, it is shown that in interaction with an oscillating bubbles cluster the fluid becomes inhomogeneous. The radial variation of the acoustic refractive index of the fluid generates an acoustic lens with spherical symmetry. When the focal...

arxiv.org/abs/1805.01294v2

The Effect of Modified Dispersion Relation on Dumb Holes

In this paper, we will deform the usual energy-momentum dispersion relation of a photon gas at an intermediate scale between the Planck and electroweak scales. We will demonstrate that such a deformation can have non-trivial effects on the physics of...

arxiv.org/abs/2302.03842v1

De-Higgsing In Eleven-Dimensional Supergravity On The Squashed $S^7$

In this paper we construct the subset of modes on $S^7$ that are relevant in the compactification of eleven-dimensional supergravity on a squashed $S^7$ when restricted to the sector that comprises singlets under the $Sp(1)\times Sp(2)$ isometry of t...

arxiv.org/abs/1010.1750v5

Faithful Squashed Entanglement

Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is fa...

arxiv.org/abs/1606.08028v3

Squashed entanglement and approximate private states

The squashed entanglement is a fundamental entanglement measure in quantum information theory, finding application as an upper bound on the distillable secret key or distillable entanglement of a quantum state or a quantum channel. This paper simplif...

arxiv.org/abs/1310.0129v3

The squashed entanglement of a quantum channel

This paper defines the squashed entanglement of a quantum channel as the maximum squashed entanglement that can be registered by a sender and receiver at the input and output of a quantum channel, respectively. A new subadditivity inequality for the...

arxiv.org/abs/1606.02748v1

A Contextual Model Of The Secessionist Rebellion in Eastern Ukraine

This paper explores the possible contextual factors that drove some individuals to lead, and others to join the pro-secessionist rebellion in the 2013-2014 conflict in Eastern Ukraine. We expand on the existing rational choice literature on revolutio...

arxiv.org/abs/1509.01741v1

IMF Lending and Economic Growth: An Empirical Analysis of Ukraine

This study uses Vector Autoregression (VAR) Methodology as well as Vector Error Correction (VEC) Methodology to examine the existence and direction of causality between economic growth and IMF lending for Ukraine. The paper examines the IMF lending d...

arxiv.org/abs/2506.17960v2

GeNIE: A Generalizable Navigation System for In-the-Wild Environments

Reliable navigation in unstructured, real-world environments remains a significant challenge for embodied agents, especially when operating across diverse terrains, weather conditions, and sensor configurations. In this paper, we introduce GeNIE (Gen...

arxiv.org/abs/cond-mat/0210442v2

Open GENIE - Analysis and Control

Open GENIE is the successor to the widely used and high successful GENIE program that is used as the principal front-end neutron data analysis tool at the ISIS spallation neutron source. In this paper, the background and motivation for the Open GEN...

arxiv.org/abs/2207.01245v1

A Permutation-Based Heuristic for Buy Low, Sell High

Buy low, sell high is one of the basic rules of thumb used in investment, although it is not considered to be a beneficial strategy. In this paper, we show how the appropriate permutation-based representation (i.e., the epistemic form) of a minute-by...

Sponsored