Results 71 to 80 of about 584,540 (386)

C9orf72 ALS‐causing mutations lead to mislocalization and aggregation of nucleoporin Nup107 into stress granules

FEBS Letters, EarlyView.
Mutations in the C9orf72 gene represent the most common genetic cause of amyotrophic lateral sclerosis (ALS), a fatal neurodegenerative disease. Using patient‐derived neurons and C. elegans models, we find that the nucleoporin Nup107 is dysregulated in C9orf72‐associated ALS. Conversely, reducing Nup107 levels mitigates disease‐related changes.
Saygın Bilican, Yara Nabawi, William Hongyu Zhang, Dunja Petrovic, Markus Wehrmann, Sara Muñoz‐García, Seda Koyuncu, David Vilchez   +7 more
wiley   +1 more source

On Strictly Positive Fragments of Modal Logics with Confluence

Mathematics, 2022
We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such as K.2, D.2, D4.2 and S4.2 with unimodal confluence ⋄□p→□⋄p as well as the products of modal logics in the set K,D,T,D4,S4, which ...
Stanislav Kikot, Andrey Kudinov
doaj   +1 more source

Ground confluence [PDF]

, 1987
In this paper we introduce a test for confluence on ground terms. This test allows us to prove the ground confluence of term rewriting systems where the Knuth-Bendix Algorithm does not terminate. Ground Confluence of term rewriting systems is sufficient, if one is interested in congruences on ground terms.
openaire   +1 more source

From lactation to malignancy: A comparison between healthy and cancerous breast gland at single‐cell resolution reveals new issues for tumorigenesis

FEBS Letters, EarlyView.
Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona, Carlo M. Bergamini, Carlo Ferrari, Stefano Volinia, Nicoletta Bianchi   +4 more
wiley   +1 more source

Overview of Nigeria’s Infrastructural Development

CSID Journal of Infrastructure Development
This paper offers a comprehensive analysis of Nigeria’s infrastructural development from 2014 to 2023, focusing on significant achievements and recurring challenges.
Muhammad Onoruiza Audu, Otu Muhammed Adeiza   +1 more
doaj   +1 more source

Disparition du delta intérieur du Drac et naissance de la presqu’île grenobloise : signature de la fin du Petit Age Glaciaire

Cybergeo, 2017
From a wide variety of maps and iconographic sources, spatially corrected and georeferenced, this work seeks to precisely reconstruct the hydro-morphological changes at the confluence of two main Alpine rivers: Drac and Isère.
Dominique Dumas, Adrien Favillier
doaj   +1 more source

Resonance equals reducibility for A-hypergeometric systems [PDF]

, 2000
Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant.
DS Kanevski, DS Kanevsky, HPF Swinnerton-Dyer, SJ Pride, YuI Manin, YuI Manin, YuI Manin   +6 more
core   +3 more sources

Confluence in Probabilistic Rewriting

Electronic Notes in Theoretical Computer Science, 2018
LSFA 2017 Final ...
Alejandro Díaz-Caro, Alejandro Díaz-Caro, Guido Martínez   +2 more
openaire   +4 more sources

Cancer cell death induced by the NAD antimetabolite Vacor discloses the antitumor potential of SARM1

FEBS Letters, EarlyView.
Vacor, a compound converted into the toxic metabolite Vacor adenine dinucleotide (VAD) by the nicotinamide salvage pathway enzymes NAMPT and NMNAT2, exhibits antitumor activity by inducing rapid and complete NAD depletion. We report that Vacor toxicity is limited to cell lines expressing high levels of SARM1, a NAD glycohydrolase.
Giuseppe Ranieri, Andrea Lapucci, Giuseppe Orsomando, Nadia Raffaelli, Alberto Chiarugi, Daniela Buonvicino   +5 more
wiley   +1 more source

Stacking ensemble machine learning for predicting land surface temperature hotspots using landsat 9 data

Proceedings of the Nigerian Society of Physical Sciences
Despite advancements in predictive modeling, existing methods struggle with accuracy and spatial variability in Land Surface Temperature (LST) estimation.
Momohjimoh Abdulsalami, Dahiru Dahuwa, Saratu Muhammad Hussaini, Yahaya Jibrin Danjuma, Michael Adewale Ibitomi, Danga Onimisi Abdulmalik, Bunmi Oyekola Isaac, Zainab Usman, Joseph Omeiza Alao, Aliyu Abdullateef   +9 more
doaj   +1 more source