A类
-
ACE-OPS公司 从自主到应急行动中的认知协助 -
数字世界中的青少年心理健康与发展 数字世界中的青少年心理健康与发展:从了解风险和恢复力到预防和 个性化数字干预 -
AI中心 爱尔兰根人工智能中心:智能的数学基础 -
人工智能在心力衰竭深层表型和靶点发现中的应用
B类
C类
-
CCOO公司 竞争性在线优化(CCOO)面临的挑战 -
CHAILD公司 CHAILD:人工智能时代的儿童机构:利用跨学科性 -
贞洁 贞洁-癌症、心脏和软组织环境 -
起重机 网络安全中的CRANE NetworkPlus
D类
-
DeQS公司 构建量子软件-DeQS
E类
-
埃尔莎 欧洲人工智能安全灯塔 -
运用分类概率实现安全人工智能 -
酶电子地图 现代化电化学酶学以映射电子转移(酶e-Map) -
EWADA公司 人工智能时代的道德网络和数据架构
F类
G公司
-
GCSCC公司 全球网络安全能力中心
N个
-
NAASP公司 可满足问题逼近性的新方法
哦
P(P)
-
巴黎-DE 可持续数字经济的设计原则和负责任的创新 -
下一代电网的物理层安全 -
证明复杂性和电路复杂性:一种统一的方法 -
协议、可观测性和会话类型
问
-
通过代数效应进行量子编程 基于代数效应的量子规划:量子规划与概率规划的交叉
R(右)
-
深概率人工智能的真实世界基准 -
关于控制的推理 -
ReCount—原型 -
责任技术研究所 -
RoaRQ公司 RoarQ——稳健可靠的量子计算 -
机器人提示系统 RoboTIPS:为数字经济开发负责任的机器人
S公司
-
SCULI公司 SCULI-确保聚合超大型基础设施的安全 -
安全融合协作数据和非协作数据 安全融合合作和非合作数据以实现海事领域感知 -
SMASH-HCM公司 -
ST-SML公司 时空统计机器学习(ST-SML):理论、方法和应用 -
星尘 可靠分布式系统的会话类型(STARDUST)
T型
-
塔尔迪斯 边缘系统可信且有弹性的分散智能(TaRDIS) -
基于人的建模和仿真的慢性心力衰竭目标安全性和疗效评价 -
自动计算机科学家 -
面向可信赖的AI代理以实现信息准确性 -
图灵AI奖学金 大型智能对撞机 -
图灵AI奖学金 下一代药物和食品的几何和拓扑ML
单位
-
英国火灾 英国火灾:将资源效率置于未来产业战略的核心
W公司
-
WOEST公司 WesCon–观察湍流的演变结构(WOEST)
已完成项目
A类
-
非确定性数据库理论 -
AA-安全 AA-SAFE:保护致动器免受电磁攻击 -
使用语义驱动技术加速癌症研究 -
ACE-OPS公司 ACE-OPS:从自主到紧急手术中的认知辅助 -
工业过程用声驱动传感器网络(AASN4IP) -
非线性弹性问题的自适应有限元计算 -
基于MRI的先进胎儿脑成像 -
异构多核程序设计的高级形式化验证技术 -
影响技术 情感健康个人技术 -
紧急场景中基于Agent的区域探索和事件检测 -
AirPROM(飞行可编程只读存储器) 通过患者特定计算模型预测气道疾病预后 -
ALGAME公司 算法、游戏、机制和无政府价格 -
用于知识获取的代数语义和协同语义 知识获取的代数和联合语义:基础、应用和工具支持 -
对齐的 对齐:以质量为中心的软件和数据工程 -
AMHDM公司 青少年、心理健康和心智发展 -
模拟 用于静态和流数据分析的数据日志扩展 -
网络价值与风险分析 -
评价和可满足性问题分析 评估和可满足性问题的结构和基于游戏的分析 -
应用程序控制 AppControl:通过基于类型的约束强制应用程序行为 -
应用TRE -
建筑师RAP 遗传性疾病患者HPC模拟的新风险分层生物标志物 -
可信实用程序计算的体系结构 -
ARiAT公司 ARiAT——算术理论中的高级推理 -
艺术形式 -
方面重构工具 -
面向方面的编程语言 面向方面编程语言的设计与实现 -
使用PRISM进行自动化定量软件验证 -
概率程序的自动验证 -
自动化量子电路转换 自动化量子电路转换以实现优化和容错 -
自主无处不在的感知
B类
-
贝叶斯优化 贝叶斯优化与Bandits -
双向转换 双向变换的最小变化理论 -
英国心脏基金会中级基础科学研究奖学金 肥厚型心肌病心源性猝死结构和电生理底物的硅单晶研究
C类
-
癌症生物信息学 癌症生物信息学数据标准和软件工程国际合作 -
取消网格 CancerGrid:开发临床癌症信息学开放标准的联盟 -
CESAR公司 安全相关嵌入式系统的低成本方法和过程 -
贞洁 Chaster:开发用于真实心脏模拟的软件 -
编排复杂服务 -
云内部威胁检测 内部威胁检测 -
同伴 -
CompBioMed公司 CompBiomed计算生物医学卓越研究中心 -
CompBioMed-X公司 Exascale的计算生物医学(CompBioMed-X) -
CompBioMed2公司 -
CompGame理论 博弈论经济建模的组合方法 -
噪声和近似情况下量子软件的编译与验证 -
值约束的复杂性 值约束的复杂性 -
计算计数 -
计算实体级情绪分析 -
计算机到临床:用于心力衰竭的个性化流体力学模型 -
计算机视觉 图像搜索和识别 -
ConCur公司 ConCur:知识库建设与管理 -
ConDOR公司 结果驱动的本体推理 -
连接-IP CONNECT-IP:永恒软件密集型网络系统的紧急连接器 -
约束网络可牵引性 约束网络可追踪性:超越结构和语言 -
配置约束满足:逻辑基础、算法和复杂性 -
施工现场跟踪 施工现场的敏捷资产监控 -
企业内部人威胁检测 企业内部人威胁检测:内外部网络安全 -
可分离函数的计数 -
CPROVER公司 跨抽象层并发软件的验证 -
CSP模型检查 CSP模型检验:新技术和新技术 -
网络视觉
D类
-
数据类型通用编程 -
数据库Onto DBOnto:桥接数据库和本体 -
深度学习 -
通过贝叶斯深度学习中的公共挑战民主化安全稳健的人工智能 -
DIADEM(直径) DIADEM:以领域为中心的智能自动数据提取方法 -
数字野火 -
离散域 -
分析心力衰竭机制 通过在定制的电子模型中整合体内和体外数据来分析心力衰竭机制 -
进化网络计算中的动态性和安全性
E类
-
电子基础设施用例和使用模型 eIUS:e-Infrastructure用例和服务使用模型 -
EAMDWMT公司 无资金转移机制设计的有效算法 -
ED3公司 支持对多种分布式数据源的分析 -
边缘CSP 边约束满足问题 -
固件的有效验证 -
具有复制组件的软件的有效验证 -
eHorizons公司 eHorizons项目 -
嵌入电子科学应用程序 嵌入e-Science应用程序-可用性设计和管理 -
紧急情况应对人员 为应急响应人员提供普遍、准确和可靠的定位服务 -
再来一个 确保同意和撤销 -
ENF名称 ENFrame:概率数据的编程框架 -
量子计算中的纠缠 量子计算中纠缠的抽象方法 -
EPSRC无人机自主 工程验证多无人机的新型基础结构 -
ERC AdG WhiteMech公司 白盒自编程机制 -
真心脏 euHeart:整合心血管模型改善矽肺疾病管理 -
欧罗巴 欧洲机器人步行助理 -
欧盟统计局 评估临时协作环境的可用性、安全性和可信度 -
不断发展的健康信息学 不断发展的健康信息学:语义框架和元数据驱动的体系结构 -
支出官方发展援助 ExODA:集成描述逻辑和数据库技术以实现基于表达本体的数据访问 -
ExtraLytics公司 ExtraLytics:房地产大数据分析
F类
-
FDB公司 FDB:分解数据库 -
财务总监 -
Fly2计划 Fly2Plan:实现新型航空数据系统对系统 -
FoSH-智能家居的未来 通过设计和默认方式告知智能家居中数据保护的未来 -
构成意义的基本结构 -
量子信息学的基础结构和方法 -
值得信赖的人工智能基础 值得信赖的人工智能基础——集成推理、学习和优化 -
福克斯 FOX:XML的基础——通过互联网安全处理动态数据 -
弗雷斯内尔 联邦安全传感器网络实验室 -
从深度学习中的不确定性到数据高效人工智能 -
FRRIICT公司 信通技术负责任研究与创新框架 -
未来家庭网络和服务 -
未来ICT 为可持续的未来释放信息的力量
G公司
-
并发、对象和移动性的游戏语义 面向并发、对象和移动性的游戏语义 -
游戏 游戏:用于设计和验证的游戏 -
仪表 -
用于抽象精化的泛化算子 -
生成形式模板和关系数据库 -
通用和索引编程 -
医学信息学通用基础设施 GIMI:医学信息学通用基础设施 -
伟大的 负责创新的治理 -
约束满足问题的Groebner基技术
H(H)
-
HARPS(HARPS) 存在:公共空间中的人类和机器人 -
HermiT公司 HermiT:大本体推理 -
高阶约束Horn子句 高阶约束Horn子句:一种验证高阶程序的新方法 -
高阶约束Horn子句 高阶约束Horn子句:一种验证高阶程序的新方法 -
HiPerDNO公司 智能配电网运行的高性能计算技术 -
未来医院 未来医院:数字化医院中的集成患者管理 -
热点2017 2017年HOTSPOT研讨会 -
心肌梗死后的人体电子临床试验 心肌梗死后的人体电子临床试验:表型机电的机制研究 变异性和对治疗的反应
我
-
网络空间中的身份安全 -
图像分割 基于流域和瀑布的层次分割 -
室内位置 轻便耐用的室内定位 -
工业物联网安全 工业物联网的网络安全 -
信息流:安全的基础和应用 -
信息隐藏 -
信息安全 信息安全 -
集成移动安全工具包 -
集成生物模拟 -
心脏细胞中离子和质子传输的集成三维建模 -
综合生物学 -
互联网科学 互联网科学卓越网 -
ISBP公司 信息安全最佳实践
K(K)
L(左)
-
津巴布韦LabHackathon 提高研发能力的道德黑客马拉松 -
勒曼 MANifolds和图的深度学习 -
LINT(林特) 交互逻辑与信息流 -
日志映射 LogMap:基于逻辑的本体映射方法 -
标志 本体逻辑(EPSRC高级研究奖学金) -
肺部成像
M(M)
-
多人安全 多安全路由器和网关安全物联网 -
MaSI3公司 大规模可扩展的智能信息基础架构 -
五月BMS MayBMS:不确定和概率数据的数据库管理系统 -
电动机控制中心 绘制计数的复杂性 -
缺血性心律失常发生和除颤的机制 急性心肌缺血心律失常发生与除颤的综合计算与实验研究 -
元计算 元计算中心 -
MetaVis公司 用于数字内幕威胁检测的METAVIS生物和人造环境视觉隐喻的研究与开发 系统 -
千足虫 肾癌成像决策支持系统 -
Minderoo公司 Minderoo牛津人工智能治理挑战基金 -
野生动物监测的移动和传感器节点 WILDSENSING:用于野生动物监测的移动节点和传感器节点的混合框架 -
移动机器人 移动自主计划拨款:安全、信任和诚信 -
模型检验偏序状态空间 模型检验偏序状态空间的抽象发现与精化 -
资源受限的定时系统模型检验:算法和复杂性 -
基于模型的嵌入式系统测试生成 基于模型的可靠嵌入式系统测试生成 -
定时系统的模型检查 时间系统的模型检验算法 -
模型驱动的软件开发 助推器:模型驱动的软件开发 -
心肌兴奋性控制中细胞心-神经轴的建模 -
有保证的上下文敏感访问控制模型和技术 -
分子建模 计算化学中有效功能评价的策略 -
莫雷洛-HAT Morello-HAT:Morello高级API和工具 -
我信任的云
N个
-
NC3Rs基础设施影响力奖 基于人机交互的药物安全性和疗效评价方法 -
网络安全 -
NeuroGrid公司 -
安全性和模型检查的新方法 -
非标准身份验证 非标准身份验证的基础 -
无干扰和隐蔽信道分析 -
有向图和超图的宽度概念 有向图和超图的宽度概念:基础和应用 -
NQITRRI公司 网络化量子IT的负责任研究与创新
哦
-
可分离函数的优化 -
Optique公司 Optique:终端用户对大数据的可扩展访问 -
轨道 -
牛津电子社会科学 牛津电子社会科学项目:网格化电子科学的伦理、法律和制度动态 -
牛津医学信息系统 牛津医学图像分割
P(P)
-
用PINTS参数化生物模型 -
生物医学文本的解析 生物医学文本的准确高效分析 -
产品开发质量 校对驱动查询 -
肺循环中的灌注控制机制 通过计算模型研究肺循环中的灌注控制机制 -
个性化AF 个性化AF-心房颤动的个性化治疗。 翻译方法 -
社交网络上的个性化搜索 -
物理攻击遏制 -
照片 个性化硅胶心脏病学 -
平克特 验证网络软件中的更改和升级 -
点云分析 -
PowAlgDO公司 离散优化中算法的威力 -
PRACE项目访问 在跳动的缺血人类心脏的电子药物试验中 -
预诊断CT 药物心脏毒性的计算预测 -
可预测的软件系统 -
预处理MPS 面向社会语义Web个性化搜索的偏好挖掘 -
编程语言的原理基础 -
棱镜 PRISMATIC:统一层次概率验证工具 -
基于本体的信息系统中的隐私 -
隐私价值网络 -
概率图模型 -
Web上的概率语义查询应答 -
PRODIMA公司 PRODIMA:概率数据和信息与产地管理的集成 -
产品质量保证 PrOQAW:Web上的概率本体查询答案 -
下推自动机与游戏语义
问
-
QICS公司 量子信息和计算的基础结构 -
QISS公司 时空的量子信息结构 -
基于定量逻辑的游戏 基于逻辑的博弈中定性推理与定量推理的结合 -
定量系统毒理学 定量系统毒理学:心脏收缩力的建模和模拟-计算的开发和验证 替代Langendorff离体心脏实验的工具 -
定量验证:从模型检验到模型测量 -
量子信息及其对IT的影响 量子信息的结构及其对信息技术的影响 -
查询 表达式本体语言的查询重写 -
基于Web数据源的查询驱动数据采集 -
昆顿 QUINTON-QUerying和INTegrating Over Nested数据
R(右)
-
比赛 关于计算经济的推理 -
栏杆 (负责长期可信自治系统的人工智能) -
RAISON数据 RAISON DATA-基于规则的人工智能系统,用于海量数据推理 -
保护技术快速原型实验室 -
RealPDB(实际PDB) 大规模概率数据库的真实数据模型和查询编译 -
ReEnTrust公司 ReEnTrust:重建和增强算法信任 -
优化友好双图 -
强化学习 顺序决策和强化学习 -
卷筒 表达本体语言的推理 -
请购单 REQUIEM:基于分辨率的表达式模型查询重写 -
研究软件工程以促进知识转移 案例研究。 提供研究软件工程以促进知识转移:需求分析和测试用例 -
责任 国际负责任研究和创新协调全球模型和观察站 -
ResQCCom公司 负责任的量子计算通信 -
ReTiPS(ReTiPS) 私人空间中的尊重 -
可重用性和依赖类型 -
RicherPicture公司 通过业务和基于威胁的机器学习实现自动化网络防御 -
RInO公司 本体和实例的推理基础设施 -
RoAD公司 RoAD(负责AV数据) -
机器人世界杯足球锦标赛 RoboCup国际机器人大赛 -
机器人足球 牛津大学机器人足球队参加RoboCup -
机器人搜索和救援
S公司
-
南非国家外汇管理局 短文答案的支持性自动反馈 -
土星 弹性网络下的自组织自适应技术 -
用于数据集成和交换的架构映射和自动化服务 -
SCorCH公司 SCorCH:功能硬件的安全代码 -
分数! 分数! :具有不完全本体推理器的可扩展完全推理 -
海豹 SEALS:大规模语义评估 -
通过设计实现安全联网 -
安全Web服务 安全可靠的Web服务 -
电动汽车充电基础设施的安全 -
卫星通信链路的安全 -
Ad Hoc网络的安全协议 -
语义框架 电子政务的语义框架 -
传感、无人、自动空中车辆 -
西门子模糊处理项目 使用模糊处理的知识产权保护 -
信号强度因子 面向服务的互操作性框架 -
智能社会 智能社会:混合和多样性意识的集体适应系统:人们与机器相遇,构建更智能的社会 -
SNbD公司 设计安全网络(SNbD) -
社会主义 社会主义:社会机器的理论与实践 -
SOFA公司 面向服务的联合授权 -
索特里亚 Soteria-展示Morello系统在电子商务垂直工业领域的安全能力 -
自发安全 值得信赖的数字系统 -
弹簧撑杆 概率数据库中的可伸缩查询处理 -
物理与计算机科学界面上的结构 -
超级身份 -
电子科学应用的交换光路 电子科学应用中开关光路的开发 -
协同作用–COPD 系统医学建模与仿真环境(慢性阻塞性肺病(COPD)用例)
T型
-
TCLOUDS公司 值得信赖的云-互联网关键基础设施的隐私和弹性 -
TEASE公司 信任增强了对信息环境的可靠性支持 -
心脏电生理网络实验室 -
通向新量子形式主义的道路 通向新量子形式主义的道路——类别作为量子基础的画布 -
数学的社会机器 -
EACM时间 TIME-EACM:交通信息监控环境-事件架构和上下文管理 -
走向随机系统的综合验证 -
走向可解释的人工智能-值得信赖的超级分辨率(OpenSR) -
TrackSafe(轨道安全) TrackSafe:轨道工人安全 -
基于传感器的无限状态验证方法 基于通用传感器的无限系统建模和验证方法 -
将生化模型转化为诊所的核心 -
TransQST公司 转化定量系统毒理学 -
信任域 -
SPKI/SDSI的信任度量 -
分布式虚拟组织的可信日志记录 -
肿瘤 跨大西洋TUmour MOdel存储库
单位
-
普适计算 为普适计算打造一个国际大挑战社区 -
优比瓦尔 UbiVal:验证普适计算应用程序和基础设施的基本方法 -
ULICE公司 ULICE:欧洲光离子中心联盟 -
UnBias(取消偏见) UnBias:解放用户反对算法偏见,打造可信的数字经济 -
从感知到决策的不确定性传播 -
UnderTracker(欠跟踪) 地下动物三维跟踪与绘图 -
泛型编程的统一理论 -
统一对象理论
V(V)
-
疫苗数据管理 -
VADA公司 VADA:增值数据系统——原理和体系结构 -
共享内存并发软件的验证 -
多核/SoC体系结构的验证通信协议 -
验证ML语言家族的属性 -
VERIPACE公司 VERIPACE:心脏起搏器软件的设计、分析和合成工具 -
VERIWARE软件 VERIWARE:从软件验证到所有软件验证 -
VPH编号 卓越的虚拟生理人类网络 -
VRE公司 用于研究文档和手稿的虚拟研究环境。 -
VSL-Q公司 大量子系统验证模拟(VSL-Q)