Topolgical Charged Black Holes in Generalized Horava-Lifshitz Gravity

As a candidate of quantum gravity in ultrahigh energy, the $(3+1)$-dimensional Ho\v{r}ava-Lifshitz (HL) gravity with critical exponent $z\ne 1$, indicates anisotropy between time and space at short distance. In the paper, we investigate the most general $z=d$ Ho\v{r}ava-Lifshitz gravity in arbitrary spatial dimension $d$, with a generic dynamical Ricci flow parameter $\lambda$ and a detailed balance violation parameter $\epsilon$. In arbitrary dimensional generalized HL$_{d+1}$ gravity with $z\ge d$ at long distance, we study the topological neutral black hole solutions with general $\lambda$ in $z=d$ HL$_{d+1}$, as well as the topological charged black holes with $\lambda=1$ in $z=d$ HL$_{d+1}$. The HL gravity in the Lagrangian formulation is adopted, while in the Hamiltonian formulation, it reduces to Dirac$-$De Witt's canonical gravity with $\lambda=1$. In particular, the topological charged black holes in $z=5$ HL$_6$, $z=4$ HL$_5$, $z=3,4$ HL$_4$ and $z=2$ HL$_3$ with $\lambda=1$ are solved. Their asymptotical behaviors near the infinite boundary and near the horizon are explored respectively. We also study the behavior of the topological black holes in the $(d+1)$-dimensional HL gravity with $U(1)$ gauge field in the zero temperature limit and finite temperature limit, respectively. Thermodynamics of the topological charged black holes with $\lambda=1$, including temperature, entropy, heat capacity, and free energy are evaluated.Comment: 51 pages, published version. The theoretical framework of z=d HL gravity is set up, and higher curvature terms in spatial dimension become relevant at UV fixed point. Lovelock term, conformal term, new massive term, and Chern-Simons term with different critical exponent z are studie

Angiogenesis and Vasculogenesis at 7-Day of Reperfused Acute Myocardial Infarction

Objectives 
This study is to investigate the angiogenesis and vasculogenesis at the first week of reperfused acute myocardial infarction (AMI).
Methods 
16 of mini-swines (20 to 30 Kg) were randomly assigned to the sham-operated group and the AMI group. The acute myocardial infarction and reperfusion model was created and the pig tail catheter was performed to monitor hemodynamics before left anterior descending coronary artery (LAD) occlusion, 90 min of LAD occlusion and 120 min of LAD reperfusion. Pathologic myocardial tissue was collected at 7-day of LAD reperfusion and further assessed by immunochemistry, dual immunochemistry, in-situ hybridization, real-time quantitative polymerase chain reaction and western blot. 
Results 
The infarcted area had higher FLK1 mRNA expression than sham-operated area and the normal area (all P<0.05), and the infarcted and marginal areas showed higher CD146 protein expression than the sham-operated area (all P<0.05), but the microvessel density (CD31 positive expression of microvessels/HP) was not significantly different between the infarcted area and the sham-operated area (8.92±3.05 vs 6.43±1.54) at 7-day of reperfused acute myocardial infarction (P>0.05). 
Conclusions 
FLK1 and CD146 expression significantly increase in the infarcted and marginal areas, and the microvessel density is not significantly different between the infarcted area and the sham-operated area, suggesting that angiogenesis and vasculogenesis in the infarcted area appear to high frequency of increase in 7-day of reperfused myocardial infarction. 
&#xa

Program Tailoring: Slicing by Sequential Criteria

Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P. In this paper, we propose to restrict our attention to the subset of that behavior at P affected by one or several statement sequences, called a sequential criterion (SC). By leveraging the ordering information in a SC, e.g., the temporal order in a few valid/invalid API method invocation sequences, we introduce a new technique, program tailoring, to compute a tailored program that comprises the statements in all possible execution paths passing through at least one sequence in SC in the given order. With a prototyping implementation, Tailor, we show why tailoring is practically useful by conducting two case studies on seven large real-world Java applications. For program debugging and understanding, Tailor can complement program slicing by removing SC-irrelevant statements. For program analysis, Tailor can enable a pointer analysis, which is unscalable to a program, to perform a more focused and therefore potentially scalable analysis to its specific parts containing hard language features such as reflection