Results 21 to 30 of about 685,157 (352)
Revista Brasileira de Ciência do Solo, 2009 In Rio Grande do Sul State (RS), Southern Brazil, aluminum saturation in many areas under no-till system is high and base saturation low in the 0.10-0.20 m layer (subsurface), which may reduce the grain yield of annual crops.
Otavio Bagiotto Rossato +6 more
doaj +1 more source
Decidability Results for Saturation-Based Model Building
, 2009 Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termination without generating an empty clause, a saturated clause set implicitly represents a minimal model for all clauses, based on the underlying term ordering of the superposition ...
Matthias Horbach, Christoph Weidenbach
openalex +5 more sources
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
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
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
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
Breather trapping and breather transmission in a DNA model with an interface [PDF]
, 2006 We study the dynamics of moving discrete breathers in an interfaced piecewise DNA molecule. This is a DNA chain in which all the base pairs are identical and there exists an interface such that the base pairs dipole moments at each side are oriented in
A. Alvarez +34 more
core +3 more sources