课题基金 / 基金详情

GSC 209: Saarbrücken Graduate School of Computer Science

GSC 209: Saarbrücken Graduate School of Computer Science
GSC 209:萨尔布吕肯计算机科学研究生院
批准号:
39071815
负责人:
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Graduate Schools
财政年份:
2007
资助国家:
德国
项目状态:
已结题
起止时间:
2006-12-31 至 2018-12-31

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
萨尔布尔<s:1>肯计算机科学研究生院将涵盖萨尔大学所有计算机科学博士工作。它的目标是提供高质量的科学教育,吸引高素质的学生,使研究生院始终跻身世界顶级计算机科学博士课程之列。除了大学计算机科学系外,马克斯普朗克信息学研究所、马克斯普朗克软件系统研究所和德国人工智能研究中心也积极参与研究生院的工作。这四所研究所彼此毗邻,位于萨尔布尔<e:1>肯的萨尔大学校园内,构成了欧洲最大的先进计算机科学研究中心之一。
英文摘要
The Saarbrücken Graduate School of Computer Science will encompass all computer science doctoral work at Saarland University. Its aim is to provide scientific education of such quality and to attract students of such caliber so that the graduate school will be consistently ranked among the top computer science PhD programmes in the world. Besides the university computer science department, the Max Planck Institute for Informatics, the Max Planck Institute for Software Systems and the German Research Center for Artificial Intelligence are actively involved in the graduate school. These four institutes, in close proximity to one another directly on the campus of Saarland University in Saarbrücken, comprise one of the largest centres of advanced computer science research in Europe.
期刊论文(76)
专著(0)
科研奖励(0)
会议论文
DOI: 10.1007/978-3-642-32717-9_8
发表时间: 2012-08
期刊:
影响因子: --
作者: [Christopher Schroers;H. Zimmer;Levi Valgaerts;Andrés Bruhn;Oliver Demetz;J. Weickert]
通讯作者: Christopher Schroers;H. Zimmer;Levi Valgaerts;Andrés Bruhn;Oliver Demetz;J. Weickert
Foldio: Digital Fabrication of Interactive and Shape-Changing Objects With Foldable Printed Electronics
Foldio:利用可折叠印刷电子产品数字化制造交互式和变形物体
DOI: 10.1145/2807442.2807494
发表时间: 2015
期刊: Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology
影响因子: --
作者: [Simon Olberding, Sergio Soto Ortega, Klaus Hildebrandt, Jürgen Steimle]
通讯作者: Jürgen Steimle
Counting Restricted Homomorphisms via Möbius Inversion over Matroid Lattices
通过拟阵格上的莫比乌斯反演计算受限同态
DOI: 10.4230/lipics.esa.2017.63
发表时间: 2017
期刊:
影响因子: --
作者: [Marc Roth]
通讯作者: Marc Roth
Robust and compositional verification of object capability patterns
对象能力模式的稳健和组合验证
DOI: 10.1145/3133913
发表时间: 2017
期刊: Proceedings of the ACM on Programming Languages
影响因子: --
作者: [David Swasey, Deepak Garg, Derek Dreyer]
通讯作者: Derek Dreyer
共 63 条
    国内基金
    海外基金
    乳酸介导CYP3A4/209乳酸化修饰抑制伏立康唑代谢的分子机制及精准用药模型构建
    • 批准号:
      82560736
    • 项目类别:
      地区科学基金项目
    • 资助金额:
      32.00万元
    • 批准年份:
      2025
    • 负责人:
      王欣瑜
    • 依托单位:
    CD209+巨噬细胞介导的血管瘤内皮细胞功能调控及机制研究
    乙烯响应因子ZmEREB209和ZmEREB147调控玉米籽粒脱水的分子机制
    • 批准号:
      32472228
    • 项目类别:
      面上项目
    • 资助金额:
      50.00万元
    • 批准年份:
      2024
    • 负责人:
      段留生
    • 依托单位:
    近滴线核^{209}Th的衰变性质研究
    • 批准号:
      12365016
    • 项目类别:
      地区科学基金项目
    • 资助金额:
      31万元
    • 批准年份:
      2023
    • 负责人:
      周厚兵
    • 依托单位: