球友会qy

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

学术报告

[2026-03-20][03-24］KLSS Workshop on Automated Formal Verification
[2026-03-17][03-19］高效时序预测：从数值模式到文本语义
[2026-03-12][03-13］Mission Planning and Scheduling for Agile Earth Observation Satellites:Challenges and Opt...
[2026-03-09][03-10］地缘环境系统演变机制与风险预警
[2026-03-04][03-05］多架构建模语言研发与航天领域应用
[2026-02-25][02-27］Stateful Differential Operators for Incremental Computing
[2025-12-05]［12-8］大模型的社会科学--领域结构的识别与分析
[2025-11-25]［11-27］超越“工具理性”：大语言模型如何重塑我们应对疫情复杂性的管理决策新范式
[2025-11-11]［11-12］多模态黎曼几何学习关键技术
[2025-11-07]【11-10】SKLCS Seminar on "Local Search for Clustering in Almost-linear Time"
[2025-10-28]［10-28］低轨大规模星座组网与运行控制关键技术
[2025-08-28]【09-09】Workshop on SAT/SMT and Model Checking
[2025-08-08]【08-08】市政环卫服务机器人研发与产业运营实践
[2025-08-07]【08-08】基于元模型生成场景自适应智能制造操作系统
[2025-07-23]【07-25】KLSS Seminar on “How to Build AI Agent, How to Build Agen1c AI, and How ...
[2025-07-15]【07-16】大模型后训练之策略优化方法研究
[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

12 »

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