We present a technique for devising a progress indicator of static analyzers. Progress indicator is a useful user interface that shows how close a static analysis has progressed so far to its completion. Because static analysis’ progress depends on the semantic complexity, not on the code size, of the target software, devising an accurate progressindicator is not obvious. Our technique first co...

in this paper, we give some characterizations for legendre spherical, legendre normal and legendre rectifying curves in the 3-dimensional sasakian space. furthermore, we show that legendre spherical curves are also legendre normal curves. in particular, we prove that the inverse of curvature of a legendre rectifying curve is a non-constant linear function of the arclength parameter.

ABSTRACT Xanthomonas vasicola pv. vasculorum is one of the main bacterial diseases in corn, which causes damage to crops due its fast dissemination and difficult control. This study aimed evaluate effects chemical products on control corn grain yield. The experimental design was randomized blocks, a 2 x 7 factorial arrangement, with three replications. first factor consisted hybrids P30F53VYHR ...

The continuing search for causes and effective treatments or prevention of chronic neurodegenerative diseases is slow and frustrating, particularly for the families and patients affected by these disorders. Some encouragement is provided by Parkinson's disease (PD) which, in some respects, can be considered as a model neurodegenerative disease and a partial success story at this point in time. ...

Treatment of Parkinson's disease is expected to lead to $3.56 billion in global sales in 2022. Manufacturers are reformulating medications in addition to creating new ones.

IN CEREBRAL vascular disease, difficulties in pathogenesis, diagnosis, and treatment are at present the rule rather than the exception. This discomforting situation is due to our rather limited knowledge concerning the etiology and pathogenesis of vascular disease in general, to the relative inaccessibility of the human brain, and to the resultant paucity of rational therapeutic modalities. It ...

We briefly report on some recent progress in the computation of B-brane superpotentials for Type II strings compactified on Calabi–Yau manifolds, obtained by using a parametrization of tubular neighborhoods of complex submanifolds, also known as local spaces. In particular, we propose a closed expression for the superpotential of a brane on a genus-g curve in a Calabi–Yau threefold in the case ...