Results 1 to 10 of about 1,415,684 (317)
FORMATION OF THE STRATEGY OF CROP PRODUCTION INNOVATIVE DEVELOPMENT [PDF]
Volga Region Farmland, 2019 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]
ACM Transactions on Programming Languages and Systems, 2018 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 +2 more
openaire +5 more sources
Lameness prediction in broiler chicken using a machine learning technique
Information Processing in Agriculture, 2021 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
Carcass and meat quality traits of IPB D1 chicken on black soldier fly larvae (BSFL) dietary inclusion [PDF]
E3S Web of Conferences, 2023 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
Productive corecursion in logic programming [PDF]
Theory and Practice of Logic Programming, 2017 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 +2 more sources
Applied and Environmental Soil Science, 2023 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
Heliyon, 2023 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
Products of weighted logic programs [PDF]
Theory and Practice of Logic Programming, 2011 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 ...
Shay B. Cohen +2 more
openaire +4 more sources
Jurnal Sylva Lestari, 2023 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
FORMING MODELING OF A SINGLE-PRODUCT PRODUCTION PROGRAM OF AN ENTERPRISE AT THE EXPENCE OF OWN MEANS
Дискурс, 2017 Economic-mathematical models of forming enterprise production program with single-product taking into account free store capacity, average labor of product, market demand and other basic resources realized at the expense of own means were elaborated ...
N. A. Sokolitsyna
doaj +1 more source