Results 71 to 80 of about 2,242 (239)
Head &Neck, EarlyView.ABSTRACT Background Salivary gland carcinomas are uncommon malignancies with various histological subtypes harboring fusion genes. The EWSR1::ATF1 fusion gene, resulting from a translocation between chromosomes 12 and 22, is frequently observed in hyalinizing clear cell carcinoma (HCCC). However, the role of this fusion gene in HCCC oncogenesis remains
Yuri Hirai +13 more
wiley +1 more source
Basic subtoposes of the effective topos
Annals of Pure and Applied Logic, 2013 We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate a local operator defined in the thesis of A. Pitts, and establish that its corresponding subtopos satisfies true arithmetic.
Sori Lee, Jaap van Oosten
openaire +5 more sources
Tin‐based perovskite light‐emitting diodes: Progress and perspective
InfoScience, EarlyView.This review assesses tin‐based perovskite light‐emitting diodes (PeLEDs), focusing on the limitations of Sn2+ oxidation–induced defects and uncontrolled crystallization. By evaluating advanced device engineering and structural innovations, this article highlights their viability in narrowband pure‐red displays and near‐infrared optical communication ...
Wenhao Bai +7 more
wiley +1 more source
SEMILATTICES AND K-FINITE OBJECTS
Revista de Matemática: Teoría y Aplicaciones, 2017 We prove that for X Є ǀ E ǀ, E elementary topos, the following properties are equivalent: (a) X is K-finite, (b) for every upper semilattice B, the diagonal B → BX has a left adjoint.
OSVALDO ACUÑA ORTEGA
doaj +1 more source
A notion of homotopy for the effective topos [PDF]
Mathematical Structures in Computer Science, 2014 We define a notion of homotopy in the effective topos.
openaire +2 more sources
A new combination in Strophopappus (Asteraceae, Vernonieae, Lepidaploinae)
Nordic Journal of Botany, EarlyView.Revisions of herbarium collections reveal a new combination in Strophopappus (Asteraceae, Vernonieae, Lepidaploinae). Strophopappus comprises nine species occurring in South America, eight of which are endemic to Brazil. Currently, Vernonia riedeliana is treated as a synonym of Strophopappus bicolor.
Danielle Remor +2 more
wiley +1 more source
Conceptua: Institutions in a Topos
CoRR, 2018 Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the basis for the theory of institutions (Goguen and Burstall). The satisfaction relation for first order languages (the truth classification), and the preservation of truth by ...
openaire +2 more sources
Structural Insights Into the Function of Leishmania major Adenylosuccinate Lyase
Proteins: Structure, Function, and Bioinformatics, EarlyView.ABSTRACT One of several intriguing aspects of kinetoplastid biochemistry is the complete dependence on host purines and purine recycling due to the lack of a de novo purine biosynthesis pathway. Adenylosuccinate lyase (ASL, EC 4.3.2.2) is a key enzyme in the purine synthesis pathway responsible for the conversion of adenylosuccinate into adenosine ...
Ivan R. e Silva +10 more
wiley +1 more source
Sodium Ions Affect GPR17 Conformational States and Functionality
Proteins: Structure, Function, and Bioinformatics, EarlyView.ABSTRACT Sodium is an allosteric modulator of several class‐A GPCR regulating active versus inactive conformation state and may be a critical issue for the optimization of crystallization procedures. Herein, the role of Na+ in the regulation of GPR17 conformational states was studied through MD simulations of GPR17 wild‐type and mutated on two ...
Luca Palazzolo +6 more
wiley +1 more source
Generating Families in a Topos
Theory and Applications of Categories, 2006 A generating family in a category \(\mathcal C\) is a collection of objects \(\{A_i|i\in I\}\) such that if for any subobject \(Y\overset {m}\rightarrowtail X\), every \(f: A_i @>f>> X\) factors through \(m\), then \(m\) is an isomorphism -- i.e., the functors \({\mathcal C}(A_{i, -})\) are collectively conservative.
openaire +2 more sources