Results 11 to 20 of about 150,695 (267)

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, Richard Seeber, Markus Reichhartinger, Martin Horn   +3 more
openaire   +2 more sources

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

Crop Response to Gypsum Application to Subtropical Soils Under No-Till in Brazil: a Systematic Review

Revista Brasileira de Ciência do Solo, 2018
The use of gypsum to improve the root environment in tropical soils in the southeastern and central-western regions of Brazil is a widespread practice with well-established recommendation criteria.
Tales Tiecher, Osmar Henrique de Castro Pias, Cimélio Bayer, Amanda Posselt Martins, Luiz Gustavo de Oliveira Denardin, Ibanor Anghinoni   +5 more
doaj   +1 more source

Effect of forest liming in the Western Krušné hory Mts.

Journal of Forest Science, 2006
In May 31, 2000, the Government of the Czech Republic, has adopted the Decision No. 532, assigning the minister of agriculture to realize liming and fertilizing in the Krušné hory Mts. and Orlické hory Mts.
V. Šrámek, J. Materna, R. Novotný, V. Fadrhonsová   +3 more
doaj   +1 more source

Lime and phosphogypsum application management: changes in soil acidity, sulfur availability and crop yield

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, Ricardo Henrique Ribeiro, Michel Esper Neto, Evandro Antonio Minato, Carolina Fedrigo Coneglian, Wagner Deckij Kachinski, Cassio Antonio Tormena, Tadeu Takeyoshi Inoue, Marcelo Augusto Batista   +8 more
doaj   +1 more source

Aplicação superficial de calcário em pomar de laranjeira pêra em produção Surface liming application in the soil withadult orange cv. pêra

Revista Brasileira de Fruticultura, 2007
A citricultura paulista é a maior do mundo, sendo de extrema importância manejos que visem a aumentar e melhorar a produção de frutos. Com vistas a isso, foi instalado na EECB (Bebedouro-SP), em um Latossolo Vermelho distrófico típico, um experimento com
Marcos Antonio Camacho da Silva, William Natale, Renato de Mello Prado, Márcio Cleber Medeiros Corrêa, Eduardo Sanches Stuchi, Itamar Andrioli   +5 more
doaj   +1 more source

Crescimento do maracujazeiro-doce propagado por sementes em função da calagem Growth of sweet passion fruit seedlings as a function of liming

Ciência e Agrotecnologia, 2003
Objetivou-se avaliar as respostas em crescimento do maracujazeiro-doce (Passiflora alata Dryand.) propagado por sementes, quando cultivado sob diferentes níveis de saturação por bases em solos representativos das regiões produtoras de Minas Gerais.
Elda Bonilha Assis Fonseca, Moacir Pasqual, Janice Guedes de Carvalho, João Batista Donizeti Corrêa   +3 more
doaj   +1 more source

Correction of soil acidity in the subsurface of an oxisol with sandy loam texture under no-tillage Correção da acidez do solo em subsuperfície de um latossolo de textura franco-arenosa sob plantio direto

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, Carlos Alberto Ceretta, Leandro Souza da Silva, Gustavo Brunetto, Jaqueline Cristiane Adorna, Eduardo Girotto, Cledimar Rogério Lorenzi   +6 more
doaj   +1 more source

Atributos químicos do solo e produção do feijoeiro com a aplicação de calcário e manganês Soil chemical atributes and common bean yield as affected by lime and manganese rates

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, Adônis Moreira, Paulo Alexandre Monteiro de Figueiredo, Eurípedes Malavolta   +3 more
doaj   +1 more source