This study examined residents’ quality of life contexts due to the mega-events (F1 Korean Grand Prix 2010 and 2018 Pyeongchang Winter Olympics) based on an insider’s perspective (emic approach). The investigated hosting mega-events, which are suitable for understanding changes in social patterns among residents. Specifically, diverse phenomena surrounding two their relation with qualitative met...

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

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

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

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

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

The influence of lattice-melt-induced resistivity gradients on the transport of mega-ampere currents of fast electrons in solids is investigated numerically and experimentally using laser-accelerated protons to induce isochoric heating. Tailoring the heating profile enables the resistive magnetic fields which strongly influence the current propagation to be manipulated. This tunable laser-drive...

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