1,208,224 research outputs found
Selective Breeding to Improve Productive and Reproductive Performances and Survivability of Indigenous Sakini Chicken
Indigenous chickens are quite popular in Family Poultry Production System (FPPS) in Nepal, but are constrained with their low productive performance. The present study evaluated the productive and reproductive performance of Sakini chicken in different filial generations and sexes. In addition, research also aimed at understanding the effect of generations on above performances. Initially, base populations (G-0) of Sakini were maintained by collecting eight weeks old birds from different agro-ecologial zones of Nepal. Performance of the birds of G-0 was evaluated based on weekly body weight (12-24 weeks), laying performance, fertility, hatchability, hatch weight and survivability. Selected birds of base population (G-0) were used to produce first (G-1), second (G-2) and third (G-3) generations through selective breeding in each generation. Similarly, body weights at hatching, 12 weeks, 16 weeks, 20 week and 24 weeks were significantly (p<0.001) improved from G0 to G3 and were also significantly (p<0.001) differ for sex (males were always heavier than females). Likewise, there was significant (p<0.05) improvement in egg production (per hen per year), age at first lay (days), body weight at sexual maturity, egg number and egg weight at 90 days of laying in progressive generations. Fertility, hatchability and survivability significantly (p<0.05) improved in selected generations in comparison to base population, whereas, no significant difference was obtained within the different selected population. Thus, indigenous Sakini chicken under this experiment performed better with respect to survivability, fertility and hatchability in later generations that provides ample scope of advancing selective breeding activities within the indigenous population in order to bring significant improvement in the overall productive performance of Sakini chicken in Nepal
Productive Corecursion in Logic Programming
Logic Programming is a Turing complete language. As a consequence, designing
algorithms that decide termination and non-termination of programs or decide
inductive/coinductive soundness of formulae is a challenging task. For example,
the existing state-of-the-art algorithms can only semi-decide coinductive
soundness of queries in logic programming for regular formulae. Another, less
famous, but equally fundamental and important undecidable property is
productivity. If a derivation is infinite and coinductively sound, we may ask
whether the computed answer it determines actually computes an infinite
formula. If it does, the infinite computation is productive. This intuition was
first expressed under the name of computations at infinity in the 80s. In
modern days of the Internet and stream processing, its importance lies in
connection to infinite data structure processing.
Recently, an algorithm was presented that semi-decides a weaker property --
of productivity of logic programs. A logic program is productive if it can give
rise to productive derivations. In this paper we strengthen these recent
results. We propose a method that semi-decides productivity of individual
derivations for regular formulae. Thus we at last give an algorithmic
counterpart to the notion of productivity of derivations in logic programming.
This is the first algorithmic solution to the problem since it was raised more
than 30 years ago. We also present an implementation of this algorithm.Comment: Paper presented at the 33nd International Conference on Logic
Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017
16 pages, LaTeX, no figure
Derivational morphology in the German mental lexicon: A dual mechanism account
The Dual Mechanism Model posits two different cognitive mechanisms for morphologically complex word forms: decomposition of regulars into stems and exponents, and full-form storage for irregulars. Most of the research in this framework has focused on contrasts between productive and non-productive inflection. In this paper, we extend the model to derivational morphology. Our studies indicate that productive derivation shows affinities with both productive and non-productive inflection. We argue that these results support the linguistic distinction between derivation and inflection, particularly as it is represented in realization-based models of morphology
Facing the Future: Financing Productive Schools
Synthesizes the School Finance Redesign Project's findings on policy options for redesigning the system to focus resources on promoting student learning. Calls for student count-based funding, integrated data collection, innovation, and accountability
Inmates Prepare to Pivot to Productive Careers
“Pivot the Hustle” program launched by Roger Williams University and Department of Corrections concludes first year with graduations
- …