搜索页_Alternation+theorem

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

SpringerLink电子期刊(38)

NATURE电子期刊(1)

Elsevier电子期刊(9)

在“SpringerLink电子期刊”中，命中：38条，耗时：小于0.01 秒

在所有数据库中总计命中：48条

1. Building Above Read-Once Polynomials: Identity Testing and Hardness of Representation

作者： Meena Mahajan ; B. V. Raghavendra Rao ; Karteek Sreenivasaiah

关键词：Polynomial Identity Testing ; Algebraic algorithms ; Arithmetic circuits

刊名：Algorithmica

出版年：2016

2. A generalization of the theorems of alternation and non-oscillation for differential-operator equations of arbitrary even order

作者：Aleksandr M. Kholkin (1)

关键词：Differential ; operator equation ; oscillation theory ; theorem of non ; oscillation ; theorem of alternation

刊名：Journal of Mathematical Sciences

出版年：2014

3. A formulation of computational trust based on quantum decision theory

作者： Mehrdad Ashtiani ; Mohammad Abdollahi Azgomi

刊名：Information Systems Frontiers

出版年：2016

4. Reasoning About Loops Using Vampire in KeY

刊名：Lecture Notes in Computer Science

出版年：2015

5. The Lattice of Definability. Origins, Recent Developments, and Further Directions

作者：Alexei Semenov (19) (20) (21)
Sergey Soprunov (20)
Vladimir Uspensky (19)

关键词：Definability ; definability space ; reducts ; Svenonius theorem ; quantifier elimination ; decidability ; automorphisms

刊名：Lecture Notes in Computer Science

出版年：2014

6. Theory and Design of Linear-Phase Minimax FIR Filters with Mixed Constraints in the Frequency Domain

作者：Ruijie Zhao (1)
Xiaoping Lai (2)

关键词：Alternation theorem ; FIR filter ; Linear phase ; Minimax design ; Mixed constraints ; Remez algorithm

刊名：Circuits, Systems, and Signal Processing

出版年：2013

7. Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch’s Theorem

作者：Yijia Chen (18)
Moritz Müller (19)

刊名：Lecture Notes in Computer Science

出版年：2014

8. From Algebra to Logic: There and Back Again The Story of a Hierarchy

作者：Pascal Weil (16) (17)

刊名：Lecture Notes in Computer Science

出版年：2014

9. Building above Read-once Polynomials: Identity Testing and Hardness of Representation

作者：Meena Mahajan (18)
B. V. Raghavendra Rao (19)
Karteek Sreenivasaiah (18)

刊名：Lecture Notes in Computer Science

出版年：2014

10. Computable fixpoints in well-structured symbolic model checking

作者：N. Bertrand (1)
P. Schnoebelen (2)

关键词：Verification of well ; structured systems ; Verification of probabilistic systems ; mu ; Calculus ; Infinite ; state systems

刊名：Formal Methods in System Design

出版年：2013

1

2

3

4

按检索点细分(38)

题名(3)

关键词(3)

文摘(33)

按出版年细分(38)

2016年(2)

2015年(1)

2014年(5)

2013年(5)

2011年(1)

2010年(1)

2009年(4)

2007年(4)

2005年(2)

2003年(1)

2002年(3)

2001年(2)

2000年(3)

2000年及以前(4)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.