27,615 research outputs found
Production and nutritional composition of two annual ryegrass cultivars (Diploid and Tetraploid)
The feed cost represents the major cost in milk production. Direct grazing and forage produced on the dairy farm could allow the farmer to a better feed production cost control. Ryegrass have been extensively used for grazing and forage production. This study evaluates the production and nutritional composition of two ryegrass cultivars diploid and tetraploid alone or in a binary mixture (50:50). The results showed that the binary mixture is a good option because of its higher production of DM/ha, higher ME and NFC and lower content of NDF, ADF and ADL.info:eu-repo/semantics/publishedVersio
Recovery operators, paraconsistency and duality
There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices
Analyzing Trails in Complex Networks
Even more interesting than the intricate organization of complex networks are
the dynamical behavior of systems which such structures underly. Among the many
types of dynamics, one particularly interesting category involves the evolution
of trails left by moving agents progressing through random walks and dilating
processes in a complex network. The emergence of trails is present in many
dynamical process, such as pedestrian traffic, information flow and metabolic
pathways. Important problems related with trails include the reconstruction of
the trail and the identification of its source, when complete knowledge of the
trail is missing. In addition, the following of trails in multi-agent systems
represent a particularly interesting situation related to pedestrian dynamics
and swarming intelligence. The present work addresses these three issues while
taking into account permanent and transient marks left in the visited nodes.
Different topologies are considered for trail reconstruction and trail source
identification, including four complex networks models and four real networks,
namely the Internet, the US airlines network, an email network and the
scientific collaboration network of complex network researchers. Our results
show that the topology of the network influence in trail reconstruction, source
identification and agent dynamics.Comment: 10 pages, 16 figures. A working manuscript, comments and criticisms
welcome
- …