total 3575took 0.14s

Convergence to the Mean Field Game Limit: A Case StudyJun 03 2018We study the convergence of Nash equilibria in a game of optimal stopping. If the associated mean field game has a unique equilibrium, any sequence of $n$-player equilibria converges to it as $n\to\infty$. However, both the finite and infinite player ... More

Multiperiod Martingale TransportMar 30 2017May 18 2019Consider a multiperiod optimal transport problem where distributions $\mu_{0},\dots,\mu_{n}$ are prescribed and a transport corresponds to a scalar martingale $X$ with marginals $X_{t}\sim\mu_{t}$. We introduce particular couplings called left-monotone ... More

Asset Pricing with Heterogeneous Beliefs and IlliquidityMay 14 2019This paper studies the equilibrium price of an asset that is traded in continuous time between N agents who have heterogeneous beliefs about the state process underlying the asset's payoff. We propose a tractable model where agents maximize expected returns ... More

Multiperiod Martingale TransportMar 30 2017Consider a multiperiod optimal transport problem where distributions $\mu_{0},\dots,\mu_{n}$ are prescribed and a transport corresponds to a scalar martingale $X$ with marginals $X_{t}\sim\mu_{t}$. We introduce particular couplings called left-monotone ... More

Supercloseness of the SDFEM on Shishkin triangular meshes for problems with exponential layersJun 16 2016In this paper, we analyze the supercloseness property of the streamline diffusion finite element method (SDFEM) on Shishkin triangular meshes, which is different from one in the case of rectangular meshes. The analysis depends on integral inequalities ... More

$\mathfrak{X}$-Gorenstein projective dimensionsJan 27 2018Feb 27 2018In this paper, we mainly investigate the $\mathfrak{X}$-Gorenstein projective dimension of modules and the (left) $\mathfrak{X}$-Gorenstein global dimension of rings. Some properties of $\mathfrak{X}$-Gorenstein projective dimensions are obtained. Furthermore, ... More

A Multi-Resolution Word Embedding for Document Retrieval from Large Unstructured Knowledge BasesFeb 02 2019Feb 21 2019Deep language models learning a hierarchical representation proved to be a powerful tool for natural language processing, text mining and information retrieval. However, representations that perform well for retrieval must capture semantic meaning at ... More

Nonexistence of asymptotic GIT compactificationDec 02 2012Jan 05 2013We provide examples of families of (log) smooth canonically polarized varieties, including smooth weighted pointed curves and smooth hypersurfaces in $P^3$ with large degree such that the Chow semistable limits under distinct pluricanonical embeddings ... More

Analysis of the SDFEM in a modified streamline diffusion norm for singularly perturbed convection diffusion problemsFeb 29 2016Aug 07 2016In this paper we consider a model singularly perturbed convection diffusion problem which is solved by a streamline diffusion finite element method (SDFEM) on a Shishkin rectangular mesh. To put insight into the influences of stabilization parameters ... More

Analysis of SDFEM on Shishkin triangular meshes and hybrid meshes for problems with characteristic layersJan 12 2016In this paper, we analyze the streamline diffusion finite element method (SDFEM) for a model singularly perturbed convection-diffusion equation on a Shishkin triangular mesh and hybrid meshes. Supercloseness property of $u^I-u^N$ is obtained, where $u^I$ ... More

Intersection theory of coassociative submanifolds in G_(2)-manifolds and Seiberg-Witten invariantsJan 29 2004We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. ... More

Microwave Quasi-periodic Pulsation with Millisecond Bursts in A Solar Flare on 2011 August 9Feb 08 2012An peculiar microwave quasi-periodic pulsation (QPP) accompanying with a hard X-ray (HXR) QPP of about 20 s duration occurred just before the maximum of an X6.9 solar flare on 2011 August 9. The most interesting is that the microwave QPP is consisting ... More

An Epistemic Strategy LogicSep 08 2014The paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strategy ... More

The complexity of approximations for epistemic synthesis (extended abstract)Feb 03 2016Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what the agents know. They are a variant of the knowledge-based programs of ... More

An Epistemic Strategy Logic (Extended Abstract)Apr 03 2014The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents. ... More

Geometry, Kinematics and Heliospheric Impact of a Large CME-driven Shock in 2017 SeptemberNov 26 2018A powerful coronal mass ejection (CME) occurred on 2017 September 10 near the end of the declining phase of the historically weak solar cycle 24. We obtain new insights concerning the geometry and kinematics of CME-driven shocks in relation to their heliospheric ... More

Text Embeddings for Retrieval From a Large Knowledge BaseOct 24 2018May 02 2019Text embedding representing natural language documents in a semantic vector space can be used for document retrieval using nearest neighbor lookup. In order to study the feasibility of neural models specialized for retrieval in a semantically meaningful ... More

Multi-modal Aggregation for Video ClassificationOct 27 2017In this paper, we present a solution to Large-Scale Video Classification Challenge (LSVC2017) [1] that ranked the 1st place. We focused on a variety of modalities that cover visual, motion and audio. Also, we visualized the aggregation process to better ... More

Control of microwave signals using bichromatic electromechanically induced transparency in three-mode circuit electromechanical systemsAug 17 2014We theoretically investigate the tunable slowing and advancing of microwave signals based on bichromatic electromechanically induced transparency in a three-mode circuit electromechanical system, where two mechanical oscillators with closely spaced frequencies ... More

Thin instantons in G_2-manifolds and Seiberg-Witten invariantsJul 11 2011Mar 27 2013For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for ... More

Distributed Consistent Data AssociationSep 22 2016Data association is one of the fundamental problems in multi-sensor systems. Most current techniques rely on pairwise data associations which can be spurious even after the employment of outlier rejection schemes. Considering multiple pairwise associations ... More

Short-range spectroscopic ruler based on a single-molecule optical switchFeb 14 2005We demonstrate a novel all-optical switch consisting of two molecules: a primary fluorophore that can be switched between a fluorescent and a dark state by light of different wavelengths, and a secondary chromophore that facilitates switching. The interaction ... More

Minimum Vector Rank and Complement Critical GraphsApr 13 2013Given a graph G, a real orthogonal representation of G is a function from its set of vertices to R^d such that two vertices are mapped to orthogonal vectors if and only if they are not neighbors. The minimum vector rank of a graph is the smallest dimension ... More

Compact Routing on Internet-Like GraphsAug 14 2003The Thorup-Zwick (TZ) routing scheme is the first generic stretch-3 routing scheme delivering a nearly optimal local memory upper bound. Using both direct analysis and simulation, we calculate the stretch distribution of this routing scheme on random ... More

On the proper moduli spaces of smoothable Kähler-Einstein Fano varietiesNov 04 2014Jan 07 2019In this paper, we investigate the geometry of the orbit space of the closure of the subscheme parametrizing smooth Fano K\"ahler-Einstein manifolds inside an appropriate Hilbert scheme. In particular, we prove that being K-semistable is a Zariski open ... More

Algebraicity of the Metric Tangent Cones and Equivariant K-stabilityMay 09 2018We prove two new results on the K-polystability of Q-Fano varieties based on purely algebro-geometric arguments. The first one says that any K-semistable log Fano cone has a special degeneration to a uniquely determined K-polystable log Fano cone. As ... More

Multi-Image Matching via Fast Alternating MinimizationMay 19 2015Dec 02 2015In this paper we propose a global optimization-based approach to jointly matching a set of images. The estimated correspondences simultaneously maximize pairwise feature affinities and cycle consistency across multiple images. Unlike previous convex methods ... More

Very Large Telescope deep echelle spectroscopy of Galactic planetary nebulae NGC 6153, M 1-42 and Hf 2-2Jun 09 2016We present deep spectroscopy of three Galactic planetary nebulae (PNe) with large abundance discrepancy factors (ADFs): NGC6153, M1-42 and Hf2-2. The spectra were obtained with VLT/UVES and cover the whole optical range (3040-11,000 A) with a spectral ... More

Distributed Consistent Data AssociationSep 22 2016Oct 25 2016Data association is one of the fundamental problems in multi-sensor systems. Most current techniques rely on pairwise data associations which can be spurious even after the employment of outlier rejection schemes. Considering multiple pairwise associations ... More

Dirichlet boundary values on Euclidean balls with infinitely many solutions for the minimal surface systemMay 21 2019We make systematic developments on Lawson-Osserman constructions relating to the Dirichlet problem (over unit disks) for minimal surfaces of high codimension in their 1977 Acta paper. In particular, we show the existence of boundary functions for which ... More

Multilinear fractional type operators and their commutators on Hardy spaces with variable exponentsMar 06 2019In this article, we show that multilinear fractional type operators are bounded from product Hardy spaces with variable exponents into Lebesgue or Hardy spaces with variable exponents via the atomic decomposition theory. We also study continuity properties ... More

Acceleration of saddle-point methods in smooth casesDec 13 2016Jan 18 2017In the present paper we propose a novel convergence analysis of the Alternating Direction Methods of Multipliers (ADMM), based on its equivalence with the overrelaxed Primal-Dual Hybrid Gradient (oPDHG) algorithm. We consider the smooth case, which correspond ... More

Towards a Solution of the Polycyclic Aromatic Hydrocarbon - Diffuse Interstellar Band HypothesisAug 31 2006A novel theoretical method is developed to study the polycyclic aromatic hydrocarbon - diffuse interstellar band (PAH-DIB) hypothesis. In this method, a computer program is used to enumerate all PAH molecules with up to a specific number of fused benzene ... More

The Networked Common Goods GameApr 09 2010We introduce a new class of games called the networked common goods game (NCGG), which generalizes the well-known common goods game. We focus on a fairly general subclass of the game where each agent's utility functions are the same across all goods the ... More

Generic and Efficient Solution Solves the Shortest Paths Problem in Square RuntimeNov 29 2016We study a group of new methods to solve an open problem that is the shortest paths problem on a given fix-weighted instance. It is the real significance at a considerable altitude to reach our aim to meet these qualities of generic, efficiency, precision ... More

The non-abelian squares are not context-freeOct 18 2011Answering a recent question of Crochemore, we prove that the language of words that are not abelian squares is not context-free.

Numerical modelling of surface wave packet evolution on varying topographyJan 19 2018An initial value problem of the one-dimensional nonlinear Schr\"odinger (NLS) equation with constant dispersive and nonlinear coefficients can be solved using a compact finite difference scheme (Xie, Li, & Yi, 2009). A similar scheme is implemented in ... More

Inclusive W/Z Production at CMSOct 12 2009At the LHC, the production cross sections of W/Z bosons are tens to hundreds of nanobarns. The production mechanism of these processes is well established in the Standard Model and these processes can be used as "standard candles" to help commission the ... More

Regularized calibrated estimation of propensity scores with model misspecification and high-dimensional dataOct 23 2017Propensity score methods are widely used for estimating treatment effects from observational studies. A popular approach is to estimate propensity scores by maximum likelihood based on logistic regression, and then apply inverse probability weighted estimators ... More

Model-assisted inference for treatment effects using regularized calibrated estimation with high-dimensional dataJan 30 2018Consider the problem of estimating average treatment effects when a large number of covariates are used to adjust for possible confounding through outcome regression and propensity score models. The conventional approach of model building and fitting ... More

Comment: Understanding OR, PS and DRApr 18 2008Comment on ``Understanding OR, PS and DR'' [arXiv:0804.2958]

Kaon oscillations and baryon asymmetry of the universeApr 08 2019May 16 2019Baryon asymmetry of the universe (BAU) is naturally explained with $K^0-K^{0'}$ oscillations of a newly developed mirror-matter model and new understanding of quantum chromodynamics (QCD) phase transitions. A consistent picture for the origin of both ... More

A discontinuous Galerkin method on kinetic flocking modelsSep 19 2014We study kinetic representations of flocking models. They arise from agent-based models for self-organized dynamics, such as Cucker-Smale and Motsch-Tadmor models. We prove flocking behavior for the kinetic descriptions of flocking systems, which indicates ... More

Neutron oscillations for solving neutron lifetime and dark matter puzzlesFeb 05 2019Feb 06 2019A model of n - n' (neutron-mirror neutron) oscillations is proposed under the framework of the mirror matter theory with slightly broken mirror symmetry. It resolves the neutron lifetime discrepancy, i.e., the 1% difference in neutron lifetime between ... More

Neutron-mirror neutron oscillations in starsFeb 10 2019Based on a newly proposed model of neutron-mirror neutron ($n-n'$) oscillations, evolution and nucleosynthesis in single stars under a new theory is presented. The new theory with the new $n-n'$ model can demonstrate the evolution in a much more convincing ... More

The Characteristics of Valley Phase as Predictor of the Forthcoming Solar CycleAug 04 2018Is Solar Cycle 24 anomalous? How do we predict the main features of a forthcoming cycle? In order to reply such questions, this work partitions quantitatively each cycle into valley, ascend, peak, and descend phases, statistically investigate the correlations ... More

Neutron-mirror neutron oscillations in starsFeb 10 2019Mar 19 2019Based on a newly proposed mirror-matter model of neutron-mirror neutron ($n-n'$) oscillations, evolution and nucleosynthesis in single stars under a new theory is presented. The new theory with the new $n-n'$ model can demonstrate the evolution in a much ... More

Neutron oscillations for solving neutron lifetime and dark matter puzzlesFeb 05 2019Mar 24 2019A model of $n-n'$ (neutron-mirror neutron) oscillations is proposed under the framework of the mirror matter theory with slightly broken mirror symmetry. It resolves the neutron lifetime discrepancy, i.e., the 1\% difference in neutron lifetime between ... More

Improved minimax estimation of a multivariate normal mean under heteroscedasticityMay 28 2015Consider the problem of estimating a multivariate normal mean with a known variance matrix, which is not necessarily proportional to the identity matrix. The coordinates are shrunk directly in proportion to their variances in Efron and Morris' (J. Amer. ... More

Multilinear fractional type operators and their commutators on Hardy spaces with variable exponentsMar 06 2019Mar 11 2019In this article, we show that multilinear fractional type operators are bounded from product Hardy spaces with variable exponents into Lebesgue or Hardy spaces with variable exponents via the atomic decomposition theory. We also study continuity properties ... More

Study Morphology of Minimum Spanning Tree Problem and Generalized AlgorithmsJun 23 2017In this paper, we study the form over the minimum spanning tree problem (MST) from which we will derive an intuitively generalized model and new methods with the upper bound of runtimes of logarithm. The new pattern we made has taken successful to better ... More

Singularity formation for a fluid mechanics model with nonlocal velocityAug 30 2017Feb 12 2019We study a 1D fluid mechanics model with nonlocal velocity. The equation can be viewed as a fractional porous medium flow, a 1D model of the quasi-geostrophic equation, and also a special case of Euler-Alignment system. For strictly positive smooth initial ... More

Corrigendum to "The $q$-analogue of bosons and Hall algebras" and some remarksApr 13 2009Apr 14 2009A corrigendum of a former result on semisimplicity of the category of integrable modules of a q-boson algebra is given with a counter example.

Limit laws on extremes of non-homogeneous Gaussian random fieldsJan 19 2015Jun 10 2017In this paper, by using the exact tail asymptotics derived by Debicki, Hashorva and Ji (Ann. Probab. 2014), we proved the Gumbel limit theorem for the maximum of a class of non-homogeneous Gaussian random fields. By using the obtained results, we also ... More

Limit laws on extremes of non-homogeneous Gaussian random fieldsJan 19 2015In this paper, by using the exact tail asymptotics derived by Debicki, Hashorva and Ji (Ann. Probab. 2014), we proved the Gumbel limit theorem for the maximum of a class of non-homogeneous Gaussian random fields. By using the obtained results, we also ... More

Neutron-mirror neutron oscillations for solving the puzzles of ultrahigh-energy cosmic raysMar 18 2019Based on a newly proposed mirror-matter model of neutron-mirror neutron ($n-n'$) oscillations, the puzzles related to ultrahigh-energy cosmic rays (UHECRs) are explained. In particular, the phenomena around the Greisen-Zatsepin-Kuzmin (GZK) cutoff for ... More

Kaon oscillations and baryon asymmetry of the universeApr 08 2019Baryon asymmetry of the universe (BAU) is naturally explained with $K^0-K^{0'}$ oscillations of a newly developed mirror-matter model and new understanding of quantum chromodynamics (QCD) phase transitions. The global symmetry breaking transitions in ... More

Graph Reachability and Pebble Automata over Infinite AlphabetsOct 12 2011Apr 10 2012Let D denote an infinite alphabet -- a set that consists of infinitely many symbols. A word w = a_0 b_0 a_1 b_1 ... a_n b_n of even length over D can be viewed as a directed graph G_w whose vertices are the symbols that appear in w, and the edges are ... More

A family of Quadratic Resident Codes over $Z_{2^m}$Dec 16 2011A cyclic codes of length $n$ over the rings $Z_{2^{m}}$ of integer of modulo $2^{m}$ is a linear code with property that if the codeword $(c_0,c_1,...,c_{n-1})\in \mathcal{C}$ then the cyclic shift $(c_1,c_2,...,c_0)\in \mathcal{C}$. Quadratic residue ... More

Discrete para-product operators on variable Hardy spacesMar 25 2019Let $p(\cdot):\mathbb R^n\rightarrow(0,\infty)$ be a variable exponent function satisfying the globally log-H\"older continuous condition. In this paper, we obtain the boundedness of para-product operators $\pi_b$ on variable Hardy spaces $H^{p(\cdot)}(\mathbb ... More

Compound Binary Search Tree and AlgorithmsOct 04 2018The Binary Search Tree (BST) is average in computer science which supports a compact data structure in memory and oneself even conducts a row of quick algorithms, by which people often apply it in dynamical circumstance. Besides these edges, it is also ... More

A Physical Explanation on Solar Microwave Zebra Pattern with the Current-carrying Plasma Loop ModelNov 09 2009Microwave zebra pattern structure is an intriguing fine structure on the dynamic spectra of solar type IV radio burst. Up to now, there isn't a perfect physical model for the origin of the solar microwave zebra pattern. Recently, Ledenev, Yan and Fu (2006) ... More

On Pebble Automata for Data Languages with Decidable Emptiness ProblemOct 30 2009In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed ... More

A Well-typed Lightweight Situation CalculusJan 11 2012Jun 15 2012Situation calculus has been widely applied in Artificial Intelligence related fields. This formalism is considered as a dialect of logic programming language and mostly used in dynamic domain modeling. However, type systems are hardly deployed in situation ... More

On doubly robust estimation for logistic partially linear modelsJan 26 2019Consider a logistic partially linear model, in which the logit of the mean of a binary response is related to a linear function of some covariates and a nonparametric function of other covariates. We derive simple, doubly robust estimators of coefficient ... More

Analyzing Traffic Problem Model With Graph Theory AlgorithmsMay 28 2014Sep 16 2015This paper will contribute to a practical problem, Urban Traffic. We will investigate those features, try to simplify the complexity and formulize this dynamic system. These contents mainly contain how to analyze a decision problem with combinatorial ... More

Solve For Shortest Paths Problem Within Logarithm RuntimeJan 22 2019The Shortest Paths Problem (SPP) is no longer unresolved. Just for a large scalar of instance on this problem, even we cannot know if an algorithm achieves the computing. Those cutting-edge methods are still in the low performance. If we go to a strategy ... More

On the accuracy of conservation of adiabatic invariants in slow-fast systemsMar 08 2011Let the adiabatic invariant of action variable in slow-fast Hamiltonian system with two degrees of freedom have two limiting values along the trajectories as time tends to infinity. The difference of two limits is exponentially small in analytic systems. ... More

A Software Package for Rigorously Calculating Optical Plasma Spectra and Automatically Rtrieving Plasma PropertiesFeb 03 2018In this article, a software package code named OPSIAL (Optical Plasma Spectral Calculation And Parameters Retrieval) for rigorously calculating optical plasma spectra and for automatically retrieving plasma parameters is presented. OPSIAL calculates the ... More

Improved effective estimates of Pólya's Theorem for quadratic formsApr 08 2018Apr 14 2018Following de Loera and Santos, the P\'olya exponent of a $n$-ary real form (i.e. a homogeneous polynomial in $n$ variables with real coefficients) $f$ is the infimum of the upward closed set of nonnegative integers $m$ such that $(x_1 + \cdots + x_n)^m ... More

Small quartic planar graphs that are not circle representableFeb 04 2019A quartic planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the kissing and crossing points correspond to the vertices of $G$, and the circular arcs between those points give the edges ... More

Finite-dimensional Representations of YangiansOct 01 2014In this thesis, we study the cyclicity condition for an ordered tensor product of fundamental representations and the local Weyl modules of Yangians. We provide a sufficient condition for the cyclicity of an ordered tensor product $L=V_{a_1}(\omega_{b_1})\otimes ... More

Local Weyl modules and cyclicity of tensor products for Yangians of $G_2$Mar 23 2015Let $\mathfrak{g}$ be the exceptional complex simple Lie algebra of type $G_2$. We provide a concrete cyclicity condition for the tensor product of fundamental representations of the Yangian $Y(\mathfrak{g})$. Using this condition, we show that every ... More

Eventual positivity of Hermitian polynomials and integral operatorsDec 04 2014Quillen proved that, if a Hermitian bihomogeneous polynomial is strictly positive on the unit sphere, then repeated multiplication of the standard sesquilinear form to this polynomial eventually results in a sum of Hermitian squares. Catlin-D'Angelo and ... More

Safety Verification of Deep Neural NetworksOct 21 2016Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. ... More

Safety Verification of Deep Neural NetworksOct 21 2016Nov 05 2016Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. ... More

Polar Transformer NetworksSep 06 2017Feb 01 2018Convolutional neural networks (CNNs) are inherently equivariant to translation. Efforts to embed other forms of equivariance have concentrated solely on rotation. We expand the notion of equivariance in CNNs through the Polar Transformer Network (PTN). ... More

Human Motion Capture Using a DroneApr 17 2018Current motion capture (MoCap) systems generally require markers and multiple calibrated cameras, which can be used only in constrained environments. In this work we introduce a drone-based system for 3D human MoCap. The system only needs an autonomously ... More

Local Distribution in Neighborhood for ClassificationDec 07 2018The k-nearest-neighbor method performs classification tasks for a query sample based on the information contained in its neighborhood. Previous studies into the k-nearest-neighbor algorithm usually achieved the decision value for a class by combining ... More

Electromagnetically induced transparency and slow light in two-mode optomechanicsJan 08 2013We theoretically demonstrate the mechanically mediated electromagnetically induced transparency in a two-mode cavity optomechanical system, where two cavity modes are coupled to a common mechanical resonator. When the two cavity modes are driven on their ... More

Harvesting Multiple Views for Marker-less 3D Human Pose AnnotationsApr 16 2017Recent advances with Convolutional Networks (ConvNets) have shifted the bottleneck for many computer vision tasks to annotated data collection. In this paper, we present a geometry-driven approach to automatically collect annotations for human pose prediction ... More

MDU-Net: Multi-scale Densely Connected U-Net for biomedical image segmentationDec 02 2018Dec 04 2018Radiologist is "doctor's doctor", biomedical image segmentation plays a central role in quantitative analysis, clinical diagnosis, and medical intervention. In the light of the fully convolutional networks (FCN) and U-Net, deep convolutional networks ... More

Multiplicative derivations on rank-$s$ matrices for relatively small $s$Mar 12 2019Let $n$ and $s$ be fixed integers such that $n\geq 2$ and $1\leq s\leq \frac{n}{2}$. Let $M_n(\mathbb{K})$ be the ring of all $n\times n$ matrices over a field $\mathbb{K}$. If a map $\delta:M_n(\mathbb{K})\rightarrow M_n(\mathbb{K})$ satisfies that $\delta(xy)=\delta(x)y+x\delta(y)$ ... More

Tensor Mixed Effects Model with Applications in Nanomanufacturing InspectionApr 09 2018Mar 06 2019Raman mapping technique has been used to perform in-line quality inspections of nanomanufacturing processes. In such an application, massive high-dimensional Raman mapping data with mixed effects is generated. In general, fixed effects and random effects ... More

Ranking on Arbitrary Graphs: Rematch via Continuous LP with Monotone and Boundary Condition ConstraintsJul 10 2013Jul 11 2013Motivated by online advertisement and exchange settings, greedy randomized algorithms for the maximum matching problem have been studied, in which the algorithm makes (random) decisions that are essentially oblivious to the input graph. Any greedy algorithm ... More

Sparseness Meets Deepness: 3D Human Pose Estimation from Monocular VideoNov 30 2015Apr 28 2016This paper addresses the challenge of 3D full-body human pose estimation from a monocular image sequence. Here, two cases are considered: (i) the image locations of the human joints are provided and (ii) the image locations of joints are unknown. In the ... More

One "Ruler" for All Languages: Multi-Lingual Dialogue Evaluation with Adversarial Multi-Task LearningMay 08 2018Automatic evaluating the performance of Open-domain dialogue system is a challenging problem. Recent work in neural network-based metrics has shown promising opportunities for automatic dialogue evaluation. However, existing methods mainly focus on monolingual ... More

A Game-Based Approximate Verification of Deep Neural Networks with Provable GuaranteesJul 10 2018Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns. In this paper, we study two variants of pointwise robustness, the maximum safe radius problem, which for a given input sample ... More

On the Quantization of Cellular Neural Networks for Cyber-Physical SystemsMar 05 2019Cyber-Physical Systems (CPSs) have been pervasive including smart grid, autonomous automobile systems, medical monitoring, process control systems, robotics systems, and automatic pilot avionics. As usually implemented on embedded devices, CPS is typically ... More

A General Framework for Estimating Graphlet Statistics via Random WalkMar 24 2016Aug 18 2016Graphlets are induced subgraph patterns and have been frequently applied to characterize the local topology structures of graphs across various domains, e.g., online social networks (OSNs) and biological networks. Discovering and computing graphlet statistics ... More

Coarse-to-Fine Volumetric Prediction for Single-Image 3D Human PoseNov 23 2016This paper addresses the challenge of 3D human pose estimation from a single color image. Despite the general success of the end-to-end learning paradigm, top performing approaches employ a two-step solution consisting of a Convolutional Network (ConvNet) ... More

A General Framework for Estimating Graphlet Statistics via Random WalkMar 24 2016Oct 18 2016Graphlets are induced subgraph patterns and have been frequently applied to characterize the local topology structures of graphs across various domains, e.g., online social networks (OSNs) and biological networks. Discovering and computing graphlet statistics ... More

The China crisisNov 27 2018The so-called \textit{China crisis}, well documented in \textit{History of the IAU} by Adriaan Blaauw and in \textit{Under the Same Starry Sky: History of the IAU} by Chengqi Fu and Shuhua Ye, refers to the withdrawal in 1960 of the People's Republic ... More

Sparse Representation for 3D Shape Estimation: A Convex Relaxation ApproachSep 14 2015Jan 10 2017We investigate the problem of estimating the 3D shape of an object defined by a set of 3D landmarks, given their 2D correspondences in a single image. A successful approach to alleviating the reconstruction ambiguity is the 3D deformable shape model and ... More

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster VerificationFeb 26 2019Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns of applying DNNs to safety-critical domains. Several verification approaches ... More

Error estimates of numerical methods for the nonlinear Dirac equation in the nonrelativistic limit regimeNov 04 2015May 05 2016We present several numerical methods and establish their error estimates for the discretization of the nonlinear Dirac equation in the nonrelativistic limit regime, involving a small dimensionless parameter $0<\varepsilon\ll 1$ which is inversely proportional ... More

PVNet: Pixel-wise Voting Network for 6DoF Pose EstimationDec 31 2018This paper addresses the challenge of 6DoF pose estimation from a single RGB image under severe occlusion or truncation. Many recent works have shown that a two-stage approach, which first detects keypoints and then solves a Perspective-n-Point (PnP) ... More

On a Class of Quadratic Polynomials with no Zeros and its Application to APN FunctionsOct 14 2011We show that the there exists an infinite family of APN functions of the form $F(x)=x^{2^{s}+1} + x^{2^{k+s}+2^k} + cx^{2^{k+s}+1} + c^{2^k}x^{2^k + 2^s} + \delta x^{2^{k}+1}$, over $\gf_{2^{2k}}$, where $k$ is an even integer and $\gcd(2k,s)=1, 3\nmid ... More

Global well-posedness of an initial-boundary value problem for viscous non-resistive MHD systemsSep 28 2015Nov 24 2015This paper concerns the viscous and non-resistive MHD systems which govern the motion of electrically conducting fluids. The global well-posedness of the Cauchy problem for the homogeneous incompressible system is established only recently. In this paper ... More

Strong convergence of tamed $θ$-EM scheme for neutral SDDEsDec 08 2016This paper is concerned with strong convergence of a tamed $\theta$-Euler-Maruyama scheme for neutral stochastic differential delay equations with superlinearly growing coefficients. We not only prove the strong convergence of implicit schemes, but also ... More