Results 1 to 10 of about 150,695 (267)
GeodermaBase saturation (BS) and effective base saturation (BSe) are widely used soil characteristics, commonly involved in the criteria of soil classification, including the World Reference Base for Soil Resources (WRB) system.
Cezary Kabala +3 more
doaj +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
Seedlings of Cedrela fissilis Vell. respond to single superphosphate application, but not to liming [PDF]
Revista Ceres, 2023 Cedro-rosa (Cedrela fissilis) is native to Brazil with great potential for seedling production. However, soil correction is necessary to improve its performance, due to the edaphoclimatic conditions in Brazil, where soils have a high weathering degree ...
Tayssa Menezes Franco +5 more
doaj +1 more source
Revista Brasileira de Ciência do Solo, 2021 Brazil is currently the leading country in no-till (NT) farming, particularly on Ferralsols (Latossolos), the most abundant soil type. These soils are characterized by subsurface acidity that cannot be effectively corrected by surface application of ...
Marcos Renan Besen +5 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
Frontiers in Forests and Global Change, 2021 Land-use change and specifically a change in the type of vegetation cover affects soil morphology, chemistry, biology, and nutrient regimes. Numerous studies have documented that in land-use conversions from agricultural land to forest, or from ...
German Morazzo +5 more
doaj +1 more source
Chemical properties of long-term irrigated Fluvisols of the Beli Drim river valley in the Klina region (Serbia) [PDF]
Zemljište i biljka, 2021 The impact of long-term (> 100 yr) irrigation on soil chemical properties was studied on eight plots in the Beli Drim river valley in Kosovo and Metohija near Klina, Serbia.
Tolimir Miodrag +6 more
doaj +1 more source
Induction in Saturation-Based Proof Search [PDF]
EasyChair Preprints, 2019 Many applications of theorem proving, for example program verification and analysis, require first-order reasoning with both quantifiers and theories such as arithmetic and datatypes. There is no complete procedure for reasoning in such theories but the state-of-the-art in automated theorem proving is still able to reason effectively with real-world ...
Giles Reger, Andrei Voronkov
openaire +3 more sources
Ecohydrological analysis of a groundwater influenced blanket bog: occurrence of Schoenus nigricans in Roundstone Bog, Connemara, Ireland [PDF]
Mires and Peat, 2016 Since the late 1960s, the occurrence of Schoenus nigricans in Irish blanket bogs has been attributed to inputs of salt spray to the blanket bogs, due to their proximity to the coast and the predominant westerly winds from the Atlantic Ocean. To test this
A.P. Grootjans +5 more
doaj +1 more source
Soil Systems, 2022 Atmospheric acid deposition has increased sharply since the beginning of industrialization but has decreased considerably since the 1980s owing to clean-air policies.
Bernd Ahrends +2 more
doaj +1 more source