Results 1 to 10 of about 838,863 (170)
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence [PDF]
Logical Methods in Computer Science, 2019 It is well known that the length of a beta-reduction sequence of a simply typed lambda-term of order k can be huge; it is as large as k-fold exponential in the size of the lambda-term in the worst case.
Kazuyuki Asada +3 more
doaj +3 more sources
Completely Independent Spanning Trees in (Partial) k-Trees
Discussiones Mathematicae Graph Theory, 2015 Two spanning trees T1 and T2 of a graph G are completely independent if, for any two vertices u and v, the paths from u to v in T1 and T2 are internally disjoint.
Matsushita Masayoshi +2 more
doaj +2 more sources
Tree Risk Assessment Methods: A Comparison of Three Common Evaluation Forms
EDIS, 2014 All trees pose some level of risk to nearby people, structures, and utilities. As trees age or become weakened by pests, disease, and/or other stresses, a tree owner or manager may need to decide what risk level he or she is willing to accept and what ...
Andrew K. Koeser +3 more
doaj +5 more sources
Frontiers in Genetics, 2021 Accurate and fast characterization of the subtype sequences of Avian influenza A virus (AIAV) hemagglutinin (HA) and neuraminidase (NA) depends on expanding diagnostic services and is embedded in molecular epidemiological studies.
Fahad Humayun +8 more
doaj +1 more source
Frontiers in Plant Science, 2023 Soil acidification is very likely to affect the growth of tea trees and reduce tea yield. In this study, we analyzed the effects of soils with different pH on the physiological characteristics of tea leaves and determined the multi-element content and ...
Xiaoli Jia +10 more
doaj +1 more source
Biadjoint scalars and associahedra from residues of generalized amplitudes
Journal of High Energy Physics, 2023 In the Grassmannian formulation of the S-matrix for planar N $$ \mathcal{N} $$ = 4 Super Yang-Mills, N k−2 MHV scattering amplitudes for k negative and n − k positive helicity gluons can be expressed, by an application of the global residue theorem, as a
Freddy Cachazo, Nick Early
doaj +1 more source
Frontiers in Plant Science, 2021 Eucalyptus, the most widely planted tree genus worldwide, is frequently cultivated in soils with low water and nutrient availability. Sodium (Na) can substitute some physiological functions of potassium (K), directly influencing plants’ water status ...
Nikolas de Souza Mateus +5 more
doaj +1 more source
مجلة علوم ذي قار, 2023 Klebsiella pneumoniae is a gram-negative, aerobic, non-motile bacilli and is a common cause of a wide range of infections in humans, Klebsiella spp. as a major causative bacteria in Thalassemia patient.
Rasha Joudah, Saad Hamim
doaj +1 more source
The KK¯π decay of the f1(1285) and its nature as a K⁎K¯−cc molecule
Physics Letters B, 2015 We investigate the decay of f1(1285)→πKK¯ with the assumption that the f1(1285) is dynamically generated from the K⁎K¯−cc interaction. In addition to the tree level diagrams that proceed via f1(1285)→K⁎K¯−cc→πKK¯, we take into account also the final ...
F. Aceti, Ju-Jun Xie, E. Oset
doaj +1 more source
Uniqueness and minimal obstructions for tree-depth [PDF]
, 2015 A k-ranking of a graph G is a labeling of the vertices of G with values from {1,...,k} such that any path joining two vertices with the same label contains a vertex having a higher label.
Barrus, Michael D., Sinkovic, John
core +3 more sources