學術報告----中國科學院軟件研究所

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

中國科學院軟件研究所

學術報告

[2021-12-21][12-23] JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inferenc...
[2021-11-08][11-09] Constructive Bidirectional Programming
[2021-10-18][10-20] 機器學習公理化
[2021-06-29][07-01] Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
[2021-06-29][06-29] 智能化軟件工程和智能軟件工程：人工智能和軟件工程的交叉融合
[2021-06-10][06-16] Deductive Verification of Smart Contracts
[2021-05-06][05-07] Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
[2021-01-20][01-22] 軟件定義衛星與天智工程
[2020-12-15][2021-01-08] 基于定理證明的分離邏輯驗證工具
[2020-12-08][12-09] A Dynamical Aspect of D-finite Power Series
[2020-12-08][12-09] 單帶圖靈機的時空轉換（Time Versus Space on Single Tape Turing Machines）
[2020-11-26][11-26] 徹底解決針對操作系統的超越授權攻擊
[2020-11-24][12-02] Verified Separate Compilation of C Programs into Binary Object Files
[2020-11-17][11-18] 面向現代FPGA架構的邏輯綜合和工藝映射方法
[2020-11-10][11-10] 智能物聯網的研究挑戰與探索
[2020-10-22][10-21] 新型活體光學分子影像技術研發及臨床轉化
[2020-10-22][10-14] 地理信息系統
[2020-09-23][09-23] 貝葉斯深度學習理論、算法和編程庫
[2020-01-13][2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity
[2020-01-02][2020-01-03] On the complexity of Holant problems
[2019-12-26][2019-12-30] Uncertainty-wise Software Engineering
[2019-12-26][2019-12-26] Interaction with Large and Multiple Displays
[2019-12-20][12-20] Proving that Programs are Differentially Private" "Quantitative information flow: when is...
[2019-12-18][12-20] Smart Development of Mobile Apps with Deep Learning
[2019-12-18][12-19] 學術地圖的設計與實現

«123 4 5 »下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

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

久久久综合香蕉尹人综合网