7,821 results for Computational complexity theory - Wikipedia

arxiv.org/abs/1901.01651v1

Tooth morphometry using quasi-conformal theory

Shape analysis is important in anthropology, bioarchaeology and forensic science for interpreting useful information from human remains. In particular, teeth are morphologically stable and hence well-suited for shape analysis. In this work, we propos...

arxiv.org/abs/1610.07661v2

Reissner Nordstrom Metric in Unimodular Theory of Gravity

We study the modified Reissner Nordstrom metric in the unimodular gravity. So far the spherical symmetric Einstein field equation in unimodular gravity has been studied in the absence of any source. We consider static electric and magnetic charge as...

arxiv.org/abs/physics/0505083v1

Radar scattering by aggregate snowflakes

The radar scattering properties of realistic aggregate snowflakes have been calculated using the Rayleigh-Gans theory. We find that the effect of the snowflake geometry on the scattering may be described in terms of a single universal function, whi...

arxiv.org/abs/2404.01406v3

Presenting Profunctors

Motivated by problems in categorical database theory, we introduce and compare two notions of presentation for profunctors, uncurried and curried, which arise intuitively from thinking of profunctors either as functors C^op x D -> Set or C^op -> Set^...

arxiv.org/abs/2506.10908v3

Probably Approximately Correct Labels

Obtaining high-quality labeled datasets is often costly, requiring either human annotation or expensive experiments. In theory, powerful pre-trained AI models provide an opportunity to automatically label datasets and save costs. Unfortunately, these...

arxiv.org/abs/2003.08070v3

Sahlqvist Correspondence Theory for Sabotage Modal Logic

Sabotage modal logic (SML) is a kind of dynamic logics. It extends static modal logic with a dynamic modality which is interpreted as "after deleting an arrow in the frame, the formula is true". In the present paper, we are aiming at solving an open...

arxiv.org/abs/math/0611030v1

What is a Young tableau?

Young tableaux are classical combinatorial objects playing recurring and varied roles in representation theory, algebraic geometry and commutative algebra. This article is a short exposition on Young tableaux, written for the "WHAT IS...?" series o...

arxiv.org/abs/1512.02274v1

Constructing the Propositional Truncation using Non-recursive HITs

In homotopy type theory, we construct the propositional truncation as a colimit, using only non-recursive higher inductive types (HITs). This is a first step towards reducing recursive HITs to non-recursive HITs. This construction gives a characteriz...

arxiv.org/abs/1203.5374v1

Tense operators on m-symmetric algebras

Here we initiate an investigation of the equational classes of m-symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of algebras. In ord...

www.bing.com/ck/a?!&&p=3980887039cda5e2b47456f89dc2bda8282c294b9707ffff01e356bb47e4fbf8JmltdHM9MTc3MjU4MjQwMA&ptn=3&ver=2&hsh=4&fclid=382a7dfa-fb5b-69b7-3a21-6ae8fa6c6809&u=a1aHR0cHM6Ly93d3cucmVkZGl0LmNvbS9yL2N5YmVycHVua2dhbWUvY29tbWVudHMveGVmaWFxL2RhdmlkX21hcnRpbmV6X3RoZW9yeV9tYXNzaXZlX3Nwb2lsZXJzLw&ntb=1

DAVID MARTINEZ THEORY [MASSIVE SPOILERS] : …

David is definitely not dead, there's so much direct evidence that many Max Tac soldiers are reformed cyberpsychos, and these corporations intentionally pushed David toward cyberpsychosis for SOME …

arxiv.org/abs/hep-ph/0204260v1

On the Monopole Model Of Form Factors for Heavy Meson Decays

A pole model for the form factors describing heavy to light meson transitions is constructed, and the results compared with the predictions of the heavy quark effective theory (HQET). While most of the HQET-predicted relationships among form factor...

arxiv.org/abs/2103.08818v1

Coherence of assistance and assisted maximally coherent states

Coherence and entanglement are fundamental concepts in resource theory. The coherence (entanglement) of assistance is the coherence (entanglement) that can be extracted assisted by another party with local measurement and classical communication. We...

arxiv.org/abs/1804.00716v1

Aristotle, projectiles and guns

When guns were developed in Europe in the 14th century, the theory of projectile motion was not the one we are familiar with today due to Galileo and Newton but the one taught by Aristotle approximately 1700 years earlier. In addition to Aristotle's...