Results 261 to 270 of about 12,123 (304)

Non-negative matrix factorization and deconvolution as a dual simplex problem. [PDF]

Genome Biol
Kleverov D, Aladyeva E, Serdyukov A, Artyomov MN.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

An Abstract Strong Normalization Theorem

Lecture Notes in Computer Science, 2005
We prove a strong normalization theorem for abstract term rewriting systems based on domain-theoretic models. The theorem applies to extensions of Godel's system T by various forms of recursion related to bar recursion for which strong normalization was hitherto unknown.
Ulrich Berger, Berger Ulrich
exaly   +2 more sources

—The normalization theorem

Lecture Notes in Mathematics, 1966
Raghavan Narasimhan, Narasimhan Raghavan   +1 more
exaly   +2 more sources

The normalization theorem for extended natural deduction

Publications De L'Institut Mathematique, 2017
The normalization theorem for the system of extended natural deduction will be proved as a consequence of the cut-elimination theorem, by using the connections between the system of extended natural deduction and a standard system of sequents.
Mirjana Borisavljević
exaly   +2 more sources

Normality, Projective Normality and EGZ Theorem

Integers, 2011
AbstractIn this note, we prove that the projective normality of (ℙ(
S. S. Kannan, S. K. Pattanayak
openaire   +2 more sources

The Normal Basis Theorem

Journal of the London Mathematical Society, 1950
Es handelt sich um den Satz, daß für jede endlich-algebraische normale Erweiterung \(\mathfrak E\) eines beliebigen Körpers \(\mathfrak F\) eine Normalbasis existiert. Verf. gibt eine neue Wendung des Beweises, die anders als der bekannte Beweis von \textit{M. Deuring} [Math. Arm.
Cassels, J. W. S., Wall, G. E.
openaire   +1 more source

Normal $\pi$ -complement theorems

Archiv der Mathematik, 1998
By using a battery of known results (new, elementary proofs are provided for some of them), the authors slightly extend old results of Brauer-Suzuki and G. Zappa on the existence of normal \(\pi\)-complements for solvable Hall \(\pi\)-subgroups in finite groups.
Corrádi, K., Horváth, E.
openaire   +2 more sources