Results 31 to 40 of about 552,801 (329)
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 +3 more
doaj +1 more source
Gender and the Outdoors: An International Conversation [PDF]
, 2008 Over the past two to three decades in outdoor education circles, there has been a gradual swell of interest in bringing a gender lens to the examination of issues, theory and practice within the field.
Breunig, Mary +3 more
core +1 more source
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 +3 more
core +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
Confluence versus Ample Sets in Probabilistic Branching Time [PDF]
, 2011 To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on
Hansen, Henri, Timmer, Mark
core +2 more sources
, 2016 Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics defined by ...
Tirri, Seppo Ilari
core +2 more sources
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 +5 more
wiley +1 more source
Impact of Logistics Factors on Procurement of Construction Materials in Lokoja, Kogi State
CSID Journal of Infrastructure DevelopmentThis 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 +2 more
doaj +1 more source
Confluence and the Neo-Victorian in Dickensian
Études Britanniques Contemporaines, 2017 Charles Dickens's work is a favourite for screen and TV adaptations even though the latter tend to be deemed conservative. These adaptations however focus normally on one particular novel.
Armelle Parey
doaj +1 more source