Fulminant metastatic malignant melanoma

A 50-year-old lady presented with complaints of chest pain and cough for the past one month. Right supraclavicular lymphadenopathy, bilateral pleural effusion were present. Fine needle aspiration cytology (FNAC) from the lymph node showed brownish-black pigment laden tumour cells. Review of history subsequently revealed that she had undergone a surgical procedure over the sole of her left foot three years ago of which no records were available. Reexamination of sole of left foot showed a pigmented infiltraling lesion. Pleural biopsy revealed pigmented tumour deposits. The patient was diagnosed to have fulminant metastatic malignant melanoma of left foot with metastasis to cervical lymph nodes and pleura. This case report re-emphasizes the importance of combined approach to ascertain diagnosis early

When are Timed Automata Determinizable?

In this paper, we propose an abstract procedure which, given a timed automaton, produces a language-equivalent deterministic infinite timed tree. We prove that under a certain boundedness condition, the infinite timed tree can be reduced into a classical deterministic timed automaton. The boundedness condition is satisfied by several subclasses of timed automata, some of them were known to be determinizable (eventclock timed automata, automata with integer resets), but some others were not. We prove for instance that strongly non-Zeno timed automata can be determinized. As a corollary of those constructions, we get for those classes the decidability of the universality and of the inclusion problems, and compute their complexities (the inclusion problem is for instance EXPSPACE-complete for strongly non-Zeno timed automata)

Not Available

Not AvailableWith the objective of increasing the productivity level of tobacco under Northern Light Soils (NLS) of Andhra Pradesh, a number of tobacco hybrids were developed and evaluated. CH-1 is one such high yielding Cytoplasmic Male Sterile (CMS) flue-cured Virginia tobacco hybrid produced by crossing a promising CMS line of FCV cultivar, Kanchan and a pollen parent, P15-6. In the station varietal trials and multi-location evaluation under the All India Network Research Project – Tobacco (AINRPT), the hybrid CH-1 exhibited a cured leaf yield potential of 2500 to 2900 kg/ha with a standard heterosis of 16-31%. Topping at 26 leaves and application of 115 kg N/ha and 150 kg K/ha were found to be optimum for realizing high yields with the hybrid CH-1 in NLS. The reaction of the hybrid CH-1 to various pests and diseases was found to be similar to the variety the Kanchan. The cured leaf chemical quality parameters of CH-1 in different experiments were at a par with variety Kanchan. In smoke analysis of cigarettes, CH-1 proved superior over control Kanchan and showed significantly higher levels of neutral aroma volatile compounds. The storage and manufacturability characteristics of the hybrid CH-1 were comparable to Kanchan. The plant type, leaf colour, maturity and flowering behavior of CH-1 were similar to Kanchan and hence suit to the requirements of NLS tobacco. Besides incremental yield, the hybrid CH-1 showed enhanced ripeness characteristics, higher grade index and superior smoke profile as compared to the variety Kanchan. In view of all the above mentioned positive traits, the hybrid CH-1 was recommended by the CTRI Research Council and the XIX Workshop of AINRPT (2009) for commercial release in NLS of Andhra Pradesh and the release proposals were submitted to A.P. State subcommittee on variety release.Not Availabl

A Game Approach to Determinize Timed Automata

Timed automata are frequently used to model real-time systems. Their determinization is a key issue for several validation problems. However, not all timed automata can be determinized, and determinizability itself is undecidable. In this paper, we propose a game-based algorithm which, given a timed automaton with ε-transitions and invariants, tries to produce a language-equivalent deterministic timed automaton, otherwise a deterministic over-approximation. Our method subsumes two recent contributions: it is at once more general than the determinization procedure of [4] and more precise than the approximation algorithm of [11]

Not Available

Not AvailableWith the objective of increasing the productivity level of tobacco under Northern Light Soils (NLS) of Andhra Pradesh, a number of tobacco hybrids were developed and evaluated. CH-1 is one such high yielding Cytoplasmic Male Sterile (CMS) flue-cured Virginia tobacco hybrid produced by crossing a promising CMS line of FCV cultivar, Kanchan and a pollen parent, P15-6. In the station varietal trials and multi-location evaluation under the All India Network Research Project – Tobacco (AINRPT), the hybrid CH-1 exhibited a cured leaf yield potential of 2500 to 2900 kg/ha with a standard heterosis of 16-31%. Topping at 26 leaves and application of 115 kg N/ha and 150 kg K/ha were found to be optimum for realizing high yields with the hybrid CH-1 in NLS. The reaction of the hybrid CH-1 to various pests and diseases was found to be similar to the variety the Kanchan. The cured leaf chemical quality parameters of CH-1 in different experiments were at a par with variety Kanchan. In smoke analysis of cigarettes, CH-1 proved superior over control Kanchan and showed significantly higher levels of neutral aroma volatile compounds. The storage and manufacturability characteristics of the hybrid CH-1 were comparable to Kanchan. The plant type, leaf colour, maturity and flowering behavior of CH-1 were similar to Kanchan and hence suit to the requirements of NLS tobacco. Besides incremental yield, the hybrid CH-1 showed enhanced ripeness characteristics, higher grade index and superior smoke profile as compared to the variety Kanchan. In view of all the above mentioned positive traits, the hybrid CH-1 was recommended by the CTRI Research Council and the XIX Workshop of AINRPT (2009) for commercial release in NLS of Andhra Pradesh and the release proposals were submitted to A.P. State subcommittee on variety release.Not Availabl