球友会qy

中国科研实验室软件研究所

学术报告

[2025-06-18]【06-18】人工智能前沿：通用视觉智能与世界模拟
[2025-06-13]【06-13】面向具身智能的三维内容生成：从物体到场景的生成路径
[2025-06-10]【06-10】老问题的新方法：人工智能与复杂系统建模和程序静态分析
[2025-06-09]【06-09】KLSS Seminar on “Interval Impulsive Observers: A Framework for Robust Estimation with A...
[2025-05-26]【05-28】Deductive Safety Verification of Continuous and Cyber-Physical System:The Problem of Che...
[2025-05-21]【05-21】预训练模型视觉提示学习方法研究
[2025-04-27]【04-28】水下无人航行器自主巡航任务中的技术挑战和自主计算方法
[2025-04-25]【04-27】From Informal to Formal–Incorporating and Evaluating LLMs on Natural Language Requireme...
[2025-04-15]【04-16】Certified Verification of Cryptographic Primitive Programs
[2025-03-26][2025-03-31]中国传统文化与人工智能的时代碰撞
[2025-03-13]天基综合信息系统全国重点实验室2025年度鲁班论坛第3期
基于数据流的漏洞挖掘新进展
[2025-02-27]天基综合信息系统全国重点实验室2025年度鲁班论坛第2期
大模型机理分析-- In-context learning和数据合成
[2025-02-10][2025-02-11] MIMOS: the Asynchronous Paradigm andTools for Safety-Critical Software Design (&Up...
[2023-12-29][2024-01-05]一生一芯”计划——设计人生中的第一颗处理器芯片
[2023-12-29][2024-01-04]Protect Code Datasets against Unauthorized Training Usage with Imperceptible Watermark
[2023-12-25][12-29]AIA：AI辅助算法设计的若干尝试
[2023-12-11][12-11] An FPRAS for two terminal reliability in directed acyclic graphs
[2023-11-01][11-02]概率递归关系尾概率的自动化分析
[2023-10-17][10-23]Linear Hybrid Systems are Hard: The Case of Linear Complementarity Systems and The Quest F...
[2023-09-18][09-20] From Vision to Text: Data-driven Automated Bug Replay
[2023-06-08][06-12]Model-based Analysis from Traditional to Intelligent Software
[2023-05-17][05-26]Verification-in-the-loop: A Safe Reinforcement Learning Framework
[2023-05-10][05-10]移动应用质量保障关键技术研究
[2023-05-10][05-17]ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration
[2023-05-04][05-08]SKLCS Seminar on “ 模糊测试的种子输入生成技术”

12 3 4 5 »下5页

Copyright © Institute of Software, CAS. All rights reserved.info(at)leqiqqyp.com
版权所有 © 中国科研实验室软件研究所　京ICP备05046678号-1　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@leqiqqyp.com