课题基金 / 基金详情

Concurrent Data Access: Spatial and Temporal Reference Management

Concurrent Data Access: Spatial and Temporal Reference Management
并发数据访问：空间和时间参考管理
批准号：
2282414
负责人：
金额：
$0.0万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2019
资助国家：
英国
项目状态：
已结题
起止时间：
2019 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-2282414
关键词：
ConcurrentDataAccessSpatialTemporal

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
I will explore a corpus of problems to establish case studies, studying the programming patterns that are ofinterest for the questions I've posed. These will motivate designing new semantics and extensions to thetype system, formalising them and proving the normal goals of well-formedness and soundness. Revisiting thecase studies with the new extensions will evaluate the success of the solution, with which the design will beiteratively fine tuned.Research area: programming languages
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    40万元
  • 批准年份：
    2020
  • 负责人：
    Vikrant Gupta
  • 依托单位：
    南方科技大学
基于Linked Open Data的Web服务语义互操作关键技术
  • 批准号：
    61373035
  • 项目类别：
    面上项目
  • 资助金额：
    77.0万元
  • 批准年份：
    2013
  • 负责人：
    冯志勇
  • 依托单位：
    天津大学