نتایج جستجو برای: de morgan semi

تعداد نتایج: 1674008  

2015
Tong LIU

— Let p be an odd prime, K a finite extension of Qp and G := Gal(Qp/K) the Galois group. We construct and study filtration structures associated torsion semi-stable representations of G. In particular, we prove that two semi-stable representations share the same p-adic Hodge-Tate type if they are congruent modulo pn with n > c′, where c′ is a constant only depending on K and the differences bet...

2007
Martin J. Buss

It is easy to think of possible tensions between one’s faith and academic reality, but I wish to address here a positive relation, namely, the fact that the academy is itself indebted to religious faith. In particular, I want to point to the impact of Jewish and Christian traditions on a phase of thought that began at the end of the nineteenth century. A significant theme of this thinking was t...

2007
TONG LIU

Let p be a prime, K a finite extension of Qp and T a finite free Zp-representation of Gal(K̄/K). We prove that T ⊗Zp Qp is semi-stable (resp., crystalline) with Hodge-Tate weights in {0, . . . , r} if and only if for all n, T/pnT is torsion semi-stable (resp., crystalline) with Hodge-Tate weights in {0, . . . , r}. Résumé. (Représentations galoisiennnes p-adiques de torsion) Soient p un nombre p...

Journal: :Computer Physics Communications 2009
Nicolas Crouseilles Thomas Respaud Eric Sonnendrücker

This work deals with the numerical solution of the Vlasov equation. This equation gives a kinetic description of the evolution of a plasma, and is coupled with Poisson’s equation for the computation of the self-consistent electric field. The coupled model is non linear. A new semi-Lagrangian method, based on forward integration of the characteristics, is developed. The distribution function is ...

2012
Wendy M. Wright

[1] There is, among scholars of religion, a recent materialist turn that approaches the study of religion not primarily as a set of de-contextualized beliefs or as free-floating symbol-systems but as embodied practices. Part of this turn involves interdisciplinary attention to the visual aspects of belief. Thus images are no longer conceived mainly as illustrations of textual narratives or as s...

Journal: :American journal of medical genetics. Part A 2015
Debora Bertola Maria Rita Passos-Bueno Alexandre Pereira Chong Kim Tim Morgan Stephen P Robertson

Recurrence of Frontometaphyseal Dysplasia in Two Sisters With a Mutation in FLNA and an Atypical Paternal Phenotype: Insights Into Genotype–Phenotype Correlation Debora Bertola,* Maria Rita Passos-Bueno, Alexandre Pereira, Chong Kim, Tim Morgan, and Stephen P. Robertson Faculdade de Medicina da Universidade de São Paulo, Unidade de Genética do Instituto da Criança, São Paulo, Brazil University ...

2001
M. JOSÉ CANTERO LUIS VELÁZQUEZ

In this work it is shown that semi-orthogonal functions are suitable tool to obtain new results about some classic topics of Orthogonal Polynomials on the unit circle. More precisely, it is raised the study of the orthogonality mesure through the zeros of semi-orthogonal functions. Besides, it can be chosen a suitable basis relates with semi-orthogonal functions, so that the representation of t...

2016
Wojciech Buszkowski

CNL, intoduced by de Groote and Lamarche [11], is a conservative extension of Nonassociative Lambek Calculus (NL) by a De Morgan negation ∼, satisfying A∼/B ⇔ A\B∼. [11] provides a fine theory of proof nets for CNL and shows cut elimination and polynomial decidability. Here the purely proof-theoretic approach of [11] is enriched with algebras and phase spaces for CNL. We prove that CNL is a str...

Journal: :categories and general algebraic structures with application 0

0

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید