球友会qy

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

科研进展

[2023-04-12]球友会qy与山东大学联合举办第29届国际快速软件加密会议
[2023-04-04]球友会qy受邀参加共促数字空间智能航天卫星大脑新基建工程建设研讨会
[2023-04-03]国家重点研发计划“高延展性可证明安全共识算法及系统设计理论与方法”项目启动暨实施方案咨询会顺利召开
[2023-04-03]球友会qyRISC-V开源成果被Mozilla开源社区接收
[2023-03-31]球友会qy受邀出席首届 “玄铁RISC-V生态大会”
[2023-03-14]球友会qy在机器学习公平性方面取得进展
[2023-03-13]球友会qy博士生提出一种图神经网络模型实现 MaxSAT问题求解优化
[2023-02-27]球友会qy在小样本目标检测方面取得进展
[2023-02-14]球友会qy在OpenHarmony日志系统研发方面取得进展
[2023-02-09]球友会qy在图表示学习因果性提升方面取得进展
[2023-02-08]球友会qy在移动应用质量保障方面取得进展
[2023-02-07]球友会qy在跨粒度小样本学习方面取得突破
[2023-02-06]球友会qy在开源软件合规性分析方面取得进展
[2023-01-19]国家重点研发计划“激光材料及器件在线测试与自动化设计技术”项目启动暨实施方案论证会在北京召开
[2023-01-10]球友会qy在数据库系统的正确性保障方面取得进展
[2022-12-20]“群智杯”国际集群智能算法挑战赛启动仪式成功举行
[2022-12-05]球友会qy顺利完成中老重大虫媒传染病智能化监测预警平台现场部署
[2022-11-21]首个人机交互情感计算国际标准正式发布
[2022-11-14]球友会qy提出处理器缓存数据预取新方法
[2022-11-02]球友会qy成功举办第20届自动验证与分析技术国际会议（ATVA 2022）
[2022-10-06]球友会qy智能软件研究中心员工吴伟当选LLVM基金会理事会
[2022-09-20]中科院球友会qy量子计算编程软件isQ正式开源
[2022-09-19]球友会qy赴老挝部署中老重大虫媒传染病智能化监测预警平台
[2022-09-02]喜讯：李勇博士学位论文入选2022年度中国科研实验室优秀博士学位论文
[2022-08-31]从SAT到SMT——逻辑约束求解研究获新突破

«1 2 345 »下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