刷新
{{item.name}}会员
Probabilistische Algorithmen und Methoden in der Logik
逻辑中的概率算法和方法
基本信息
- 批准号：5378737
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：1997
- 资助国家：德国
- 起止时间：1996-12-31 至 2002-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. Uwe Schöning其他文献
Professor Dr. Uwe Schöning的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Uwe Schöning', 18)}}的其他基金
Stochastische Lokale Suche bei SAT-Solvern
SAT 求解器中的随机局部搜索
- 批准号：
206226417 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Priority Programmes
Basic investigations about aspects of entropy in algorithms and algorithmic processes
关于算法和算法过程中熵方面的基本研究
- 批准号：
5415839 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
Nicht-lineare Compressive Sensing Mehrnutzerdetektion: Algorithmen und Hardware-Architekturen
非线性压缩感知多用户检测：算法和硬件架构
- 批准号：
214171215 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants
Formale Modelle und Algorithmen zur syntaxbasierten maschinellen Übersetzung natürlicher Sprachen
基于语法的自然语言机器翻译的形式模型和算法
- 批准号：
198961575 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Data Mining Algorithmen, die mittels direkten Stichprobenziehungen aus dem Musterraum ein effktives und kontrolliertes Laufzeitverhalten aufweisen.
通过从样本空间直接采样来实现有效且受控的运行时行为的数据挖掘算法。
- 批准号：
191169928 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Entwicklung und Analyse effizienter Algorithmen zur ganzzahligen linearen Optimierung über Polyedern mit zugrunde liegender submodularer Struktur
开发和分析具有底层子模结构的多面体整数线性优化的有效算法
- 批准号：
179239248 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Entwurf und Implementierung von Algorithmen zur quasi-zeitkontinuierlichen digitalen Signalverarbeitung
准连续时间数字信号处理算法的设计与实现
- 批准号：
162797109 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Photorealistische Echtzeit-Retusche von bewegten Bekleidungsstücken - Algorithmen und Architektur
对移动服装进行逼真的实时修饰 - 算法和架构
- 批准号：
107191590 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Zeitreihen mit Strukturbrüchen - Resampling-Verfahren, sequentielle Detektions-Algorithmen und Anwendung für Hidden-Markov-Modelle
具有结构断裂的时间序列——重采样方法、顺序检测算法和隐马尔可夫模型的应用
- 批准号：
128593526 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Integrative Prozesskettenplanung und -auslegung umformtechnisch gefertigter Bauteile auf Basis genetischer Algorithmen
基于遗传算法的成形技术制造零部件的集成工艺链规划与设计
- 批准号：
78148775 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Approximative Algorithmen für zwei- und dreidimensionale Packungsprobleme und verwandte Schedulingprobleme
二维和三维包装问题及相关调度问题的近似算法
- 批准号：
68463026 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Diskrete Optimierungsmodelle und Algorithmen zur strategischen Planung von Transportnetzen im Einzelwagenverkehr
单车交通运输网络战略规划的离散优化模型和算法
- 批准号：
83248566 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants