Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen
Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen
批准号:
5348233
负责人:
Professor Dr. Juraj Hromkovic
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2002
资助国家:
德国
项目状态:
已结题
起止时间:
2001-12-31 至 2003-12-31
中文摘要
在未来的研究中:Ein Vergleich der Berechnungsstärke and der Beschreibungskomplexität von deterministischen, Las Vegas and allgemeinen probabilistischen and (selbst- verizizierenden) nichtdeterministischen Modellen。大北葛恩,魏德华,魏德华,等。2. 自然资源的随机分布与自然资源的随机分布与自然资源的随机分布。Wir wollen疾病资源也Komplexitätsmaße in trade - mit de Berechnungskomplexität betrachten。3. 中央区方法:中央区方法:中央区方法:中央区方法:中央区方法:中央区方法:中央区方法。在此基础上,对模型模型进行了分析,并对模型模型进行了分析。Die Entwicklung hinreichend mächtiger,这是一种新的分析方法,可以在地下进行分析。
英文摘要
Die Hauptrichtungen unserer Untersuchungen sind: Ein Vergleich der Berechnungsstärke und der Beschreibungskomplexität von deterministischen, Las Vegas und allgemeinen probabilistischen und (selbst-verifizierenden) nichtdeterministischen Modellen. Dabei gehen wir von einfachen zu komplexeren Modellen vor. 2. Die Anzahl der Zufallsbits und die Anzahl der nichtdeterministischen Entscheidungen sind wichtige Ressourcen randomisierter und nichtdeministischer Berechnungen. Wir wollen diese Ressourcen als Komplexitätsmaße im Trade-Off mit der Berechnungskomplexität betrachten. 3. Die zentrale Methode unserer Untersuchungen basiert auf der Anwendung der Kommunikationskomplexität. Unser Ansatz besteht in der Modellierung vorgegebener Maschinenmodelle durch Kommunikationsmodelle und einer anschließenden Analyse des jeweiligen Kommunikationsmodells. Die Entwicklung hinreichend mächtiger, aber noch analysierbarer Kommunikationsmodelle steht deshalb im Vordergrund.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Towards the specification of the class of tractable computing problems
-
批准号:5209054
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Juraj Hromkovic
-
依托单位:
国内基金
海外基金
登录
查看更多内容
酰基蛋白硫酯酶LYPLA2去棕榈酰化RAC1和ST6GALNAC5促进三阴性乳腺癌脑转移的分子机制研究
-
批准号:JCZRLH202600097
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
IL-33/ST2-Tregs-AREG轴调控缺血性卒中后神经血管单元修复的机制
-
批准号:2026JJ80586
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:郭立军
-
依托单位:
IL6ST/JAK2/STAT3抑制铁死亡介导HER2阳性乳腺癌吡咯替尼耐药机制研究
-
批准号:2026JJ70054
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:曾力耘
-
依托单位:
"BMP2/4--ST6GalNAc1/2"信号轴对猪肠道粘液层唾液酸化的调控作用及机制研究
-
批准号:2026JJ60375
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:李浩
-
依托单位:
人参五味子汤合玉屏风散调控miR-146a与IL-33/ST2信号通路干预CARAS模型小鼠ILC2s活化的研究
-
批准号:2026JJ81024
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:兰春
-
依托单位:
肺腺癌新标志物ST14对脑转移的调控作用与机制研究
-
批准号:2026JJ81294
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:梁任技
-
依托单位:
基于机器学习的多模态超声心动图数据联合临床特征预测中青年ST段抬高型心梗患者的预后研究
-
批准号:2026JJ82299
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:曾璀
-
依托单位:
浙东南地区耐甲氧西林金黄色葡萄球菌ST59克隆株流行现状及传播机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:黄林瑶
-
依托单位:
GPR17抑制IL-33/ST2调控髓鞘再生在血管性认知障碍中的作用和机制研究
-
批准号:JCZRQN202500691
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
仔猪腹泻大肠杆菌K88-987P-ST1-LTB四价融合抗原基因构建及免疫原性研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:佘玉罕
-
依托单位: