We report on the integration of Tps as an external reasoning component into the mathematical assistant system mega. Thereby Tps can be used both as an automatic theorem prover for higher order logic as well as interactively employed from within the mega environment. Tps proofs can be directly incorporated into mega on a tactic level enabling their visualization and verbalization. Using an examp...

We investigate the effects of low oil prices and heightened geopolitical risks on economic growth investment in Middle East North Africa (MENA) countries. find that negative shocks to positive risk have adverse GDP investment. Moreover, we impact MENA countries is muted when are and/or level high. These findings cast doubts prospects mega-project transformation plans as envisioned 2030 visions ...

The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families or from different species with a special emphasis on inferring evolutionary relationships and patterns of DNA and protein evolution. In addition to the tools for statistical analysis of data, MEGA provides many conven...

Summary : Detecting significant associations between genetic variants and disease may prove particularly challenging when the variants are rare in the population and/or act together with other variants to cause the disease. We have developed a statistical framework named Mutation Enrichment Gene set Analysis of Variants (MEGA-V) that specifically detects the enrichments of genetic alterations w...

A new robust clustering scheme based on fuzzy c-means is proposed and the concept of a fuzzy mega-cluster is introduced in this paper. The fuzzy mega-cluster is conceptually similar to the noise cluster, designed to group outliers in a separate cluster. This proposed scheme, called the mega-clustering algorithm is shown to be robust against outliers. Another interesting property is its ability ...

Mega-projects figure prominently in the arsenal of contemporary city-building strategies. The allure is of a city redefined, placed on the world stage and able to improve services, facilities and revenues. Community attitudes to such projects are often mixed, with fears of gentrification, displacement or loss of existing city character. Although mega-projects are adopted to pursue global ambiti...

The Senate Finance Committee’s hearing on July 28, 2021 -- Building Bipartisan Retirement Legislation: How Can Congress Help? spotlighted “mega-IRAs”: individual retirement accounts with balances of $5 million or more. An analysis by the Joint Committee Taxation in advance 28 found that number taxpayers mega-IRAs now exceeds 28,000. followed a June report nonprofit investigative journalism orga...