91一级特黄大片|婷婷中文字幕在线|av成人无码国产|日韩无码一二三区|久久不射强奸视频|九九九久久久精品|国产免费浮力限制

《計算機科學》“理論計算機科學”專欄征文通知
3714
2019-08-14
9
0
1
用微信掃描二維碼

理論計算機科學Theoretical Computer ScienceTCS,即計算理論或計算機科學的數學基礎,它主要研究有關計算的相對更抽象化、邏輯化和數學化的問題。盡管形式化算法已經存在了數千年,但直到1936年,Alan Mathison Turing,Alonzo ChurchStephen Cole Kleene才給出了算法在計算理論中的形式化定義。早在1703年之前就有了二進制和數理邏輯系統(tǒng),Gottfried Wilhelm Leibniz建立了真假二元的形式邏輯。1931年,Kurt Friedrich G?del證明了哥德爾不完備定理。1948年, Claude Elwood Shannon通過將信息的傳遞作為一種統(tǒng)計現象而引入了信息論。同時,在四十年代,Donald Hebb建立了一套大腦學習模式的數學模型。隨著20世紀初量子力學的發(fā)展,數學運算的概念被引入了粒子波函數,從而多重狀態(tài)上的函數得以計算。在九十年代,Peter Shor提出了量子質因數分解算法。現代理論計算機科學研究在上述基礎上展開,同時也包含了其它數學和跨學科的問題。

為了進一步促進理論計算機科學這一領域的科學研究、學術交流和人才培養(yǎng),《計算機科學》擬定于2020年第5期出版理論計算機科學專欄(正刊)。該專欄將重點關注自動機論與形式語言理論、程序理論、形式語義學、算法分析和計算復雜性理論,以及機器學習、大數據、深度學習的基礎理論、模型與算法等方向,強調文章內容的理論性與創(chuàng)新性。歡迎廣大師生和研究人員踴躍投稿!


專欄特邀編審(以姓氏拼音排序):

操宜新  (香港理工大學)

    (華中科技大學)

孫曉明  中國科學院計算技術研究所

尹一通  (南京大學)

張馳豪  (上海交通大學)


01

征文范圍(包括但不限于)


1)算法設計與分析

2)計算復雜性理論(包括通訊復雜性、具體復雜性等)

3)自動機論與形式語言理論

4)軟件理論與方法

5)數據科學與機器學習理論

6Web科學基礎理論

7)計算模型(量子計算、生物信息學、社會計算、云計算、并行計算等)


02

投稿要求


1.  投稿方式:采用計算機科學在線投稿系統(tǒng)http://www.jsjkx.com)投稿。投稿時請選擇理論計算機科學欄目。

2.  稿件格式:參照《計算機科學》論文格式(官網提供了論文模板,可供下載),中英文稿件均可,內容可是原創(chuàng)研究型和綜述型成果,一般不少于8頁。

3.  投稿文章未在正式出版物上發(fā)表過,也不處于其他刊物或會議的審稿過程中,不存在一稿多投現象;投稿文章需保證合法性(無抄襲、剽竊、侵權等不良行為)。

4.  其他事項請參閱投稿指南:http://www.jsjkx.com/CN/column/column12.shtml

5.  專欄投稿文章不收審理費,錄用后按照正常標準收取版面費。發(fā)表之后,將向作者支付稿酬,并贈送樣刊。


03

重要時間


征文截止時間:2020215    

錄用截止時間:2020315

出版時間:2020515


04

聯系方式


編輯部電話:(+86023-67039612   

郵箱:lyhjsjkx@163.com 

通信地址:重慶市渝北區(qū)洪湖西路18號(401121


SCHOLAT.com 學者網
免責聲明 | 關于我們 | 聯系我們
聯系我們: