• 软件所采用动态融合策略方法提高长期时间序列预测性能 2024-08-02
• 软件所分布式SMT求解器研究工作获CAV杰出论文奖 2024-07-25
• 软件所在实时系统不透明性的可判定问题取得理论进展 2024-07-24
• 软件所提出新方法实现GAN模型性能提升 2024-07-24
• 软件所王青、王俊杰、刘哲课题组获得ACM CHI最佳论文荣誉提名奖 2024-06-21
• 软件所提出两种提升元学习泛化性能的方法 2024-06-21
• 软件所提出自动检测机器翻译公平性的新方法 2024-06-20
• 国家重点研发计划项目“计算机数学核心理论、算法与软件”启动会顺利召开 2024-05-29
• 软件所受邀参加GB 18030《信息技术 中文编码字符集》应用推广大会 2024-05-21
• 软件所举办大模型技术与应用学术交流会 2024-05-07
• 软件所联合信工所举办可信人工智能研讨会 2024-04-30
• 软件所在形式化方法领域多个方向取得进展 2024-04-17
• 软件所在大模型少样本域适应方面取得进展 2024-04-11
• 软件所在硬件模型检测领域取得进展 2024-04-07
• 软件所受邀参加2024玄铁RISC-V生态大会 2024-03-20
• 《时空感知大数据与应急管理：模型、技术与应用》正式出版发行 2024-03-20
• 国家重点研发计划“面向数据中心的RISC-V基础软件生态技术研究”项目启动暨实施方案论证会在软件所召开 2024-03-19
• 《光学成像效果绘制》正式出版发行 2024-03-14
• 软件所在多智能体强化学习通信方面取得进展 2024-03-05
• 软件所在高精度光线追迹方面取得新进展 2024-01-29