網站地圖
聯系我們
所長信箱
English
中國科學院
網站地圖
聯系我們
所長信箱
English
中國科學院
MENU
Toggle navigation
首 頁
研究所概況
本所簡介
現任領導
歷任領導
學術委員會
學位委員會
組織機構
院士名人
歷史沿革
院所風貌
聯系我們
機構設置
科研部門
管理部門
支撐部門
科研創新
學科方向
科研成果
獲獎
專利
軟件著作權
論文
專著
規章制度
成果轉化
參股企業
院地合作
國際合作
人才隊伍
院士專家
研究員(正高級工程師)
副研究員(高級工程師)
博士后流動站
人才招聘
研究生教育
招生信息
導師信息
培養管理
學位管理
就業指導
優秀畢業生
下載區
黨群文化
黨委
紀委
工會
黨建工作
紀監審工作
廉潔文化
青年工作
文化活動
健康之友
離退休生活
形象標識
科學傳播
科普動態
科普文章
視頻圖片
科普場館
學術期刊
期刊
信息公開
信息公開規定
信息公開指南
信息公開目錄
依申請公開
信息公開年度報告
信息公開聯系方式
首頁
>
學術活動
>
學術報告
學術報告
[2017-11-09]
[11-10] Verification of Concurrent Data Structures
[2017-11-09]
[11-09] Efficient classical simulation of noisy quantum circuit
[2017-11-06]
[11-07] Compositional Methods for CPS Design
[2017-11-02]
[11-03] Visual Creativity for Art and Science
[2017-10-24]
創新文化論壇系列報告——“一帶一路”與包容性全球化
[2017-10-24]
[10-25] Seminar on Formal Methods: A Historical Perspective given by Prof. Cliff Jones
[2017-10-11]
[10-12]AN ARITHMETIC FOR ROOTED TREES
[2017-10-09]
[10-9] Deep View Morphing
[2017-09-04]
[9-11]Internet Investigation and Web Monitoring: a discussion about digital evidence quality and ...
[2017-09-01]
[9-4] Pixie: A system for Recommending 1+ Billion Items to 175+ Million Pinterest Users in Real-Time
[2017-09-01]
[9-5] Global Structure-from-Motion and Its Application
[2017-08-14]
[8-21]Dawn Song教授解讀“AI 與安全”,Chengyu Song博士分享最新成果
[2017-08-14]
[8-16]From Clarity to Efficiency for Distributed Algorithms
[2017-08-14]
[8-15]聯合信息環境與其系統框架
[2017-08-11]
[8-15]自然語言表示學習、文本推理與機器閱讀講座
[2017-07-18]
[7-26]From Big Data to Big Knowledge: Knowledge Engineering with Big Data
[2017-07-10]
[7-12]Checking Crash Consistency on Storage Systems
[2017-07-07]
[7-10]Symmetry Breaking in Constraint Satisfaction and Optimization
[2017-06-23]
[6-27]Deep Learning Approaches for Brain Image Segmentation, Analysis, and Related Problems
[2017-06-23]
[6-27]Network Resource Management in Wireless Networked Control Systems
[2017-06-22]
[6-23]TextScope: Enhance Human Perception via Text Mining
[2017-05-23]
[5-25]Logical characterisations and compositionality of input-output conformance simulation
[2017-05-17]
[5-22] 軟件所青聯第49次活動:異構無線網絡共存性研究
[2017-05-17]
[5-22] 軟件所青聯第49次活動:人工智能未來展望——知識與語言;異構無線網絡共存性研究
[2017-05-09]
[5-15]大數據環境下的惡意代碼檢測
上5頁
«
6
7
8
9
10
»
下5頁
Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版權所有 © 中國科學院軟件研究所
京ICP備05046678號-1
文保網安備1101080077
電話:86-10-62661012 傳真:86-10-62562533 電子郵箱:info@iscas.ac.cn
久久久综合香蕉尹人综合网