We extend the traditional nonnegative reward testing with negative *** this new testing framework,may preorder and must preorder are the inverse of each *** surprisingly,it turns out that the real reward must testing ...
详细信息
We extend the traditional nonnegative reward testing with negative *** this new testing framework,may preorder and must preorder are the inverse of each *** surprisingly,it turns out that the real reward must testing is no more powerful than the nonnegative reward testing,at least for finite processes. In order to prove that result,we exploit an important property of failure simulation about the inclusion of the testing outcomes between two related processes.
The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency *** former is the most classic model for mobile processes and the latter is well know...
详细信息
The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency *** former is the most classic model for mobile processes and the latter is well known for its nested ***,the relationship between these two models deserves further *** this paper,we reinvestigate this problem *** first give the strengthened encoding *** we propose the encoding of the synchronous π-calculus into the safe ambients *** encoding scheme is a generalization and improvement of Levi and Sangiorgi’s work when moving from the asynchronous π-calculus to the synchronous π-*** show the merits of the encoding by checking the mentioned criteria.
作者：
尹强龙环Laboratory of Basic Study in Computing Science
MOE-MS Key Laboratory for Intelligent Computing and Intelligent SystemsDepartment of Computer Science and EngineeringShanghai Jiaotong University
In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, ...
详细信息
In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of A calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from A calculus to the π calculus.
Various problems are encountered when adopting ordinary vector space algorithms for high-order tensor data input. Namely, one must overcome the Small Sample Size （SSS） and overfitting problems. In addition, the stru...
详细信息
Various problems are encountered when adopting ordinary vector space algorithms for high-order tensor data input. Namely, one must overcome the Small Sample Size （SSS） and overfitting problems. In addition, the structural information of the original tensor signal is lost during the vectorization process. Therefore, comparable methods using a direct tensor input are more appropriate. In the case of electrocardiograms （ECGs）, another problem must be overcome; the manual diagnosis of ECG data is expensive and time consuming, rendering it difficult to acquire data with diagnosis labels. However, when effective features for classification in the original data are very sparse, we propose a semisupervised sparse multilinear discriminant analysis （SSSMDA） method. This method uses the distribution of both the labeled and the unlabeled data together with labels discovered through a label propagation Mgorithm. In practice, we use 12-lead ECGs collected from a remote diagnosis system and apply a short-time-fourier transformation （STFT） to obtain third-order tensors. The experimental results highlight the sparsity of the ECG data and the ability of our method to extract sparse and effective features that can be used for classification.
Cells are the fundamental units of biological systems and exhibit unique development trajectories and molecular *** exploration of how the genomes orchestrate the formation and maintenance of each cell,and control the...
详细信息
Cells are the fundamental units of biological systems and exhibit unique development trajectories and molecular *** exploration of how the genomes orchestrate the formation and maintenance of each cell,and control the cellular phenotypes of various organismsis,is both captivating and *** the inception of the first single-cell RNA technology,technologies related to single-cell sequencing have experienced rapid advancements in recent *** technologies have expanded horizontally to include single-cell genome,epigenome,proteome,and metabolome,while vertically,they have progressed to integrate multiple omics data and incorporate additional information such as spatial scRNA-seq and CRISPR ***-cell omics represent a groundbreaking advancement in the biomedical field,offering profound insights into the understanding of complex diseases,including ***,we comprehensively summarize recent advances in single-cell omics technologies,with a specific focus on the methodology *** overview aims to guide researchers in selecting appropriate methods for single-cell sequencing and related data analysis.
Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high...
详细信息
Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.
作者：
Ji, CanshengZhou, JingyuSchool of Software
MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems Shanghai Jiao Tong University Shanghai 200240 China
In the era of web 2.0, everyone can create and update content, and everyone can host a personal web site with little effort, making it hard to gather valuable information from different web sites. With RSS, people can...
详细信息
Recent technological trends have pushed concurrency and mobile computing to the mainstream. Too many semantics have been proposed to picture the behavior of concurrent systems, and their relationship has been a hot to...
详细信息
A value-passing calculus is a process calculus in which the contents of communications are values chosen from some data domain, and the propositions appearing in the conditionals are formulas constructed from a logic....
详细信息
Electroencephalography (EEG) is considered a reliable indicator of a person's vigilance level. In this paper, we use EEG recordings to discriminate three vigilance states of a person, namely alert, drowsy, and sle...
详细信息
暂无评论