Research
小组
研究员
出版物

研究小组

BioLabs

揭示基本表观遗传调控机制及其在细胞分化和衰老中的作用

HoTT 和依赖类型组

创建基于同调类型理论的依赖型语言

人工智能实验室

基础和应用人工智能研究

天文粒子物理学

将现代计算技术应用于天体粒子物理学中的数据分析

并发计算

开发、验证、测试和基准现代并发算法

智能协作工具实验室

研究 SE 及其他领域的协作流程,以实现下一代协作工具

神经发育与神经生理学组

神经组织发育及涉及的细胞过程的模拟建模

移动机器人算法实验室

为移动机器人开发自定位算法并解决 SLAM 问题

编程语言和工具实验室

支持编程语言和工具的基础研究

论文分析

基于深度学习的生物医学科学论文知识提取工具

软件工程中的机器学习方法

合并这两个领域的最佳实践,以创建新的方法来开发和改进代码

验证或程序分析实验室

应用软件开发中的正规方法,创建基于静态分析、验证和程序转换的工具

隐私和安全 | 使用条款 | 商标 | 法律信息 | 正版工具
© 2000-2022 JetBrains s.r.o. All rights reserved.Supported and developed by JetBrains