In various fields of computer science, rapidly growing hardware power, such as high-speed network, high-performance CPU, huge disk capacity, and large memory space, has been fruitfully harnessed. Examples of such usage are large scale data and web mining, grid computing, and multimedia environments. We propose that such rich hardware can also catapult software engineering to the next level. Hug...

The goal of the Medium Energy Gamma-ray Astronomy (MEGA) telescope is to improve sensitivity at medium gamma-ray energies (0.4–50 MeV) by at least an order of magnitude over that of COMPTEL. This will be achieved with a new compact design that allows for a very wide field of view, permitting a sensitive all-sky survey and the monitoring of transient and variable sources. The key science objecti...

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

While a mega-event is scheduled at least once every year somewhere in the world, these events are rare occurrences for the host cities and countries. The benefits of such events seem lucrative; the very fact that many countries bid to host these events suggests that the benefits — be they tangible or intangible — more often than not outweigh the costs. Using a standard gravity model of bilatera...

Insurance is a key risk-sharing mechanism that protects citizens and governments from the losses caused by natural catastrophes. Given the increase in the frequency and intensity of natural catastrophes over recent years, this article analyzes the performance effects of mega-catastrophes for U.S. insurance firms using a measure of market expectations. Specifically, we analyze the share price lo...

Proof planning is an application of AI-planning in mathematical domains. The planning operators, called methods, encode proving steps. One of the strength of proof planning comes from the usage of mathematical knowledge that heuristically restricts the search space. Semantically guided proof planning takes a diierent perspective and uses semantic information as search control heuristics. In thi...

Previous studies proposed various hypotheses to the formation of the mega-dunes and water recharge of the lakes in the Badain Jaran Desert but left the coexistence of lake-dune pattern unsolved. This research found that the local circulation, generated from the differences of thermodynamic properties and the unique landscape settings between lakes and mega-dunes, can be applied to interpret the...

Citation: Ramalho SP, Lins L, Bueno-Pardo J, Cordova EA, Amisi JM, Lampadariou N, Vanreusel A and Cunha MR (2017) Deep-Sea Mega-Epibenthic Assemblages from the SW Portuguese Margin (NE Atlantic) Subjected to Bottom-Trawling Fisheries. Front. Mar. Sci. 4:350. doi: 10.3389/fmars.2017.00350 Deep-Sea Mega-Epibenthic Assemblages from the SW Portuguese Margin (NE Atlantic) Subjected to Bottom-Trawlin...

Mega-journals are a new kind of scholarly journal made possible by electronic publishing. They are open access (OA) and funded by charges, which authors pay for the publishing services. What distinguishes mega-journals from other OA journals is, in particular, a peer review focusing only on scientific trustworthiness. The journals can easily publish thousands of articles per year and there is n...