Results 71 to 80 of about 33,998 (313)
HybSuite: An integrated pipeline for hybrid capture phylogenomics from reads to trees
Applications in Plant Sciences, EarlyView.Abstract Premise Hybrid capture sequencing (Hyb‐Seq) is a widely used approach in phylogenomics, providing efficient access to targeted genomic regions. However, deriving high‐quality phylogenetic trees from raw sequencing reads requires extensive bioinformatics processing, which increases complexity, the risk of errors, and challenges in file ...
Yu‐Xuan Liu +8 more
wiley +1 more source
Application of Axiomatic Design principles in conceptual design
MATEC Web of Conferences, 2018 The main objective of this paper is to propose a modified methodology for concept evaluation by applying Axiomatic Design principles. Several drawbacks were recognised during the literature review and application of established Axiomatic Design ...
Delaš Josipa +2 more
doaj +1 more source
Proceedings of the ACM on Programming LanguagesWe study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polynomial-time equivalence checking that is sound with respect to Boolean algebra semantics.
Simon Guilloud, Viktor Kuncak
openaire +2 more sources
Pseudo-manifold geometries with applications [PDF]
, 2006 A Smarandache geometry is a geometry which has at least one Smarandachely denied axiom(1969), i.e., an axiom behaves in at least two different ways within the same space, i.e., validated and invalided, or only invalided but in multiple distinct ways and ...
Mao, Linfan, Linfan Mao
core +1 more source
The Anatomical Record, EarlyView.Abstract Differences in skull and tooth morphology, stomach contents, and estimated bite force between medium‐to‐large sized (≥100 kg) predatory theropod dinosaurs have long been suspected to correlate with differences in their diets and dietary guilds (e.g., hypercarnivory, piscivory).
Cassius Morrison +9 more
wiley +1 more source
Hubcap and ignition switch designs - case studies in Independence Axiom
MATEC Web of Conferences, 2018 Independence Axiom offers designers a guide to good design. It declares that the design parameters (DPs) conceived for a good design must maintain the independence of the design functional requirements (FRs).
Oh Hilario (Larry)
doaj +1 more source
, 2005 This talk introduces the first graph-theoretic, ordinal representation theorem for the PageRank algorithm, bridging the gap between page ranking algorithms and the formal theory of social choice.
openaire +4 more sources
THE LUXURY AXIOM, THE WEALTH PARADOX, AND CHILD LABOR [PDF]
Basu and Van (1998) present a fundamental framework of child labor with two important axioms: the luxury axiom and the substitution axiom. A number of empirical studies, however, reveal a ¡°wealth paradox¡±. The current paper has two aims.
C. Simon Fan
core
, 2020 This paper discusses the semantic assumption that Roman Suszko called “the Fregean Axiom.” According to the Fregean Axiom, a logical sentence is a name of its logical value, which means that all true sentences are names of one and the same object called “
Omyła, Mieczysław
core +1 more source
Early evolution of the gular musculature and its innervation in ray‐finned fishes
The Anatomical Record, EarlyView.Abstract Gular muscles are an important but often overlooked component of cranial anatomy in bony fishes. They are located on the ventral surface of the head and are derived from the mandibular and hyoid arches. We present a comprehensive review of the gular musculature and its innervation across early diverging actinopterygian lineages. By integrating
Aléssio Datovo +4 more
wiley +1 more source