Reduction and Learning Techniques for omega-Automata
欧米伽自动机的归约和学习技术
基本信息
- 批准号:442233282
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:
- 资助国家:德国
- 起止时间:
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
The aim of this project is to study reduction and learning techniques for automata on infinite words (omega-automata). One central aspect is the development of algorithms for constructing omega-automata from finite sets of example words. This is a subject that has already been studied intensively for automata finite words but there are almost no results for infinite words. Furthermore, we want to advance the theory of query learning algorithms for omega-automata. Concerning reduction of omega-automata, we are interested in efficient heuristics for reducing the size of deterministic omega-automata (during determinization and directly on given deterministic automata), but we also want to study aspects of exact minimization, which is much more involved than for deterministic automata on finite words.
这个项目的目的是研究无限单词自动机(omega-Automata)的约简和学习技术。其中一个核心方面是开发用于从有限的例词集合构建omega自动机的算法。对于自动机有限词,这是一个已经被深入研究的课题,但对于无限词,几乎没有结果。此外,我们还希望提出欧米伽自动机的查询学习算法的理论。关于omega-自动机的约简,我们感兴趣的是减少确定性omega-自动机(在确定性过程中和直接在给定的确定性自动机上)规模的有效启发式算法,但我们也想研究精确最小化的方面,这比有限词上的确定性自动机要复杂得多。
项目成果
期刊论文数量(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 }}
Privatdozent Dr. Christof Löding其他文献
Privatdozent Dr. Christof Löding的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Privatdozent Dr. Christof Löding', 18)}}的其他基金
Synthesis of transducers from automaton definable specifications
根据自动机可定义规格合成传感器
- 批准号:
287809235 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Research Grants
Automatentheoretische Verifikationsprobleme mit Ressourcenschranken
具有资源障碍的自动机理论验证问题
- 批准号:
213443580 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
相似国自然基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:合作创新研究团队
Understanding structural evolution of galaxies with machine learning
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
煤矿安全人机混合群智感知任务的约束动态多目标Q-learning进化分配
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于领弹失效考量的智能弹药编队短时在线Q-learning协同控制机理
- 批准号:62003314
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
集成上下文张量分解的e-learning资源推荐方法研究
- 批准号:61902016
- 批准年份:2019
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
具有时序迁移能力的Spiking-Transfer learning (脉冲-迁移学习)方法研究
- 批准号:61806040
- 批准年份:2018
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
基于Deep-learning的三江源区冰川监测动态识别技术研究
- 批准号:51769027
- 批准年份:2017
- 资助金额:38.0 万元
- 项目类别:地区科学基金项目
具有时序处理能力的Spiking-Deep Learning(脉冲深度学习)方法研究
- 批准号:61573081
- 批准年份:2015
- 资助金额:64.0 万元
- 项目类别:面上项目
基于有向超图的大型个性化e-learning学习过程模型的自动生成与优化
- 批准号:61572533
- 批准年份:2015
- 资助金额:66.0 万元
- 项目类别:面上项目
E-Learning中学习者情感补偿方法的研究
- 批准号:61402392
- 批准年份:2014
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Postdoctoral Fellowship: OPP-PRF: Leveraging Community Structure Data and Machine Learning Techniques to Improve Microbial Functional Diversity in an Arctic Ocean Ecosystem Model
博士后奖学金:OPP-PRF:利用群落结构数据和机器学习技术改善北冰洋生态系统模型中的微生物功能多样性
- 批准号:
2317681 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Automated analysis of volcano imagery with machine learning techniques
利用机器学习技术自动分析火山图像
- 批准号:
2908452 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Studentship
Optimization of Power Electronics using Artificial Intelligence and Machine Learning Techniques
使用人工智能和机器学习技术优化电力电子
- 批准号:
2890188 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Studentship
CAREER: Learning-Based Hardware and Software Techniques for Quality-of-Service-Aware Cloud Microservices
职业:基于学习的硬件和软件技术,用于服务质量感知的云微服务
- 批准号:
2326182 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Continuing Grant
Knockoff Feature Selection Techniques for Robust Inference in Supervised and Unsupervised Learning
监督和无监督学习中鲁棒推理的仿冒特征选择技术
- 批准号:
2310955 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
Enhancing water Cherenkov detector technology with machine learning techniques applied at a test beam experiment
通过在测试光束实验中应用机器学习技术来增强水切伦科夫探测器技术
- 批准号:
EP/X027368/1 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Fellowship
CAREER: Data-driven design of graphene oxide for environmental applications enabled by natural language processing and machine learning techniques
职业:通过自然语言处理和机器学习技术实现氧化石墨烯环境应用的数据驱动设计
- 批准号:
2238415 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Continuing Grant
Learning to Explain. Using Verification Techniques to Explain Neural Networks
学习解释。
- 批准号:
2872621 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Studentship
Machine Learning and Radiomics Techniques for Analysis of Daily MRI in Glioblastoma Patients
用于分析胶质母细胞瘤患者日常 MRI 的机器学习和放射组学技术
- 批准号:
10751672 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Assessment of motor functions and facilitation of motor learning by mixed reality techniques
通过混合现实技术评估运动功能并促进运动学习
- 批准号:
23K10741 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)