• ### Fully Abstract Game Semantics for Actors(1403.6563)

Jan. 7, 2019 cs.LO
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.
• ### Entanglement in Reversible Quantum Computing(1507.03344)

Nov. 28, 2018 cs.LO
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.
• ### An Algebra of Reversible Quantum Computing(1501.05260)

Nov. 28, 2018 cs.LO
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 Boltzmann Equation with Large-amplitude Initial Data in Bounded Domains(1703.07978)

Nov. 13, 2018 math.AP
The paper is devoted to constructing the global solutions around global Maxwellians to the initial-boundary value problem on the Boltzmann equation in general bounded domains with isothermal diffuse reflection boundaries. We allow a class of non-negative 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 large-amplitude 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.
• ### Global Well-posedness of the Relativistic Boltzmann Equation(1604.02516)

Nov. 13, 2018 math.AP
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 velocity-weighted $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.
• ### Discovery of Log-Periodic Oscillations in Ultra-Quantum Topological Materials(1704.00995)

Quantum oscillations are usually the manifestation of the underlying physical nature in condensed matter systems. Here we report a new type of log-periodic quantum oscillations in ultra-quantum three-dimensional topological materials. Beyond the quantum limit (QL), the log-periodic oscillations involving up to five oscillating cycles (5 peaks and 5 dips) are observed on the magnetoresistance (MR) of high quality single-crystal ZrTe5, virtually showing the clearest feature of discrete scale invariance (DSI). Further theoretical analyses show that the two-body quasi-bound 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 conformable fractional grey system model(1805.01789)

May 4, 2018 stat.ME
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 real-world 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.
• ### Reversible Truly Concurrent Process Algebra(1805.03575)

May 3, 2018 cs.LO
We design a reversible version of truly concurrent process algebra CTC which is called RCTC. It has good properties modulo several kinds of strongly forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations. These properties include monoid laws, static laws, new expansion law for strongly forward-reverse truly concurrent bisimulations, \tau laws for weakly forward-reverse truly concurrent bisimulations, and congruences for strongly and weakly forward-reverse truly concurrent bisimulations.
• ### An Algebra of Reversible Computation(1410.5131)

May 2, 2018 cs.LO
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 forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations.
• ### Algebraic Laws for True Concurrency(1611.09035)

Feb. 15, 2020 cs.LO
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.
• ### Multi-scale prediction for robust hand detection and classification(1804.08220)

April 23, 2018 cs.CV
In this paper, we present a multi-scale Fully Convolutional Networks (MSP-RFCN) 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 multi-scale 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 state-of-the-art detection for hands of various sizes.
• ### SkyLens: Visual Analysis of Skyline on Multi-dimensional Data(1708.03462)

April 23, 2018 cs.HC, cs.DB, cs.GR
Skyline queries have wide-ranging applications in fields that involve multi-criteria 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 decision-making 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 multi-dimensional 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.
• ### Continuous Nucleation Dynamics of Magnetic Skyrmions in T-shaped Helimagnetic Nanojunction(1804.04022)

April 11, 2018 cond-mat.mes-hall
Magnetic skyrmions are topologically-protected spin textures existing in helimagentic materials, which can be utilized as information carriers for non-volatile 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 T-shaped helimagnetic nanojunction when it is driven to the far-from-equilibrium regime by a constant spin-polarized 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, Dzyaloshinskii-Moriya 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 skyrmion-based spintronics devices.
• ### Search Engine Guided Non-Parametric Neural Machine Translation(1705.07267)

March 8, 2018 cs.AI, cs.CL, cs.LG
In this paper, we extend an attention-based 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 stage--retrieval stage--, an off-the-shelf, black-box 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 stage--translation stage--, a novel translation model, called translation memory enhanced NMT (TM-NMT), seamlessly uses both the source sentence and a set of retrieved sentence pairs to perform the translation. Empirical evaluation on three language pairs (En-Fr, En-De, and En-Es) shows that the proposed approach significantly outperforms the baseline approach and the improvement is more significant when more relevant sentence pairs were retrieved.
• ### Communicating Concurrent Processes(1803.02659)

March 3, 2018 cs.LO
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 frequency-adaptive 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.
• ### A Method to Compute the Sparse Graphs for Traveling Salesman Problem Based on Frequency Quadrilaterals(1801.09407)

Jan. 29, 2018 cs.DM
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/3|E| 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 detection system for space applications(1711.10329)

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 ground-based 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.
• ### A Many-Objective Evolutionary Algorithm with Angle-Based Selection and Shift-Based Density Estimation(1710.00175)

Sept. 30, 2017 cs.NE
Evolutionary many-objective 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 Pareto-based, decomposition-based, and indicator-based approaches. Different from current work, we propose a novel algorithm in this paper called AnD, which consists of an angle-based selection strategy and a shift-based 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 state-of-the-art many-objective 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 many-objective optimization problems.
• ### Truly Concurrent Process Algebra with Timing(1709.01217)

Sept. 24, 2017 cs.LO
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.
• ### Research on Shape Mapping of 3D Mesh Models based on Hidden Markov Random Field and EM Algorithm(1707.09123)

July 28, 2017 cs.GR
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 Based on True Concurrency(1705.02427)

May 6, 2017 cs.LO
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}$.
• ### Learning Traffic as Images: A Deep Convolutional Neural Network for Large-Scale Transportation Network Speed Prediction(1701.04245)

April 10, 2017 cs.LG, stat.ML
This paper proposes a convolutional neural network (CNN)-based method that learns traffic as images and predicts large-scale, network-wide traffic speed with a high accuracy. Spatiotemporal traffic dynamics are converted to images describing the time and space relations of traffic flow via a two-dimensional time-space matrix. A CNN is applied to the image following two consecutive steps: abstract traffic feature extraction and network-wide traffic speed prediction. The effectiveness of the proposed method is evaluated by taking two real-world transportation networks, the second ring road and north-east transportation network in Beijing, as examples, and comparing the method with four prevailing algorithms, namely, ordinary least squares, k-nearest neighbors, artificial neural network, and random forest, and three deep learning architectures, namely, stacked autoencoder, recurrent neural network, and long-short-term 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 large-scale transportation networks.
• ### A Calculus of Truly Concurrent Mobile Processes(1704.07774)

March 31, 2017 cs.LO
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.
• ### Diffraction-Free Bloch Surface Waves(1703.08632)

March 25, 2017 physics.optics
In this letter, we demonstrate a novel diffraction-free Bloch surface wave (DF-BSW) sustained on all-dielectric 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 in-plane optical virtual probe, both in air and in an aqueous environment. The ability to be used in water, its long diffraction-free distance, and its tolerance to multiple obstacles make this DF-BSW 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 high-speed interconnections between chips, where low loss is necessary. Specifically, the DF-BSW 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 surface-bound targets.