網站地圖
聯系我們
所長信箱
English
中國科學院
網站地圖
聯系我們
所長信箱
English
中國科學院
MENU
Toggle navigation
首 頁
研究所概況
本所簡介
現任領導
歷任領導
學術委員會
學位委員會
組織機構
院士名人
歷史沿革
院所風貌
聯系我們
機構設置
科研部門
管理部門
支撐部門
科研創新
學科方向
科研成果
獲獎
專利
軟件著作權
論文
專著
規章制度
成果轉化
參股企業
院地合作
國際合作
人才隊伍
院士專家
研究員(正高級工程師)
副研究員(高級工程師)
博士后流動站
人才招聘
研究生教育
招生信息
導師信息
培養管理
學位管理
就業指導
優秀畢業生
下載區
黨群文化
黨委
紀委
工會
黨建工作
紀監審工作
廉潔文化
青年工作
文化活動
健康之友
離退休生活
形象標識
科學傳播
科普動態
科普文章
視頻圖片
科普場館
學術期刊
期刊
信息公開
信息公開規定
信息公開指南
信息公開目錄
依申請公開
信息公開年度報告
信息公開聯系方式
首頁
>
學術活動
>
學術報告
學術報告
[2015-07-27]
[7-30]軟件所青年聯合會第25期活動通知----Using Structured Events to Predict Stock Price Movement
[2015-07-20]
[7-23]Visual Analytics for Urban Informatics and E-Learning
[2015-07-16]
[7-17]Data Privacy in the Big Data Age
[2015-07-14]
[7-16]Heat kernels in graphs: A journey from random walks to geometry, and back
[2015-07-13]
[7-16]軟件所青年聯合會第24期活動通知----Visual Analytics of Big Complex Networks
[2015-07-09]
[7-10]Synthesis of Timed Admission Controllers
[2015-07-08]
[7-10]面向知識圖譜構建的信息抽取技術
[2015-07-08]
[7-10]Learning Effective Representations with Electronic Health Records
[2015-05-25]
[5-27]Averting Distributed Covert Channels Through Mathematics-Based Design
[2015-05-14]
計算機科學國家重點實驗室 -- 2015年開放周 活動安排
[2015-05-07]
[5-14]Separability of Bosonic Systems
[2015-05-08]
[5-12]Is Your Storage System Reliable?
[2015-05-06]
[5-8]Sequential algorithms (old and new)
[2015-04-22]
[5-8]A Synergistic Analysis Method for Explaining Failed Regression Tests
[2015-05-06]
[5-6]信息安全學術報告通知
[2015-04-10]
[4-22]Why Formal Modeling Language Semantics Matters
[2015-04-07]
[4-13]Approximating Labelled Markov Again!
[2015-04-02]
[4-7]Big Data as a Powerful Source of Randomness
[2015-03-18]
[3-19]哥德爾完全性定理與計算機科學
[2014-12-29]
[2015-1-8]不可行路徑片段制導的線性混成自動機有界可達性檢驗及全局性質推導
[2014-12-16]
[12-17]Cloud Computing, Big Data and Scalable Privacy Preservation
[2014-12-09]
[12-12]Communicating Transactions (a Survey)
[2014-12-10]
[12-11]Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems
[2014-12-03]
[12-8]Fast Sheet-defined Functions in Spreadsheets
[2014-12-01]
[12-2]Abstraction-based Computation of Reward Measures for Markov Automata
上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
久久久综合香蕉尹人综合网