您现在的位置：首页> 中文期刊>其他>中国计算机科学前沿：英文版

中国计算机科学前沿：英文版

《中国计算机科学前沿：英文版》涉及领域包括（但不限于）软件工程，计算机体系结构，程序设计理论，算法，人工智能，计算机图形学与虚拟现实，因特网，安全与密码学，生物信息，中文信息处理，智能人机接口，数据库以及相关新兴学科和交叉学科。

发文量：780
被引量：95
H指数：3
开始收录时间：2011,5(1)
CNKI综合因子：0.0
维普期刊影响因子： 0.188
万方期刊影响因子：0.35
创刊时间：0

国内刊号/CN：10-1014/TP

国际刊号/ISSN：2095-2228
发行周期：双月刊

邮发代号：80-970
主管单位：中华人民共和国教育部

主办单位：高等教育出版社

中国计算机科学前沿：英文版-联系信息

主编：Zhi-Hua ZHOU
电话：010-58556485
邮箱：customercenter@pub.hep.cn
地址：北京市朝阳区惠新东街4号富盛大厦15层
邮编：100029

中国计算机科学前沿：英文版-获奖情况

• 卓越计划期刊

收录汇总
刊内文献检索
投稿信息

刊期浏览

中国计算机科学前沿：英文版 >2023年第1期

学科

年度

全选（0）

排序：

共4384条结果

1.Similarity-based privacy protection for publishing k-anonymous trajectories
- Shuai WANG;Chunyi CHEN;Guijie ZHANG;
- 《中国计算机科学前沿：英文版》 | 2022年第3期
摘要：1 Introduction and main contributions The combination of location technology and wireless communication technology has spawned a number of location-based services(LBS).Trusted location service providers(LSP)obtain a large amount of users’trajectories.The knowledge obtained from mining trajectory data can be used in many fields and may lead to privacy disclosure of users.The data owner(LSP)should process the trajectory data to protect privacy before publishing.Clusterreconstruction of trajectories is a common privacy protection method for publishing trajectories.
2.VIPLFaceNet： an open source deep face recognition SDK
- Xin LIU;Meina KAN;Wanglong WU;Shiguang SHAN;Xilin CHEN;
- 《中国计算机科学前沿：英文版》 | 2017年第2期
3.TOTAL CONTENTS
- 《中国计算机科学前沿：英文版》 | 2011年第4期
4.Runtime model based approach to IoT application development
- Xing CHEN Aipeng LI Xuee ZENG Wenzhong GUO Gang HUANG;
- 《中国计算机科学前沿：英文版》 | 2015年第4期
5.EcoVis:visual analysis of industrial-level spatio-temporal correlations in electricity consumption
- Yong XIAO;Kaihong ZHENG;Supaporn LONAPALAWONG;Wenjie LU;Zexian CHEN;Bin QIAN;Tianye ZHANG;Xin WANG;Wei CHEN;
- 《中国计算机科学前沿：英文版》 | 2022年第2期
摘要：Closely related to the economy,the analysis and management of electricity consumption has been widely studied.Conventional approaches mainly focus on the prediction and anomaly detection of electricity consumption,which fails to reveal the in-depth relationships between electricity consumption and various factors such as industry,weather etc..In the meantime,the lack of analysis tools has increased the difficulty in analytical tasks such as correlation analysis and comparative analysis.In this paper,we introduce EcoVis,a visual analysis system that supports the industrial-level spatio-temporal correlation analysis in the electricity consumption data.We not only propose a novel approach to model spatio-temporal data into a graph structure for easier correlation analysis,but also introduce a novel visual representation to display the distributions of multiple instances in a single map.We implement the system with the cooperation with domain experts.Experiments are conducted to demonstrate the effectiveness of our method.
6.Big data challenge： a data management perspective
- Jinchuan CHEN Yueguo CHEN Xiaoyong DU Cuiping LI Jiaheng LU Suyun ZHAO Xuan ZHOU;
- 《中国计算机科学前沿：英文版》 | 2013年第2期
7.Understanding urban structures and crowd dynamics leveraging large-scale vehicle mobility data
- Zhihan Jiang;Yan Liu;Xiaoliang Fan;Cheng Wang;Jonathan Li;Longbiao Chen;
- 《中国计算机科学前沿：英文版》 | 2020年第5期
摘要：A comprehensive understanding of city structures and urban dynamics can greatly improve the efficiency and quality of urban planning and management,while the traditional approaches of which,such as manual surveys,usually incur substantial labor and time.In this paper,we propose a data-driven framework to sense urban structures and dynamics from large-scale vehicle mobility data.First,we divide the city into fine-grained grids,and cluster the grids with similar mobility features into structured urban areas with a proposed distance-constrained clustering algorithm(DCCA).Second,we detect irregular mobility traffic patterns in each area leveraging an ARIMA-based anomaly detection algorithm(ADAM),and correlate them to the urban social and emergency events.Finally,we build a visualization system to demonstrate the urban structures and crowd dynamics.We evaluate our framework using real-world datasets collected from Xiamen city,China,and the results show that the proposed framework can sense urban structures and crowd comprehensively and effectively.
8.Side-channel analysis attacks based on deep learning network
- Yu OU;Lang LI;
- 《中国计算机科学前沿：英文版》 | 2022年第2期
摘要：There has been a growing interest in the sidechannel analysis(SCA)field based on deep learning(DL)technology.Various DL network or model has been developed to improve the efficiency of SCA.However,few studies have investigated the impact of the different models on attack results and the exact relationship between power consumption traces and intermediate values.Based on the convolutional neural network and the autoencoder,this paper proposes a Template Analysis Pre-trained DL Classification model named TAPDC which contains three sub-networks.The TAPDC model detects the periodicity of power trace,relating power to the intermediate values and mining the deeper features by the multi-layer convolutional net.We implement the TAPDC model and compare it with two classical models in a fair experiment.The evaluative results show that the TAPDC model with autoencoder and deep convolution feature extraction structure in SCA can more effectively extract information from power consumption trace.Also,Using the classifier layer,this model links power information to the probability of intermediate value.It completes the conversion from power trace to intermediate values and greatly improves the efficiency of the power attack.
9.New phase transitions for formulas in Lukasiewicz logic
- Mohamed EL HALABY;Areeg ABDALLA;
- 《中国计算机科学前沿：英文版》 | 2020年第6期
摘要：1 Introduction L-clausal forms is an interesting class of formulas in Eukasiewicz logic that was shown to be NP-complete[1].These formulas are defined over the following Lukasiewicz operations:negation-x=1-x strong disjunction x■y=min{1,x+y},strong conjunction x⊙y=max{x+y-1,0}and weak disjunction x■y=max{x,y}.
10.Monotonic and nonmonotonic gentzen deduction systems for L_(3)-valued propositional logic
- Cungen CAO;Lanxi HU;Yuefei SUI;
- 《中国计算机科学前沿：英文版》 | 2021年第3期
摘要：A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic.Dually,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.
11.A comparative study of two formal semantics of the SIGNAL language
- Zhibin YANG;Jean-Paul BODEVEIX;Mamoun FILALI;
- 《中国计算机科学前沿：英文版》 | 2013年第5期
12.Equivalence checking between SLM and TLM using coverage directed simulation
- Jian HU Tun LI Sikun LI;
- 《中国计算机科学前沿：英文版》 | 2015年第6期
13.On the use of formal methods to model and verify neuronal archetypes
- Elisabetta DE MARIA;Abdorrahim BAHRAMI;Thibaud LYVONNET;Amy FELTY;Daniel GAFFÉ;Annie RESSOUCHE;Franck GRAMMONT;
- 《中国计算机科学前沿：英文版》 | 2022年第3期
摘要：Having a formal model of neural networks can greatly help in understanding and verifying their properties,behavior,and response to external factors such as disease and medicine.In this paper,we adopt a formal model to represent neurons,some neuronal graphs,and their composition.Some specific neuronal graphs are known for having biologically relevant structures and behaviors and we call them archetypes.These archetypes are supposed to be the basis of typical instances of neuronal information processing.In this paper we study six fundamental archetypes(simple series,series with multiple outputs,parallel composition,negative loop,inhibition of a behavior,and contralateral inhibition),and we consider two ways to couple two archetypes:(i)connecting the output(s)of the first archetype to the input(s)of the second archetype and(ii)nesting the first archetype within the second one.We report and compare two key approaches to the formal modeling and verification of the proposed neuronal archetypes and some selected couplings.The first approach exploits the synchronous programming language Lustre to encode archetypes and their couplings,and to express properties concerning their dynamic behavior.These properties are verified thanks to the use of model checkers.The second approach relies on a theorem prover,the Coq Proof Assistant,to prove dynamic properties of neurons and archetypes.
14.Cloud authorization： exploring techniques and approach towards effective access control framework
- Rahat MASOOD Muhammad Awais SHIBLI Yumna GHAZI Ayesha KANWAL Arshad ALI;
- 《中国计算机科学前沿：英文版》 | 2015年第2期
15.Video structural description technology for the new generation video surveillance systems
- Chuanping HU Zheng XU Yunhuai LIU Lin MEI;
- 《中国计算机科学前沿：英文版》 | 2015年第6期
16.Transferring priors from virtual data for crowd counting in real world
- Xiaoheng JIANG;Hao LIU;Li ZHANG;Geyang LI;Mingliang XU;Pei LV;Bing ZHOU;
- 《中国计算机科学前沿：英文版》 | 2022年第3期
摘要：In recent years,crowd counting has increasingly drawn attention due to its widespread applications in the field of computer vision.Most of the existing methods rely on datasets with scarce labeled images to train networks.They are prone to suffer from the over-fitting problem.Further,these existing datasets usually just give manually labeled annotations related to the head center position.This kind of annotation provides limited information.In this paper,we propose to exploit virtual synthetic crowd scenes to improve the performance of the counting network in the real world.Since we can obtain people masks easily in a synthetic dataset,we first learn to distinguish people from the background via a segmentation network using the synthetic data.Then we transfer the learned segmentation priors from synthetic data to real-world data.Finally,we train a density estimation network on real-world data by utilizing the obtained people masks.Our experiments on two crowd counting datasets demonstrate the effectiveness of the proposed method.
17.Where to go?Predicting next location in IoT environment
- Hao LIN;Guannan LIU;Fengzhi LI;Yuan ZUO;
- 《中国计算机科学前沿：英文版》 | 2021年第1期
摘要：Next location prediction has aroused great inter-ests in the era of internet of things(IoT).With the ubiquitous deployment of sensor devices,e.g..GPS and Wi-Fi,loT en-vironment offers new opportunities for proactively analyzing human mobility patterns and predicting user's future visit in low cost,no matter outdoor and indoor.In this paper,we con-sider the problem of next location prediction in loT environ-ment via a session-based manner.We suggest that user's future intention in each session can be better inferred for more ac-curate prediction if patterns hidden inside both trajectory and signal strength sequences ollected from IoT devices can be jointly modeled,which however existing state-of the-art meth-ods have rarely addressed.To this end,we propose a trajectory and sIgnal sequence(TSIS)model,where the trajectory transi-tion regularities and signal temporal dynamics are jointly embedded in a neural network based model.Specifically,we employ gated recurrent unit(GRU)for capturing the temporal dy-namics in the mutivariate signal strength sequence.Moreover,we adapt gated graph neural networks(gated GNNs)on loca-tion transition graphs to explicitly model the transition patterns of trajectories.Finally,both the low-dimensional representa-tions learned from trajectory and signal sequence are jointly optimized to construct a session embedding,which is further employed to predict the next location.Extensive experiments on two real-world Wi-Fi based mobility datasets demonstrate that TSIS is effective and robust for next location prediction pompared with other competitive baselines.
18.Biomedical entity linking based on less labeled data
- Yu HU;Derong SHEN;Tiezheng NIE;Yue KOU;Ge YU;
- 《中国计算机科学前沿：英文版》 | 2022年第3期
摘要：1 Introduction Biomedical entity linking aims to align the natural language entity to the knowledge base concept referring to the same real-world object.Recent solutions in the biomedical field focus on the embedding-based method to jointly model the texts and the knowledge graph into a multi-dimensional entity space.However,the task of a biomedical entity linking is still facing tough challenges:1)The ambiguity of natural language descriptions,including polysemy and abbreviation.
19.Camera array calibration for light field acquisition
- Yichao XU Kazuki MAENO Hajime NAGAHARA Rin-ichiro TANIGUCHI;
- 《中国计算机科学前沿：英文版》 | 2015年第5期
20.A UTP semantic model for Orc language with execution status and fault handling
- Qin LI Yongxin ZHAO Huibiao ZHU Jifeng HE;
- 《中国计算机科学前沿：英文版》 | 2014年第5期
摘要：海怪语言是建议在服务学习组织模式的并发演算面向的计算。它的专辑展示，例如并发和异步使它成为的高度为学习依靠万维网服务的网应用程序的一个出众的题目。为海怪的常规语义不包含服务的实行地位以便一个节目不能决定一种服务是否通常终止了或在它出版了一些结果以后，与失败停住。它意味着这种失败不能被差错处理器捕获。而且，如果它经常没有通过更少，如此的一个语义模型不能建立说一个节目更好的一份订单。这份报纸采用 UTP 方法建议 denotational 为包含实行地位信息的海怪的语义模型。处理语义的失败被定义恢复失败实行回到正常。一份精炼订单被定义基于他们的执行失败比较二个系统。把顺序基于这，没有，介绍失败恢复机制的一个系统比一个更好被考虑。扩大运作的语义也被建议并且证明等价于 denotational 语义。
21.Virtual machine selection and placement for dynamic consolidation in Cloud computing environment
- Xiong FU Chen ZHOU;
- 《中国计算机科学前沿：英文版》 | 2015年第2期
22.Identification of cytokine via an improved genetic algorithm
- Xiangxiang ZENG Sisi YUAN Xianxian HUANG Quan ZOU;
- 《中国计算机科学前沿：英文版》 | 2015年第4期
23.Attention based simplified deep residual network for citywide crowd flows prediction
- Genan DAI;Xiaoyang HU;Youming GE;Zhiqing NING;Yubao LIU;
- 《中国计算机科学前沿：英文版》 | 2021年第2期
摘要：Crowd flows prediction is an important problem of urban computing whose goal is to predict the number of incoming and outgoing people of regions in the future.In practice,emergency applications often require less training time.However,there is a little work on how to obtain good prediction performance with less training time.In this paper,we propose a simplified deep residual network for our problem.By using the simplified deep residual network,we can obtain not only less training time but also competitive prediction performance compared with the existing similar method.Moreover,we adopt the spatio-temporal attention mechanism to further improve the simplified deep residual network with reasonable additional time cost.Based on the real datasets,we construct a series of experiments compared with the existing methods.The experimental results confirm the efficiency of our proposed methods.
24.Exploring system architectures in AADL via POLYCHRONY and SYNDEx
- Huafeng YU;Yue MA;Thierry GAUTIER;LoYc BESNARD;Jean-Pierre TALPIN;Paul Le GUERNIC;Yves SOREL;
- 《中国计算机科学前沿：英文版》 | 2013年第5期
25.A model-driven approach to semi-structured database design
- Amir JAHANGARD-RAFSANJANI Seyed-Hassan MIRIAN-HOSSEINABADI;
- 《中国计算机科学前沿：英文版》 | 2015年第2期
26.Local feature aggregation algorithm based on graph convolutional network
- Hao WANG;Liyan DONG;Minghui SUN;
- 《中国计算机科学前沿：英文版》 | 2022年第3期
摘要：1Introduction and main contributions In the field of social networks and knowledge graphs,semi-supervised learning models based on graph convolutional networks have achieved great success in node classification[1],inductive node embedding[2],link prediction[3],and recommend.These semi-supervised models based on graph convolutional network(GCN)[4]expect to obtain more feature information of a graph or accelerate the training.
27.An efficient GPU-based parallel tabu search algorithm for hardware/software co-design
- Neng Hou;Fazhi He;Yi Zhou;Yilin Chen;
- 《中国计算机科学前沿：英文版》 | 2020年第5期
摘要：Hardware/software partitioning is an essential step in hardware/software co-design.For large size problems,it is difficult to consider both solution quality and time.This paper presents an efficient GPU-based parallel tabu search algorithm(GPTS)for HW/SW partitioning.A single GPU kernel of compacting neighborhood is proposed to reduce the amount of GPU global memory accesses theoretically.A kernel fusion strategy is further proposed to reduce the amount of GPU global memory accesses of GPTS.To further minimize the transfer overhead of GPTS between CPU and GPU,an optimized transfer strategy for GPU-based tabu evaluation is proposed,which considers that all the candidates do not satisfy the given constraint.Experiments show that GPTS outperforms state-of-the-art work of tabu search and is competitive with other methods for HW/SW partitioning.The proposed parallelization is significant when considering the ordinary GPU platform.
28.Improving students’programming quality with the continuous inspection process:a social coding perspective
- Yao Lu;Xinjun Mao;Tao Wang;Gang Yin;Zude Li;
- 《中国计算机科学前沿：英文版》 | 2020年第5期
摘要：College students majoring in computer science and software engineering need to master skills for high-quality programming.However,rich research has shown that both the teaching and learning of high-quality programming are challenging and deficient in most college education systems.Recently,the continuous inspection paradigm has been widely used by developers on social coding sites(e.g.,GitHub)as an important method to ensure the internal quality of massive code contributions.This paper presents a case where continuous inspection is introduced into the classroom setting to improve students’programming quality.In the study,we first designed a specific continuous inspection process for students’collaborative projects and built an execution environment for the process.We then conducted a controlled experiment with 48 students from the same course during two school years to evaluate how the process affects their programming quality.Our results show that continuous inspection can help students in identifying their bad coding habits,mastering a set of good coding rules and significantly reducing the density of code quality issues introduced in the code.Furthermore,we describe the lessons learned during the study and propose ideas to replicate and improve the process and its execution platform.
29.PSG： a two-layer graph model for document summarization
- Heng CHEN Hai JIN Feng ZHAO;
- 《中国计算机科学前沿：英文版》 | 2014年第1期
摘要：图模型被作为边把句子用作图节点，和句子的类似广泛地在文件摘要使用了。在这份报纸，为文件摘要的一个新奇的图模型被介绍，在句子包括的那个不仅句子关联而且短语关联信息被利用。简言之，我们构造一个短语句子二层的图结构模型(PSG ) 到总结文件。我们为通用文件摘要和集中质问的摘要使用这个模型。试验性的结果证明我们的模型极大地超过存在工作。
30.FRONTIERS OF COMPUTER SCIENCE TOTAL CONTENTS OF VOLUME 6 （2012）
- 《中国计算机科学前沿：英文版》 | 2012年第6期

中国计算机科学前沿：英文版的期刊信息

曾用名：中国高等学校学术文摘·计算机科学
创刊时间：0
地区：CHINA MAINLAND
语言：中文
热门主题：SURVEY LEARNING GRAPH FRAMEWORK SOCIAL RANKING DATA COMPUTING EFFICIENT HIERARCHICAL
学科分类：

2

COMPUTER SCIENCE, SOFTWARE ENGINEERING:Q3;COMPUTER SCIENCE, INFORMATION SYSTEMS:Q4;COMPUTER SCIENCE, THEORY & METHODS:Q3;

Computer Science:Computer Science (miscellaneous);Mathematics:Theoretical Computer Science;

中国计算机科学前沿：英文版的获奖情况

• 卓越计划期刊

中国计算机科学前沿：英文版的收录情况

• 中国科学引文数据库（2011-2012）
• 中国科学引文数据库（2013-2014）
• 中国科学引文数据库（2015-2016）
• 中国科学引文数据库（2017-2018）
• 中国科学引文数据库（2019-2020）
• 工程索引
• 哥白尼索引
• 日本科学技术振兴机构数据库
• 数学评论（网络版）
• 科学引文索引（扩展库）
• 文摘与引文数据库
• 中国科技核心期刊
• 数学文摘

中国计算机科学前沿：英文版的投稿信息

投稿方式：
投稿须知：点击查看
期刊官方网站：点击前往
版面费：
审稿费：元
通讯地址：北京市朝阳区惠新东街4号富盛大厦15层
邮编：100029
联系电话：010-58556485
邮箱：customercenter@pub.hep.cn
期刊栏目：Artificial Intelligence；Theoretical Computer Science；Networks and Communication；Multimedia and Graphics；Interdisciplinary

中国计算机科学前沿：英文版

期刊订阅