Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier

This paper addresses the issue of modeling and verification of a Multi Agent System (MAS) scenario. We have considered an agent based adaptive traffic signal system. The system monitors the smooth flow of traffic at intersection of two road segment. After describing how the adaptive traffic signal system can efficiently be used and showing its advantages over traffic signals with predetermined periods, we have shown how we can transform this scenario into Finite State Machine (FSM). Once the system is transformed into a FSM, we have verified the specifications specified in Computational Tree Logic(CTL) using NuSMV as a model checking tool. Simulation results obtained from NuSMV showed us whether the system satisfied the specifications or not. It has also showed us the state where the system specification does not hold. Using which we traced back our system to find the source, leading to the specification violation. Finally, we again verified the modified system with NuSMV for its specifications.Comment: 13 pages, 6 figures, Submitted to International Journal of Computer Application (IJCA

Career Engine

People\u27s education is so widely available in this age of tough competition that openings for them in jobs are getting harder to find. Companies need people in their fields with a solid educational foundation and maximum years of job experience. Finding people who are talented, intelligent, and competent enough to be given a position at that time is challenging. Companies are working harder than ever to find people who can meet their needs.[1] Thousands of applicants are competing for one job opening. When considering these difficulties, one may come up with a strategy or approach that can help manage and control them while also simplifying the work. The goal of this project is to find that one thing that will not only connect job searchers and employers but also streamline the online application process. Here, the hiring procedure is managed by the system. This project will make it possible for job seekers from various walks of life to apply for a position in the organization for a potentially exciting job opening. Job seekers can utilize the application to update their profile information, competencies, and skill set. When job seeker applies for a position, they create an account and are referred to as the applied user.[1] User will get in touch with the recruiter to get updates if user were qualified. The recruiters, on the other hand, have the opportunity to post any new job openings they may have in their companies, interact with applicants if necessary, and interview qualified applicants. This system will be entirely under the admin\u27s control, with the lone exception of the evaluation procedure, which is company-specific and hence unpredictable. The management of users, roles, and job listings is also included. Although this is a modernized and improved version of the current process or system, it is by no means a novel concept. It\u27s anticipated that this application will go live in the first week of December 2022

Changing Profile of Leprosy in a Tertiary Care Hospital

WHO (World Health Organization) has fixed the target of zero grade 2 (G2D) deformity among pediatric leprosy patients and reduction of new leprosy cases with G2D to less than one case per million population, to be achieved by 2020. It has also mentioned the performing indicators to evaluate the progress of leprosy control program. We undertook this study to find out what changes the leprosy clinic at our hospital had witnessed in terms of the WHO performance indicators and whether we had progressed toward reaching the goal fixed by WHO. The important indicators such as number of new cases, percentage of MB cases, child cases, and G2D cases were examined from the year 2012-13 to 2016-17. Although a significant reduction in G2D cases, MB cases and child cases were noted, which is quite encouraging, yet the numbers of annual new cases detected remained almost static during the study period, indicating persistence of active transmission of infection and the need for augmented active surveillance (leprosy case detection campaign), contact tracing, community awareness, stigma reduction and training

STABILITY INDICATING RP HPLC METHOD FOR THE ESTIMATION OF ARMODAFINIL IN TABLET DOSAGE FORM

Objective: To develop simple reverse phase HPLC method for the estimation of Armodafinil in tablet dosage form. Methods: Chromatography was performed by isocratic elution on a Stainless steel Hibar C18 column with dimensions 4.6 x 250 mm, packed with octadecylsilane bonded to porous silica (C18) with particle size 5 micron. Acetonitrile and water in the ratio of 50:50 v/v is used as mobile phase. The flow rate is 1.0 ml/ min and effluent is monitored at 220 nm. Armodafinil was eluted at a retention time of 3.8 minutes. Results: The standard curve of Armodafinil was linear over a working range of 1–700 µg/ml and gave an average correlation coefficient of 0.999. The limit of quantitation (LOQ) of the drug is 0.1 µg/ ml. Recovery studies were carried out by standard addition method and the recoveries are found satisfactory within the range of 99.3 to 101.5 %. The method is precise with % RSD below Conclusion: The method is validated in terms of robustness and forced degradation studies were carried out and this method can be applied for routine degradation studies ans quantification in regular laboratories

Comparative analysis of emm type pattern of Group A Streptococcus throat and skin isolates from India and their association with closely related SIC, a streptococcal virulence factor

<p>Abstract</p> <p>Background</p> <p>Group A streptococcus (GAS) causes a wide variety of life threatening diseases in humans and the incidence of such infections is high in developing countries like India. Although distribution of <it>emm </it>types of GAS in India has been described, there is a lack of data describing either the comparative distribution of <it>emm </it>types in throat versus skin isolates, or the distribution of certain virulence factors amongst these isolates. Therefore in the present study we have monitored the <it>emm </it>type pattern of Group A streptococcus throat and skin isolates from India. Additionally, the association of these isolates with closely related <it>sic </it>(<it>crs</it>), a multifunctional compliment binding virulence factor, was also explored.</p> <p>Results</p> <p>Of the 94 (46 throat and 48 skin) isolates analyzed, 37 <it>emm </it>types were identified. The most frequently observed <it>emm </it>types were <it>emm</it>49 (8.5%) and <it>emm</it>112 (7.5%) followed by 6.5% each of <it>emm</it>1-2, <it>emm</it>75, <it>emm</it>77, and <it>emm</it>81. Out of 37 <it>emm </it>types, 27 have been previously reported and rest were isolated for the first time in the Indian Community. The predominant <it>emm </it>types of throat (<it>emm</it>49 and <it>emm</it>75) samples were different from those of skin (<it>emm</it>44, <it>emm</it>81 and <it>emm</it>112) samples. After screening all the 94 isolates, the <it>crs </it>gene was found in six <it>emm</it>1-2 (<it>crs</it>1-2) isolates, which was confirmed by DNA sequencing and expression analysis. Despite the polymorphic nature of <it>crs</it>, no intravariation was observed within <it>crs</it>1-2. However, insertions and deletions of highly variable sizes were noticed in comparison to CRS isolated from other <it>emm </it>types (<it>emm</it>1.0, <it>emm</it>57). CRS1-2 showed maximum homology with CRS57, but the genomic location of <it>crs</it>1-2 was found to be the same as that of <it>sic</it>1.0. Further, among <it>crs </it>positive isolates, <it>spe</it>A was only present in skin samples thus suggesting possible role of <it>spe</it>A in tissue tropism.</p> <p>Conclusion</p> <p>Despite the diversity in <it>emm </it>type pattern of throat and skin isolates, no significant association between <it>emm </it>type and source of isolation was observed. The finding that the <it>crs </it>gene is highly conserved even in two different variants of <it>emm</it>1-2 GAS (<it>spe</it>A +ve and -ve) suggests a single allele of <it>crs </it>may be prevalent in the highly diverse throat and skin isolates of GAS in India.</p

Comparison of locking compression plating vs retrograde intramedullary nailing in distal femur extra-articular fractures

Background: The purpose of the study was to compare the outcome of distal femur extra articular fractures treated with locking plate and retrograde intramedullary nail.Methods: 86 patients’ distal femur extra-articular fractures were included in the study. 44 patients were operated with intramedullary nailing; 42 patients were operated with locking plate. Results of the 2 groups were compared with regards to clinical and radiological outcome, intraoperative timing and blood loss. Post-operative status of the patients was evaluated using the visual analogue scale, neer score, knee range of motion and radiological union on plain radiographs. Patients were followed-up at 4 weekly intervals from 8 to 28 weeks and then at 1 year.Results: Mean operative time and blood loss was less in intramedullary nailing group whereas intraoperative blood loss was less in the plating group. 6 patients developed surgical site infection in the plating group. Mean-time till radiological union was significantly better in intramedullary nailing group. 7 patients in plating group had issues with union (5 non-union, 2 delayed union) whereas 1 patient in IMN group had nonunion. 93% of intramedullary nailing cases were able to bear full weight at 12 weeks compared to 66% cases in plate group. Knee pain at 6 months was more in intramedullary nailing group.Conclusions: IMN proved to be a better modality of fixation of distal femur fracture fixation in our study in terms of operative time, union rates, infection rates and overall patient outcome if done with proper principles and techniques of intramedullary fixation

Association of subclinical hypothyroidism and HbA1c levels in non-diabetic subjects attending rural tertiary care centre in central India

Background: Subclinical hypothyroidism is defined as an elevated serum TSH level and normal concentrations of free T3 (FT3), free T4 (FT4), T3 and T4. A positive association between thyroid and diabetes mellitus is well recognized but to study the effect of thyroid disorders on glucose metabolism in non-diabetic patients is an area for extensive research. Present study was planned to assess correlation between subclinical hypothyroidism and glycosylated haemoglobin levels in non-diabetic patients.Methods: A case-control study was conducted on total 209 subjects. 109 patients were allotted in case group and 100 in control group. Controls were relatives and friends of patients who were matched for age and sex. Comparison between the case and the control groups were made using Student’s t-test (unpaired) and Box and Whisker Plot and regression graph were presented for correlation between serum TSH and HbA1c.Results: It was found that there was a positive correlation between the levels of serum TSH (µU/L) and HbA1c (%) in all the participants of the study by Pearson’s correlation coefficient (r=0.35, p < 0.0001).Conclusions: HbA1c levels are increased in subclinical hypothyroid patients. The effects of the elevated levels of Serum TSH on the HbA1c must be considered when interpreting the HbA1c for the diagnosis of diabetes or pre-diabetes in the subclinical hypothyroid patients

Raspberry-Pi and IoT based Health Monitoring System

The observation of the patient wirelessly could be a major improvement within the medical domain. The sensors once integrated into a wireless communication network, helps to remotely collect physiological signals of patient and avoid observation exploitation ancient medical instruments that makes the patient tether. During this paper, the observation of the patient is finished by the doctor endlessly while not really visiting the patient. Here, we tend to square measure exploitation varied sensors to sense the physiological parameters like temperature, vital sign, graphical record and therefore the level of saline. These detected signals square measure transmitted to the Raspberry pi to update the info endlessly via ADC which can convert these analog signals into digital signals. Through transmitter, the info is distributed wirelessly to the monitor screen of the doctor. So, the doctor will visualize the patient’s knowledge simply by sitting in his cabin. Once a important condition happens, the visual indications are going to be sent onto the screen

Intra-operative point-of-procedure delineation of oral cancer margins using optical coherence tomography.

ObjectivesSurgical margin status is a significant determinant of treatment outcome in oral cancer. Negative surgical margins can decrease the loco-regional recurrence by five-fold. The current standard of care of intraoperative clinical examination supplemented by histological frozen section, can result in a risk of positive margins from 5 to 17 percent. In this study, we attempted to assess the utility of intraoperative optical coherence tomography (OCT) imaging with automated diagnostic algorithm to improve on the current method of clinical evaluation of surgical margin in oral cancer.Materials and methodsWe have used a modified handheld OCT device with automated algorithm based diagnostic platform for imaging. Intraoperatively, images of 125 sites were captured from multiple zones around the tumor of oral cancer patients (n = 14) and compared with the clinical and pathologic diagnosis.ResultsOCT showed sensitivity and specificity of 100%, equivalent to histological diagnosis (kappa, ĸ = 0.922), in detection of malignancy within tumor and tumor margin areas. In comparison, for dysplastic lesions, OCT-based detection showed a sensitivity of 92.5% and specificity of 68.8% and a moderate concordance with histopathology diagnosis (ĸ = 0.59). Additionally, the OCT scores could significantly differentiate squamous cell carcinoma (SCC) from dysplastic lesions (mild/moderate/severe; p ≤ 0.005) as well as the latter from the non-dysplastic lesions (p ≤ 0.05).ConclusionThe current challenges associated with clinical examination-based margin assessment could be improved with intra-operative OCT imaging. OCT is capable of identifying microscopic tumor at the surgical margins and demonstrated the feasibility of mapping of field cancerization around the tumor