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