Results 51 to 60 of about 604,405 (322)

Flow, Sediment, and Morpho-Dynamics of River Confluence in Tidal and Non-Tidal Environments

Journal of Marine Science and Engineering, 2020
River confluences are the key features of the drainage basins, as their hydrological, geomorphological, and ecological nature strongly influences the downstream river characteristics.
A. Bilal, Qiancheng Xie, Yanyan Zhai
semanticscholar   +1 more source

Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM

FEBS Letters, EarlyView.
Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
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

Certification of Confluence Proofs using CeTA [PDF]

, 2015
CeTA was originally developed as a tool for certifying termination proofs which have to be provided as certificates in the CPF-format. Its soundness is proven as part of IsaFoR, the Isabelle Formalization of Rewriting.
Nagele, Julian, Thiemann, René
core   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

FEBS Letters, EarlyView.
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

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

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

Diversity and complexity in neural organoids

FEBS Letters, EarlyView.
Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
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

Infinitary Combinatory Reduction Systems: Confluence [PDF]

, 2009
We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms ...
Henk Barendregt, Jakob Simonsen, Jeroen Ketema   +2 more
core   +5 more sources