Predicting individual 24-2 visual field thresholds from structural information derived from nine-field SD-OCT local NFL and GCL+IPL thicknesses using the RGC-AC concept is feasible, showing the potential for the predictive ability of SD-OCT structural information for visual function. Ultimately, it may be feasible to complement and reduce the burden of subjective visual field testing in glaucoma patients with predicted function derived objectively from OCT.
The effects of the inoculation of chickpeas (Cicer arietinum L.) and faba beans (Vicia faba L.) with Azospirillum brasilense strain Cd were studied under different growth conditions. In greenhouse experiments with both legumes, inoculation with A. brasilense significantly enhanced nodulation by native rhizobia and improved root and shoot development, when compared with non-inoculated controls. Moreover, the bacterial treatment was shown to significantly reduce the negative effects on plant growth caused by irrigation with saline water. In field experiments, inoculation of chickpeas with A. brasilense peat-based inoculants also resulted in a significant increase in nodulation, root and shoot growth, and crop yield as compared with non-inoculated controls. Azospirillum brasilense / Cicer arietinum / Vicia faba / Rhizobium sp. Résumé-Effets de l'inoculation avec Azospirillum brasilense sur le pois chiche (Cicer arietinum L.) et les fèves (Vicia faba L.) dans différentes conditions de croissance. Les effets de l'inoculation des pois chiches et des fèves avec Azospirillum brasilense souche Cd ont été étudiés dans différentes conditions de croissance. Dans les expériences en serre avec les deux légumineuses, l'inoculation avec A. brasilense a augmenté de façon significative la nodulation par les rhizobia indigènes et amélioré le développement des racines et des tiges comparativement à des témoins non inoculés. De plus, il a été montré que le traitement bactérien réduit de façon significative les effets négatifs sur la croissance des plantes dus à l'irrigation avec de l'eau salée. Dans les expériences au champ, l'inoculation des pois chiches avec A. brasilense incorporé à de la tourbe a permis également un accroissement significatif de la nodulation, de la croissance des racines et des tiges et du rendement de la culture comparativement à un témoin non inoculé. Azospirillum brasilense / Cicer arietinum / Vicia faba / Rhizobium sp.
Abstract. Control systems are an integral part of almost every engineering and physical system and thus their accurate analysis is of utmost importance. Traditionally, control systems are analyzed using paper-andpencil proof and computer simulation methods, however, both of these methods cannot provide accurate analysis due to their inherent limitations. Model checking has been widely used to analyze control systems but the continuous nature of their environment and physical components cannot be truly captured by a state-transition system in this technique. To overcome these limitations, we propose to use higher-order-logic theorem proving for analyzing linear control systems based on a formalized theory of the Laplace transform method. For this purpose, we have formalized the foundations of linear control system analysis in higherorder logic so that a linear control system can be readily modeled and analyzed. The paper presents a new formalization of the Laplace transform and the formal verification of its properties that are frequently used in the transfer function based analysis to judge the frequency response, gain margin and phase margin, and stability of a linear control system. We also formalize the active realizations of various controllers, like Proportional-Integral-Derivative (PID), Proportional-Integral (PI), Proportional-Derivative (PD), and various active and passive compensators, like lead, lag and lag-lead. For illustration, we present a formal analysis of an unmanned free-swimming submersible vehicle using the HOL Light theorem prover.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.