Towards Computability of Higher Type Continuous Data

机译：迈向更高类型连续数据的可计算性

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper extends the logical approach to computable analysis via Σ-definability to higher type continuous data such as functionals and operators. We employ definability theory to introduce computability of functionals from arbitrary domain to the real numbers. We show how this concept works in particular cases.

机译：本文通过Σ可定义性将逻辑方法扩展到可计算分析，扩展到功能和运算符等更高类型的连续数据。我们使用可定义性理论将功能的可计算性从任意域引入到实数。我们将说明此概念在特定情况下的工作原理。

著录项

来源
《Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL)》|2005年|P.235-241|共7页
会议地点 Amsterdam(NL)
作者
Margarita Korovina; Oleg Kudinov;
展开▼
作者单位

Lehrgebiet Theoretische Informatik I, Berechenbarkeit und Logik, Fachbereich Informatik, FernUniversitaet in Hagen, Informatikzentrum, 58084 Hagen, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Special Issue Joint Workshop Domains VIII - Computability over Continuous Data Types, Novosibirsk, September 11-15, 2007 Preface [J] . Yuri L. Ershov, Klaus Keimel, Andrei Morozov Annals of Pure and Applied Logic . 2009,第3期

机译：特刊联合研讨会第VIII领域-连续数据类型的可计算性，新西伯利亚，2007年9月11日至15日，序言
2. F l u χ: a quality-driven dataflow model for data intensive computing [J] . Sérgio Esteves, Jo?o Nuno Silva, Luís Veiga Journal of internet services and applications . 2013,第1期

机译： F l u χ：用于数据密集型计算的质量驱动的数据流模型
3. Distributed computing strategies for processing of FT-ICR MS imaging datasets for continuous mode data visualization [J] . Smith Donald F., Schulz Carl, Konijnenburg Marco, Analytical and bioanalytical chemistry . 2015,第8期

机译：分布式计算策略用于处理FT-ICR MS成像数据集以实现连续模式数据可视化
4. Towards Computability of Higher Type Continuous Data [C] . Margarita Korovina, Oleg Kudinov Conference on Computability in Europe . 2005

机译：朝着更高类型连续数据的计算
5. Evaluating Hypoglycemic Risk of Two Basal Insulin Delivery Methods for Type 1 Diabetes: A Comparison of Tresiba Insulin Against Continuous Subcutaneous Insulin Infusion Using Data from Continuous Glucose Monitors [D] . Lane, Benjamin. 2020

机译：评估1型糖尿病两种基础胰岛素递送方法的低血糖风险：使用来自连续葡萄糖监测器的数据进行TRESIBA胰岛素对连续皮下胰岛素输注的比较
6. Continuous-variable quantum computing on encrypted data [O] . Kevin Marshall, Christian S. Jacobsen, Clemens Schäfermeier, -1

机译：加密数据的连续变量量子计算
7. Computing pure Bayesian-Nash equilibria in games with finite actions and continuous types [O] . Rabinovich Zinovi, Naroditskiy Victor, Gerding Enrico H., 2013

机译：在具有有限动作和连续类型的游戏中计算纯贝叶斯-纳什均衡
8. THE ANALYSIS AND DESIGN OF CONTINUOUS ANDnSAMPLED-DATA FEEDBACK CONTROL SYSTEMS WITH ASATURATION TYPE NONLINEARITY [R] . Stanley Francis Schmidt 1959

机译：具有饱和型非线性的连续和数据反馈控制系统的分析与设计

Towards Computability of Higher Type Continuous Data

摘要

著录项

相似文献

相关主题

期刊订阅