Results 61 to 70 of about 584,540 (386)

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, Cosgriff, Marg, Dignan, Annie, Pinch, Katherine J.   +3 more
core   +1 more source

Dimensional Confluence Algebra of Information Space Modulo Quotient Abstraction Relations in Automated Problem Solving Paradigm

, 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

Goodbye flat lymphoma biology

FEBS Letters, EarlyView.
Three‐dimensional (3D) biological systems have become key tools in lymphoma research, offering reliable in vitro and ex vivo platforms to explore pathogenesis and support precision medicine. This review highlights current 3D non‐Hodgkin lymphoma models, detailing their features, advantages, and limitations, and provides a broad perspective on future ...
Carla Faria, Cèlia Dobaño‐López, Patricia Pérez‐Galán, Christine Bezombes   +3 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

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

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

Confluence by Decreasing Diagrams [PDF]

Theoretical Computer Science, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Mechanistic basis for inhibition of the extended‐spectrum β‐lactamase GES‐1 by enmetazobactam and tazobactam

FEBS Letters, EarlyView.
Antimicrobial resistance (AMR) is of huge importance, resulting in over 1 million deaths each year. Here, we describe how a new drug, enmetazobactam, designed to help fight resistant bacterial diseases, inhibits a key enzyme (GES‐1) responsible for AMR. Our data show it is a more potent inhibitor than the related tazobactam, with high‐level computation
Michael Beer, Philip Hinchliffe, Marko Hanževački, Christopher R. Bethel, Catherine L. Tooke, Marc W. Van der Kamp, Krisztina M. Papp‐Wallace, Robert A. Bonomo, Stuart Shapiro, Adrian J. Mulholland, James Spencer   +10 more
wiley   +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

Confluence for graph transformations

Theoretical Computer Science, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
C. Rambaud, N. Lafaye de Micheaux
openaire   +3 more sources