14,991 results for Paper

arxiv.org/abs/2405.11045v1

Two Combinatorial Interpretations of Rascal Numbers

The main goal of this paper is to assign two combinatorial interpretations to the elements of the Rascal Triangle defined by Angorro et al. The first interpretation involves counting ascents in binary words, while the second interpretation involves p...

arxiv.org/abs/1907.11159v2

Generalized Rascal Triangles

The Rascal Triangle was introduced by three middle school students in 2010, and in this paper we describe number triangles that are generalizations of the Rascal Triangle and show that these Generalized Rascal Triangles are characterized by arithmeti...

arxiv.org/abs/1910.09336v2

The Lean mathematical library

This paper describes mathlib, a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. Among proof assistant libraries, it is distinguished by its dependently typed foundations, focus on classical ma...

arxiv.org/abs/2107.03750v3

Structure of (bull, diamond)-free graphs and its applications

This paper discusses the complete structure of the (bull, diamond)-free graphs. As an application of that, we give the characterization of the partitionable (bull, diamond)-free graphs. Moreover, we show that such a partition for a partitionable (bul...

arxiv.org/abs/1203.5062v1

An Annotation Scheme for Reichenbach's Verbal Tense Structure

In this paper we present RTMML, a markup language for the tenses of verbs and temporal relations between verbs. There is a richness to tense in language that is not fully captured by existing temporal annotation schemata. Following Reichenbach we pre...

arxiv.org/abs/1203.5459v2

Tense SHn--algebras

In 1982, L. Iturrioz introduced symmetrical Heyting algebras of order n (or SHn-algebras). In this paper, we define and study tense SHn-algebras namely, SHn-algebras endowed with two tense operators. These algebras constitute a generalization of tens...

arxiv.org/abs/2501.09235v1

The Spread of Virtual Gifting in Live Streaming: The Case of Twitch

This paper examines how gifting spreads among viewers on Twitch, one of the largest live streaming platforms worldwide. Twitch users can give gift subscriptions to other viewers in the chat room, with the majority of gifters opting for community gift...

arxiv.org/abs/2209.15111v2

Quantifying Harm

In a companion paper (Beckers et al. 2022), we defined a qualitative notion of harm: either harm is caused, or it is not. For practical applications, we often need to quantify harm; for example, we may want to choose the lest harmful of a set of poss...

arxiv.org/abs/1706.03154v2

Visual Search at eBay

In this paper, we propose a novel end-to-end approach for scalable visual search infrastructure. We discuss the challenges we faced for a massive volatile inventory like at eBay and present our solution to overcome those. We harness the availability...

en.wikipedia.org/wiki/All_Too_Well%3A_The_Short_Film

All Too Well: The Short Film - Wikipedia

devastated Her weeps in bed, ignoring his phone calls. Her is seen typing on her typewriter and crumpling paper sheets. A montage shows Her alone at parties

arxiv.org/abs/0807.3142v3

Investigation of quantum roulette

In this paper, by using permutation matrices as a representation of symmetric group $S_N$ and Fourier matrix, we investigate quantum roulette with an arbitrary $N$-state. This strategy, which we introduce, is general method that allows us to solve...

arxiv.org/abs/1309.7608v2

A Birthday Attack on Roulette

A strategy for playing the game of roulette is presented in this paper. The strategy is based on the same probabilistic argument that leads to the well-known Birthday Paradox in Probability theory. Following the strategy, a player will have a positiv...