Results 21 to 30 of about 162,552 (303)
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
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
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
Estimating Base Saturation Flow Rate for Selected Signalized Intersections in Al-Najaf City [PDF]
, 2023 The correct saturation flow rates for the specific circumstances must be used to calculate delays and the level of Service at intersections. As a result of a lack of local data, practitioners would often use default values from overseas software ...
Hamid A. Al-jameel +3 more
core +1 more source
Lyapunov‐based saturated continuous twisting algorithm [PDF]
International Journal of Robust and Nonlinear Control, 2020 AbstractIn this article, a second‐order system, which is affected by disturbances and uncertainties, with a saturating actuator is considered. A novel robust feedback control law is designed based on the sliding mode technique. The twisting and the continuous twisting algorithms are incorporated into the design, which is based on level curves of a ...
Mohammad Ali Golkani +3 more
openaire +2 more sources
Revista Brasileira de Ciência do Solo, 2021 Oxisols ( Latossolos ) are widely distributed in tropical zones and generally characterized by high levels of surface and subsurface acidity. In Brazil, most Oxisols are managed under no-till conditions with surface application of acidity amendments ...
Marcos Renan Besen +8 more
doaj +1 more source
Validation plot among base saturation flow rate model prediction.
, 2021 Validation plot among base saturation flow rate model prediction.
Yusria Darma (11378339) +5 more
core +1 more source
Combining Induction and Saturation-Based Theorem Proving [PDF]
Journal of Automated Reasoning, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mnacho Echenim, Nicolas Peltier
openaire +3 more sources
Abstract saturation-based inference
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., 2003 Solving goals---like deciding word problems or resolving constraints---is much easier in some theory presentations than in others. What have been called ``completion processes'', in particular in the study of equational logic, involve finding appropriate presentations of a given theory to solve easily a given class of problems.
Dershowitz, Nachum, Kirchner, Claude
openaire +3 more sources