Results 1 to 10 of about 4,154,339 (340)
FORMATION OF THE STRATEGY OF CROP PRODUCTION INNOVATIVE DEVELOPMENT [PDF]
The aim of the article is the study and systematization of factors affecting the formation of a strategy for the innovative development of crop production. In the work were used general and special research methods, as well as strategic planning methods,
S.N. Alekseyeva, G.A. Volkova
doaj +1 more source
Modular Product Programs [PDF]
Many interesting program properties like determinism or information flow security are hyperproperties, that is, they relate multiple executions of the same program. Hyperproperties can be verified using relational logics, but these logics require dedicated tool support and are difficult to automate. Alternatively, constructions such as self-composition
Marco Eilers, Peter Müller, Samuel Hitz
openaire +6 more sources
Carcass and meat quality traits of IPB D1 chicken on black soldier fly larvae (BSFL) dietary inclusion [PDF]
The aims research studied the effect of the dietary inclusion of 3 different levels of black soldier fly larvae (BSFL) meal on the slaughter traits and meat nutritional quality of IPB D1 chicken (composite chicken: Pelung, Sentul, Kampung, Cobb Broiler).
Ayuningtyas Gilang+2 more
doaj +1 more source
Lameness prediction in broiler chicken using a machine learning technique
Broiler flock welfare is usually assessed through mortality, physiology, behavior, and walking ability. The possibility of assessing broiler chicken lameness using the bird walking ability was investigated using the machine learning approach for the ...
Irenilza de Alencar Nääs+5 more
doaj +1 more source
Background: Rootstocks less vigorous are among the most crucial management techniques to modernize fruit cultivation. Replanting with fallow land has become necessary due to a lack of land to establish new orchards. Objective: The aim of this study is to
Pricila Santos da Silva+6 more
doaj +1 more source
Compacted soils may be negatively affecting the selectivity of herbicides applied in preemergence in the soybean crop. Therefore, the present work aimed to investigate possible negative effects on the morphophysiological characters of soybean plants, as ...
Bruno César Silva Pereira+9 more
doaj +1 more source
Products of weighted logic programs [PDF]
AbstractWeighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a ...
Cohen, S. B.+2 more
openaire +5 more sources
Rambutan (Nephelium lappaceum) fruit is a potential non-timber forest in tropical countries such as Indonesia due to its high economic potential. However, it is necessary to know the silvicultural aspects of the species in order to produce high-quality ...
Ítalo Felipe Nogueira Ribeiro+5 more
doaj +1 more source
Productive corecursion in logic programming [PDF]
AbstractLogic 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 ...
EKATERINA KOMENDANTSKAYA, YUE LI
openaire +3 more sources
Biochar enhances Acrisol attributes and yield of bean in Brazilian tropical dry region
Biochar is a product rich in carbon, which improve the soil attributes and crop yield. In the Brazilian tropical dry region, common bean is cultivated under rainfed, in poor, acidic, and with low water retention soils.
José Romualdo de Sousa Lima+8 more
doaj +1 more source