total 12812took 0.13s

Knowledge Graph Convolutional Networks for Recommender SystemsMar 18 2019To alleviate sparsity and cold start problem of collaborative filtering based recommender systems, researchers and engineers usually collect attributes of users and items, and design delicate algorithms to exploit these additional information. In general, ... More

Study on the frequency tuning of half-wave resonator at IMPJul 12 2013Sep 24 2013A 162.5 MHz superconducting half-wave resonator (HWR) with geometry beta of 0.09 is being developed for Injector II of China Accelerator Driven Sub-critical System (CADS) Project at the Institute of Modern Physics (IMP). The HWR section composed of 16 ... More

Multi-field nanoindentation apparatus for measuring local mechanical properties of materials in external magnetic and electric fieldsJun 24 2013Nano/micro-scale mechanical properties of multiferroic materials can be controlled by the external magnetic or electric field due to the coupling interaction. For the first time, a modularized multi-field nanoindentation apparatus for carrying out testing ... More

A Many-Objective Evolutionary Algorithm With Two Interacting Processes: Cascade Clustering and Reference Point Incremental LearningMar 03 2018Aug 20 2019Researches have shown difficulties in obtaining proximity while maintaining diversity for many-objective optimization problems. Complexities of the true Pareto front pose challenges for the reference vector-based algorithms for their insufficient adaptability ... More

Deforming submanifolds of arbitrary codimension in a sphereMar 31 2012In this paper, we prove some convergence theorems for the mean curvature flow of closed submanifolds in the unit sphere $\mathbb{S}^{n+d}$ under integral curvature conditions. As a consequence, we obtain several differentiable sphere theorems for certain ... More

Mean curvature flow of higher codimension in Riemannian manifoldsMar 31 2012We investigate the convergence of the mean curvature flow of arbitrary codimension in Riemannian manifolds with bounded geometry. We prove that if the initial submanifold satisfies a pinching condition, then along the mean curvature flow the submanifold ... More

Second-Order Necessary Conditions for Optimal Control of Semilinear Elliptic Equations with Leading Term Containing ControlsMar 25 2017An optimal control problem for a semilinear elliptic equation of divergence form is considered. Both the leading term and the semilinear term of the state equation contain the control. The well-known Pontryagin type maximum principle for the optimal controls ... More

Linearly Typed Dyadic Group Sessions for Building Multiparty SessionsApr 11 2016Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session). As a generalization of i-session, a group session (g-session) ... More

Reconstructing the properties of dark energy from recent observationsOct 10 2007We explore the properties of dark energy from recent observational data, including the Gold Sne Ia, the baryonic acoustic oscillation peak from SDSS, the CMB shift parameter from WMAP3, the X-ray gas mass fraction in cluster and the Hubble parameter versus ... More

Quantum interaction between two gravitationally polarizable objects in presence of boundariesJan 11 2018We investigate, in the framework of the linearized quantum gravity and the leading-order perturbation theory, the quantum correction to the classical Newtonian interaction between a pair of gravitationally polarizable objects in the presence of both Neumann ... More

Nanotwin-Dominant Superstructures Selectively Grown on Anatase {001} FacetsFeb 27 2019Mar 04 2019homo/heterojunction renders fascinating electronic, optical, mechanical, chemical properties, yet a facile synthesis of this structure remains a challenge.

Mechanical design and analysis for a low beta squeezed half-wave resonatorSep 24 2013A superconducting half-wave resonator (HWR) of frequency=162.5 MHz and {\beta}=0.09 has been developed at Institute of Modern Physics. Mechanical stability of the low beta HWR cavity is a big challenge in cavity design and optimization. The mechanical ... More

"Tom" pet robot applied to urban autismMay 14 2019With the fast development of network information technology, more and more people are immersed in the virtual community environment brought by the network, ignoring the social interaction in real life. The consequent urban autism problem has become more ... More

Head and tail speeds of mean curvature flow with forcingSep 25 2018In this paper, we investigate the large time behavior of interfaces moving with motion law $V = -\kappa + g(x)$, where $g$ is positive, Lipschitz and $\mathbb{Z}^n$-periodic. It turns out that the behavior of the interface can be characterized by its ... More

The topological rigidity theorem for submanifolds in space formsMar 01 2019Let $M$ be an $n(\geq 4)$-dimensional compact submanifold in the simply connected space form $F^{n+p}(c)$ with constant curvature $c\geq 0$, where $H$ is the mean curvature of $M$. We verify that if the scalar curvature of $M$ satisfies $R>n(n-2)(c+H^2)$, ... More

Multiparty Dependent Session Types (Extended Abstract)Jul 31 2018Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lack of formal specification/verification of concurrency. This work formalizes ... More

Multirole Logic (Extended Abstract)Mar 19 2017We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set. ... More

$σ$-self-orthogonal constacyclic codes of length $p^s$ over $\mathbb F_{p^m}+u\mathbb F_{p^m}$Jul 25 2018In this paper, we study the $\sigma$-self-orthogonality of constacyclic codes of length $p^s$ over the finite commutative chain ring $\mathbb F_{p^m} + u \mathbb F_{p^m}$, where $u^2=0$ and $\sigma$ is a ring automorphism of $\mathbb F_{p^m} + u \mathbb ... More

Some Repeated-Root Constacyclic Codes over Galois RingsJan 01 2017Aug 15 2017Codes over Galois rings have been studied extensively during the last three decades. Negacyclic codes over $GR(2^a,m)$ of length $2^s$ have been characterized: the ring $\mathcal{R}_2(a,m,-1)= \frac{GR(2^a,m)[x]}{\langle x^{2^s}+1\rangle}$ is a chain ... More

Homogeneous Weights and Möbius Functions on Finite RingsApr 17 2013The homogeneous weights and the M\"obius functions and Euler phi-functions on finite rings are discussed; some computational formulas for these functions on finite principal ideal rings are characterized; for the residue rings of integers, they are reduced ... More

Implementing Linking in Multiparty Sessions (Extended Abstract)Oct 29 2018The fast growth of service-oriented programming (SOP) is evident in this day and age of the Internet, and handling communication is of paramount importance in SOP. Session types are a formalism that is proposed to specify interactions between communicating ... More

Propositions in Linear Multirole Logic as Multiparty Session TypesNov 27 2016We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-properties established for LMRL, we obtain one named multi-cut elimination stating ... More

Joint Topic-Semantic-aware Social Recommendation for Online VotingDec 03 2017Online voting is an emerging feature in social networks, in which users can express their attitudes toward various issues and show their unique interest. Online voting imposes new challenges on recommendation, because the propagation of votings heavily ... More

A Reference Vector based Many-Objective Evolutionary Algorithm with Feasibility-aware AdaptationApr 12 2019The infeasible parts of the objective space in difficult many-objective optimization problems cause trouble for evolutionary algorithms. This paper proposes a reference vector based algorithm which uses two interacting engines to adapt the reference vectors ... More

Theory of electron transport in normal metal/superconductor junctionsJan 12 2000On the basis of the Keldysh method of non-equilibrium systems, we develop a theory of electron tunneling in normal-metal/superconductor junctions. By using the tunneling Hamiltonian model (being appropriate for the tight-binding systems), the tunneling ... More

AFDI: A Virtualization-based Accelerated Fault Diagnosis Innovation for High Availability ComputingJul 29 2015Fault diagnosis has attracted extensive attention for its importance in the exceedingly fault management framework for cloud virtualization, despite the fact that fault diagnosis becomes more difficult due to the increasing scalability and complexity ... More

The extension and convergence of mean curvature flow in higher codimensionApr 05 2011In this paper, we first investigate the integral curvature condition to extend the mean curvature flow of submanifolds in a Riemannian manifold with codimension $d\geq1$, which generalizes the extension theorem for the mean curvature flow of hypersurfaces ... More

Mean Curvature Flow of Higher Codimension in Hyperbolic SpacesMay 28 2011In this paper we investigate the convergence for the mean curvature flow of closed submanifolds with arbitrary codimension in space forms. Particularly, we prove that the mean curvature flow deforms a closed submanifold satisfying a pinching condition ... More

Online Decisioning Meta-Heuristic Framework for Large Scale Black-Box OptimizationDec 17 2018Out of practical concerns and with the expectation to achieve high overall efficiency of the resource utilization, this paper transforms the large scale black-box optimization problems with limited resources into online decision problems from the perspective ... More

Vacuum fluctuations and Brownian motion of a charged test particle near a reflecting boundaryJun 17 2004Aug 25 2004We study the Brownian motion of a charged test particle coupled to electromagnetic vacuum fluctuations near a perfectly reflecting plane boundary. The presence of the boundary modifies the quantum fluctuations of the electric field, which in turn modifies ... More

Lightcone fluctuations in quantum gravity and extra dimensionsJul 08 1999Nov 30 2000We discuss how compactified extra dimensions may have potentially observable effects which grow as the compactification scale decreases. This arises because of lightcone fluctuations in the uncompactified dimensions which can result in the broadening ... More

Reducing the Upfront Cost of Private Clouds with Clairvoyant Virtual Machine PlacementFeb 09 2018Dec 22 2018Although public clouds still occupy the largest portion of the total cloud infrastructure, private clouds are attracting increasing interest from both industry and academia because of their better security and privacy control. According to the existing ... More

Oscillating universe in massive gravityFeb 26 2013Mar 20 2013Massive gravity is a modified theory of general relativity. In this paper, we study, using a method in which the scale factor changes as a particle in a "potential", all possible cosmic evolutions in a ghost-free massive gravity. We find that there exists, ... More

Interaction between two gravitationally polarizable objects induced by thermal bath of gravitonsMay 22 2017The quadrupole-quadrupole interaction between a pair of gravitationally polarizable objects induced by vacuum fluctuations of the quantum linearized gravitational field is first obtained with a relatively simple method, which is then used to investigate ... More

A parametrization for the growth index of linear matter perturbationsMay 21 2009Jun 13 2009We propose a parametrization for the growth index of the linear matter perturbations, $\gamma(z)=\gamma_0+\frac{z}{1+z}\gamma_1$. The growth factor of the perturbations parameterized as $\Omega_m^{\gamma}$ is analyzed for both the $w$CDM model and the ... More

Dynamics of interacting phantom scalar field dark energy in Loop Quantum CosmologyAug 10 2008Sep 03 2008We study the dynamics of a phantom scalar field dark energy interacting with dark matter in loop quantum cosmology (LQC). Two kinds of coupling of the form $\alpha{\rho_m}{\dot\phi}$ (case I) and $3\beta H (\rho_\phi +\rho_m)$ (case II) between the phantom ... More

Brownian motion of a charged test particle near a reflecting boundary at finite temperatureFeb 20 2006We discuss the random motion of charged test particles driven by quantum electromagnetic fluctuations at finite temperature in both the unbounded flat space and flat spacetime with a reflecting boundary and calculate the mean squared fluctuations in the ... More

Constacyclic symbol-pair codes: lower bounds and optimal constructionsMay 11 2016Symbol-pair codes introduced by Cassuto and Blaum (2010) are designed to protect against pair errors in symbol-pair read channels. The higher the minimum pair distance, the more pair errors the code can correct. MDS symbol-pair codes are optimal in the ... More

An efficient gradient method with approximately optimal stepsize based on cubic regularization model for large-scale unconstrained optimizationJul 03 2019A new type of stepsize, which was recently introduced by Liu et al. (Optimization 67(3):427-440, 2018), is called approximately optimal stepsize and is very efficient for gradient method. In this paper, we present an efficient gradient method with approximately ... More

Lower and upper bounds for $H$-eigenvalues of even order real symmetric tensorsJul 16 2015In this article, we define new classes of tensors called double $\overline{B}$-tensors, quasi-double $\overline{B}$-tensors and establish some of their properties. Using these properties, we construct new regions viz., double $\overline{B}$-intervals ... More

Determining $H_0$ with a model-independent methodJan 08 2015In this letter, by using the type Ia supernovae (SNIa) to provide the luminosity distance (LD) directly, which is dependent on the value of the Hubble constant $H_0= 100 h\; {\rm km\; s^{-1}\; Mpc^{-1}}$, and the angular diameter distance from galaxy ... More

A class of goodness-of-fit tests for spatial extremes models based on max-stable processesFeb 02 2012May 04 2014Parametric max-stable processes are increasingly used to model spatial extremes. Starting from the fact that the dependence structure of a max-stable process is completely characterized by an extreme-value copula, a class of goodness-of-fit tests is proposed ... More

Knowledge Graph Convolutional Networks for Recommender Systems with Label Smoothness RegularizationMay 11 2019Knowledge graphs capture interlinked information between entities and they represent an attractive source of structured information that can be harnessed for recommender systems. However, existing recommender engines use knowledge graphs by manually designing ... More

Hierarchical multi-class segmentation of glioma images using networks with multi-level activation functionOct 22 2018Nov 02 2018For many segmentation tasks, especially for the biomedical image, the topological prior is vital information which is useful to exploit. The containment/nesting is a typical inter-class geometric relationship. In the MICCAI Brain tumor segmentation challenge, ... More

Knowledge-aware Graph Neural Networks with Label Smoothness Regularization for Recommender SystemsMay 11 2019Jun 14 2019Knowledge graphs capture structured information and relations between a set of entities or items. As such knowledge graphs represent an attractive source of information that could help improve recommender systems. However, existing approaches in this ... More

Short Text Hashing Improved by Integrating Multi-Granularity Topics and TagsMar 10 2015Due to computational and storage efficiencies of compact binary codes, hashing has been widely used for large-scale similarity search. Unfortunately, many existing hashing methods based on observed keyword features are not effective for short texts due ... More

A Many-Objective Evolutionary Algorithm with Two Interacting Processes: Cascade Clustering and Reference Point Incremental LearningMar 03 2018Oct 04 2018Researches have shown difficulties in obtaining proximity while maintaining diversity for solving many-objective optimization problems (MaOPs). The complexities of the true Pareto Front (PF) pose serious challenges for the reference vector based algorithms ... More

GraphGAN: Graph Representation Learning with Generative Adversarial NetsNov 22 2017The goal of graph representation learning is to embed each vertex in a graph into a low-dimensional vector space. Existing graph representation learning methods can be classified into two categories: generative models that learn the underlying connectivity ... More

Visual-Texual Emotion Analysis with Deep Coupled Video and Danmu Neural NetworksNov 19 2018User emotion analysis toward videos is to automatically recognize the general emotional status of viewers from the multimedia content embedded in the online video stream. Existing works fall in two categories: 1) visual-based methods, which focus on visual ... More

Multi-Task Feature Learning for Knowledge Graph Enhanced RecommendationJan 23 2019Collaborative filtering often suffers from sparsity and cold start problems in real recommendation scenarios, therefore, researchers and engineers usually use side information to address the issues and improve the performance of recommender systems. In ... More

RippleNet: Propagating User Preferences on the Knowledge Graph for Recommender SystemsMar 09 2018Aug 25 2018To address the sparsity and cold start problem of collaborative filtering, researchers usually make use of side information, such as social networks or item attributes, to improve recommendation performance. This paper considers the knowledge graph as ... More

The discharge characteristics of the DUHOCAMIS with a high magnetic bottle-shaped fieldJan 01 2014For the purpose to produce high intensity, multiply charged metal ion beams, the DUHOCAMIS (dual hollow cathode ion source for metal ions) was derived from the hot cathode Penning ion source combined with the hollow cathode sputtering experiments in 2007. ... More

New quantum gravity effect, dark energy, accelerating universe, black hole and experimental scheme using superfluid Helium and atom interferometerJan 03 2011Dec 03 2018Considerable attention has been focused on Verlinde's recent work, claiming that Newton's gravity is not a fundamental force. In a recent work (arXiv:1012.5858), we give further the logic basis and basic clues to derive the Newton's gravity, inertia law ... More

On the possible wave-packet collapse induced by topological disconnectivity and experimental suggestionsJan 08 2008Sep 27 2008The purpose of this paper is to explore the possibility of a wave-packet collapse induced by topological disconnectivity, based on the discussions of the wave-corpuscle duality. Several experimental suggestions are proposed to test this sort of wave-packet ... More

Applied Type System: An Approach to Practical Programming with Theorem-ProvingMar 25 2017The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist certain acute problems that make it difficult for PTS to directly accommodate ... More

Isogeometric Least-squares Collocation Method with Consistency and Convergence AnalysisJan 27 2016Apr 18 2018In this paper, we present the isogeometric least-squares collocation (IGA-L) method, which determines the numerical solution by making the approximate differential operator fit the real differential operator in a least-squares sense. The number of collocation ... More

Notes on the Origin of Gravity and the Laws of NewtonDec 29 2010Following Verlinde's recent work on the origin of gravity and the laws of Newton, we consider further the origin of the starting point of Verlinde's work and Unruh effect. Simple derivations are given for this starting point and Unruh effect with the ... More

Random homogenization of coercive Hamilton-Jacobi equations in 1dJul 25 2015In this paper, we will prove the random homogenization of general coercive non-convex Hamilton-Jacobi equations in one dimensional case. This extends the result of Armstrong, Tran and Yu when the Hamiltonian has a separable form $H(p,x,\omega)=H(p)+V(x,\omega)$ ... More

Stochastic homogenization of certain nonconvex Hamilton-Jacobi equationsMar 23 2018In this paper, we prove the stochastic homogenization of certain nonconvex Hamilton-Jacobi equations. The nonconvex Hamiltonians, which are generally uneven and inseparable, are generated by a sequence of quasiconvex Hamiltonians and a sequence of quasiconcave ... More

Session Types in a Linearly Typed Multi-Threaded Lambda-CalculusMar 11 2016We present a formalization of session types in a multi-threaded lambda-calculus (MTLC) equipped with a linear type system, establishing for the MTLC both type preservation and global progress. The latter (global progress) implies that the evaluation of ... More

New quantum gravity effect, dark energy, accelerating universe, black hole and experimental scheme using superfluid Helium and atom interferometerJan 03 2011Considerable attention has been focused on Verlinde's recent work, claiming that Newton's gravity is not a fundamental force. In a recent work (arXiv:1012.5858), we give further the logic basis and basic clues to derive the Newton's gravity, inertia law ... More

Abnormal Quantum Gravity Effect: Experimental Scheme with Superfluid Helium Sphere and Applications to Accelerating UniverseJan 25 2011Dec 04 2018From the general assumption that gravity originates from the coupling and thermal equilibrium between matter and vacuum, after a derivation of Newton's law of gravitation and an interpretation of the attractive gravity force between two classical objects, ... More

Repulsive gravitational effect of a quantum wave packet and experimental scheme with superfluid heliumJan 06 2011Dec 02 2018We consider the gravitational effect of quantum wave packets when quantum mechanics, gravity, and thermodynamics are simultaneously considered. Under the assumption of a thermodynamic origin of gravity, we propose a general equation to describe the gravitational ... More

Notes on the Origin of Gravity and the Laws of NewtonDec 29 2010Dec 03 2018Following Verlinde's recent work on the origin of gravity and the laws of Newton, we consider further the origin of the starting point of Verlinde's work and Unruh effect. Simple derivations are given for this starting point and Unruh effect with the ... More

Imaginary Potential Induced Quantum Coherence for Bose-Einstein CondensatesDec 21 2009The role of complex potentials in single-body Schr\H{o}dinger equation has been studied intensively. We study the quantum coherence for degenerate Bose gases in complex potentials, when the exchange symmetry of identical bosons is considered. For initially ... More

Second-Order Necessary/Sufficient Conditions for Optimal Control Problems in the Absence of Linear StructureAug 05 2010Second-order necessary conditions for optimal control problems are considered, where the ``second-order" is in the sense of that Pontryagin's maximum principle is viewed as a first-order necessary optimality condition. A sufficient condition for a local ... More

Restricted Linearized Augmented Lagrangian Method for Euler's Elastica ModelAug 05 2019Euler's elastica model has been extensively studied and applied to image processing tasks. However, due to the high nonlinearity and nonconvexity of the involved curvature term, conventional algorithms suffer from slow convergence and high computational ... More

Spin-Dependent Weakly-Interacting-Massive-Particle--Nucleon Cross Section Limits from First Data of PandaX-II ExperimentNov 20 2016Feb 15 2017New constraints are presented on the spin-dependent WIMP-nucleon interaction from the PandaX-II experiment, using a data set corresponding to a total exposure of 3.3$\times10^4$ kg-days. Assuming a standard axial-vector spin-dependent WIMP interaction ... More

Necessary and Sufficient Conditions for Distinguishability of Linear Control SystemsFeb 14 2011Feb 18 2011Distinguishability takes a crucial rule in studying observability of hybrid system such as switched system. Recently, for two linear systems, Lou and Si gave a condition not only necessary but also sufficient to the distinguishability of linear systems. ... More

Optimality Conditions for Semilinear Parabolic Equations with Controls in Leading TermAug 19 2010An optimal control problem for semilinear parabolic partial differential equations is considered. The control variable appears in the leading term of the equation. Necessary conditions for optimal controls are established by the method of homogenizing ... More

Time-encoded single-pixel 3D imagingJan 14 2019Recently three-dimensional (3D) imaging achieves tremendous success in consumer and industrial manufacturing. However, current 3D imaging methods rarely observe dynamical events happening in a short time interval due to the imaging speed limitation. Here ... More

Sharp Constants for Inequalities of Poincaré Type: An Application of Optimal Control TheoryJul 04 2013Sharp constants for an inequality of Poincar\'e type is studied. The problem is solved by using optimal control theory.

Abnormal Quantum Gravity Effect: Experimental Scheme with Superfluid Helium Sphere and Applications to Accelerating UniverseJan 25 2011May 25 2011From the general assumption that gravity originates from the coupling and thermal equilibrium between matter and vacuum, after a derivation of Newton's law of gravitation and an interpretation of the attractive gravity force between two classical objects, ... More

On the quantitative interpretation of dark energy by quantum effect of gravity and experimental scheme with atom interferometerJan 06 2011Jan 10 2011From the general principle that gravity originates from the coupling and thermal equilibrium between matter and vacuum background, we give two simple equations to calculate the quantum effect of gravity. From these two equations, we calculate the ratio ... More

A Short Proof of Stirling's FormulaDec 18 2013By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.

Time to MRCA for stationary CBI-processesApr 07 2013Motivated by sample path decomposition of the stationary continuous state branching process with immigration, a general population model is considered using the idea of immortal individual. We compute the joint distribution of the random variables: the ... More

On the quantitative calculation of the cosmological constant of the quantum vacuumMay 26 2018It is widely believed that as one of the candidates for dark energy, the cosmological constant should relate directly with the quantum vacuum. Despite decades of theoretical effects, however, there is still no quantitative interpretation of the observed ... More

Strain Induced Slowdown of Front Propagation in Random Shear Flow via Analysis of G-equationsSep 02 2015It is proved that for the 2-dimensional case with random shear flow of the G-equation model with strain term, the strain term reduces the front propagation. Also an improvement of the main result by Armstrong-Souganidis is provided.

Constacyclic Codes over Finite FieldsJan 03 2013An equivalence relation called isometry is introduced to classify constacyclic codes over a finite field; the polynomial generators of constacyclic codes of length $\ell^tp^s$ are characterized, where $p$ is the characteristic of the finite field and ... More

Observation of universal behaviour of ultracold quantum critical gasesJul 28 2010Mar 07 2011Quantum critical matter has already been studied in many systems, including cold atomic gases. We report the observation of a universal behaviour of ultracold quantum critical Bose gases in a one-dimensional optical lattice. In the quantum critical region ... More

New MDS Self-dual Codes over Finite Fields of Odd CharacteristicNov 07 2018May 19 2019In this paper, we produce new classes of MDS self-dual codes via (extended) generalized Reed-Solomon codes over finite fields of odd characteristic. Among our constructions, there are many MDS self-dual codes with new parameters which have never been ... More

Electronic origin of spin-phonon coupling effect in transition-metal perovskitesDec 11 2016By applying Wannier-based extended Kugel-Khomskii model, we carry out first-principles calculations and electronic structure analysis to understand the spin-phonon coupling effect in transition-metal perovskites. We demonstrate the successful application ... More

A deep learning-based method for relative location prediction in CT scan imagesNov 21 2017Relative location prediction in computed tomography (CT) scan images is a challenging problem. In this paper, a regression model based on one-dimensional convolutional neural networks is proposed to determine the relative location of a CT scan image both ... More

Limits on Axion Couplings from the first 80-day data of PandaX-II ExperimentJul 25 2017Oct 03 2017We report new searches for the solar axions and galactic axion-like dark matter particles, using the first low-background data from PandaX-II experiment at China Jinping Underground Laboratory, corresponding to a total exposure of about $2.7\times 10^4$ ... More

Nanotwin-Dominant Superstructures Selectively Grown on Anatase {001} FacetsFeb 27 2019Twinning abundant homo/heterojunction within crystals renders fascinating electronic, optical, mechanical, chemical properties, yet a facile, robust synthesis of this promising structure remains a challenge. Here, a hydrothermal feeding approach is developed ... More

Field Experiment on a Robust Hierarchical Metropolitan Quantum Cryptography NetworkJun 19 2009Jul 23 2009A hierarchical metropolitan quantum cryptography network upon the inner-city commercial telecom fiber cables is reported in this paper. The seven-user network contains a four-node backbone net with one node acting as the subnet gateway, a two-user subnet ... More

Exploring the dark matter inelastic frontier with 79.6 days of PandaX-II dataAug 19 2017Oct 03 2017We report here the results of searching for inelastic scattering of dark matter (initial and final state dark matter particles differ by a small mass splitting) with nucleon with the first 79.6-day of PandaX-II data (Run 9). We set the upper limits for ... More

Dark Matter Results from First 98.7-day Data of PandaX-II ExperimentJul 25 2016Aug 23 2016We report the WIMP dark matter search results using the first physics-run data of the PandaX-II 500 kg liquid xenon dual-phase time-projection chamber, operating at the China JinPing Underground Laboratory. No dark matter candidate is identified above ... More

Dark Matter Search Results from the Commissioning Run of PandaX-IIFeb 21 2016Jun 05 2016We present the results of a search for WIMPs from the commissioning run of the PandaX-II experiment located at the China Jinping underground Laboratory. A WIMP search data set with an exposure of 306$\times$19.1 kg-day was taken, while its dominant $^{85}$Kr ... More

Geometric phase for an accelerated two-level atom and the Unruh effectMar 27 2012We study, in the framework of open quantum systems, the geometric phase acquired by a uniformly accelerated two-level atom undergoing nonunitary evolution due to its coupling to a bath of fluctuating vacuum electromagnetic fields in the multipolar scheme. ... More

Position dependent energy level shifts of an accelerated atom in the presence of a boundarySep 07 2010Nov 07 2010We consider a uniformly accelerated atom interacting with a vacuum electromagnetic field in the presence of an infinite conducting plane boundary and calculate separately the contributions of vacuum fluctuations and radiation reaction to the atomic energy ... More

Fulling-Davies-Unruh effect and spontaneous excitation of an accelerated atom interacting with a quantum scalar fieldJan 06 2007We investigate, from the point of view of a coaccelerated frame, the spontaneous excitation of a uniformly accelerated two-level atom interacting with a scalar field in a thermal state at a finite temperature $T$ and show that the same spontaneous excitation ... More

The Proof of Alzer's Conjecture on Generalized Logarithmic MeanJan 22 2011In 1987, Alzer posed a conjecture on generalized logarithmic mean, which was introduced by Stolarsky in 1975. To prove Alzer's conjecture, Lou posed a conjecture on generalized inverse harmonic mean in 1995. By proving Lou's conjecture, the paper yields ... More

An Eigenvalue Pinching Theorem for Compact Hypersurfaces in A SphereAug 27 2015In this article, we prove an eigenvalue pinching theorem for the first eigenvalue of the Laplacian on compact hypersurfaces in a sphere. Let $(M^n,g)$ be a closed, connected and oriented Riemannian manifold isometrically immersed by $\phi$ into $\S^{n+1}$. ... More

Wave function of string and membrane and spacetime geometryNov 04 2002Nov 18 2002A first-quantized string (and membrane) theory is developed here by using a general wave function of the string (and membrane), analogously to the first-quantized quantum theory of a point particle. From the general wave function of the string (and membrane), ... More

Dependent Types for Multi-Rate Flows in Synchronous ProgrammingFeb 08 2017Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems, which interact with events from physical environments and often must do so under strict timing constraints. In this report, we encode inside ATS various ... More

New result on Chern conjecture for minimal hypersurfaces and its applicationMay 24 2016We verify that if $M$ is a compact minimal hypersurface in $\mathbb{S}^{n+1}$ whose squared length of the second fundamental form satisfying $0\leq |A|^2-n\leq\frac{n}{22}$, then $|A|^2\equiv n$ and $M$ is a Clifford torus. Moreover, we prove that if ... More

Mean curvature flow of arbitrary codimension in complex projective spacesMay 25 2016In this paper, we investigate the mean curvature flow of submanifolds of arbitrary codimension in $\mathbb{C}\mathbb{P}^m$. We prove that if the initial submanifold satisfies a pinching condition, then the mean curvature flow converges to a round point ... More

Equilibrium Strategies for Time-Inconsistent Stochastic Switching SystemsDec 27 2017An optimal control problem is considered for a stochastic differential equation containing a state-dependent regime switching, with a recursive cost functional. Due to the non-exponential discounting in the cost functional, the problem is time-inconsistent ... More

Constructions of cyclic constant dimension codesJul 13 2017Subspace codes and particularly constant dimension codes have attracted much attention in recent years due to their applications in random network coding. As a particular subclass of subspace codes, cyclic subspace codes have additional properties that ... More