Results 91 to 100 of about 13,778 (221)
Middle-out reasoning for synthesis and induction [PDF]
, 1995 We develop two applications of middle-out reasoning in inductive proofs: Logic program synthesis and the selection of induction schemes. Middle-out reasoning as part of proof planning was first suggested by Bundy et al [Bundy et al 90a].
A. Ireland +10 more
core +3 more sources
Market survey of the periwinkle Tympanotonus fuscatus in Rivers State: Sizes, prices, trade routes and exploitation levels [PDF]
, 1985 Tympanotonus fuscatus was collected from 23 markets through Rivers State (Nigeria), a few in neighbouring states, and from an unexploited population at Buguma.
Deekae, S., Hart, A.I., Powell, C.B.
core
Leafhoppers transmit citrus stubborn disease to weed host
California Agriculture, 1976 Researchers report a new breakthrough in studies of citrus stubborn disease. Leaf-hoppers have been shown to transmit the disease organism to and from a weed plant—from diseased periwinkle to London rocket and from diseased London rocket to healthy ...
G Kaloostian +3 more
doaj
Engineering properties of bio-inspired cement mortar containing seashell powder [PDF]
, 2014 Cement mortar is a semi liquid formed by a composite of cement, sand and water. Generally, cement mortar is used as a medium for bricks laying in construction.
Md. Tahir, Mahmood +2 more
core
Nigerian Journal of Technological Development, 2018 The needs for eco-friendly composites have initiated the use of agricultural wastes as possible replacements for expensive synthetic carbon and glass fillers for metal and polymer strengthening. In this study, degree of refinement of palm kernel shells,
J. O. Agunsoye +3 more
doaj
Jurnal Teknologi LaboratoriumCadmium is a toxic heavy metal known to induce oxidative stress, DNA damage, and inflammation, particularly in kidney tissue, as shown by elevated levels of inflammatory cytokines such as Interleukin-6 (IL-6) and apoptotic markers like Caspase-3.
Qisthy Kurrota Aini +2 more
doaj +1 more source
Effect of the corn stunt spiroplasma disease on maize production. [PDF]
, 2017 Suplemento.
COELHO, A. M. +2 more
core
A tractable, parsimonious and flexible model for cylindrical data, with applications
, 2015 In this paper, we propose cylindrical distributions obtained by combining the sine-skewed von Mises distribution (circular part) with the Weibull distribution (linear part).
Abe, Toshihiro, Ley, Christophe
core
Enrollment Forecast (2006-2015) for Greater Albany Public School District [PDF]
, 2005 This report, prepared by the Population Research Center (PRC) provides a district-wide Enrollment Forecast, Enrollment Forecasts for individual schools, and demographic information for Greater Albany Public School District (GAPSD).
Endo, Sonoko +3 more
core +1 more source
Report on the 2013 Rapid Assessment Survey of Marine Species at New England Bays and Harbors [PDF]
, 2014 Introduced species (i.e., non-native species that have become established in a new location) have increasingly been recognized as a concern as they have become more prevalent in marine and terrestrial environments (Mooney and Cleland 2001; Simberloff et ...
Cao, Yuangyu +19 more
core +1 more source