Results 101 to 110 of about 69,366 (304)
Explicit Formulas for the Hilbert Symbol on Lubin-Tate Formal Groups and its Applications
, 2013 這篇論文的第一部分是整理 I.B.Fesenko, S.V.Vostokov 以及 A.Wiles 在形式群上的希爾伯特符號之公式的工作。論文的第二部分是 Kummer 公式的幾個應用，其中包括了 Von Staudt congruence, Kummer''s lemma, 以及 Ankeny-Artin-Chowla congruence。This paper is a survey on explicit formulas for the Hilbert symbol on Lubin-Tate ...
陳?宇, Chen, Shih-Yu
core
Some explicit expressions concerning formal group laws
, 2014 This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomology ...
Bakuradze, Malkhaz, Jibladze, Mamuka
core +1 more source
Hazewinkel functional lemma and formal groups classification
, 2020 There are two approaches to the construction of formal groups. The functional lemma proved by Hazewinkel allows to make formal groups with coefficients from a ring of zero characteristic by means of the functional equations using a certain ideal of ...
Madunts, Alexandra I.
core +1 more source
Advanced Materials Technologies, EarlyView.This study presents a novel platform for assessing the active mechanical behavior of living cardiac microbundles through localized nanoindentation, integrated with temperature regulation and dual‐camera imaging systems. The developed system enables quantitative evaluation of dynamic micromechanics in engineered cardiac tissues in vitro, offering ...
Lihua Lou +4 more
wiley +1 more source
Literary Criticism in the Ottoman-Turkish Literature: From Tanzimat to Republican Period / OSMANLI-TÜRK EDEBİYATI TARİH YAZIMINDA TANZİMAT’TAN BUGÜNE ÇAĞDAŞ ELEŞTİREL SÖYLEM [PDF]
Folklor/Edebiyat, 2016 Literary criticism has always been based on the literary realm as well as the political realm since the Tanzimat period. The first feature of the literary criticism in the OttomanTurkish literature is the transformation of itself into a symbol of ...
Şeyda Başlı *
doaj
A tensor network formalism for neuro-symbolic AI
CoRRThe unification of neural and symbolic approaches to artificial intelligence remains a central open challenge. In this work, we introduce a tensor network formalism, which captures sparsity principles originating in the different approaches in tensor decompositions.
Goeßmann, Alex +3 more
openaire +2 more sources
An explicit formula for the Hilbert symbol of a formal group
, 2008 Abrashkin established the Bruckner-Vostokov formula for the Hilbert symbol of a formal group under the assumption that roots of unity belong to the base field. The main motivation of this work is to remove this hypothesis.
Tavares Ribeiro, Floric
core
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
IBDA': Jurnal Kebudayaan Islam, 2016 Celebrating of IndependenceDay became a part of symbol of honour from the citizenship for their country. In many places freedom is celebrated, including in Indonesia.
Wildan Imaduddin Muhammad
doaj +1 more source