期刊推荐
期刊名称:ACTA INFORMATICA
主题包括以下项目的理论方面。
算法及其分析
自动机和形式语言
可计算性和复杂性
数据处理
离散数学
逻辑学(计算机科学)
人工智能的数学基础
编程语言理论
安全
系统理论
验证
-
中科院四区
-
期刊ISSN:0001-5903
-
E-ISSN:1432-0525
-
影响因子:0.4
-
官方网站:
https://www.springer.com/236
-
期刊投稿网址:
https://submission.nature.com/new-submission/236/3
特刊征稿
01
特刊名称:
Selected Extended Papers from
Machine Computation and Universality 2024
截止时间:
开放提交日期:
01 六月 2024
提交截止日期:
01 十月 2024
目标及范围:
本期将由在 Machine Computation and Universality 2024 上发表的扩展精选通信组成。提交须经邀请。 会议主题的范围包括但不限于各种离散模型(图灵
机、寄存器机、元胞自动机、瓦片组装系统、重写系统、分子计算模型、神经模型等)、模拟和混合模型(BSS 机器、无限时间元胞自动机、真实机器、量子计算等)的计算,以及在这些背景下普遍性的意义和植入。特别强调在各种模型中寻找可判定性和不可判定性之间的边界,寻找最简单的通用模型,预测各种模型中计算演变的计算复杂性。并行计算模型及其与可判定性、复杂性和普遍性的联系。
02
特刊名称:
Selected Extended Papers of SMT 2024
and Related Papers
截止时间:
开放提交日期
01 七月 2024
提交截止日期
01 十月 2024
目标及范围:
该系列的目的是在一卷中收集满足性模理论 (SMT) 的最新研究。该文集旨在包括 2024 年 SMT 研讨会上发表的论文的扩展版本,以及 SMT 领域的其他贡献。
确定一阶公式模背景理论的满足性,即满足性模理论(SMT)问题,已被证明是验证、综合、测试生成、编译器优化、调度和其他领域的使能技术。SMT技术的成功取决于针对每种背景理论(例如,线性算术、数组理论或位向量理论)的特定领域决策程序的发展,以及允许人们获得更通用的SMT工具的组合方法,通常利用布尔满足性(SAT)求解器。这些因素共同使SMT技术非常适合用于更大规模的自动化推理和验证工作。
03
特刊名称:
Selected Extended Papers of the 2024
Annual Conference on Theory and
Applications of Models of Computation
(TAMC 2024) in Acta Informatica
截止时间:
开放提交日期
15 五月 2024
提交截止日期
31 七月 2024
目标及范围:
本期特刊专门介绍将于 2024 年 5 月 13 日至 15 日在中国香港举行的 2024 年计算模型理论与应用年会 (TAMC 2024) 上发表的部分论文。该会议旨在将广泛的研究人员聚集在一起
对计算理论及其应用感兴趣。本期特刊感兴趣的主题包括但不限于自动机理论、形式语言、形式验证、程序分析和逻辑。
期刊推荐
期刊名称:DISCRETE APPLIED MATHEMATICS
目的是汇集算法和应用离散数学不同领域的研究论文,以及组合数学在信息学和科学技术各个领域的应用。提交给期刊的贡献可以是研究论文、简短的笔记、调查,也可能是研究问题。“通讯”部分将专门用于尽可能快地发表最近的研究成果,这些成果由编辑委员会成员检查并推荐发表。该杂志还将出版数量有限的书籍公告以及会议记录。这些会议记录将得到充分的参考,并遵守期刊的正常标准。
-
中科院三区
-
期刊ISSN:0166-218X
-
影响因子:1
-
非OA开放
-
官方网站:
http://www.journals.elsevier.com/discrete-applied-mathematics/
-
期刊投稿网址:https://www.editorialmanager.com/DAM
-
平均审稿速度:根据网友经验:3-6周左右录用
特刊征稿
01
特刊名称:
Algorithms in Discrete Mathematics
截止时间:
提交截止日期为 2024 年 12 月 31 日。
目标及范围:
关键字:
算法的设计与分析,分布式算法,逼近算法,互连网络算法,时态图算法,组合算法和图算法
期刊推荐
期刊名称:THEORY OF COMPUTING SYSTEMS
主题包括以下项目的理论方面:
代数方法
算法博弈论
算法信息论
算法和数据结构
算法分析
应用图论
难题的近似算法
近似算法
胞 自动 机
正式语言
组合模式匹配
通信网络
复杂性和可计算性理论
计算和算法学习理论
计算生物学
计算复杂度
计算几何
计算分子生物学
计算科学
密码学和安全性
数据压缩算法
数据挖掘
数据结构
数据库理论
分布式算法
分布式计算
动态数据结构
有效数学
精确算法
外部存储器算法
图形算法
柯尔莫哥罗夫复杂度
计算机科学中的逻辑
机器学习
基于机器的复杂性理论
移动计算
计算模型
分子计算
网络
并行和分布式计算
物理与计算
程序检查
性能测试
量子计算
随机算法
路由、广播、搜索
字符串算法
文本索引
并行算法和网络架构的理论方面
通信网络理论
并发系统理论
-
中科院四区
-
期刊ISSN:1432-4350
-
E-ISSN:1433-0490
-
影响因子:0.6
-
非OA开放
-
官方网站:
https://www.springer.com/224
-
期刊投稿网址:https://www.editorialmanager.com/tocs/
-
平均审稿速度:
根据网友经验:6-12周左右录用
特刊征稿
01
特刊名称:
Computer Science Symposium in
Russia (CSR 2021)
截止时间:
开放提交日期:
01 九月 2021
提交截止日期:
持续
目标及范围:
这本《计算系统理论》合集收录了最初于 2021 年 6 月 28 日至 7 月 2 日在俄罗斯索契举行的第 16 届俄罗斯国际计算机科学研讨会 (CSR 2021) 上发表的扩展期刊论文。
02
特刊名称:
Selected extended papers of the
2024 Annual Conference on Theory
and Applications of Models of Computation
(TAMC 2024)
截止时间:
开放提交日期
06 十一月 2023
提交截止日期
31 七月 2024
目标及范围:
本期特刊专门介绍将于 2024 年 5 月 13 日至 15 日在中国香港举行的 2024 年计算模型理论与应用年会 (TAMC 2024) 上发表的部分论文。该会议旨在将广泛的研究人员聚集在一起
对计算理论及其应用感兴趣。本期特刊感兴趣的主题包括但不限于算法设计与分析、算法博弈论、计算复杂性、计算几何、机器学习、并行和分布式计算以及并发系统理论。
03
特刊名称:
The International Joint Conference on
Theoretical Computer Science –
Frontier of Algorithmic Wisdom 2024
截止时间:
开放提交日期:
01 七月 2024
提交截止日期:
30 2024九月
目标及范围:
IJTCS-FAW 2024 征集有关理论计算机科学任何分支的论文,以及算法和复杂性、算法博弈论、自动机理论和形式语言、区块链、计算生物学和生物信息学、计算几何学、
形式化方法与验证、图论与算法、多智能体强化学习、网络经济学、并行与分布式算法、量子计算、人工智能的理论方面以及机器学习理论。
期刊推荐
期刊名称:IET Image Processing
主题包括但不限于:
编码与通信理论
调制和信号设计
有线、无线和光通信
通信系统
-
中科院四区
-
期刊ISSN:1751-9659
-
E-ISSN:1751-9667
-
影响因子:2
-
OA开放
-
官方网站:
https://onlinelibrary.wiley.com/journal/17518636
-
期刊投稿网址:https://mc.manuscriptcentral.com/theiet-ipr
-
平均审稿速度:根据网友经验:6个月左右录用
特刊征稿
01
特刊名称:
Edge Intelligence for
B5G/6G Communications
截止时间:
截止日期:2024年12月1日(星期日)
目标及范围:
本期特刊邀请边缘计算、人工智能、无线技术和泛通信领域的专家投稿。我们热切期待研究人员和从业者提交原创研究文章、评论文章和案例研究,主题包括但不限于:
· 用于 B5G/6G 通信的边缘智能架构
· B5G/6G业务的实时边缘数据处理
· 基于B5G/6G通信的边缘智能技术与服务
· 面向数字孪生和元宇宙服务的 B5G/6G 通信
· 面向 B5G/6G 通信的可信、安全且以隐私为中心的边缘智能系统设计
· 基于B5G/6G业务边缘智能的大数据分析
· B5G/6G通信中边缘智能的原型和案例研究
· 为B5G/6G通信量身定制的边缘智能算法设计
02
特刊名称:
New Challenges in Pervasive and
Lasting Wireless Communications
for Artificial Intelligence Systems
截止时间:
2024年12月31日(星期二)
目标及范围:
本次征稿主题包括但不限于:
· 元计算系统中移动通信的架构和框架
· 人工智能系统的通信理论
· 用于 AI 系统的无线网络协议
· 人工智能系统的编码和解码机制
· 用于AI系统的混合无线通信方法
· 用于 AI 系统中通信的物理层和 Mac 层设计
· 面向 AI 系统的 5G 网络和边缘计算
· 人工智能系统的资源管理和分配
· 人工智能系统的激励机制
· 人工智能系统中无线通信的隐私和安全
· AI 系统中的联邦学习
· AI系统中无线通信的深度学习方法
· 无线通信系统及AI系统的应用
投稿 小贴士
如果您对以上特刊感兴趣想要投稿,
或者需要推荐适合投稿的期刊及预审稿服务,
欢迎联系我们!
往期回顾
-
【计算机网络】CCF-C特刊征稿,中科院四区,国人发文友好,速投!
-
【人机交互与普适计算】CCF-B特刊征稿!国人发文友好,录用比例容易,千万别错过!
-
【计算机网络】CCF-C特刊征稿来袭!国人发文友好,录用速度快,速投!
-
【软件工程/系统软件/程序设计语言】CCF-B特刊征稿,均是中科院二区,能给你惊喜!
联系编辑
提供专业的科研辅导,欢迎咨询~
AI科研辅导
-
人工智能、网络安全等计算机学科
SCI一对一辅导
-
SCI免费选刊推荐
-
IEEE会议快速推荐,注册费低
-
SCI/SSCI论文专业润色
(编辑均为母语为英语的外国专家)