Results 71 to 80 of about 152,913 (283)
On the validity of the definition of a complement-classifier
It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes (co-toposes), which are allegedly connected to the dual to intuitionistic logic. In
Mariusz Stopa
doaj
S3RL: Enhancing Spatial Single‐Cell Transcriptomics With Separable Representation Learning
Separable Spatial Representation Learning (S3RL) is introduced to enhance the reconstruction of spatial transcriptomic landscapes by disentangling spatial structure and gene expression semantics. By integrating multimodal inputs with graph‐based representation learning and hyperspherical prototype modeling, S3RL enables high‐fidelity spatial domain ...
Laiyi Fu +6 more
wiley +1 more source
Topological spaces versus frames in the topos of $M$-sets [PDF]
In this paper we study topological spaces, frames, and their confrontation in the presheaf topos of $M$-sets for a monoid $M$. We introduce the internalization, of the frame of open subsets for topologies, and of topologies of points for frames, in our ...
Mojgan Mahmoudi, Amir H. Nejah
doaj +1 more source
Stage‐Specific Roles of Deep Eutectic Solvents in Recycling of Spent Lithium‐Ion Batteries
Deep eutectic solvents (DESs) offer tunable acidity, redox, and coordination properties for selective recycling of spent lithium‐ion battery cathodes. Through co‐dissolution, single‐ and two‐metal separations, DESs enable sustainable recovery of critical metals for closed‐loop regeneration of battery‐grade materials, advancing a circular economy for ...
Jingxiu Wang +4 more
wiley +1 more source
ABSTRACT Lateral root (LR) organogenesis is regulated by cellular flux of auxin within pericycle cells, which depends on the membrane distribution and polar localization of auxin carrier proteins. The correct distribution of auxin carrier proteins relies on the intracellular trafficking of these proteins aided by filamentous actin as a track.
Aya Hanzawa +2 more
wiley +1 more source
Indigenous people around the Kerinci Seblat National Park (KSNP), Indonesia, have a high dependence on forest resources as their main source of livelihood.
Septri Widiono +3 more
doaj +1 more source
PEK14: A Kinesin‐4 Necessary for Male‐Derived Fertility in Arabidopsis thaliana
ABSTRACT Of the 61 kinesins annotated in Arabidopsis thaliana, many are still without assigned function. Here, we have screened an insertional mutant library of Arabidopsis pollen‐expressed kinesins for fertility defects. Insertional mutants for three kinesins showed a significant reduction in seed set.
Isabella N. Mendes +6 more
wiley +1 more source
The category of equilogical spaces and the effective topos as homotopical quotients
We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2 ...
Rosolini, Giuseppe
core +1 more source
The EU's Strategy for Sustainability: A Landmark Turn With the European Green Deal?
ABSTRACT While the European Green Deal (EGD) has been widely recognized as a milestone in the EU's sustainability strategy, scholars disagree on the nature of the policy change it represents. Critics highlight its limited social and environmental ambitions, despite its portrayal as a “man on the moon” moment.
Ekaterina Domorenok, Franco Gatti
wiley +1 more source
METAPHOR OF FORM IN “LILY” (architectonics of Icelandic Fourteenth century Christian Drapa)
Aim of the study is explication of the narrative technique of the person who composed “Lily”; research demands attention to the following aspects of the drapa: 1) its architectonics, i.e.
Nataliya L Ogurechnikova
doaj +1 more source

