This issue of the Journal of Symbolic Computation collects selected papers on work presented at, or related to, the meeting MEGA 2005, held in Porto Conte, Alghero, Sardinia (Italy), May 27 June 1, 2005. MEGA is the acronym for “Effective Methods in Algebraic Geometry” (and its equivalent in Italian, French, Spanish, German, Russian, etc.), a series of (roughly) biennial conferences on computin...

There is a low but uncertain probability that climate change could trigger “mega-catastrophes,” severe and at least partly irreversible adverse effects across broad regions. This paper first discusses the state of current knowledge and the defining characteristics of potential climate change mega-catastrophes. While some of these characteristics present difficulties for using standard rational ...

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...

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...