
There are two major approaches for sequence labeling. One is the
probabilistic gradientbased methods such as conditional random fields (CRF)
and neural networks (e.g., RNN), which have high accuracy but drawbacks: slow
training, and no support of searchbased optimization (which is important in
many cases). The other is the searchbased learning methods such as structured
perceptron and margin infused relaxed algorithm (MIRA), which have fast
training but also drawbacks: low accuracy, no probabilistic information, and
nonconvergence in realworld tasks. We propose a novel and "easy" solution, a
searchbased probabilistic online learning method, to address most of those
issues. The method is "easy", because the optimization algorithm at the
training stage is as simple as the decoding algorithm at the test stage. This
method searches the output candidates, derives probabilities, and conducts
efficient online learning. We show that this method with fast training and
theoretical guarantee of convergence, which is easy to implement, can support
searchbased optimization and obtain top accuracy. Experiments on wellknown
tasks show that our method has better accuracy than CRF and BiLSTM\footnote{The
SAPO code is released at \url{https://github.com/lancopku/SAPO}.}.

A reliable stereo algorithm is critical for many robotics applications. But
textureless and specular regions can easily cause failure by making feature
matching difficult. Understanding whether an algorithm is robust to these
hazardous regions is important. Although many stereo benchmarks have been
developed to evaluate performance, it is hard to quantify the effect of
hazardous regions in real images because the location and severity of these
regions are unknown. In this paper, we develop a synthetic image generation
tool enabling to control hazardous factors, such as making objects more
specular or transparent, to produce hazardous regions at different degrees. The
densely controlled sampling strategy in virtual worlds enables to effectively
stress test stereo algorithms by varying the types and degrees of the hazard.
We generate a large synthetic image dataset with automatically computed
hazardous regions and analyze algorithms on these regions. The observations
from synthetic images are further validated by annotating hazardous regions in
realworld datasets Middlebury and KITTI (which gives a sparse sampling of the
hazards). Our synthetic image generation tool is based on a game engine Unreal
Engine 4 and will be opensource along with the virtual scenes in our
experiments. Many publicly available realistic game contents can be used by our
tool to provide an enormous resource for development and evaluation of
algorithms.

Weyl fermions are a new ingredient for correlated states of electronic
matter. A key difficulty has been that real materials also contain nonWeyl
quasiparticles, and disentangling the experimental signatures has proven
challenging. We use magnetic fields up to 95 tesla to drive the Weyl semimetal
TaAs far into its quantum limit (QL), where only the purely chiral 0th Landau
levels (LLs) of the Weyl fermions are occupied. We find the electrical
resistivity to be nearly independent of magnetic field up to 50 tesla: unusual
for conventional metals but consistent with the chiral anomaly for Weyl
fermions. Above 50 tesla we observe a twoorderofmagnitude increase in
resistivity, indicating that a gap opens in the chiral LLs. Above 80 tesla we
observe strong ultrasonic attenuation below 2 kelvin, suggesting a
mesoscopicallytextured state of matter. These results point the way to
inducing new correlated states of matter in the QL of Weyl semimetals.

The thermal metal to thermal insulator transition due to random disorder is
studied in the context of the symmetries of the Bogoliubov de Gennes
Hamiltonian. We focus on a three dimensional system with gapless swave pairing
that possesses time reversal and spin rotational symmetry. The quasiparticle
excitations (bogolons) undergo a metal insulator transition as the disorder
increases. We determine the critical disorder strength and correlation exponent
first by the transfer matrix method (TMM). We then apply a multifractal finite
sized scaling (MFSS) of the bogolon wavefunction obtained from large scale
diagonalization of the Hamiltonian and obtain the critical disorder strength
and exponent, in agreement with those found by TMM.

Abstractive text summarization is a highly difficult problem, and the
sequencetosequence model has shown success in improving the performance on
the task. However, the generated summaries are often inconsistent with the
source content in semantics. In such cases, when generating summaries, the
model selects semantically unrelated words with respect to the source content
as the most probable output. The problem can be attributed to heuristically
constructed training data, where summaries can be unrelated to the source
content, thus containing semantically unrelated words and spurious word
correspondence. In this paper, we propose a regularization approach for the
sequencetosequence model and make use of what the model has learned to
regularize the learning objective to alleviate the effect of the problem. In
addition, we propose a practical human evaluation method to address the problem
that the existing automatic evaluation method does not evaluate the semantic
consistency with the source content properly. Experimental results demonstrate
the effectiveness of the proposed approach, which outperforms almost all the
existing models. Especially, the proposed approach improves the semantic
consistency by 4\% in terms of human evaluation.

Foot is a vital part of human, and lots of valuable information is embedded.
Plantar pressure is one of which contains this information and it describes
human walking features. It is proved that once one has trouble with lower limb,
the distribution of plantar pressure will change to some degree. Plantar
pressure can be converted into images according to some simple standards. In
this paper, we take full advantage of these plantar pressure images for medical
usage. We present N2RPP, a generative adversarial network (GAN) based method to
rebuild plantar pressure images of anterior cruciate ligament deficiency (ACLD)
patients from low dimension features, which are extracted from an autoencoder.
Through the result of experiments, the extracted features are a useful
representation to describe and rebuild plantar pressure images. According to
N2RPP's results, we find out that there are several noteworthy differences
between normal people and patients. This can provide doctors a rough direction
of adjusting plantar pressure to a better distribution to reduce patients' sore
and pain during the rehabilitation treatment for ACLD.

To avoid the free $n$ problem in Lorentz invariance violation (LIV) test, we
present the Cosmological Model Independent Time Delay (CMITD) method. We
reconstruct LIV parameters by using observational luminosity distance instead
of cosmological model. The luminosity distance data and the time delay data
from Gammaray bursts (GRBs) are taken for test example. The results of our
method have the same order of errors as the ones dependent on $\Lambda$CDM
cosmological model.

Computed tomography (CT) is a popular medical imaging modality in clinical
applications. At the same time, the xray radiation dose associated with CT
scans raises public concerns due to its potential risks to the patients. Over
the past years, major efforts have been dedicated to the development of
LowDose CT (LDCT) methods. However, the radiation dose reduction compromises
the signaltonoise ratio (SNR), leading to strong noise and artifacts that
downgrade CT image quality. In this paper, we propose a novel 3D noise
reduction method, called Structuresensitive Multiscale Generative Adversarial
Net (SMGAN), to improve the LDCT image quality. Specifically, we incorporate
threedimensional (3D) volumetric information to improve the image quality.
Also, different loss functions for training denoising models are investigated.
Experiments show that the proposed method can effectively preserve structural
and texture information from normaldose CT (NDCT) images, and significantly
suppress noise and artifacts. Qualitative visual assessments by three
experienced radiologists demonstrate that the proposed method retrieves more
detailed information, and outperforms competing methods.

Accurate indoor localization has long been a challenging problem due to the
presence of multipath. Joint directionofarrival (DOA) and time delay (TD)
estimation is a promising technique for accurate indoor Localization in next
generation WiFi and 5G, as it has the capability of separating the
lineofsight (LOS) signal from multipath signals in the TD space. Although the
benefit of joint DOA and TD estimation over DOAonly estimation has been
empirically shown long ago, it has not been theoretically justified yet. In
this paper, we provide a theoretical proof of the benefit of joint DOA and TD
estimation over DOAonly estimation. Further, experimental results with
simulated WiFi setting have been provided to demonstrate the theoretical
finding. Matlab code is available at \textbf{https://github.com/FWen/JADE.git}.

In this paper we will consider two curlcurl equation in two dimensions. One
curlcurl problem for a scalar quantity $F$ and one problem for a vector field
$\bf{E}$. For Dirichlet boundary conditions $\bf{n} \times \bf{E} =$ $
\hat{E}_{\dashv}$ on $\bf{E}$ and Neumann boundary conditions $\bf{n} \times
\mbox{curl}$ $F=\hat{E}_{\dashv}$, we expect the solutions to satisfy
$\bf{E}=\mbox{curl}$ $F$. When we use algebraic dual polynomial
representations, these identities continue to hold at the discrete level.
Equivalence will be proved and illustrated with a computational example.

Lowdose computed tomography (CT) has attracted a major attention in the
medical imaging field, since CTassociated xray radiation carries health risks
for patients. The reduction of CT radiation dose, however, compromises the
signaltonoise ratio, and may compromise the image quality and the diagnostic
performance. Recently, deeplearningbased algorithms have achieved promising
results in lowdose CT denoising, especially convolutional neural network (CNN)
and generative adversarial network (GAN). This article introduces a Contracting
Pathbased Convolutional Encoderdecoder (CPCE) network in 2D and 3D
configurations within the GAN framework for lowdose CT denoising. A novel
feature of our approach is that an initial 3D CPCE denoising model can be
directly obtained by extending a trained 2D CNN and then finetuned to
incorporate 3D spatial information from adjacent slices. Based on the transfer
learning from 2D to 3D, the 3D network converges faster and achieves a better
denoising performance than that trained from scratch. By comparing the CPCE
with recently published methods based on the simulated Mayo dataset and the
real MGH dataset, we demonstrate that the 3D CPCE denoising model has a better
performance, suppressing image noise and preserving subtle structures.

Bi2O2Se is an emerging semiconducting, airstable layered material (Nat.
Nanotechnol. 2017, 12, 530; Nano Lett. 2017, 17, 3021), potentially exceeding
MoS2 and phosphorene in electron mobility and rivalling typical Van der Waals
stacked layered materials in the nextgeneration highspeed and lowpower
electronics. Holding the promise of functional versatility, it is arousing
rapidly growing interest from various disciplines, including optoelectronics,
thermoelectronics and piezoelectronics. In this work, we comprehensively study
the electrical properties of the native point defects in Bi2O2Se, as an
essential step toward understanding the fundamentals of this material. The
defect landscapes dependent on both Fermi energy and the chemical potentials of
atomic constituents are investigated. Along with the bulk defect analysis, a
complementary inspection of the surface properties, within the simple context
of charge neutrality level model, elucidates the observed ntype
characteristics of Bi2O2Se based FETs. This work provides important guide to
engineer the defects of Bi2O2Se for desired properties, which is key to the
successful application of this emerging layered material.

We consider algebraic ordinary differential equations (AODEs) and study their
polynomial and rational solutions. A sufficient condition for an AODE to have a
degree bound for its polynomial solutions is presented. An AODE satisfying this
condition is called \emph{noncritical}. We prove that usual low order classes
of AODEs are noncritical. For rational solutions, we determine a class of
AODEs, which are called \emph{maximally comparable}, such that the poles of
their rational solutions are recognizable from their coefficients. This
generalizes a fact from linear AODEs, that the poles of their rational
solutions are the zeros of the corresponding highest coefficient. An algorithm
for determining all rational solutions, if there is any, of certain maximally
comparable AODEs, which covers $78.54\%$ AODEs from a standard differential
equations collection by Kamke, is presented.

In general, there are two kinds of cooperative driving strategies, planning
based strategy and ad hoc negotiation based strategy, for connected and
automated vehicles (CAVs) merging problems. The planning based strategy aims to
find the global optimal passing order, but it is timeconsuming when the number
of considered vehicles is large. In contrast, the ad hoc negotiation based
strategy runs fast, but it always finds a local optimal solution. In this
paper, we propose a grouping based cooperative driving strategy to make a good
tradeoff between time consumption and coordination performance. The key idea is
to fix the passing orders for some vehicles whose intervehicle headways are
small enough (e.g., smaller than the preselected grouping threshold). From the
viewpoint of optimization, this method reduces the size of the solution space.
A brief analysis shows that the suboptimal passing order found by the grouping
based strategy has a high probability to be close to the global optimal passing
order, if the grouping threshold is appropriately chosen. A series of
simulation experiments are carried out to validate that the proposed strategy
can yield a satisfied coordination performance with less time consumption and
is promising to be used in practice.

Stateoftheart techniques of artificial intelligence, in particular deep
learning, are mostly datadriven. However, collecting and manually labeling a
large scale dataset is both difficult and expensive. A promising alternative is
to introduce synthesized training data, so that the dataset size can be
significantly enlarged with little human labor. But, this raises an important
problem in active vision: given an {\bf infinite} data space, how to
effectively sample a {\bf finite} subset to train a visual classifier?
This paper presents an approach for learning from synthesized data
effectively. The motivation is straightforward  increasing the probability of
seeing difficult training data. We introduce a module named {\bf SampleAhead}
to formulate the learning process into an online communication between a {\em
classifier} and a {\em sampler}, and update them iteratively. In each round, we
adjust the sampling distribution according to the classification results, and
train the classifier using the data sampled from the updated distribution.
Experiments are performed by introducing synthesized images rendered from
ShapeNet models to assist PASCAL3D+ classification. Our approach enjoys higher
classification accuracy, especially in the scenario of a limited number of
training samples. This demonstrates its efficiency in exploring the infinite
data space.

We consider a risksensitive continuoustime Markov decision process over a
finite time duration. Under the conditions that can be satisfied by unbounded
transition and cost rates, we show the existence of an optimal policy, and the
existence and uniqueness of the solution to the optimality equation out of a
class of possibly unbounded functions, to which the FeynmanKac formula was
also justified to hold.

In this paper, we consider nonlinear algebraic ordinary differential
equations (AODEs) and study their formal power series solutions. Our method is
inherited from Lemma 2.2 in [J. Denef and L. Lipshitz, \textit{Power series
solutions of algebraic differential equations}, Mathematische Annalen,
\textbf{267}(1984), 213238] for expressing high order derivatives of a
differential polynomial via their lower order ones. By a careful computation,
we give an explicit formula for the expression. As an application, we give a
method for determining the existence of a formal power series solution with
given first coefficients. We define a class of certain differential polynomials
in which our method works properly, which is called \textit{nonvanishing}. A
statistical investigation shows that many differential polynomials in the
literature are nonvanishing.

Many $P$wave mixing heavylight $1^+$ states have not been discovered by
experiment, some of them have been discovered but without the information of
width, or with large uncertainty widths. In this paper, we study the strong
decays of $P$wave mixing heavylight $1^+$ states $D^0$, $D^\pm$, $D_s^\pm$,
$B^0$, $B^\pm$ and $B_s$ by the improved BetheSalpeter(BS) method in two
conditions of mixing angle $\theta$: one is $\theta=35.3^\circ$; another is
considering the correction to mixing angle $\theta=35.3^\circ+\theta_1$. And we
get some valuable predictions of the strong decay widths:
$\Gamma(D_1^{\prime0})=232$ MeV, $\Gamma(D_1^0)=21.5$ MeV,
$\Gamma(D_1^{\prime\pm})=232$ MeV, $\Gamma(D_1^\pm)=21.5$ MeV,
$\Gamma(D_{s1}^{\prime\pm})=0.0101$ MeV, $\Gamma(D_{s1}^{\pm})=0.950$ MeV,
$\Gamma(B_1^{\prime\pm})=263$ MeV, $\Gamma(B_1^{\pm})=16.8$ MeV,
$\Gamma(B_{s1}^{\prime})=0.01987$ MeV and $\Gamma(B_{s1})=0.412$ MeV. We find
that the decay widths of $D_{s1}^{\pm}$ and $B_{s1}$ are very sensitive to the
mixing angle. And our results will provide the theoretical assistance by the
future experiments.

Motivated by various applications from Internet congestion control to power
control in smart grids and electric vehicle charging, we study Generalized
Additive Increase Multiplicative Decrease (GAIMD) dynamics under impulsive
control in continuous time with the time average alphafairness criterion. We
first show that the control under relaxed constraints can be described by a
threshold. Then, we propose a Whittletype index heuristic for the hard
constraint problem. We prove that in the homogeneous case the index policy is
asymptotically optimal when the number of users is large.

Classical total variation (TV) based iterative reconstruction algorithms
assume that the signal is piecewise smooth, which causes reconstruction results
to suffer from the oversmoothing effect. To address this problem, this work
presents a novel computed tomography (CT) reconstruction method for the
fewview problem called the groupsparsity regularizationbased simultaneous
algebraic reconstruction technique (GSRSART). Groupbased sparse
representation, which utilizes the concept of a group as the basic unit of
sparse representation instead of a patch, is introduced as the image domain
prior regularization term to eliminate the oversmoothing effect. By grouping
the nonlocal patches into different clusters with similarity measured by
Euclidean distance, the sparsity and nonlocal similarity in a single image are
simultaneously explored. The split Bregman iteration algorithm is applied to
obtain the numerical scheme. Experimental results demonstrate that our method
both qualitatively and quantitatively outperforms several existing
reconstruction methods, including filtered back projection, expectation
maximization, SART, and TVbased projections onto convex sets.

Deep nets generalize well despite having more parameters than the number of
training samples. Recent works try to give an explanation using PACBayes and
Marginbased analyses, but do not as yet result in sample complexity bounds
better than naive parameter counting. The current paper shows generalization
bounds that're orders of magnitude better in practice. These rely upon new
succinct reparametrizations of the trained net  a compression that is
explicit and efficient. These yield generalization bounds via a simple
compressionbased framework introduced here. Our results also provide some
theoretical justification for widespread empirical success in compressing deep
nets. Analysis of correctness of our compression relies upon some newly
identified \textquotedblleft noise stability\textquotedblright properties of
trained deep nets, which are also experimentally verified. The study of these
properties and resulting generalization bounds are also extended to
convolutional nets, which had eluded earlier attempts on proving
generalization.

Using the tools of the Markov Decision Processes, we justify the dynamic
programming approach to the optimal impulse control of deterministic dynamical
systems. We prove the equivalence of the integral and differential forms of the
optimality equation. The theory is illustrated by an example from mathematical
epidemiology. The developed methods can be also useful for the study of
piecewise deterministic Markov processes.

We propose a principled method for kernel learning, which relies on a
Fourieranalytic characterization of translationinvariant or
rotationinvariant kernels. Our method produces a sequence of feature maps,
iteratively refining the SVM margin. We provide rigorous guarantees for
optimality and generalization, interpreting our algorithm as online
equilibriumfinding dynamics in a certain twoplayer minmax game. Evaluations
on synthetic and realworld datasets demonstrate scalability and consistent
improvements over related random featuresbased methods.

In this paper, we study the desingularization problem in the first $q$Weyl
algebra. We give an order bound for desingularized operators, and thus derive
an algorithm for computing desingularized operators in the first $q$Weyl
algebra. Moreover, an algorithm is presented for computing a generating set of
the first $q$Weyl closure of a given $q$difference operator. As an
application, we certify that several instances of the colored Jones polynomial
are Laurent polynomial sequences by computing the corresponding desingularized
operator.

This paper addresses the topological structure of steady, anisotropic,
inhomogeneous diffusion problems. Two discrete formulations: a) mixed and b)
direct formulations are discussed. Differential operators are represented by
sparse incidence matrices, while weighted mass matrices play the role of
metricdependent Hodge matrices. The resulting mixed formulations are
pointwise divergencefree if the right hand side function f = 0. The method is
infsup stable and displays optimal convergence on orthogonal and nonaffine
grids.