How will the emerging possibility of inferring ultra-large phylogenies influence our ability to identify shifts in diversification rate? For several large angiosperm clades (Angiospermae, Monocotyledonae, Orchidaceae, Poaceae, Eudicotyledonae, Fabaceae, and Asteraceae), we explore this issue by contrasting two approaches: (1) using small backbone trees with an inferred number of extant species ...

Higher Order Natural Deduction Proof Object Maintenance of proof developments at different layers of granularity which are connected to each other September 25th, 2003 – p.7 Source: Autexier, Benzmüller Proof Data Structure MEGA Main References [CheikhrouhouSorge-ACIDCA-00] Overview on PDS [SiekmannEtAl-35yAutomath] Working with PDS Discussion + Support for proof development at different levels...

Reverse osmosis (RO) membranes have been widely applied in seawater desalination (SWRO) and wastewater reclamation as the main desalination technology since 2000. SWRO plants face challenges to reduce energy consumption and brine disposal to lessen marine pollution. To tackle these challenges, a SWRO-PRO (Pressure Retarded Osmosis) System was proposed in the “Mega-ton Water System” project unde...

IBM Mega Traffic Simulator (Megaffic) is an agent-based simulator of traffic flows with two unique features. First, Megaffic can build its model of simulation by directly estimating some of the parameters of the model from probe-car data. This capability is in contrast to existing agent-based simulators of traffic flows, where the values of their parameters are calibrated with iterative simulat...

Selection of maize (Zea mays) hybrids with wide adaptability across diverse farming environments is important, prior to recommending them to achieve a high rate of hybrid adoption. Grain yield of 14 maize hybrids, tested in a randomized completeblock design with four replicates across 22 environments in Iran, was analyzed using site regression (SREG) stability model. The biplot technique facili...

Mega-regions are considered to be the new geography that may become the nation’s operative regions, according to the March 2010 FHWA Strategic Plan. Such regions need analysis tools to evaluate scenarios and their regional impacts. These tools have to cover areas larger than covered by the typical Metropolitan Planning Organization (MPO) or State Department of Transportation (DOT) models. In ad...

In the last few years an increasing number of very large, publicly funded, IT development projects have gained significant media attention due to cases of budget overrun, management problems or outright failure. Examples of such projects include the European Galileo, the German Toll Collect project, or the Australian Custom’s Integrated Cargo System (ICS). Further projects in an earlier lifecyc...

The structure of the macrolide efflux genetic assembly (mega) element, its genomic locations, and its association with other resistance determinants and genetic elements were investigated in 16 Streptococcus pneumoniae isolates carrying mef(E), of which 1 isolate also carried tet(M) and 4 isolates also carried tet(M) and erm(B). All isolates carried a mega element of similar size and structure ...

The earned value technique is a crucial and important technique in analysis and control the performance and progress of mega projects by integrating three elements of them, i.e., time, cost and scope. This paper proposes a new version of earned value analysis (EVA) to handle uncertainty in mega projects under interval-valued fuzzy (IVF)-environment. Considering that uncertainty is very common i...