3,376 research outputs found
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
- …