掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
How the world computes
How the world computes
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
传动技术
信息方略
音响改装技术
软件
电子竞技
高性能计算技术
电脑入门
计算机集成制造系统
智能系统学报
数码
更多>>
相关外文期刊
International journal of information technologies and systems approach
Presence
Computer networks
Scientific Computing World
International Journal of Modelling, Identification and Control
Foundations and trends in machine learning
Microsoft Systems Journal
Computers & Chemistry
Computer Graphics Forum
Computer science
更多>>
相关中文会议
2013年西南三省一市自动化与仪器仪表学术年会
第九届全国电气自动化、电控系统学术年会
第二届全国信息获取与处理学术会议
首届过程装备与控制工程论坛
第一届中国云计算与SaaS大会
2006有色金属行业信息化年会
全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会
第八届计算机工程与工艺全国学术年会
中国首届手机中文输入大赛汉字数字码输入技术应用高峰论坛
第一届中国Rough集与软计算学术研讨会
更多>>
相关外文会议
Towards a service-based internet
Culture, technology, communication: common world, different futures
Proceedings of the 2007 conference on Designing pleasurable products and interfaces
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies
Agile processes in software engineering and extreme programming
Mathematics of program construction
23rd IEEE Conference on Software Engineering Education and Training (CSEE&T 2010)
Transactions on rough sets XIV
Second International Conference on Advances in Pattern Recognition - ICAPR 2001, Mar 11-14, 2001, Rio de Janeiro, Brazil
2016 2nd International Conference of Signal Processing and Intelligent Systems
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Square Roots and Powers in Constructive Banach Algebra Theory
机译:
构造Banach代数理论的平方根与幂。
作者:
Douglas S. Bridges
;
Robin S. Havea
会议名称:
《How the world computes》
|
2012年
2.
Randomness, Computation and Mathematics
机译:
随机性,计算与数学
作者:
Rod Downey
会议名称:
《How the world computes》
|
2012年
3.
Game Arguments in Computability Theory and Algorithmic Information Theory
机译:
可计算性理论和算法信息论中的博弈论点
作者:
Alexander Shen
会议名称:
《How the world computes》
|
2012年
4.
Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity
机译:
比光信号快的存在意味着超算已经在狭义相对论中
作者:
Peter Nemeti
;
Gergely Szekely
会议名称:
《How the world computes》
|
2012年
5.
Compactness and the Effectivity of Uniformization
机译:
紧凑性和均匀化的有效性
作者:
Robert Rettinger
会议名称:
《How the world computes》
|
2012年
6.
The Computing Spacetime
机译:
计算时空
作者:
Fotini Markopoulou
会议名称:
《How the world computes》
|
2012年
7.
Natural Signs
机译:
自然标志
作者:
Ruth Garrett Millikan
会议名称:
《How the world computes》
|
2012年
8.
Ordinal Analysis and the Infinite Ramsey Theorem
机译:
序数分析和无限拉姆西定理
作者:
Bahareh Afshari
;
Michael Rathjen
会议名称:
《How the world computes》
|
2012年
9.
Curiouser and Curiouser: The Link between Incompressibility and Complexity
机译:
越来越好奇:不可压缩性与复杂性之间的联系
作者:
Eric Allender
会议名称:
《How the world computes》
|
2012年
10.
Information and Logical Discrimination
机译:
信息与逻辑歧视
作者:
Patrick Allo
会议名称:
《How the world computes》
|
2012年
11.
On the Computational Content of the Brouwer Fixed Point Theorem
机译:
Brouwer不动点定理的计算内容。
作者:
Vasco Brattka
;
Stephane Le Roux
;
Arno Pauly
会议名称:
《How the world computes》
|
2012年
12.
Automatic Functions, Linear Time and Learning
机译:
自动功能,线性时间和学习
作者:
John Case
;
Sanjay Jain
;
Samuel Seah
;
Frank Stephan
会议名称:
《How the world computes》
|
2012年
13.
An Undecidable Nested Recurrence Relation
机译:
无法确定的嵌套递归关系
作者:
Marcel Celaya
;
Frank Ruskey
会议名称:
《How the world computes》
|
2012年
14.
Hard Instances of Algorithms and Proof Systems
机译:
算法和证明系统的硬实例
作者:
Yijia Chen
;
Joerg Flum
;
Moritz Mueller
会议名称:
《How the world computes》
|
2012年
15.
On Mathias Generic Sets
机译:
关于Mathias通用集
作者:
Peter A. Cholak
;
Damir D. Dzhafarov
;
Jeffry L. Hirst
会议名称:
《How the world computes》
|
2012年
16.
Connecting Partial Words and Regular Languages
机译:
连接部分词和常规语言
作者:
Juergen Dassow
;
Florin Manea
;
Robert Mercas
会议名称:
《How the world computes》
|
2012年
17.
Learning, Social Intelligence and the Turing Test Why an 'Out-of-the-Box' Turing Machine Will Not Pass the Turing Test
机译:
学习,社会智能和图灵测试为什么“开箱即用”的图灵机无法通过图灵测试
作者:
Bruce Edmonds
;
Carlos Gershenson
会议名称:
《How the world computes》
|
2012年
18.
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization
机译:
融合数据缩减:桥接图转换和内核化
作者:
Hartmut Ehrig
;
Claudia Ermel
;
Falk Hueffner
;
Rolf Niedermeier
;
Olga Runge
会议名称:
《How the world computes》
|
2012年
19.
On the Foundations and Philosophy of Info-metrics
机译:
论信息度量的基础和哲学
作者:
Amos Golan
会议名称:
《How the world computes》
|
2012年
20.
On Mathematicians Who Liked Logic The Case of Max Newman
机译:
关于喜欢逻辑的数学家马克斯·纽曼的案例
作者:
Ivor Grattan-Guinness
会议名称:
《How the world computes》
|
2012年
21.
Densities and Entropies in Cellular Automata
机译:
细胞自动机的密度和熵
作者:
Pierre Guillon
;
Charalampos Zinoviadis
会议名称:
《How the world computes》
|
2012年
22.
NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs
机译:
有向无环图的实现度序列的NP硬度和固定参数可牵引性
作者:
Sepp Hartung
;
Andre Nichterlein
会议名称:
《How the world computes》
|
2012年
关键词:
graph realization problems;
combinatorial algorithms;
parameterized complexity;
realizing topological orderings;
23.
A Direct Proof of Wiener's Theorem
机译:
维纳定理的直接证明
作者:
Matthew Hendtlass
;
Peter Schuster
会议名称:
《How the world computes》
|
2012年
24.
A Slime Mold Solver for Linear Programming Problems
机译:
用于线性规划问题的史莱姆模具求解器
作者:
Anders Johannson
;
James Zou
会议名称:
《How the world computes》
|
2012年
25.
A Hierarchy of Immunity and Density for Sets of Reals
机译:
实数集的免疫和密度层次
作者:
Takayuki Kihara
会议名称:
《How the world computes》
|
2012年
26.
Degrees of Total Algorithms versus Degrees of Honest Functions
机译:
总算法度与诚实函数度
作者:
Lars Kristiansen
会议名称:
《How the world computes》
|
2012年
27.
Local Induction and Provably Total Computable Functions: A Case Study
机译:
局部归纳法和可能的总可计算函数:一个案例研究
作者:
Andres Cordon-Franco
;
F. Felix Lara-Martin
会议名称:
《How the world computes》
|
2012年
28.
What is Turing's Comparison between Mechanism and Writing Worth?
机译:
图灵对机制和写作价值的比较是什么?
作者:
Jean Lassegue
;
Giuseppe Longo
会议名称:
《How the world computes》
|
2012年
29.
Characteristics of Minimal Effective Programming Systems
机译:
最小有效编程系统的特征
作者:
Samuel E. Moelius III
会议名称:
《How the world computes》
|
2012年
30.
After Turing: Mathematical Modelling in the Biomedical and Social Sciences From Animal Coat Patterns to Brain Tumours to Saving Marriages
机译:
图灵之后:生物医学和社会科学中的数学建模,从动物皮毛模式到脑瘤再到挽救婚姻
作者:
James D. Murray
会议名称:
《How the world computes》
|
2012年
31.
On the Behavior of Tile Assembly System at High Temperatures
机译:
高温下瓷砖装配系统的性能研究
作者:
Shinnosuke Seki
;
Yasushi Okuno
会议名称:
《How the world computes》
|
2012年
32.
Multi-valued Functions in Computability Theory
机译:
可计算性理论中的多值函数
作者:
Arno Pauly
会议名称:
《How the world computes》
|
2012年
关键词:
Multi-valued functions;
many-one reduction;
Weihrauch reducibility;
category theory;
degree structure;
33.
On the Computability Power of Membrane Systems with Controlled Mobility
机译:
具有受控迁移率的膜系统的可计算能力
作者:
Shankara Narayanan Krishna
;
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《How the world computes》
|
2012年
34.
Finite State Verifiers with Constant Randomness
机译:
具有恒定随机性的有限状态检验器
作者:
A.C. Cem Say
;
Abuzer Yakaryilmaz
会议名称:
《How the world computes》
|
2012年
35.
Subsymbolic Computation Theory for the Human Intuitive Processor
机译:
人类直觉处理器的亚符号计算理论
作者:
Paul Smolensky
会议名称:
《How the world computes》
|
2012年
36.
Is Turing's Thesis the Consequence of a More General Physical Principle?
机译:
图灵的论题是更一般的物理原理的结果吗?
作者:
Matthew P. Szudzik
会议名称:
《How the world computes》
|
2012年
37.
Bringing Up Turing's 'Child-Machine'
机译:
培养图灵的“儿童机器”
作者:
Susan G. Sterrett
会议名称:
《How the world computes》
|
2012年
38.
Some Natural Zero One Laws for Ordinals Below ε_0
机译:
ε_0以下的普通自然零一律
作者:
Andreas Weiermann
;
Alan R. Woods
会议名称:
《How the world computes》
|
2012年
39.
Complexity of Deep Inference via Atomic Flows
机译:
通过原子流进行深度推理的复杂性
作者:
Anupam Das
会议名称:
《How the world computes》
|
2012年
40.
On Shift Spaces with Algebraic Structure
机译:
关于代数结构的移位空间
作者:
Ville Salo
;
Ilkka Toermae
会议名称:
《How the world computes》
|
2012年
关键词:
subshifts;
algebraic structure;
lattices;
cellular automata;
41.
Unifiability and Admissibility in Finite Algebras
机译:
有限代数的可相容性和可容许性
作者:
George Metcalfe
;
Christoph Roethlisberger
会议名称:
《How the world computes》
|
2012年
42.
Robustness of Logical Depth
机译:
逻辑深度的鲁棒性
作者:
Luis Antunes
;
Andre Souto
;
Andreia Teixeira
会议名称:
《How the world computes》
|
2012年
43.
Turing's Normal Numbers: Towards Randomness
机译:
图灵的正规数:趋向于随机性
作者:
Veronica Becher
会议名称:
《How the world computes》
|
2012年
44.
Logic of Ruler and Compass Constructions
机译:
标尺和指南针构造的逻辑
作者:
Michael Beeson
会议名称:
《How the world computes》
|
2012年
45.
A Note on Ramsey Theorems and Turing Jumps
机译:
关于拉姆西定理和图灵跳的注记
作者:
Lorenzo Carlucci
;
Konrad Zdanowski
会议名称:
《How the world computes》
|
2012年
46.
The Mate-in-n Problem of Infinite Chess Is Decidable
机译:
无限国际象棋的配对问题是可以确定的
作者:
Dan Brumleve
;
Joel David Hamkins
;
Philipp Schlicht
会议名称:
《How the world computes》
|
2012年
47.
Highness and Local Noncappability
机译:
高度性和局部性
作者:
Chengling Fang
;
Wang Shenling
;
Guohua Wu
会议名称:
《How the world computes》
|
2012年
48.
Turing Progressions and Their Well-Orders
机译:
图灵进程及其秩序
作者:
David Fernandez Duque
;
Joost J. Joosten
会议名称:
《How the world computes》
|
2012年
49.
A Short Note on Spector's Proof of Consistency of Analysis
机译:
关于Spector分析一致性证明的简短说明
作者:
Fernando Ferreira
会议名称:
《How the world computes》
|
2012年
50.
Sets of Signals, Information Flow, and Folktales
机译:
信号集,信息流和民间故事
作者:
Mark Alan Finlayson
会议名称:
《How the world computes》
|
2012年
51.
Foundational Analyses of Computation
机译:
计算基础分析
作者:
Yuri Gurevich
会议名称:
《How the world computes》
|
2012年
52.
Turing Machine-Inspired Computer Science Results
机译:
图灵机启发的计算机科学成果
作者:
Juris Hartmanis
会议名称:
《How the world computes》
|
2012年
53.
Relative Randomness for Martin-Loef Random Sets
机译:
Martin-Loef随机集的相对随机性
作者:
NingNing Peng
;
Kojiro Higuchi
;
Takeshi Yamazaki
;
Kazuyuki Tanaka
会议名称:
《How the world computes》
|
2012年
54.
On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models
机译:
关于所有强可构造素模型的Tarski-Lindenbaum代数
作者:
Mikhail G. Peretyatkin
会议名称:
《How the world computes》
|
2012年
55.
Lower Bound on Weights of Large Degree Threshold Functions
机译:
大型阈值函数权重的下界
作者:
Vladimir V. Podolskii
会议名称:
《How the world computes》
|
2012年
56.
What Are Computers (If They're not Thinking Things)?
机译:
什么是计算机(如果他们不思考问题)?
作者:
John Preston
会议名称:
《How the world computes》
|
2012年
57.
Turing Patterns in Deserts
机译:
沙漠中的图灵模式
作者:
Jonathan A. Sherratt
会议名称:
《How the world computes》
|
2012年
58.
A Correspondence Principle for Exact Constructive Dimension
机译:
精确构造维的对应原理
作者:
Ludwig Staiger
会议名称:
《How the world computes》
|
2012年
59.
Low_n Boolean Subalgebras
机译:
Low_n布尔子代数
作者:
Rebecca M. Steiner
会议名称:
《How the world computes》
|
2012年
60.
On the Road to Thinking Machines: Insights and Ideas
机译:
在思维机器的道路上:见解和想法
作者:
Jir i Wiedermann
会议名称:
《How the world computes》
|
2012年
61.
Making Solomonoff Induction Effective Or: You Can Learn What You Can Bound
机译:
使Solomonoff感应有效,或者:您可以学习可以绑定的内容
作者:
Joerg Zimmermann
;
Armin B. Cremers
会议名称:
《How the world computes》
|
2012年
62.
On Immortal Configurations in Turing Machines
机译:
图灵机中的不朽配置
作者:
Emmanuel Jeandel
会议名称:
《How the world computes》
|
2012年
63.
Effective Strong Nullness and Effectively Closed Sets
机译:
有效强零和有效闭集
作者:
Kojiro Higuchi
;
Takayuki Kihara
会议名称:
《How the world computes》
|
2012年
64.
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
机译:
可以确定树的自动散乱线性排序的词自动性
作者:
Martin Huschenbett
会议名称:
《How the world computes》
|
2012年
65.
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic
机译:
用多模态逻辑的定义论两个扩展的相对简洁性
作者:
Wiebe van der Hoek
;
Petar Iliev
;
Barteld Kooi
会议名称:
《How the world computes》
|
2012年
66.
Multi-scale Modeling of Gene Regulation of Morphogenesis
机译:
形态发生基因调控的多尺度建模
作者:
Jaap A. Kaandorp
;
Daniel Botman
;
Carlos Tamulonis
;
Roland Dries
会议名称:
《》
|
2012年
67.
Tree-Automatic Weil-Founded Trees
机译:
自动生成树的树木
作者:
Alexander Kartzow
;
Jiamou Liu
;
Markus Lohrey
会议名称:
《How the world computes》
|
2012年
68.
Infinite Games and Transfinite Recursion of Multiple Inductive Definitions
机译:
无限归纳和多重归纳定义的超限递归
作者:
Keisuke Yoshii
;
Kazuyuki Tanaka
会议名称:
《How the world computes》
|
2012年
69.
How Much Randomness Is Needed for Statistics?
机译:
统计需要多少随机性?
作者:
Bjorn Kjos-Hanssen
;
Antoine Taveneaux
;
Neil Thapen
会议名称:
《How the world computes》
|
2012年
70.
Towards a Theory of Infinite Time Blum-Shub-Smale Machines
机译:
迈向无限时光布鲁姆-舒伯-斯梅尔机器理论
作者:
Peter Koepke
;
Benjamin Seyfferth
会议名称:
《How the world computes》
|
2012年
71.
Turing Pattern Formation without Diffusion
机译:
无扩散的图灵图案形成
作者:
Shigeru Kondo
会议名称:
《How the world computes》
|
2012年
72.
A 5n - o(n) Lower Bound on the Circuit Size over U_2 of a Linear Boolean Function
机译:
线性布尔函数U_2上电路尺寸的5n-o(n)下界
作者:
Alexander S. Kulikov
;
Olga Melanich
;
Ivan Mihajlin
会议名称:
《How the world computes》
|
2012年
73.
Substitutions and Strongly Deterministic Tilesets
机译:
替代和强确定性图块集
作者:
Bastien Le Gloannec
;
Nicolas Ollinger
会议名称:
《How the world computes》
|
2012年
74.
Turing Computable Embeddings and Coding Families of Sets
机译:
图灵可计算的嵌入和编码族
作者:
Victor A. Ocasio-Gonzalez
会议名称:
《How the world computes》
|
2012年
75.
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase
机译:
抽象的部分圆柱代数分解I:提升阶段
作者:
Grant Olney Passmore
;
Paul B. Jackson
会议名称:
《How the world computes》
|
2012年
意见反馈
回到顶部
回到首页