4,153 results for prove · 0.171s

arxiv.org/abs/1804.05015v2

Large-scale diversity estimation through surname origin inference

The study of surnames as both linguistic and geographical markers of the past has proven valuable in several research fields spanning from biology and genetics to demography and social mobility. This article builds upon the existing literature to con...

Sponsored Partners
arxiv.org/abs/1706.00829v1

The star sequence and the general first Zagreb index

For a simple graph, we introduce a notion of the star sequence and prove that the star sequence and the frequently sequences of a graph are inverses of each other from a combinatorial point of view. As a consequence, we express the general first Zagr...

arxiv.org/abs/1411.0467v1

Moduli spaces of 6 and 7-dimensional complete intersections

This paper proves the existence of homeomorphic (diffeomorphic) complex 6-dimensional (7-dim) complete intersections that belong to components of the moduli space of different dimensions. These results are given as a supplement to earlier result on 5...

arxiv.org/abs/1404.1760v3

Generic intersections of differentiable submanifolds

Consider a transitive action of a Lie group $G$ on a (real analytic) manifold $M$ of dimension $m$, and two (embedded) submanifolds $A$ and $B$ in $M$ of sufficiently large class and of dimension $k$ and $l$, respectively. We prove that, for a generi...

github.com/nalydttirrem/RussianPhrases

nalydttirrem/RussianPhrases

An app I am designing for my Russian class final project. The user clicks a button to view a Russian phrase/proverb, along with its English equivalent. I am currently attempting to implement a text-to-speech function in order to make the app relevant to those who do not know how…

arxiv.org/abs/1606.08488v1

Curating Transient Population in Urban Dynamics System

For past several decades, research efforts in population modelling has proven its efficacy in understanding the basic information about residential and commercial areas, as well as for the purposes of planning, development and improvement of the comm...

arxiv.org/abs/2402.08869v1

ScamSpot: Fighting Financial Fraud in Instagram Comments

The long-standing problem of spam and fraudulent messages in the comment sections of Instagram pages in the financial sector claims new victims every day. Instagram's current spam filter proves inadequate, and existing research approaches are primari...

arxiv.org/abs/2501.10205v2

The stability for F-Yang-Mills functional on CP^n

In this paper, we study the critical points of $F$-Yang-Mills functional on $\mathbb{C}P^n$, which are called $F$-Yang-Mills connections, which is a generalization of Yang-Mills connections. We prove that if $(2+\frac4n)F''(x)x+(n+1)F'(x)<0$, then th...

arxiv.org/abs/2008.00881v5

Demystifying the Role of zk-SNARKs in Zcash

Zero-knowledge proofs have always provided a clear solution when it comes to conveying information from a prover to a verifier or vice versa without revealing essential information about the process. Advancements in zero-knowledge have helped develop...

arxiv.org/abs/math/9905182v1

Actions and irreducible representations of the mapping class group

We prove in this paper that the action of the mapping class group on the complex of curves has noncommensurable stabilizers. Following a method due to Burger and de la Harpe, this action leads to constructions of irreducible unitary representations...

arxiv.org/abs/math/0102002v1

Artin monoids inject in their groups

We prove that the natural homomorphism from an Artin monoid to its associated Artin group is always injective...

arxiv.org/abs/1403.1911v1

Candy Crush is NP-hard

We prove that playing Candy Crush to achieve a given score in a fixed number of swaps is NP-hard....