Bounded Verification with On-the-Fly Discrepancy Computation

Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing reachtubes from simulations. In this paper, we eliminate this requirement by presenting an algorithm for computing piece-wise exponential discrepancy functions. The algorithm relies on computing local convergence or divergence rates of trajectories along a simulation using a coarse over-approximation of the reach set and bounding the maximal eigenvalue of the Jacobian over this over-approximation. The resulting discrepancy function preserves the soundness and the relative completeness of the verification algorithm. We also provide a coordinate transformation method to improve the local estimates for the convergence or divergence rates in practical examples. We extend the method to get the input-to-state discrepancy of nonlinear dynamical systems which can be used for compositional analysis. Our experiments show that the approach is effective in terms of running time for several benchmark problems, scales reasonably to larger dimensional systems, and compares favorably with respect to available tools for nonlinear models.Comment: 24 page

Population Structure of the Chenchu and Other South Indian Tribal Groups: Relationships between Genetic, Anthropometric, Dermatoglyphic, Geographic, and Linguistic Distances

This is the published version. Copyright 1994 Wayne State University Press.We describe the genetic structure and interrelationships of nine south Indian tribal groups (seven from Andhra Pradesh and two from the adjoining states of Tamil Nadu and Kerala) using seven polymorphic loci (ABO, MN, RH, PGM, ACP, PGD, and LDH). R matrix analysis indicates that the Andhra Pradesh tribes are clustered and that the Kadar and Irula are genetically isolated from them. This dispersion of populations has been explained by the combination of relatively high frequencies of the alleles RH D and MN M in the Kadar and the relatively high proportions of the allele PGM*2 in the Irula. The Mahaboobnagar Chenchu subgroup is isolated from other Telugu-speaking groups because of high frequencies of the PGM*1 and ACP*A alleles. The regression of mean per locus heterozygosity (//) on distance from the gene frequency centroid (r„) reveals considerable levels of external gene flow among the Lam-badi, the Yerukula, and the two Chenchu subgroups and more homogeneity in the Kolam, Koya, Yanadi, Irula, and Kadar. Mantel statistics were used to assess the relative effects of nonbiological processes (i.e., language and geography) on the morphological and genetic patterns of these subdivided populations. The significance of correlations was determined between different data sets (genetic, dermatoglyphic, anthropometric, geographic, and linguistic) at three levels involving nine, six, and five populations. Although multiple correlation analysis reveals significant combined effects of geography and language on genetics, anthropometrics, and dermato-glyphics, highly significant partial correlations suggest strong effects of geography on both anthropometry and genetics. Our analysis indicates that geographic factors have an overwhelming effect on the genetic differentiation of the south Indian tribal groups

Mesospheric anomalous diffusion during noctilucent clouds

The Andenes specular meteor radar shows meteor-trail diffusion rates increasing on average by ~ 20% at times and locations where a lidar observes noctilucent clouds (NLCs). This high-latitude effect has been attributed to the presence of charged NLC but this study shows that such behaviors result predominantly from thermal tides. To make this claim, the current study evaluates data from three stations, at high-, mid-, and low-latitudes, for the years 2012 to 2016, comparing diffusion to show that thermal tides correlate strongly with the presence of NLCs. This data also shows that the connection between meteor-trail diffusion and thermal tide occurs at all altitudes in the mesosphere, while the NLC influence exists only at high-latitudes and at around peak of NLC layer. This paper discusses a number of possible explanations for changes in the regions with NLCs and leans towards the hypothesis that relative abundance of background electron density plays the leading role. A more accurate model of the meteor trail diffusion around NLC particles would help researchers determine mesospheric temperature and neutral density profiles from meteor radars.Public versio

A Hybrid Multilevel Inverter DSTATCOM Topology to Compensate Reactive Power for Nonlinear Loads

This task proposes an enhanced cross breed conveyance static compensator (D-STATCOM) topology to address some viable issues, for example, control rating, channel estimate, pay execution, and power misfortune. A LCL channel has been utilized at the front end of a voltage source inverter (VSI), which gives better exchanging sounds disposal while utilizing considerably littler estimation of an inductor as contrasted and the conventional L channel. A capacitor is utilized as a part of arrangement with a LCL channel to diminish the dc-connect voltage of the D-STATCOM. This thusly diminishes the power rating of the VSI. With lessened dc-interface voltage, the voltage over the shunt capacitor of the LCL channel will be likewise less. It will decrease the power misfortunes in the damping resistor as contrasted and the conventional LCL channel with uninvolved damping. Accordingly, the proposed DSTATCOM topology will have decreased weight, cost, rating, and size with enhanced effectiveness and current remuneration capacity contrasted and the conventional topology. An orderly strategy to outline the parts of the inactive channel has been introduced. A multilevel fell H-connect is executed in the VSI task of a D-STATCOM topology. The viability of the proposed DSTATCOM topology over customary topologies is approved through MATLAB/SIMULINK programming

Isolation of chitinolytic Clostridium sp. NCR from Mehsani buffalo rumen, its genomic analysis and potential role in rumen

AbstractGenomic analysis of Clostridium sp. NCR, an anaerobic Gram positive bacterium which was isolated from rumen fluid of Mehsani breed of buffalo revealed presence of various environmental gene tags (EGTs) involved in pathways for utilizing a wide range of substrates. Here we report the sequence of this rumen isolate, its whole genome sequence has been deposited in DDBJ/EMBL/GenBank under the accession number JQHY00000000. The genome comprises of a 3.62-Mb draft genome with a G+C content of 28.10%, which encodes a total of 3126 proteins. Functional analysis provides information about the microbe's role in maintaining host homeostasis and its fiber degradation potential

Genome-Wide Linkage Scan for Genes Influencing Plasma Triglyceride Levels in the Veterans Administration Genetic Epidemiology Study

OBJECTIVE—Elevated plasma triglyceride concentration is a component of the insulin resistance syndrome and is commonly associated with type 2 diabetes, obesity, and coronary heart disease. The goal of our study was to perform a genome-wide linkage scan to identify genetic regions that influence variation in plasma triglyceride levels in families that are enriched with individuals with type 2 diabetes

Effect of genotype × alcoholism interaction on linkage analysis of an alcoholism-related quantitative phenotype

Studies have shown that genetic and environmental factors and their interactions affect several alcoholism phenotypes. Genotype × alcoholism (G×A) interaction refers to the environmental (alcoholic and non-alcoholic) influences on the autosomal genes contributing to variation in an alcoholism-related quantitative phenotype. The purpose of this study was to examine the effects of G×A interaction on the detection of linkage for alcoholism-related phenotypes. We used phenotypic and genotypic data from the Collaborative Study on the Genetics of Alcoholism relating to 1,388 subjects as part of Genetic Analysis Workshop 14 problem 1. We analyzed the MXDRNK phenotype to detect G×A interaction using SOLAR. Upon detecting significant interaction, we conducted variance-component linkage analyses using microsatellite marker data. For maximum number of drinks per a 24 hour period, the highest LODs were observed on chromosomes 1, 4, and 13 without G×A interaction. Interaction analysis yielded four regions on chromosomes 1, 4, 13, and 15. On chromosome 4, a maximum LOD of 1.5 at the same location as the initial analysis was obtained after incorporating G×A interaction effects. However, after correcting for extra parameters, the LOD score was reduced to a corrected LOD of 1.1, which is similar to the LOD observed in the non-interaction analysis. Thus, we see little differences in LOD scores, while some linkage regions showed large differences in the magnitudes of estimated quantitative trait loci heritabilities between the alcoholic and non-alcoholic groups. These potential hints of differences in genetic effect may influence future analyses of variants under these linkage peaks

Development and Valiation of Stability Indicating Chromatographic Methods for Drugs Used in Bacterial Infection Diseases Applying Experimental Design

This study was motivated by the fact that certain food poisonings and harmful microorganisms in ethanol and water determine roselle (Hibiscus sabdariffa), rosemary (Rosmarinus officinalis), clove (Syzygium aromaticum), and thyme (Thymus vulgaris). is to exhibit the capacity to eliminate Least inhibitory focuses (MICs) of different plant extricates against Gram-positive microorganisms (Bacillus cereus, Staphylococcus aureus), Gram-negative microscopic organisms (Escherichia coli, Enteritidis, Vibrio parahaemolyticus, Pseudomonas aeruginosa) and parasites (Candida albicans) and antibacterial impacts were explored. It is dissolved and measured using the agar well dispersion technique. The concentrate showed antimicrobial efficacy against the microorganisms and yeast used in the tests. Both pHint reduction and cell layer hyperpolarization indicated that the plant extract had a profound effect on the membranes of Gram-positive and Gram-negative microorganisms. Overall, plant extracts have significant potential as unique regular food additives due to their antibacterial properties

Whole genome sequence association analysis of fasting glucose and fasting insulin levels in diverse cohorts from the NHLBI TOPMed program

The genetic determinants of fasting glucose (FG) and fasting insulin (FI) have been studied mostly through genome arrays, resulting in over 100 associated variants. We extended this work with high-coverage whole genome sequencing analyses from fifteen cohorts in NHLBI’s Trans-Omics for Precision Medicine (TOPMed) program. Over 23,000 non-diabetic individuals from five race-ethnicities/populations (African, Asian, European, Hispanic and Samoan) were included. Eight variants were significantly associated with FG or FI across previously identified regions MTNR1B, G6PC2, GCK, GCKR and FOXA2. We additionally characterize suggestive associations with FG or FI near previously identified SLC30A8, TCF7L2, and ADCY5 regions as well as APOB, PTPRT, and ROBO1. Functional annotation resources including the Diabetes Epigenome Atlas were compiled for each signal (chromatin states, annotation principal components, and others) to elucidate variant-to-function hypotheses. We provide a catalog of nucleotide-resolution genomic variation spanning intergenic and intronic regions creating a foundation for future sequencing-based investigations of glycemic traits

APOC3 genetic variation, serum triglycerides, and risk of coronary artery disease in Asian Indians, Europeans, and other ethnic groups

Background Hypertriglyceridemia has emerged as a critical coronary artery disease (CAD) risk factor. Rare loss-of-function (LoF) variants in apolipoprotein C-III have been reported to reduce triglycerides (TG) and are cardioprotective in American Indians and Europeans. However, there is a lack of data in other Europeans and non-Europeans. Also, whether genetically increased plasma TG due to ApoC-III is causally associated with increased CAD risk is still unclear and inconsistent. The objectives of this study were to verify the cardioprotective role of earlier reported six LoF variants of APOC3 in South Asians and other multi-ethnic cohorts and to evaluate the causal association of TG raising common variants for increasing CAD risk. Methods We performed gene-centric and Mendelian randomization analyses and evaluated the role of genetic variation encompassing APOC3 for affecting circulating TG and the risk for developing CAD. Results One rare LoF variant (rs138326449) with a 37% reduction in TG was associated with lowered risk for CAD in Europeans (p = 0.007), but we could not confirm this association in Asian Indians (p = 0.641). Our data could not validate the cardioprotective role of other five LoF variants analysed. A common variant rs5128 in the APOC3 was strongly associated with elevated TG levels showing a p-value 2.8 × 10− 424. Measures of plasma ApoC-III in a small subset of Sikhs revealed a 37% increase in ApoC-III concentrations among homozygous mutant carriers than the wild-type carriers of rs5128. A genetically instrumented per 1SD increment of plasma TG level of 15 mg/dL would cause a mild increase (3%) in the risk for CAD (p = 0.042). Conclusions Our results highlight the challenges of inclusion of rare variant information in clinical risk assessment and the generalizability of implementation of ApoC-III inhibition for treating atherosclerotic disease. More studies would be needed to confirm whether genetically raised TG and ApoC-III concentrations would increase CAD risk