
Based on the work on the algebraic theory of actors and game semantics for
asynchronous $\pi$ calculus, we give the full abstraction proof of game
semantics for actors.

Similarly to the modelling of entanglement in the algebra of quantum
computing, we also model entanglement as a synchronization among an event and
its shadows in reversible quantum computing. We give the semantics and axioms
of shadow constant for reversible quantum computing.

We extend the algebra of reversible computation to support quantum computing.
Since the algebra is based on true concurrency, it is reversible for quantum
computing and it has a sound and complete theory.

The paper is devoted to constructing the global solutions around global
Maxwellians to the initialboundary value problem on the Boltzmann equation in
general bounded domains with isothermal diffuse reflection boundaries. We allow
a class of nonnegative initial data which have arbitrary large amplitude and
even contain vacuum. The result shows that the oscillation of solutions away
from global Maxwellians becomes small after some positive time provided that
they are initially close to each other in $L^2$. This yields the disappearance
of any initial vacuum and the exponential convergence of largeamplitude
solutions to equilibrium in large time. The isothermal diffuse reflection
boundary condition plays a vital role in the analysis. The most key ingredients
in our strategy of the proof include: (i)
$L^2_{x,v}$$L^\infty_xL^1_v$$L^\infty_{x,v}$ estimates along a bootstrap
argument; (ii) Pointwise estimates on the upper bound of the gain term by the
product of $L^\infty$ norm and $L^2$ norm; (iii) An iterative procedure on the
nonlinear term.

In this paper, we prove the global existence and uniqueness of mild solution
to the relativistic Boltzmann equation both in the whole space and in torus for
a class of initial data with bounded velocityweighted $L^\infty$norm and some
smallness on $L^1_xL^\infty_p$norm as well as on defect mass, energy and
entropy. Moreover, the asymptotic stability of the solutions is also
investigated in the case of torus.

Quantum oscillations are usually the manifestation of the underlying physical
nature in condensed matter systems. Here we report a new type of logperiodic
quantum oscillations in ultraquantum threedimensional topological materials.
Beyond the quantum limit (QL), the logperiodic oscillations involving up to
five oscillating cycles (5 peaks and 5 dips) are observed on the
magnetoresistance (MR) of high quality singlecrystal ZrTe5, virtually showing
the clearest feature of discrete scale invariance (DSI). Further theoretical
analyses show that the twobody quasibound states can be responsible for the
DSI feature. Our work provides a new perspective on the ground state of
topological materials beyond the QL.

The fractional order grey models (FGM) have appealed considerable interest of
research in recent years due to its higher effectiveness and flexibility than
the conventional grey models and other prediction models. However, the
definitions of the fractional order accumulation (FOA) and difference (FOD) is
computationally complex, which leads to difficulties for the theoretical
analysis and applications. In this paper, the new definition of the FOA are
proposed based on the definitions of Conformable Fractional Derivative, which
is called the Conformable Fractional Accumulation (CFA), along with its inverse
operation, the Conformable Fractional Difference (CFD). Then the new
Conformable Fractional Grey Model (CFGM) based on CFA and CFD is introduced
with detailed modelling procedures. The feasibility and simplicity and the CFGM
are shown in the numerical example. And the at last the comprehensive
realworld case studies of natural gas production forecasting in 11 countries
are presented, and results show that the CFGM is much more effective than the
existing FGM model in the 165 subcases.

We design a reversible version of truly concurrent process algebra CTC which
is called RCTC. It has good properties modulo several kinds of strongly
forwardreverse truly concurrent bisimulations and weakly forwardreverse truly
concurrent bisimulations. These properties include monoid laws, static laws,
new expansion law for strongly forwardreverse truly concurrent bisimulations,
\tau laws for weakly forwardreverse truly concurrent bisimulations, and
congruences for strongly and weakly forwardreverse truly concurrent
bisimulations.

Process algebra ACP based on the interleaving semantics can not be reversed.
We design a reversible version of APTC called RAPTC. It has algebraic laws of
reversible choice, sequence, parallelism, communication, silent step and
abstraction, and also the soundness and completeness modulo strongly
forwardreverse truly concurrent bisimulations and weakly forwardreverse truly
concurrent bisimulations.

We find the algebraic laws for true concurrency. Eventually, we establish a
whole axiomatization for true concurrency called APTC (Algebra for Parallelism
in True Concurrency). The theory APTC has four modules: BATC (Basic Algebra for
True Concurrency), APTC (Algebra for Parallelism in True Concurrency),
recursion and abstraction. And also, we show the applications and extensions of
APTC.

In this paper, we present a multiscale Fully Convolutional Networks
(MSPRFCN) to robustly detect and classify human hands under various
challenging conditions. In our approach, the input image is passed through the
proposed network to generate score maps, based on multiscale predictions. The
network has been specifically designed to deal with small objects. It uses an
architecture based on region proposals generated at multiple scales. Our method
is evaluated on challenging hand datasets, namely the Vision for Intelligent
Vehicles and Applications (VIVA) Challenge and the Oxford hand dataset. It is
compared against recent hand detection algorithms. The experimental results
demonstrate that our proposed method achieves stateoftheart detection for
hands of various sizes.

Skyline queries have wideranging applications in fields that involve
multicriteria decision making, including tourism, retail industry, and human
resources. By automatically removing incompetent candidates, skyline queries
allow users to focus on a subset of superior data items (i.e., the skyline),
thus reducing the decisionmaking overhead. However, users are still required
to interpret and compare these superior items manually before making a
successful choice. This task is challenging because of two issues. First,
people usually have fuzzy, unstable, and inconsistent preferences when
presented with multiple candidates. Second, skyline queries do not reveal the
reasons for the superiority of certain skyline points in a multidimensional
space. To address these issues, we propose SkyLens, a visual analytic system
aiming at revealing the superiority of skyline points from different
perspectives and at different scales to aid users in their decision making. Two
scenarios demonstrate the usefulness of SkyLens on two datasets with a dozen of
attributes. A qualitative study is also conducted to show that users can
efficiently accomplish skyline understanding and comparison tasks with SkyLens.

Magnetic skyrmions are topologicallyprotected spin textures existing in
helimagentic materials, which can be utilized as information carriers for
nonvolatile memories and logic circuits in spintronics. Searching simple and
controllable way to create isolated magnetic skyrmions is desirable for further
technology developments and industrial designs. Based on micromagnetic
simulations, we show that the temporal dissipative structure can be developed
in the Tshaped helimagnetic nanojunction when it is driven to the
farfromequilibrium regime by a constant spinpolarized current. Then the
magnetic skyrmions can be continuously nucleated during the periodic
magnetization dynamics of the nanojunction. We have systematically investigated
the effects of current density, DzyaloshinskiiMoriya interaction, external
magnetic field, and thermal fluctuation on the nucleation dynamics of the
magnetic skyrmions. Our results here suggest a novel and promising mechanism to
continuously create magnetic skyrmions for the development of skyrmionbased
spintronics devices.

In this paper, we extend an attentionbased neural machine translation (NMT)
model by allowing it to access an entire training set of parallel sentence
pairs even after training. The proposed approach consists of two stages. In the
first stageretrieval stage, an offtheshelf, blackbox search engine is
used to retrieve a small subset of sentence pairs from a training set given a
source sentence. These pairs are further filtered based on a fuzzy matching
score based on edit distance. In the second stagetranslation stage, a novel
translation model, called translation memory enhanced NMT (TMNMT), seamlessly
uses both the source sentence and a set of retrieved sentence pairs to perform
the translation. Empirical evaluation on three language pairs (EnFr, EnDe,
and EnEs) shows that the proposed approach significantly outperforms the
baseline approach and the improvement is more significant when more relevant
sentence pairs were retrieved.

Process algebra CSP only permits a process to engage in one event on a moment
and records this single event into the traces of the process. CSP cannot
process events simultaneously, it treat the events occurred simultaneously as
one single event. We modify CSP to process the events occurred simultaneously,
which is called communicating concurrent processes (CCP).

The ability to predict accurate thermodynamic and kinetic properties in
biomolecular systems is of both scientific and practical utility. While both
remain very difficult, predictions of kinetics are particularly difficult
because rates, in contrast to free energies, depend on the route taken and are
thus not amenable to all enhanced sampling methods. It has recently been
demonstrated that it is possible to recover kinetics through so called
`infrequent metadynamics' simulations, where the simulations are biased in a
way that minimally corrupts the dynamics of moving between metastable states.
This method, however, requires the bias to be added slowly, thus hampering
applications to processes with only modest separations of timescales. Here we
present a frequencyadaptive strategy which bridges normal and infrequent
metadynamics. We show that this strategy can improve the precision and accuracy
of rate calculations at fixed computational cost, and should be able to extend
rate calculations for much slower kinetic processes.

In this paper, an iterative algorithm is designed to compute the sparse
graphs for traveling salesman problem (TSP) according to the frequency
quadrilaterals so that the computation time of the algorithms for TSP will be
lowered. At each computation cycle, the algorithm first computes the average
frequency \bar{f}(e) of an edge e with N frequency quadrilaterals containing e
in the input graph G(V,E). Then the 1/3E edges with low frequency are
eliminated to generate the output graph with a smaller number of edges. The
algorithm can be iterated several times and the original optimal Hamiltonian
cycle is preserved with a high probability. The experiments demonstrate the
algorithm computes the sparse graphs with the O(nlog_2n) edges containing the
original optimal Hamiltonian cycle for most of the TSP instances in the TSPLIB.
The computation time of the iterative algorithm is O(Nn^2).

Superconducting nanowire single photon detectors (SNSPDs) have advanced
various frontier scientific and technological fields such as quantum key
distribution and deep space communications. However, limited by available
cooling technology, all past experimental demonstrations have had groundbased
applications. In this work we demonstrate a SNSPD system using a hybrid
cryocooler compatible with space applications. With a minimum operational
temperature of 2.8 K, this SNSPD system presents a maximum system detection
efficiency of over 50% and a timing jitter of 48 ps, which paves the way for
various space applications.

Evolutionary manyobjective optimization has been gaining increasing
attention from the evolutionary computation research community. Much effort has
been devoted to addressing this issue by improving the scalability of
multiobjective evolutionary algorithms, such as Paretobased,
decompositionbased, and indicatorbased approaches. Different from current
work, we propose a novel algorithm in this paper called AnD, which consists of
an anglebased selection strategy and a shiftbased density estimation
strategy. These two strategies are employed in the environmental selection to
delete the poor individuals one by one. Specifically, the former is devised to
find a pair of individuals with the minimum vector angle, which means that
these two individuals share the most similar search direction. The latter,
which takes both the diversity and convergence into account, is adopted to
compare these two individuals and to delete the worse one. AnD has a simple
structure, few parameters, and no complicated operators. The performance of AnD
is compared with that of seven stateoftheart manyobjective evolutionary
algorithms on a variety of benchmark test problems with up to 15 objectives.
The experimental results suggest that AnD can achieve highly competitive
performance. In addition, we also verify that AnD can be readily extended to
solve constrained manyobjective optimization problems.

We extend truly concurrent process algebra APTC with timing related
properties. Just like ACP with timing, APTC with timing also has four parts:
discrete relative timing, discrete absolute timing, continuous relative timing
and continuous absolute timing.

How to establish the matching (or corresponding) between two different 3D
shapes is a classical problem. This paper focused on the research on shape
mapping of 3D mesh models, and proposed a shape mapping algorithm based on
Hidden Markov Random Field and EM algorithm, as introducing a hidden state
random variable associated with the adjacent blocks of shape matching when
establishing HMRF. This algorithm provides a new theory and method to ensure
the consistency of the edge data of adjacent blocks, and the experimental
results show that the algorithm in this paper has a great improvement on the
shape mapping of 3D mesh models.

An algebra of actors $\textrm{A}\pi$ fully captures the properties of actors
based on asynchronous $\pi$calculus, but, it is based on the interleaving
bisimulation semantics. We adjust $\textrm{A}\pi$ to $\textrm{A}\pi_{tc}$ to
make $\textrm{A}\pi$ having a truly concurrent semantics. We give the syntax
and operational semantics of $\textrm{A}\pi_{tc}$, and also the truly
concurrent semantics model and algebraic laws of $\textrm{A}\pi_{tc}$.

This paper proposes a convolutional neural network (CNN)based method that
learns traffic as images and predicts largescale, networkwide traffic speed
with a high accuracy. Spatiotemporal traffic dynamics are converted to images
describing the time and space relations of traffic flow via a twodimensional
timespace matrix. A CNN is applied to the image following two consecutive
steps: abstract traffic feature extraction and networkwide traffic speed
prediction. The effectiveness of the proposed method is evaluated by taking two
realworld transportation networks, the second ring road and northeast
transportation network in Beijing, as examples, and comparing the method with
four prevailing algorithms, namely, ordinary least squares, knearest
neighbors, artificial neural network, and random forest, and three deep
learning architectures, namely, stacked autoencoder, recurrent neural network,
and longshortterm memory network. The results show that the proposed method
outperforms other algorithms by an average accuracy improvement of 42.91%
within an acceptable execution time. The CNN can train the model in a
reasonable time and, thus, is suitable for largescale transportation networks.

We make a mixture of Milner's $\pi$calculus and our previous work on truly
concurrent process algebra, which is called $\pi_{tc}$. We introduce syntax and
semantics of $\pi_{tc}$, its properties based on strongly truly concurrent
bisimilarities. Also, we include an axiomatization of $\pi_{tc}$. $\pi_{tc}$
can be used as a formal tool in verifying mobile systems in a truly concurrent
flavor.

In this letter, we demonstrate a novel diffractionfree Bloch surface wave
(DFBSW) sustained on alldielectric multilayers that does not diffract after
being passed through three obstacles or across a single mode fiber. It can
propagate in a straight line for distances longer than 110 {\mu}m at a
wavelength of 633 nm and could be applied as an inplane optical virtual probe,
both in air and in an aqueous environment. The ability to be used in water, its
long diffractionfree distance, and its tolerance to multiple obstacles make
this DFBSW ideal for certain applications in areas such as the biological
sciences, where many measurements are made on glass surfaces or for which an
aqueous environment is required, and for highspeed interconnections between
chips, where low loss is necessary. Specifically, the DFBSW on the dielectric
multilayer can be used to develop novel flow cytometry that is based on the
surface wave, but not the free space beam, to detect the surfacebound targets.