Recent Advances Concerning Certain Class of Geophysical Flows

This paper is devoted to reviewing several recent developments concerning certain class of geophysical models, including the primitive equations (PEs) of atmospheric and oceanic dynamics and a tropical atmosphere model. The PEs for large-scale oceanic and atmospheric dynamics are derived from the Navier-Stokes equations coupled to the heat convection by adopting the Boussinesq and hydrostatic approximations, while the tropical atmosphere model considered here is a nonlinear interaction system between the barotropic mode and the first baroclinic mode of the tropical atmosphere with moisture. We are mainly concerned with the global well-posedness of strong solutions to these systems, with full or partial viscosity, as well as certain singular perturbation small parameter limits related to these systems, including the small aspect ratio limit from the Navier-Stokes equations to the PEs, and a small relaxation-parameter in the tropical atmosphere model. These limits provide a rigorous justification to the hydrostatic balance in the PEs, and to the relaxation limit of the tropical atmosphere model, respectively. Some conditional uniqueness of weak solutions, and the global well-posedness of weak solutions with certain class of discontinuous initial data, to the PEs are also presented.Comment: arXiv admin note: text overlap with arXiv:1507.0523

A Reduction-Based Approach Towards Scaling Up Formal Analysis of Internet Configurations

The Border Gateway Protocol (BGP) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by independently setting local policies on route filtering and selection. This independence leads to fragile networking and makes analysis of policy configurations very complex. To aid the systematic and efficient study of the policy configuration space, this paper presents network reduction, a scalability technique for policy-based routing systems. In network reduction, we provide two types of reduction rules that transform policy configurations by merging duplicate and complementary router configurations to simplify analysis. We show that the reductions are sound, dual of each other and are locally complete. The reductions are also computationally attractive, requiring only local configuration information and modification. We have developed a prototype of network reduction and demonstrated that it is applicable on various BGP systems and enables significant savings in analysis time. In addition to making possible safety analysis on large networks that would otherwise not complete within reasonable time, network reduction is also a useful tool for discovering possible redundancies in BGP systems

Forehead EEG in Support of Future Feasible Personal Healthcare Solutions: Sleep Management, Headache Prevention, and Depression Treatment

© 2013 IEEE. There are current limitations in the recording technologies for measuring EEG activity in clinical and experimental applications. Acquisition systems involving wet electrodes are time-consuming and uncomfortable for the user. Furthermore, dehydration of the gel affects the quality of the acquired data and reliability of long-term monitoring. As a result, dry electrodes may be used to facilitate the transition from neuroscience research or clinical practice to real-life applications. EEG signals can be easily obtained using dry electrodes on the forehead, which provides extensive information concerning various cognitive dysfunctions and disorders. This paper presents the usefulness of the forehead EEG with advanced sensing technology and signal processing algorithms to support people with healthcare needs, such as monitoring sleep, predicting headaches, and treating depression. The proposed system for evaluating sleep quality is capable of identifying five sleep stages to track nightly sleep patterns. Additionally, people with episodic migraines can be notified of an imminent migraine headache hours in advance through monitoring forehead EEG dynamics. The depression treatment screening system can predict the efficacy of rapid antidepressant agents. It is evident that frontal EEG activity is critically involved in sleep management, headache prevention, and depression treatment. The use of dry electrodes on the forehead allows for easy and rapid monitoring on an everyday basis. The advances in EEG recording and analysis ensure a promising future in support of personal healthcare solutions

Superconductivity at the Border of Electron Localization and Itinerancy

The superconducting state of iron pnictides and chalcogenides exists at the border of antiferromagnetic order. Consequently, these materials could provide clues about the relationship between magnetism and unconventional superconductivity. One explanation, motivated by the so-called bad-metal behaviour of these materials, proposes that magnetism and superconductivity develop out of quasi-localized magnetic moments which are generated by strong electron-electron correlations. Another suggests that these phenomena are the result of weakly interacting electron states that lie on nested Fermi surfaces. Here we address the issue by comparing the newly discovered alkaline iron selenide superconductors, which exhibit no Fermi-surface nesting, to their iron pnictide counterparts. We show that the strong-coupling approach leads to similar pairing amplitudes in these materials, despite their different Fermi surfaces. We also find that the pairing amplitudes are largest at the boundary between electronic localization and itinerancy, suggesting that new superconductors might be found in materials with similar characteristics.Comment: Version of the published manuscript prior to final journal-editting. Main text (23 pages, 4 figures) + Supplementary Information (14 pages, 7 figures, 3 tables). Calculation on the single-layer FeSe is added. Enhancement of the pairing amplitude in the vicinity of the Mott transition is highlighted. Published version is at http://www.nature.com/ncomms/2013/131115/ncomms3783/full/ncomms3783.htm

On the Importance of Countergradients for the Development of Retinotopy: Insights from a Generalised Gierer Model

During the development of the topographic map from vertebrate retina to superior colliculus (SC), EphA receptors are expressed in a gradient along the nasotemporal retinal axis. Their ligands, ephrin-As, are expressed in a gradient along the rostrocaudal axis of the SC. Countergradients of ephrin-As in the retina and EphAs in the SC are also expressed. Disruption of any of these gradients leads to mapping errors. Gierer's (1981) model, which uses well-matched pairs of gradients and countergradients to establish the mapping, can account for the formation of wild type maps, but not the double maps found in EphA knock-in experiments. I show that these maps can be explained by models, such as Gierer's (1983), which have gradients and no countergradients, together with a powerful compensatory mechanism that helps to distribute connections evenly over the target region. However, this type of model cannot explain mapping errors found when the countergradients are knocked out partially. I examine the relative importance of countergradients as against compensatory mechanisms by generalising Gierer's (1983) model so that the strength of compensation is adjustable. Either matching gradients and countergradients alone or poorly matching gradients and countergradients together with a strong compensatory mechanism are sufficient to establish an ordered mapping. With a weaker compensatory mechanism, gradients without countergradients lead to a poorer map, but the addition of countergradients improves the mapping. This model produces the double maps in simulated EphA knock-in experiments and a map consistent with the Math5 knock-out phenotype. Simulations of a set of phenotypes from the literature substantiate the finding that countergradients and compensation can be traded off against each other to give similar maps. I conclude that a successful model of retinotopy should contain countergradients and some form of compensation mechanism, but not in the strong form put forward by Gierer

GIVE: portable genome browsers for personal websites.

Growing popularity and diversity of genomic data demand portable and versatile genome browsers. Here, we present an open source programming library called GIVE that facilitates the creation of personalized genome browsers without requiring a system administrator. By inserting HTML tags, one can add to a personal webpage interactive visualization of multiple types of genomics data, including genome annotation, "linear" quantitative data, and genome interaction data. GIVE includes a graphical interface called HUG (HTML Universal Generator) that automatically generates HTML code for displaying user chosen data, which can be copy-pasted into user's personal website or saved and shared with collaborators. GIVE is available at: https://www.givengine.org/

Rare B Decays with a HyperCP Particle of Spin One

In light of recent experimental information from the CLEO, BaBar, KTeV, and Belle collaborations, we investigate some consequences of the possibility that a light spin-one particle is responsible for the three Sigma^+ -> p mu^+ mu^- events observed by the HyperCP experiment. In particular, allowing the new particle to have both vector and axial-vector couplings to ordinary fermions, we systematically study its contributions to various processes involving b-flavored mesons, including B-Bbar mixing as well as leptonic, inclusive, and exclusive B decays. Using the latest experimental data, we extract bounds on its couplings and subsequently estimate upper limits for the branching ratios of a number of B decays with the new particle. This can serve to guide experimental searches for the particle in order to help confirm or refute its existence.Comment: 17 pages, 3 figures; discussion on spin-0 case modified, few errors corrected, main conclusions unchange

Black Holes in Gravity with Conformal Anomaly and Logarithmic Term in Black Hole Entropy

We present a class of exact analytic and static, spherically symmetric black hole solutions in the semi-classical Einstein equations with Weyl anomaly. The solutions have two branches, one is asymptotically flat and the other asymptotically de Sitter. We study thermodynamic properties of the black hole solutions and find that there exists a logarithmic correction to the well-known Bekenstein-Hawking area entropy. The logarithmic term might come from non-local terms in the effective action of gravity theories. The appearance of the logarithmic term in the gravity side is quite important in the sense that with this term one is able to compare black hole entropy up to the subleading order, in the gravity side and in the microscopic statistical interpretation side.Comment: Revtex, 10 pages. v2: minor changes and to appear in JHE

Extraction of SSVEPs-Based Inherent Fuzzy Entropy Using a Wearable Headband EEG in Migraine Patients

© 1993-2012 IEEE. Inherent fuzzy entropy is an objective measurement of electroencephalography (EEG) complexity reflecting the robustness of brain systems. In this study, we present a novel application of multiscale relative inherent fuzzy entropy using repetitive steady-state visual evoked potentials (SSVEPs) to investigate EEG complexity change between two migraine phases, i.e., interictal (baseline) and preictal (before migraine attacks) phases. We used a wearable headband EEG device with O1, Oz, O2, and Fpz electrodes to collect EEG signals from 80 participants [40 migraine patients and 40 healthy controls (HCs)] under the following two conditions: During resting state and SSVEPs with five 15-Hz photic stimuli. We found a significant enhancement in occipital EEG entropy with increasing stimulus times in both HCs and patients in the interictal phase, but a reverse trend in patients in the preictal phase. In the 1st SSVEP, occipital EEG entropy of the HCs was significantly lower than that of patents in the preictal phase (FDR-adjusted p < 0.05). Regarding the transitional variance of EEG entropy between the 1st and 5th SSVEPs, patients in the preictal phase exhibited significantly lower values than patients in the interictal phase (FDR-adjusted p < 0.05). Furthermore, in the classification model, the AdaBoost ensemble learning showed an accuracy of 81 pm 6%and area under the curve of 0.87 for classifying interictal and preictal phases. In contrast, there were no differences in EEG entropy among groups or sessions by using other competing entropy models, including approximate entropy, sample entropy, and fuzzy entropy on the same dataset. In conclusion, inherent fuzzy entropy offers novel applications in visual stimulus environments and may have the potential to provide a preictal alert to migraine patients

Strong Ultraviolet Pulse From a Newborn Type Ia Supernova

Type Ia supernovae are destructive explosions of carbon oxygen white dwarfs. Although they are used empirically to measure cosmological distances, the nature of their progenitors remains mysterious, One of the leading progenitor models, called the single degenerate channel, hypothesizes that a white dwarf accretes matter from a companion star and the resulting increase in its central pressure and temperature ignites thermonuclear explosion. Here we report observations of strong but declining ultraviolet emission from a Type Ia supernova within four days of its explosion. This emission is consistent with theoretical expectations of collision between material ejected by the supernova and a companion star, and therefore provides evidence that some Type Ia supernovae arise from the single degenerate channel.Comment: Accepted for publication on the 21 May 2015 issue of Natur