Results 11 to 20 of about 685,157 (352)
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
Oxygen Saturation Imaging Using LED-Based Photoacoustic System [PDF]
Sensors, 2021 Oxygen saturation imaging has potential in several preclinical and clinical applications. Dual-wavelength LED array-based photoacoustic oxygen saturation imaging can be an affordable solution in this case. For the translation of this technology, there is a need to improve its accuracy and validate it against ground truth methods.
Rianne Bulsink +5 more
openaire +3 more sources
Plasmid-based one-pot saturation mutagenesis [PDF]
Nature Methods, 2016 Deep mutational scanning is a foundational tool for addressing the functional consequences of large numbers of mutants, but a more efficient and accessible method for construction of user-defined mutagenesis libraries is needed. Here we present nicking mutagenesis, a robust, single-day, one-pot saturation mutagenesis method performed on routinely ...
Emily E Wrenbeck +5 more
openaire +2 more sources
Photonic-crystal-based broadband graphene saturable absorber [PDF]
Optics Letters, 2019 10 pages, 2 figures, 1 ...
Saifeng Zhang +8 more
openaire +4 more sources
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 +3 more
doaj +1 more source
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 +5 more
doaj +1 more source
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
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 +3 more
doaj +1 more source
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
Combining Induction and Saturation-Based Theorem Proving [PDF]
Journal of Automated Reasoning, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Echenim, N. Peltier
openaire +3 more sources