SHF:Small:Arithmetic Algorithms and Applications of Hereditarily Binary Numbers
SHF:小:遗传二进制数的算术算法和应用
基本信息
- 批准号:1423324
- 负责人:
- 金额:$ 25.32万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2014
- 资助国家:美国
- 起止时间:2014-09-01 至 2019-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Number representations have evolved from the unary representation where one scratch on the wall represented a unit, to the base-n number system, with the remarkable benefit of a logarithmic representation size. Over the last 1000 years, this representation has proved to be unusually resilient, partly because all practical computations could be performed with reasonable efficiency within the notation. Still, one might ask if radically different numbering systems can offer similar services. And one step further one might want to ask if there are number systems that can accommodate significantly larger numbers while still providing comparably efficient computations with the familiar ones. This project has several practical uses involving efficient computations with very large numbers which is important for fields like number theory and cryptography.The project studies algorithms working with such a numbering system: hereditarily binary numbers. It involves computing with trees obtained by recursively compressing sequences of zeros and ones occurring in the binary representation of a number. With them, computations with giant numbers, including towers of exponents and all record holding prime numbers become tractable. The project includes work on compact representation and computation with sets and boolean logic, study of connections to a family of combinatorial objects, advanced number-theoretical algorithms as well as an open source software library implementing computations with hereditarily binary numbers and their applications.
数字表示法已经从一元表示法发展到以n为底的数字系统,其中一个划痕在墙上代表一个单位,具有对数表示大小的显着好处。在过去的1000年里,这种表示法被证明是非常有弹性的,部分原因是所有的实际计算都可以在这种表示法中以合理的效率进行。尽管如此,人们可能会问,完全不同的编号系统是否可以提供类似的服务。更进一步,人们可能会问,是否有数字系统可以容纳更大的数字,同时仍然提供与熟悉的数字相同的高效计算。这个项目有几个实际用途,涉及非常大的数字的有效计算,这对数论和密码学等领域很重要。该项目研究与这样的编号系统:遗传二进制数工作的算法。它涉及到计算与树通过递归压缩序列的零和一发生在二进制表示的一个数字。有了它们,计算巨大的数字,包括指数塔和所有记录保持素数变得易于处理。该项目包括紧凑表示和集合和布尔逻辑计算,研究与组合对象家族的连接,高级数论算法以及实现遗传二进制数计算及其应用的开源软件库。
项目成果
期刊论文数量(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 }}
Paul Tarau其他文献
A simplified abstract machine for the execution of binary metaprograms
- DOI:
- 发表时间:
1991 - 期刊:
- 影响因子:0
- 作者:
Paul Tarau - 通讯作者:
Paul Tarau
A Logic Programming Framework for Combinational Circuit Synthesis
组合电路综合的逻辑编程框架
- DOI:
10.1007/978-3-540-74610-2_13 - 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
Paul Tarau;Brenda Luderman - 通讯作者:
Brenda Luderman
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
用于封闭式简单类型 Lambda 项的玻尔兹曼采样器
- DOI:
10.1007/978-3-319-51676-9_8 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Maciej Bendkowski;Katarzyna Grygiel;Paul Tarau - 通讯作者:
Paul Tarau
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
声明性组合:Haskell 中的布尔函数、电路综合和 BDD
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
Paul Tarau - 通讯作者:
Paul Tarau
Integrated symbol table, engine and heap memory management in multi-engine prolog
多引擎 Prolog 中集成符号表、引擎和堆内存管理
- DOI:
10.1145/1993478.1993497 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Paul Tarau - 通讯作者:
Paul Tarau
Paul Tarau的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Paul Tarau', 18)}}的其他基金
III: Small: Collaborative Research: Building a Large Multilingual Semantic Network for Text Processing Applications
III:小:协作研究:为文本处理应用构建大型多语言语义网络
- 批准号:
1018613 - 财政年份:2010
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant
SHF: Small: A Framework for Bijective Data Transformations
SHF:小型:双射数据转换框架
- 批准号:
1018172 - 财政年份:2010
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
Powering Small Craft with a Novel Ammonia Engine
用新型氨发动机为小型船只提供动力
- 批准号:
10099896 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Collaborative R&D
"Small performances": investigating the typographic punches of John Baskerville (1707-75) through heritage science and practice-based research
“小型表演”:通过遗产科学和基于实践的研究调查约翰·巴斯克维尔(1707-75)的印刷拳头
- 批准号:
AH/X011747/1 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Research Grant
Fragment to small molecule hit discovery targeting Mycobacterium tuberculosis FtsZ
针对结核分枝杆菌 FtsZ 的小分子片段发现
- 批准号:
MR/Z503757/1 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Research Grant
Bacteriophage control of host cell DNA transactions by small ORF proteins
噬菌体通过小 ORF 蛋白控制宿主细胞 DNA 交易
- 批准号:
BB/Y004426/1 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Research Grant
Windows for the Small-Sized Telescope (SST) Cameras of the Cherenkov Telescope Array (CTA)
切伦科夫望远镜阵列 (CTA) 小型望远镜 (SST) 相机的窗口
- 批准号:
ST/Z000017/1 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Research Grant
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
- 批准号:
2312089 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant
CSR: Small: Multi-FPGA System for Real-time Fraud Detection with Large-scale Dynamic Graphs
CSR:小型:利用大规模动态图进行实时欺诈检测的多 FPGA 系统
- 批准号:
2317251 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant
AF: Small: Problems in Algorithmic Game Theory for Online Markets
AF:小:在线市场的算法博弈论问题
- 批准号:
2332922 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
合作研究:FET:小型:十字交叉板条的算法自组装
- 批准号:
2329908 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant
NeTS: Small: ML-Driven Online Traffic Analysis at Multi-Terabit Line Rates
NeTS:小型:ML 驱动的多太比特线路速率在线流量分析
- 批准号:
2331111 - 财政年份:2024
- 资助金额:
$ 25.32万 - 项目类别:
Standard Grant














{{item.name}}会员




