Results 41 to 50 of about 545,156 (279)

Layer Systems for Proving Confluence

, 2015
We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that imply confluence.
Felgenhauer, Bertram, Middeldorp, Aart, van Oostrom, Vincent, Zankl, Harald   +3 more
core   +1 more source

On q-summation and confluence [PDF]

, 2008
This paper is divided in two parts. In the first part we consider irregular singular analytic q-difference equations, with q\in ]0,1[, and we show how the Borel sum of a divergent solution of a differential equation can be uniformly approximated on a ...
Di Vizio, Lucia, Zhang, Changgui
core   +5 more sources

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

Impact of Logistics Factors on Procurement of Construction Materials in Lokoja, Kogi State

CSID Journal of Infrastructure Development
This study investigates the influence of logistics factors on the procurement of construction materials in Lokoja, Kogi State, aiming to identify and rank the critical elements affecting material procurement in building projects.
Muhammed Etudaiye Ohida, Isa Imam, Araoye Olarinkoye Ajiboye   +2 more
doaj   +1 more source

Lateral asymmetry in the hippocampal response to the remoteness of autobiographical memories [PDF]

, 2003
The time scale of hippocampal involvement in retrieving memories, particularly those more remote, is still a matter of debate. Some propose that the hippocampus is not involved in the retrieval of remote memories, whereas others assert that it is ...
Frith, C.D., Maguire, E.A.
core  

Inhibiting stearoyl‐CoA desaturase suppresses bone metastatic prostate cancer by modulating cellular stress, mTOR signaling, and DNA damage response

FEBS Letters, EarlyView.
Bone metastasis in prostate cancer (PCa) patients is a clinical hurdle due to the poor understanding of the supportive bone microenvironment. Here, we identify stearoyl‐CoA desaturase (SCD) as a tumor‐promoting enzyme and potential therapeutic target in bone metastatic PCa.
Alexis Wilson, Mackenzie K Herroon, Shane Mecca, Laimar C Garmo, Jacob Lindquist, Shrila Rajendran, Steve M. Patrick, Izabela Podgorski   +7 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

Can Identifying Discrete Behavioral Groups With Individual-Based Acoustic Telemetry Advance the Understanding of Fish Distribution Patterns?

Frontiers in Marine Science, 2021
Identifying patterns of organismal distribution can provide valuable insights for basic and applied marine and coastal ecology because understanding where animals are located is foundational to both research and science-based conservation.
Ryland B. Taylor, Martha E. Mather, Joseph M. Smith, Kayla M. Boles   +3 more
doaj   +1 more source

Aggressive prostate cancer is associated with pericyte dysfunction

Molecular Oncology, EarlyView.
Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero, Ane Martinez‐Larrinaga, Joaquim Grego‐Bessa, Saioa Garcia‐Longarte, Hielke van Splunder, Ianire Astobiza, Amaia Ercilla, Laura Bozal‐Basterra, Isabel Mendizabal, Pilar Villacampa, Arkaitz Carracedo, Mariona Graupera   +11 more
wiley   +1 more source

Exploration of quality groundwater through lineament delineation in Okene and its surroudings

Geosystems and Geoenvironment
This research addresses the issue of unproductive boreholes in the study area and the limited information on productive aquifers. The challenging geological terrain and dense urbanization necessitate the use of integrated airborne data, namely Landsat ...
Oluwatoyin Khadijat Olomo, Onimisi Abdulmalik Danga, Abdullateef O. Aliyu   +2 more
doaj   +1 more source