Results 21 to 30 of about 677,760 (302)
Revista Brasileira de Ciência do Solo, 2008 O feijão (Phaseolus vulgaris L.) constitui a base alimentar da população brasileira. Muitos fatores determinam a baixa produtividade do feijoeiro, desde problemas políticos até fatores técnicos, dentre eles a adubação e nutrição.
Reges Heinrichs +3 more
doaj +1 more source
Learning to Guide a Saturation-Based Theorem Prover [PDF]
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023 Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the design of learning mechanisms that can be integrated into theorem provers to improve their performance automatically.
Ibrahim Abdelaziz +10 more
openaire +3 more sources
Saturations of subalgebras, SAGBI bases, and U-invariants [PDF]
Journal of Symbolic Computation, 2022 Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we describe a procedure/algorithm to compute a set of generators for $Sat_g(S)$ which terminates if and only if it is ...
Bigatti A. M., Robbiano L.
openaire +4 more sources
Saturated Critical Heat Flux in a Multi-Microchannel Heat Sink Fed by a Split Flow System [PDF]
, 2010 An extensive experimental campaign has been carried out for the measurement of saturated critical heat flux in a multi-microchannel copper heat sink. The heat sink was formed by 29 parallel channels that were 199 μm wide and 756 μm deep.
D. Toto +3 more
core +1 more source
Improved MPC Design based on Saturating Control Laws* [PDF]
European Journal of Control, 2003 This paper is concerned with the design of stabilizing model predictive control (MPC) laws for constrained linear systems. This is achieved by obtaining a suitable terminal cost and terminal constraint using a saturating control law as local controller.
Limón Marruedo, Daniel +3 more
openaire +4 more sources
Revista Brasileira de Ciência do Solo, 2017 Modern maize, wheat, and soybean cultivars are usually characterized by a short cycle, high shoot-root ratio, and high responsiveness to nutrient input. Continuous no-tillage management (NTS) frequently leads to a steep gradient in soil chemical quality ...
Douglas Dalla Nora +3 more
doaj +1 more source
Growth and Quality of Leucochloron incuriale Seedlings Subjected to Liming and Phosphorus
Floresta e Ambiente, 2019 Leucochloron incuriale can be used in projects to restore degraded areas and for logging purpose. Soil has been used in nurseries to produce seedlings; however, most soil types in Brazil have low nutrient availability and high acidity level.
Pedro Augusto Rodrigues dos Santos +2 more
doaj +1 more source
Linear projection‐based chemical exchange saturation transfer parameter estimation [PDF]
NMR in Biomedicine, 2022 Isolated evaluation of multiparametric in vivo chemical exchange saturation transfer (CEST) MRI often requires complex computational processing for both correction of B0 and B1 inhomogeneity and contrast generation. For that, sufficiently densely sampled Z‐spectra need to be acquired.
Felix Glang +15 more
openaire +3 more sources
Revista Brasileira de Ciência do SoloImprovement of soil chemical properties in dystrophic Oxisols managed under long-term no-tillage system (NTS) with surface broadcast lime has been, frequently, restricted to a shallow topsoil layer.
Douglas Dalla Nora +4 more
doaj +1 more source
Frontiers in Plant Science, 2022 Arnica montana L. (AM, Asteraceae) is a perennial, herbaceous vascular plant species of commercial importance. The flower heads’ pharmacological properties are attributed mainly to sesquiterpene lactones (SLs), with phenolic acids and flavonoids also ...
Anja Greinwald +6 more
doaj +1 more source