刷新
{{item.name}}会员
Heuristische Suche und Anwendung auf die Protokollvalidation
启发式搜索及其在协议验证中的应用
基本信息
- 批准号：5280794
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：1996
- 资助国家：德国
- 起止时间：1995-12-31 至 2001-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Professor Dr. Thomas Ottmann其他文献
Professor Dr. Thomas Ottmann的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Thomas Ottmann', 18)}}的其他基金
Algorithmische Aspekte der Packet Routing im Internet
互联网上数据包路由的算法方面
- 批准号：
16236596 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Priority Programmes
Annotation als Mittel zur Unterstützung synchroner und asynchroner Lehr-/Lernszenarien
注释作为支持同步和异步教学/学习场景的手段
- 批准号：
5402859 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Priority Programmes
Erzeugen multimedialer Dokumente on the fly
即时生成多媒体文档
- 批准号：
5378553 - 财政年份：1997
- 资助金额：
-- - 项目类别：
Priority Programmes
Algorithmen und Datenstrukturen für ausgewählte diskrete Probleme
用于选定离散问题的算法和数据结构
- 批准号：
5301272 - 财政年份：1992
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
Suche nach Physik jenseits des Standardmodells der Teilchenphysik mit dem CMS Experiment am LHC und Machbarkeitsstudien für zukünftige Teilchenbeschleuniger
通过大型强子对撞机的 CMS 实验和未来粒子加速器的可行性研究，探索粒子物理标准模型之外的物理现象
- 批准号：
441532750 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Heisenberg Grants
Adaption der Berufsaspiration bei Jugendlichen - Wirkung sozialer Herkunft sowie Opportunitäts- und Marktstrukturen: Anpassungsprozesse von Jugendlichen bei der Suche nach einem Ausbildungsberuf
年轻人职业理想的适应——社会背景以及机会和市场结构的影响：年轻人寻找培训职业时的适应过程
- 批准号：
192118873 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Suche nach neuartigen pilzlichen Prenyltransferasen der DMATS-Superfamilie durch funktionelle Genomik und zielgerichtete Mutagenese
通过功能基因组学和定点诱变寻找 DMATS 超家族的新型真菌异戊二烯基转移酶
- 批准号：
191073366 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Direkte Suche nach Dunkler Materie mit dem XENON100-Experiment und ultrareines Xenon
通过 XENON100 实验和超纯氙直接寻找暗物质
- 批准号：
193167445 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
MedioVis: Entwicklung eines visuellen Browsers zur gezielten und freien Suche in digitalen Bibliotheken und Datenbeständen mit hoher Gebrauchstauglichkeit
MedioVis：开发可视化浏览器，用于数字图书馆和数据集中有针对性的免费搜索，具有高可用性
- 批准号：
80117685 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research data and software (Scientific Library Services and Information Systems)
Suche nach Supersymmetrie und schweren Higgs-Bosonen in Zerfällen mit Tau-Leptonen
寻找 tau 轻子衰变中的超对称性和重希格斯玻色子
- 批准号：
56481191 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Independent Junior Research Groups
Die Suche nach Magmakammern unter Stratovulkanen der zentralen Anden (N. Chile) mit petrologischen, geochemischen und geophysikalischen Methoden.
使用岩石学、地球化学和地球物理方法寻找安第斯山脉中部（智利北部）成层火山下方的岩浆房。
- 批准号：
32868947 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Effiziente Suche in sehr großen Textmengen, Datenbanken und Ontologien
在大量文本、数据库和本体中进行高效搜索
- 批准号：
47940109 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Priority Programmes
Effiziente Suche in unsicheren und unscharfen Daten mittels Indexstrukturen für Wahrscheinlichkeitsverteilungsfunktionen
使用概率分布函数的索引结构有效搜索不确定和模糊数据
- 批准号：
60188484 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Expedition nach Spitzbergen zur Suche und Bergung von tertiären Hölzern sowie Transport nach Deutschland
前往斯匹次卑尔根岛搜寻和打捞三次木材并将其运往德国
- 批准号：
33156035 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants