A priori bounds and existence of smooth solutions to Minkowski problems for log-concave measures in warped product space forms

In the present paper, we prove the a priori bounds and existence of smooth solutions to a Minkowski type problem for the log-concave measure $e^{-f(|x|^2)}dx$ in warped product space forms with zero sectional curvature. Our proof is based on the method of continuity. The crucial factor of the analysis is the a priori bounds of an auxiliary Monge-Ampère equation on $\mathbb{S}^n$. The main result of the present paper extends the Minkowski type problem of log-concave measures to the space forms and it may be an attempt to get some new analysis for the log-concave measures

A Mixed-Integer SDP Solution Approach to Distributionally Robust Unit Commitment with Second Order Moment Constraints

A power system unit commitment (UC) problem considering uncertainties of renewable energy sources is investigated in this paper, through a distributionally robust optimization approach. We assume that the first and second order moments of stochastic parameters can be inferred from historical data, and then employed to model the set of probability distributions. The resulting problem is a two-stage distributionally robust unit commitment with second order moment constraints, and we show that it can be recast as a mixed-integer semidefinite programming (MI-SDP) with finite constraints. The solution algorithm of the problem comprises solving a series of relaxed MI-SDPs and a subroutine of feasibility checking and vertex generation. Based on the verification of strong duality of the semidefinite programming (SDP) problems, we propose a cutting plane algorithm for solving the MI-SDPs; we also introduce a SDP relaxation for the feasibility checking problem, which is an intractable biconvex optimization. Experimental results on a IEEE 6-bus system are presented, showing that without any tunings of parameters, the real-time operation cost of distributionally robust UC method outperforms those of deterministic UC and two-stage robust UC methods in general, and our method also enjoys higher reliability of dispatch operation

ATCSpeech: a multilingual pilot-controller speech corpus from real Air Traffic Control environment

Automatic Speech Recognition (ASR) is greatly developed in recent years, which expedites many applications on other fields. For the ASR research, speech corpus is always an essential foundation, especially for the vertical industry, such as Air Traffic Control (ATC). There are some speech corpora for common applications, public or paid. However, for the ATC, it is difficult to collect raw speeches from real systems due to safety issues. More importantly, for a supervised learning task like ASR, annotating the transcription is a more laborious work, which hugely restricts the prospect of ASR application. In this paper, a multilingual speech corpus (ATCSpeech) from real ATC systems, including accented Mandarin Chinese and English, is built and released to encourage the non-commercial ASR research in ATC domain. The corpus is detailly introduced from the perspective of data amount, speaker gender and role, speech quality and other attributions. In addition, the performance of our baseline ASR models is also reported. A community edition for our speech database can be applied and used under a special contrast. To our best knowledge, this is the first work that aims at building a real and multilingual ASR corpus for the air traffic related research

Ppm1b negatively regulates necroptosis through dephosphorylating ​Rip3

该研究论文发现蛋白磷酸酶Ppm1b 通过去磷酸化RIP3负调控程序性细胞坏死（necroptosis），阐明了RIP3磷酸化状态的精确调控对于细胞和机体在生理和病理状态下的存活至关重要。The auto-phosphorylation of murine ​receptor-interacting protein 3 (​Rip3) on Thr 231 and Ser 232 in the necrosome is required to trigger necroptosis. However, how ​Rip3 phosphorylation is regulated is still largely unknown. Here we identified ​protein phosphatase 1B (​Ppm1b) as a ​Rip3 phosphatase and found that ​Ppm1b restricts necroptosis in two settings: spontaneous necroptosis caused by ​Rip3 auto-phosphorylation in resting cells, and ​tumour necrosis factor-α (​TNF)-induced necroptosis in cultured cells. We revealed that ​Ppm1b selectively suppresses necroptosis through the dephosphorylation of ​Rip3, which then prevents the recruitment of ​mixed lineage kinase domain-like protein (​Mlkl) to the necrosome. We further showed that ​Ppm1b deficiency (​Ppm1bd/d) in mice enhanced ​TNF-induced death in a ​Rip3-dependent manner, and the role of ​Ppm1b in inhibiting necroptosis was evidenced by elevated ​Rip3 phosphorylation and tissue damage in the caecum of ​TNF-treated ​Ppm1bd/d mice. These data indicate that ​Ppm1b negatively regulates necroptosis through dephosphorylating ​Rip3 in vitro and in vivo

Is the High Frequency of Machado-Joseph Disease in China Due to New Mutational Origins?

Machado-Joseph disease (MJD, also known as spinocerebellar ataxia 3 or SCA3) is the most common dominant ataxia worldwide, with an overall average prevalence of 1–5/100,000. To this date, two major ancestral lineages have been found throughout the world. In China, the relative frequency of MJD among the SCAs reaches as high as 63%, however, little is known about its mutational origin in this country. We analyzed 50 families with MJD patients in two or more generations to study the hypothesis that new mutational events have occurred in this population. Haplotypes based on 20 SNPs have shown new genetic backgrounds segregating with MJD mutations in our cohort from China. We found the “Joseph-derived” lineage (Joseph lineage with a G variant in rs56268847) to be very common among Chinese MJD patients. Moreover, we estimated the time for the origin of this MJD SNP background based on STR diversity flanking the (CAG)n of ATXN3. It was surprising to find that the Chinese MJD population originated from 8,000 to 17,000 years ago, far earlier than the previous literature reports, which will be an important evidence to explain the origin, spread and founder effects of MJD