Results 61 to 70 of about 11,897 (300)
Osteohistology of two phorusrhacids reveals uninterrupted growth strategy
Abstract Phorusrhacidae were apex predators that primarily dominated South America ecosystems for at least 40 million years with their imposing size and predatory lifestyle—yet some aspects of their biology remain poorly understood. Osteohistology is a tool for understanding growth dynamics and biomechanical adaptations.
Lotta Dreyer +2 more
wiley +1 more source
This review redefines the carotid bulb (CB) as a variable geometric dilation shaped by hemodynamics and the carotid sinus (CS) as a conserved neurohistological baroreceptor field. Distinguishing these entities clarifies a century of anatomical confusion and links geometry, neurohistology, and clinical interpretation within a unified framework ...
Răzvan Costin Tudose +2 more
wiley +1 more source
Global renaming operators in concrete process algebra [PDF]
Renaming operators are introduced in concrete process algebra (concrete means that abstraction and silent moves are not considered). Examples of renaming operators are given: encapsulation, pre-abstraction, and localization.
Bergstra, J.A. +3 more
core +2 more sources
Conserving genetic material and even increasing genetic diversity is critical. To conduct the conservation of wild boar germplasm resources, we have successfully obtained healthy cloned wild boars for the first time using interspecies somatic cell nuclear transfer and established transgene‐free iPSCs that can be used to conduct iterative rounds of gene
Chen Gao +11 more
wiley +1 more source
Human Fibroblast‐Myeloid cell tissue atlas across lung, synovium, skin and heart
Background The availability of single‐cell RNA sequencing (scRNAseq data) in different tissues and disease states provides an opportunity to compare cellular subsets and identify common and unique cellular activation. In this study, we aimed to characterize shared and tissue‐specific myeloid and stromal phenotypes and to uncover key cellular subtypes ...
Lucy MacDonald +9 more
wiley +1 more source
Horn Renamability and Hypergraphs
Satisfiability testing in the context of directed hypergraphs is discussed. A characterization of Horn-renamable formulae is given and a subclass of SAT that belongs to $\QTR{cal}{P}$ is described. An algorithm for Horn renaming with linear time complexity is presented.
openaire +2 more sources
Horn Upper Bounds and Renaming [PDF]
We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of variables. Negative results are given for the quality of approximation in this extended version.
Langlois Marina +2 more
openaire +1 more source
The impact of family interview on the relationship between medical students and their silent mentor
Abstract The gross anatomy laboratory course often triggers significant negative emotions in medical students during dissection. While various pedagogical interventions aim to alleviate psychological burden, the fundamental question of how students' perceptions of donors evolve throughout the course remains underexplored.
Po‐Fang Tsai +2 more
wiley +1 more source
Renaming in distributed certification
Local certification is the area of distributed network computing asking the following question: How to certify to the nodes of a network that a global property holds, if they are limited to a local verification? In this area, it is often essential to have identifiers, that is, unique integers assigned to the nodes.
Bousquet, Nicolas +3 more
openaire +3 more sources
) Mark Moir and James H. Anderson Department of Computer Science The University of North Carolina at Chapel Hill Chapel Hill, North Carolina 27599-3175, USA April 1994 Abstract We consider wait-free solutions to the renaming problem for shared ...
Extend Ed +3 more
core

