Results 1 to 10 of about 12,123 (304)
Formalization of a normalization theorem in simplicial topology [PDF]
Annals of Mathematics and Artificial Intelligence, 2012 In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology stating that there exists a homotopy equivalence between the chain complex of a simplicial set, and a smaller chain complex for the same simplicial set, called the normalized chain complex.
Julio Rubio, Rubio Julio
exaly +6 more sources
Normality and Montel’s Theorem [PDF]
Archiv der Mathematik, 2016 In this article, we prove a normality criterion for a family of meromorphic functions having zeros with some multiplicity which involves sharing of a holomorphic function by the members of the family. Our result generalizes Montel's normality test in a certain sense.
Datt, Gopal, Kumar, Sanjay
openaire +2 more sources
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi [PDF]
Logical Methods in Computer Science, 2017 In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style.
Peter Battyanyi, Karim Nour
doaj +1 more source
A Normalizing Intuitionistic Set Theory with Inaccessible Sets [PDF]
Logical Methods in Computer Science, 2007 We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs.
Wojciech Moczydlowski
doaj +1 more source
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Favio Ezequiel Miranda-Perea +1 more
doaj +1 more source
Exploiting Narrowband Efficiency for Broadband Convolutive Blind Source Separation
EURASIP Journal on Advances in Signal Processing, 2007 Based on a recently presented generic broadband blind source separation (BSS) algorithm for convolutive mixtures, we propose in this paper a novel algorithm combining advantages of broadband algorithms with the computational efficiency of narrowband ...
Walter Kellermann +2 more
doaj +2 more sources
Estimation of the convergence rate of two-dimensional random index vectors maxima
Lietuvos Matematikos Rinkinys, 2011 Nonlinearly normalized maxima of independent and identically distributed random vectors are pre-sented in this work. We’ve obtained nonuniform estimate of convergence in transfer theorem in case when normalization is nonlinear.
Lina Dindienė, Arvydas Jokimaitis
doaj +1 more source
Stability-certified reinforcement learning control via spectral normalization
Machine Learning with Applications, 2022 In this study, two types of methods from different perspectives based on spectral normalization (SN) are described for ensuring the stability of a feedback system controlled by a neural network (NN).
Ryoichi Takase +3 more
doaj +1 more source
The estimation of the convergence rate for maxima of random variables vectors
Lietuvos Matematikos Rinkinys, 2010 Linearly normalized maxima of independent and identically distributed random vectors is presented in this work. We’ve obtained nonuniform estimate of convergence in case when normalization is linear. For clearness there is given an example is this paper.
Lina Dindienė, Algimantas Aksomaitis
doaj +1 more source
Variations of the Primitive Normal Basis Theorem [PDF]
Designs, Codes and Cryptography, 2018 19 ...
Giorgos Kapetanakis, Lucas Reis
openaire +3 more sources