
This paper studies a multiuser mobile edge computing (MEC) system, in which
one base station (BS) serves multiple users with intensive computation tasks.
We exploit the multiantenna nonorthogonal multiple access (NOMA) technique
for multiuser computation offloading, such that different users can
simultaneously offload their computation tasks to the multiantenna BS over the
same time/frequency resources, and the BS can employ successive interference
cancellation (SIC) to efficiently decode all users' offloaded tasks for remote
execution. We aim to minimize the weighted sumenergy consumption at all users
subject to their computation latency constraints, by jointly optimizing the
communication and computation resource allocation as well as the BS's decoding
order for SIC. For the case with partial offloading, the weighted sumenergy
minimization is a convex optimization problem, for which an efficient algorithm
based on the Lagrange duality method is presented to obtain the globally
optimal solution. For the case with binary offloading, the weighted sumenergy
minimization corresponds to a {\em mixed Boolean convex problem} that is
generally more difficult to be solved. We first use the branchandbound (BnB)
method to obtain the globally optimal solution, and then develop two
lowcomplexity algorithms based on the greedy method and the convex relaxation,
respectively, to find suboptimal solutions with high quality in practice. Via
numerical results, it is shown that the proposed NOMAbased computation
offloading design significantly improves the energy efficiency of the multiuser
MEC system as compared to other benchmark schemes. It is also shown that for
the case with binary offloading, the proposed greedy method performs close to
the optimal BnB based solution, and the convex relaxation based solution
achieves a suboptimal performance but with lower implementation complexity.

In this paper, we study the Cauchy problem of a higherorder
$\mu$CamassaHolm equation. By employing the Green's function of
$(\mu\partial_{x}^{2})^{2}$, we obtain the explicit formula of the inverse
function $(\mu\partial_{x}^{2})^{2}w$ and local wellposedness for the
equation in Sobolev spaces $H^{s}(\mathbb{S})$, $s>\frac{7}{2}$. Then we prove
the existence of global strong solutions and weak solutions. Moreover, we show
that the datatosolution map is H\"{o}lder continuous in $H^{s}(\mathbb{S})$,
$s\geq 4$, equipped with the $H^{r}(\mathbb{S})$topology for $0\leq r<s$.
Finally, the equation is shown to admit single peakon solutions which have
continuous second derivatives and jump discontinuities in the third
derivatives.

Rust is a new and promising highlevel system programming language. It
provides both memory safety and thread safety through its novel mechanisms such
as ownership, moves and borrows. Ownership system ensures that at any point
there is only one owner of any given resource. The ownership of a resource can
be moved or borrowed according to the lifetimes. The ownership system
establishes a clear lifetime for each value and hence does not necessarily need
garbage collection. These novel features bring Rust high performance, fine
lowlevel control of C and C++, and unnecessity in garbage collection, which
differ Rust from other existing prevalent languages. For formal analysis of
Rust programs and helping programmers learn its new mechanisms and features, a
formal semantics of Rust is desired and useful as a fundament for developing
related tools. In this paper, we present a formal executable operational
semantics of a realistic subset of Rust, called KRust. The semantics is defined
in K, a rewritingbased executable semantic framework for programming
languages. The executable semantics yields automatically a formal interpreter
and verification tools for Rust programs. KRust has been thoroughly validated
by testing with hundreds of tests, including the official Rust test suite.

Unsupervised neural machine translation (NMT) is a recently proposed approach
for machine translation which aims to train the model without using any labeled
data. The models proposed for unsupervised NMT often use only one shared
encoder to map the pairs of sentences from different languages to a
sharedlatent space, which is weak in keeping the unique and internal
characteristics of each language, such as the style, terminology, and sentence
structure. To address this issue, we introduce an extension by utilizing two
independent encoders but sharing some partial weights which are responsible for
extracting highlevel representations of the input sentences. Besides, two
different generative adversarial networks (GANs), namely the local GAN and
global GAN, are proposed to enhance the crosslanguage translation. With this
new approach, we achieve significant improvements on EnglishGerman,
EnglishFrench and ChinesetoEnglish translation tasks.

Locating actions in long untrimmed videos has been a challenging problem in
video content analysis. The performances of existing action localization
approaches remain unsatisfactory in precisely determining the beginning and the
end of an action. Imitating the human perception procedure with observations
and refinements, we propose a novel threephase action localization framework.
Our framework is embedded with an Actionness Network to generate initial
proposals through framewise similarity grouping, and then a Refinement Network
to conduct boundary adjustment on these proposals. Finally, the refined
proposals are sent to a Localization Network for further finegrained location
regression. The whole process can be deemed as multistage refinement using a
novel nonlocal pyramid feature under various temporal granularities. We
evaluate our framework on THUMOS14 benchmark and obtain a significant
improvement over the stateofthearts approaches. Specifically, the
performance gain is remarkable under precise localization with high IoU
thresholds. Our proposed framework achieves mAP@IoU=0.5 of 34.2%.

This paper proposes an approach for applying GANs to NMT. We build a
conditional sequence generative adversarial net which comprises of two
adversarial sub models, a generator and a discriminator. The generator aims to
generate sentences which are hard to be discriminated from humantranslated
sentences (i.e., the golden target sentences), And the discriminator makes
efforts to discriminate the machinegenerated sentences from humantranslated
ones. The two sub models play a minimax game and achieve the winwin situation
when they reach a Nash Equilibrium. Additionally, the static sentencelevel
BLEU is utilized as the reinforced objective for the generator, which biases
the generation towards high BLEU points. During training, both the dynamic
discriminator and the static BLEU objective are employed to evaluate the
generated sentences and feedback the evaluations to guide the learning of the
generator. Experimental results show that the proposed model consistently
outperforms the traditional RNNSearch and the newly emerged stateoftheart
Transformer on EnglishGerman and ChineseEnglish translation tasks.

This paper presents a fast algorithm for obtaining highaccuracy subpixel
translation of low PSNR images. Instead of locating the maximum point on the
upsampled images or fitting the peak of correlation surface, the proposed
algorithm is based on the measurement of centroid on the cross correlation
surface by Modified Moment method. Synthetic images, real solar images and
standard testing images with white Gaussian noise added were tested, and the
results show that the accuracies of our algorithm are comparable with other
subpixel registration techniques and the processing speed is higher. The
drawback is also discussed at the end of this paper.

We use high spatial and temporal resolution observations, simultaneously
obtained with the New Vacuum Solar Telescope and Atmospheric Imaging Assembly
(AIA) on board the Solar Dynamics Observatory, to investigate the
highfrequency oscillations above a sunspot umbra. A novel timefrequency
analysis method, namely the synchrosqueezing transform (SST), is employed to
represent their power spectra and to reconstruct the highfrequency signals at
different solar atmospheric layers. A validation study with synthetic signals
demonstrates that SST is capable to resolving weak signals even when their
strength is comparable with the highfrequency noise. The power spectra,
obtained from both SST and the Fourier transform, of the entire umbral region
indicate that there are significant enhancements between 10 and 14 mHz (labeled
as 12 mHz) at different atmospheric layers. Analyzing the spectrum of a
photospheric region far away from the umbra demonstrates that this 12~mHz
component exists only inside the umbra. The animation based on the
reconstructed 12 mHz component in AIA 171 \AA\ illustrates that an
intermittently propagating wave first emerges near the footpoints of coronal
fan structures, and then propagates outward along the structures. A
timedistance diagram, coupled with a subsonic wave speed ($\sim$ 49 km
s$^{1}$), highlights the fact that these coronal perturbations are best
described as upwardly propagating magnetoacoustic slow waves. Thus, we first
reveal the highfrequency oscillations with a period around one minute in
imaging observations at different height above an umbra, and these oscillations
seem to be related to the umbral perturbations in the photosphere.

A novel timefrequency technique, called the synchrosqueezing transform
(SST), is used to investigate the midterm periodic variations of magnetic
fields on the solar surface. The Magnetic Plage Strength Index (MPSI) and the
Mount Wilson Sunspot Index (MWSI), measured daily by the Mount Wilson
Observatory between 1970 January 19 and 2012 January 22, are selected. The
short, mid, and longerterm periodicities are represented and decomposed by
the SST with hardly any mode mixing. This demonstrates that the SST is a useful
timefrequency analysis technique to characterize the periodic modes of
helioseismic data. Apart from the fundamental modes of the annual periodicity,
$\sim$27 day rotational cycle and $\sim$11 year solar cycle, the SST reveals
several midterm periodicities in the two magnetic activity indices,
specifically, $\sim$157 day (i.e., Riegertype periodicity), and $\sim$1.3 and
1.7 years. The periodic modes, with 116.4 and 276.2 day periodicity in the
MPSI, with 108.5 and 251.6 day periodicity in the MWSI, and the 157.7 day
periodicity in the two indices, are in better accord with those significant
periodicities derived from the Rossby waves theoretical model. This study
suggests that the modes are caused by the Rossby waves. For the 1.30 and 1.71
year periodicity of the MPSI, and the 1.33 and 1.67 year periodicity of the
MWSI, our analysis infers that they are related to those periodicity with the
same timescale in the interior of the Sun and in the high atmospheric layers.

Mott insulator plays a central role in strongly correlated physics, where the
repulsive Coulomb interaction dominates over the electron kinetic energy and
leads to insulating states with one electron occupying each unit cell. Doped
Mott insulator is often described by the Hubbard model, which can give rise to
other correlated phenomena such as unusual magnetism and even high temperature
superconductivity. A tunable Mott insulator, where the competition between the
Coulomb interaction and the kinetic energy can be varied in situ, can provide
an invaluable model system for the study of Mott physics. Here we report the
realization of such a tunable Mott insulator in the ABC trilayer graphene (TLG)
and hexagonal boron nitride (hBN) heterostructure with a Moir\'e superlattice.
Unlike massless Dirac electrons in monolayer graphene, electrons in pristine
ABC TLG are characterized by quartic energy dispersion and large effective mass
that are conducive for strongly correlated phenomena. The Moir\'e superlattice
in TLG/hBN heterostructures leads to narrow electronic minibands that are
gatetunable. Each filled miniband contains 4 electrons in one Moir\'e lattice
site due to the spin and valley degeneracy of graphene. The Mott insulator
states emerge at 1/4 and 1/2 fillings, corresponding to one electron and two
electrons per site, respectively. Moreover, the Mott states in the ABC TLG/hBN
heterostructure exhibit unprecedented tunablility: the Mott gap can be
modulated in situ by a vertical electrical field, and at the mean time the
electron doping can be gatetuned to fill the band from one Mott insulating
state to another. Our observation of a tunable Mott insulator opens up
tremendous opportunities to explore novel strongly correlated phenomena in
twodimensional Moir\'e superlattice heterostructures.

In massive MIMO (MMIMO) systems, one of the key challenges in the
implementation is the largescale matrix inversion operation, as widely used in
channel estimation, equalization, detection, and decoding procedures.
Traditionally, to handle this complexity issue, several lowcomplexity matrix
inversion approximation methods have been proposed, including the classic
Cholesky decomposition and the Neumann series expansion (NSE). However, the
conventional approaches failed to exploit neither the special structure of
channel matrices nor the critical issues in the hardware implementation, which
results in poorer throughput performance and longer processing delay. In this
paper, by targeting at the correlated MMIMO systems, we propose a modified NSE
based on tridiagonal matrix inversion approximation (TMA) to accommodate the
complexity as well as the performance issue in the conventional hardware
implementation, and analyze the corresponding approximation errors. Meanwhile,
we investigate the VLSI implementation for the proposed detection algorithm
based on a Xilinx Virtex7 XC7VX690T FPGA platform. It is shown that for
correlated massive MIMO systems, it can achieve nearMMSE performance and $630$
Mb/s throughput. Compared with other benchmark systems, the proposed pipelined
TMA detector can get high throughputtohardware ratio. Finally, we also
propose a fast iteration structure for further research.

The RIBLL2 inflight separator at IMP, the secondary beam line between two
storage rings at the \blue{\uwave{Heavy Ion Research Facility in Lanzhou
(HIRFLCSR)}}, has been commissioned to study the rareisotope beam (RIB)
physics at around 300 MeV/nucleon for the first time, in combination of the
external target facility (ETF). The unambiguous particle identification in mass
and charge states for $^{18}$O and $^{40}$Ar fragments has been achieved in
recent experiments. A full realization of RIBLL2 will open many potentials to
address important RIB physics problems at around 300 MeV/nucleon.

Transition metal dichalcogenide (TMD) materials are unique in the wide
variety of structural and electronic phases they exhibit in the twodimensional
(2D) singlelayer limit. Here we show how such polymorphic flexibility can be
used to achieve topological states at highly ordered phase boundaries in a new
quantum spin Hall insulator (QSHI), 1T'WSe2. We observe helical states at the
crystallographicallyaligned interface between quantum a spin Hall insulating
domain of 1T'WSe2 and a semiconducting domain of 1HWSe2 in contiguous single
layers grown using molecular beam epitaxy (MBE). The QSHI nature of
singlelayer 1T'WSe2 was verified using ARPES to determine band inversion
around a 120 meV energy gap, as well as STM spectroscopy to directly image
helical edgestate formation. Using this new edgestate geometry we are able to
directly confirm the predicted penetration depth of a helical interface state
into the 2D bulk of a QSHI for a wellspecified crystallographic direction. The
clean, wellordered topological/trivial interfaces observed here create new
opportunities for testing predictions of the microscopic behavior of
topologically protected boundary states without the complication of structural
disorder.

We demonstrate to image asymmetric molecular orbitals via highorder harmonic
generation in a onecolor inhomogeneous field. Due to the broken inversion
symmetry of the inhomogeneous field in space, the returning electrons with
energy in a broad range can be forced to recollide from only one direction for
all the orientation angles of molecules, which therefore can be used to
reconstruct asymmetric molecular orbitals. Following the procedure of molecular
orbital tomography, the highest occupied molecular orbital of CO is
satisfactorily reconstructed with highorder harmonic spectra driven by the
inhomogeneous field. This scheme is helpful to relax the requirement of laser
conditions and also applicable to other asymmetric molecules.

In this paper, we propose a conceptually simple and geometrically
interpretable objective function, i.e. additive margin Softmax (AMSoftmax),
for deep face verification. In general, the face verification task can be
viewed as a metric learning problem, so learning largemargin face features
whose intraclass variation is small and interclass difference is large is of
great importance in order to achieve good performance. Recently, Largemargin
Softmax and Angular Softmax have been proposed to incorporate the angular
margin in a multiplicative manner. In this work, we introduce a novel additive
angular margin for the Softmax loss, which is intuitively appealing and more
interpretable than the existing works. We also emphasize and discuss the
importance of feature normalization in the paper. Most importantly, our
experiments on LFW BLUFR and MegaFace show that our additive margin softmax
loss consistently performs better than the current stateoftheart methods
using the same network architecture and training dataset. Our code has also
been made available at https://github.com/happynear/AMSoftmax

In this paper, we study the Cauchy problem of a higherorder
$\mu$CamassaHolm equation. We first establish the Green's function of
$(\mu\partial_{x}^{2}+\partial_{x}^{4})^{1}$ and local wellposedness for the
equation in Sobolev spaces $H^{s}(\mathbb{S})$, $s>\frac{7}{2}$. Then we
provide the global existence results for strong solutions and weak solutions.
Moreover, we show that the solution map is nonuniformly continuous in
$H^{s}(\mathbb{S})$, $s\geq 4$. Finally, we prove that the equation admits
single peakon solutions.

Monolayer (ML) transition metal dichalcogenides (TMDs) undergo substantial
changes in the singleparticle band structure and excitonic optical response
upon the addition of just one layer. As opposed to the singlelayer limit, the
bandgap of bilayer (BL) TMD semiconductors is indirect which results in reduced
photoluminescence with richly structured spectra that have eluded a detailed
understanding to date. Here, we provide a closed interpretation of the
elementary optical responses of BL WSe$_2$ as a representative material for the
wider class of TMD semiconductors. By combining theoretical calculations with
comprehensive spectroscopy experiments, we identify the crucial role of
momentumindirect excitons for the understanding of basic absorption and
emission spectra ubiquitously exhibited by various TMD BLs. Our results shed
light on the origin of quantum dot (QD) formation in monolayer and bilayer
crystals and will facilitate further advances directed at optoelectronic
applications of layered TMD semiconductors in van der Waals heterostructures
and devices.

In this paper, we develop the robust transceiver designs for the $K$user
multipleinput singleoutput (MISO) interference channels where each
transmitter is equipped with multiple antennas and each singleantenna receiver
performs simultaneous wireless information and power transfer (SWIPT) based on
a powersplitting (PS) architecture. Assuming imperfect channel state
information (CSI) at the transmitters, we design jointly optimal transmit
beamforming and receive PS (BFPS) scheme that minimizes the total transmission
power under the worstcase signaltointerferenceplusnoise ratio (SINR) and
energy harvesting (EH) constraints at the receivers. When the CSI uncertainties
are bounded by ellipsoidal regions, we show that the worstcase SINR and EH
constraints per Rx can be recast into quadratic matrix inequality forms, and
the intended robust BFPS problem can be relaxed as a tractable semidefinite
program (SDP). More importantly, relying on the stateoftheart alternating
direction method of multipliers (ADMM), we propose a decentralized algorithm
capable of computing the optimal beamforming and powersplitting schemes with
local CSI and limited information exchange among the transmitters. It is shown
the proposed decentralized algorithm is guaranteed to converge to the optimal
centralized solution. Numerical results are provided to demonstrate the merit
of the proposed approaches.

In this work we formulate the problem of image captioning as a multimodal
translation task. Analogous to machine translation, we present a
sequencetosequence recurrent neural networks (RNN) model for image caption
generation. Different from most existing work where the whole image is
represented by convolutional neural network (CNN) feature, we propose to
represent the input image as a sequence of detected objects which feeds as the
source sequence of the RNN model. In this way, the sequential representation of
an image can be naturally translated to a sequence of words, as the target
sequence of the RNN model. To represent the image in a sequential way, we
extract the objects features in the image and arrange them in a order using
convolutional neural networks. To further leverage the visual information from
the encoded objects, a sequential attention layer is introduced to selectively
attend to the objects that are related to generate corresponding words in the
sentences. Extensive experiments are conducted to validate the proposed
approach on popular benchmark dataset, i.e., MS COCO, and the proposed model
surpasses the stateoftheart methods in all metrics following the dataset
splits of previous work. The proposed approach is also evaluated by the
evaluation server of MS COCO captioning challenge, and achieves very
competitive results, e.g., a CIDEr of 1.029 (c5) and 1.064 (c40).

Thanks to the recent developments of Convolutional Neural Networks, the
performance of face verification methods has increased rapidly. In a typical
face verification method, feature normalization is a critical step for boosting
performance. This motivates us to introduce and study the effect of
normalization during training. But we find this is nontrivial, despite
normalization being differentiable. We identify and study four issues related
to normalization through mathematical analysis, which yields understanding and
helps with parameter settings. Based on this analysis we propose two strategies
for training using normalized features. The first is a modification of softmax
loss, which optimizes cosine similarity instead of innerproduct. The second is
a reformulation of metric learning by introducing an agent vector for each
class. We show that both strategies, and small variants, consistently improve
performance by between 0.2% to 0.4% on the LFW dataset based on two models.
This is significant because the performance of the two models on LFW dataset is
close to saturation at over 98%. Codes and models are released on
https://github.com/happynear/NormFace

Integrating mobile edge computing (MEC) and wireless power transfer (WPT) has
been regarded as a promising technique to improve computation capabilities for
selfsustainable Internet of Things (IoT) devices. This paper investigates a
wireless powered multiuser MEC system, where a multiantenna access point (AP)
(integrated with an MEC server) broadcasts wireless power to charge multiple
users for mobile computing. We consider a timedivision multiple access (TDMA)
protocol for multiuser computation offloading. Under this setup, we aim to
maximize the weighted sum of the computation rates (in terms of the number of
computation bits) across all the users, by jointly optimizing the energy
transmit beamformer at the AP, the task partition for the users (for local
computing and offloading, respectively), and the time allocation among the
users. We derive the optimal solution in a semiclosed form via convex
optimization techniques. Numerical results show the merit of the proposed
design over alternative benchmark schemes.

We present $ab$ $initio$ study of the electronic stopping power of protons
and helium ions in an insulating material, HfO$_{2}$. The calculations are
carried out in channeling conditions with different impact parameters by
employing Ehrenfest dynamics and realtime, timedependent density functional
theory. The satisfactory comparison with available experiments demonstrates
that this approach provides an accurate description of electronic stopping
power. The velocityproportional stopping power is predicted for protons and
helium ions in the low energy region, which conforms the linear response
theory. Due to the existence of wide band gap, a threshold effect in extremely
low velocity regime below excitation is expected. For protons, the threshold
velocity is observable, while it does not appear in helium ions case. This
indicates the existence of extra energy loss channels beyond the electronhole
pair excitation when helium ions are moving through the crystal. To analyze it,
we checked the charge state of the moving projectiles and an explicit charge
exchange behavior between the ions and host atoms is found. The missing
threshold effect for helium ions is attributed to the charge transfer, which
also contributes to energy loss of the ion.

We report attosecondscale probing of the laserinduced dynamics in
molecules. We apply the method of highharmonic spectroscopy, where
laserdriven recolliding electrons on various trajec tories record the motion
of their parent ion. Based on the transient phasematching mechanism of
highorder harmonic generation, short and long trajectories contributing to the
same harmonic order are distinguishable in both the spatial and frequency
domains, giving rise to a onetoone map between time and photon energy for
each trajectory. The short and long trajectories in H2 and D2 are used
simultaneously to retrieve the nuclear dynamics on the attosecond and angstrom
scale. Compared to using only short trajectories, this extends the temporal
range of the measurement to one optical cycle. The experiment is also applied
to methane and ammonia molecules.

Joint extraction of entities and relations is an important task in
information extraction. To tackle this problem, we firstly propose a novel
tagging scheme that can convert the joint extraction task to a tagging problem.
Then, based on our tagging scheme, we study different endtoend models to
extract entities and their relations directly, without identifying entities and
relations separately. We conduct experiments on a public dataset produced by
distant supervision method and the experimental results show that the tagging
based methods are better than most of the existing pipelined and joint learning
methods. What's more, the endtoend model proposed in this paper, achieves the
best results on the public dataset.

Limited labeled data are available for the research of estimating facial
expression intensities. For instance, the ability to train deep networks for
automated pain assessment is limited by small datasets with labels of
patientreported pain intensities. Fortunately, finetuning from a
dataextensive pretrained domain, such as face verification, can alleviate
this problem. In this paper, we propose a network that finetunes a
stateoftheart face verification network using a regularized regression loss
and additional data with expression labels. In this way, the expression
intensity regression task can benefit from the rich feature representations
trained on a huge amount of data for face verification. The proposed
regularized deep regressor is applied to estimate the pain expression intensity
and verified on the widelyused UNBCMcMaster ShoulderPain dataset, achieving
the stateoftheart performance. A weighted evaluation metric is also proposed
to address the imbalance issue of different pain intensities.